Metal particles are embedded in the polymer to form a polymer composite film as a seed layer on an insulating substrate to overcome the limitation that electrodeposited copper only occurring at the interface between the polymer and the metal electrode. In this work, we successfully developed a Cu-polythiophenes composite film (Cu-PT composite film) through a facile in-situ reduction method, obtain

Inledning till Malmö stads historia

With high energy heavy ion collisions one tries to create a new forms of matter that is similar to the one present at the birth of our Universe. Recent development on flow pattern, initial energy-density and freeze-out temperature shows that most likely this new form of matter is in a deconfined state, has colored degrees of freedom and is more fluid-like than gas-like. In present paper we calcula

This article presents a lifespan testing analysis of polymer gears manufactured by cutting. Compared to injection molding, machine cutting provides higher accuracy of gear geometry. Two different tooth flank geometries were tested; i.e. involute and S-gears. In theory, S-gears have several advantages over involute gears due to the convex/concave contact between the matching flanks. The theoretical

In 2003, Atserias and Dalmau resolved a major open question about the resolution proof system by establishing that the space complexity of formulas is always an upper bound on the width needed to refute them. Their proof is beautiful but somewhat mysterious in that it relies heavily on tools from finite model theory. We give an alternative, completely elementary, proof that works by simple syntact

We present a greatly simplified proof of the length-space trade-off result for resolution in [P. Hertel, T. Pitassi, Exponential time/space speedups for resolution and the PSPACE-completeness of black-white pebbling, in: Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS '07), Oct. 2007, pp. 137-149], and also prove a couple of other theorems in the same vein. W

Michelson interferometers have been routinely used in various applications ranging from testing optical components to interferometric time-resolved spectroscopy measurements. Traditionally, plate beamsplitters are employed to redistribute radiation between the two arms of an interferometer. However, such an interferometer is susceptible to relative phase fluctuations between the two arms resulting

Den här rapporten analyserar Europeiska unionens hantering av coronakrisen från de första signalerna om spridning av viruset från Kina i januari 2020 till dess att Europeiska rådet enades om ett historiskt stöd- och återhämtningspaket i juli 2020. Under halvåret pågick ett intensivt krishanteringsarbete på EU-nivå. Samtidigt hanterades krisen primärt av medlemsstaterna själva, med olika och ibland

This paper present the solutions that a company introduced to tackle the problems that it faced during the engineering design and manufacturing of plastic injection molds. The company took an approach of introducing knowledge management system for risk reduction and avoiding problems that had already been recognized in the past. Based on preliminary analysis, knowledge management system model has

The plant shoot apical meristem holds a stem cell niche from which all aerial organs originate. Using a computational approach we show that a mixture of monomers and heterodimers of the transcription factors WUSCHEL and HAIRY MERISTEM is sufficient to pattern the stem cell niche, and predict that immobile heterodimers form a regulatory ‘pocket’ surrounding the stem cells. The model achieves to rep

During the last 10 to 15 years, an active line of research in proof complexity has been to study space complexity and time-space trade-offs for proofs. Besides being a natural complexity measure of intrinsic interest, space is also an important concern in SAT solving, and so research has mostly focused on weak systems that are used by SAT solvers. There has been a relatively long sequence of paper

A well-known theorem by Tarsi states that a minimally unsatisfiable CNF formula with m clauses can have at most m - 1 variables, and this bound is exact. In the context of proving lower bounds on proof space in k-DNF resolution, [Ben-Sasson and Nordström 2009] extended the concept of minimal unsatisfiability to sets of k-DNF formulas and proved that a minimally unsatisfiable k-DNF set with m formu