Satisability of Boolean Formulas
|
|
- Lise Overgaard
- 4 år siden
- Visninger:
Transkript
1 SAT exercises 1 March, 2016 slide 1 Satisability of Boolean Formulas Combinatorics and Algorithms Prof. Emo Welzl Assistant: (CAB G36.1, cannamalai@inf.ethz.ch) URL:
2 SAT exercises 1 March, 2016 slide 2 Today's exercises 1.3: Associativity of boolean operators 1.12: Four Clauses Suce 1.15: Disjunctive Normal Form 1.18: Counting Formulas 1.25: Number of Vertex Covers 1.28: Horn Formulas Addendum to exercise 1.25: Improved ( 2)-CNF counting
3 SAT exercises 1 March, 2016 slide Associativity of boolean operators Denition. An operator is associative if for all operands a, b, c we have (a (b c)) = ((a b) c). If an operator is associative, then we can write expressions without parentheses because of the lack of ambiguity. We saw a short proof of this in the exercise session. In particular, only the order of the operands matter (and not the order of evaluation). We can then interpret an expression involving n operands, x 1... x n as an n-variate function. Check which of {,,,, } are associative and characterize the n-variate functions they induce.
4 SAT exercises 1 March, 2016 slide Associativity of boolean operators (2) By straightforward checking: Associative:,,, Not associative:. is not associative because when (x 0, y 1, z 0). x (y z) (x y) z
5 SAT exercises 1 March, 2016 slide Associativity of boolean operators (3) Characterization: n i=1 is true i all operands are true. n i=1 is true i at least one operand is true. n i=1 is true i an odd number of operands is true (this is called the parity function). n i=1 : When n is even, it is true i an even number of operands are true, and when n is odd, it is true i an odd number of operands are true. Note that this is the same as saying that the expression is true i an even number of operands is false. The proofs of the characterizations follow by induction on n.
6 SAT exercises 1 March, 2016 slide Four Clauses Suce As in Section 1.2, we can represent every boolean function as a CNF formula. Over three variables, this automatically becomes a 3-CNF formula, say F. F could potentially contain 8 possible clauses. Let us enumerate them from C 1 through C 8 in order and pair consecutive clauses: {C 1, C 2 },..., {C 7, C 8 }. If F contains both clauses from some pair thenresolve the two clauses using the last variable (since we are guaranteed that this variable appears positively once and negatively once in each of the clauses in
7 SAT exercises 1 March, 2016 slide 7 the pair, by our enumeration) to obtain an equivalent clause with only two literals. Therefore, for each pair we retain at most one clause with either 2 or 3 literals, giving us a ( 3)-CNF formula with at most 4 clauses.
8 SAT exercises 1 March, 2016 slide Disjunctive Normal Form (1) Let φ(x 1,..., x n ) be the given boolean formula on n variables. Imagine the truth table of φ. We show one row of the truth table here and the corresponding DNF clause. x 1 x 2... x n φ(x 1,..., x n ) = ( x 1 x 2 x n ).
9 SAT exercises 1 March, 2016 slide 9 (2) For each assignment α := (x 1 t 1,..., x n t n ) that results in φ(α) evaluating to 1 we make one DNF-clause x i x i : α(x i )=1 x i, x i : α(x i )=0 which has the property that it evaluates to 1 exactly when x i = t i for all i {1,..., n}. (3) Taking the OR of all such clauses we obtain a boolean formula equivalent to φ in disjunctive normal form: x i α {0,1} n : φ(α)=1 x i : α(x i )=1 x i. x i : α(x i )=0
10 SAT exercises 1 March, 2016 slide Counting Formulas (1) The function can be represented by its truth table associating a value from {0, 1} to each tuple in {0, 1} n. This yields 2 2n possibilities. (2) To build a k-clause we rst need to choose the k variables which appear in the clause, and for each chosen variable we need to decide if it will be negated or not. Therefore there are ( ) n k 2 k many distinct k-clauses. To build a k-cnf formula, we have to select a subset of them. We hence have 2 (n k ) 2k possibilities. (3) Since there are = such functions and only 2 (10 3 ) 23 = formulas, there are many boolean functions over 10 variables that cannot be represented as 3-CNF formulae.
11 SAT exercises 1 March, 2016 slide 11 Question: Can you explain why a 3-CNF cannot express everything? Does this contradict what we did on the rst day (everything can be represented as a 3-CNF)?
12 SAT exercises 1 March, 2016 slide Number of Vertex Covers Goal: Design and analyze and algorithm for counting the number of vertex covers. Trivial algorithm: O(2 n poly(n)); test for each of the 2 n subsets of V if it is a vertex cover. Idea: Encode subsets N of V as assignments, and the condition that N is a vertex cover as a 2-CNF formula.
13 SAT exercises 1 March, 2016 slide 13 The encoding is straight-forward: Each vertex v becomes a variable. The corresponding assignment α N is dened as α N (v) := 0, v N 1, v N. For each edge e = {v 1, v 2 }, we want that at least one vertex is present. This is encoded by the clause {v 1, v 2 }. Therefore F := E and a subset N is a vertex cover if and only if the corresponding assignment α N satises F. An assignment on V encodes exactly one subset N of V ; therefore the number of satisfying assignments is the number of vertex covers.
14 SAT exercises 1 March, 2016 slide Horn formulas Correctness. Trivial. We are using only more restrictive rules. Completeness. Let F be Horn and let F be the extension of F by all possible (unit res.-)resolvents, s.t. no pair C, D F can yield a (unit res.-)resolvent not yet contained in F. Note that F is Horn because two clauses with at most one positive literal each contain again at most one positive literal.
15 SAT exercises 1 March, 2016 slide Horn formulas (2) Hence if F, then a satisfying assignment α is given by satisfying all 1-clauses and setting the remaining variables to 0. A contradictory pair {u} and {ū} cannot exist since this would have allowed to derive. Suppose α does not satisfy F, then we will show this leads to a contradiction. Let C be a unsatised clause of F with fewest literals. C contains at least 2 literals (as we satised all 1-clauses), and so one literal must be negative x. This literal is satised unless {x} F. However if {x} F we can do unit resolution with C and {x} to obtain a smaller unsatised clause, a contradiction.
16 SAT exercises 1 March, 2016 slide 16 Addendum to exercise 1.25: Improved counting ( 2)-CNF The best known ( 2)-CNF counting algorithm is by Wahlström and runs in time O( n ) using a very rened analysis. Remember our algorithm fib c2s(f,v ): If F is a ( 1)-CNF, the problem is easy. Otherwise let {u, v} be some 2-clause. Return fib c2s(f [u 1] )+fib c2s(f [u 0,v 1] ). How to improve this?
17 SAT exercises 1 March, 2016 slide 17 Improved ( 2)-CNF counting (2) We introduce an additional case distinction to better exploit the structure. We rst address trivial cases: If F contains the 0-clause, then sat V (F ) = 0. If F = {}, then sat V (F ) = 2 V. If F contains a 1-clause {u}, then sat V (F ) = sat V \vbl{u} (F [u 1] ). Hence we can assume that F is a non-empty 2-CNF formula.
18 SAT exercises 1 March, 2016 slide 18 Improved ( 2)-CNF counting (3) Let C = {u, v} be some 2-clause. If the variables of u and v do not occur anywhere else in the formula, then sat V (F ) = 3 sat V \vbl{u,v} (F \ {{u, v}}). Otherwise there is D F with vbl(c) vbl(d). There are the following cases: 1. vbl(c) = vbl(d) (the clauses share both variables) 2. C D = 1 (the clauses have complementary literals) 3. C D = 1 (the clauses share a literal)
19 SAT exercises 1 March, 2016 slide 19 Improved ( 2)-CNF counting (4) 1. vbl(c) = vbl(d): We need to consider 2 out of 4 possibilities of formulas with 2 fewer variables. 2. C D = 1 (the clauses have complementary literals). C = {u, v}, D = {ū, w}. Either set u to 1 and w to 1, or set u to 0 and v to C D = 1 (the clauses share a literal). C = {u, v}, C = {u, w}. Either set u to 1 or set u to 0 and v, w to 1. The rst two cases give running time O( 2 n poly(n)) O(1.415 n ). The last case is the worst case and gives running time O(1.466 n ), a large improvement over O(1.619 n ). (see Appendix A.2 for methods to solve recurrences, also look at Special Assignment 1, Exercise 1 of SAT12)
Skriftlig Eksamen Kombinatorik, Sandsynlighed og Randomiserede Algoritmer (DM528)
Skriftlig Eksamen Kombinatorik, Sandsynlighed og Randomiserede Algoritmer (DM58) Institut for Matematik og Datalogi Syddansk Universitet, Odense Torsdag den 1. januar 01 kl. 9 13 Alle sædvanlige hjælpemidler
Læs mereProject Step 7. Behavioral modeling of a dual ported register set. 1/8/ L11 Project Step 5 Copyright Joanne DeGroat, ECE, OSU 1
Project Step 7 Behavioral modeling of a dual ported register set. Copyright 2006 - Joanne DeGroat, ECE, OSU 1 The register set Register set specifications 16 dual ported registers each with 16- bit words
Læs mereBasic statistics for experimental medical researchers
Basic statistics for experimental medical researchers Sample size calculations September 15th 2016 Christian Pipper Department of public health (IFSV) Faculty of Health and Medicinal Science (SUND) E-mail:
Læs mereExercise 6.14 Linearly independent vectors are also affinely independent.
Affine sets Linear Inequality Systems Definition 6.12 The vectors v 1, v 2,..., v k are affinely independent if v 2 v 1,..., v k v 1 is linearly independent; affinely dependent, otherwise. We first check
Læs mereResource types R 1 1, R 2 2,..., R m CPU cycles, memory space, files, I/O devices Each resource type R i has W i instances.
System Model Resource types R 1 1, R 2 2,..., R m CPU cycles, memory space, files, I/O devices Each resource type R i has W i instances. Each process utilizes a resource as follows: request use e.g., request
Læs mereBesvarelser til Lineær Algebra Reeksamen Februar 2017
Besvarelser til Lineær Algebra Reeksamen - 7. Februar 207 Mikkel Findinge Bemærk, at der kan være sneget sig fejl ind. Kontakt mig endelig, hvis du skulle falde over en sådan. Dette dokument har udelukkende
Læs mereSkriftlig Eksamen Beregnelighed (DM517)
Skriftlig Eksamen Beregnelighed (DM517) Institut for Matematik & Datalogi Syddansk Universitet Mandag den 31 Oktober 2011, kl. 9 13 Alle sædvanlige hjælpemidler (lærebøger, notater etc.) samt brug af lommeregner
Læs mereGeneralized Probit Model in Design of Dose Finding Experiments. Yuehui Wu Valerii V. Fedorov RSU, GlaxoSmithKline, US
Generalized Probit Model in Design of Dose Finding Experiments Yuehui Wu Valerii V. Fedorov RSU, GlaxoSmithKline, US Outline Motivation Generalized probit model Utility function Locally optimal designs
Læs mereSkriftlig Eksamen Diskret matematik med anvendelser (DM72)
Skriftlig Eksamen Diskret matematik med anvendelser (DM72) Institut for Matematik & Datalogi Syddansk Universitet, Odense Onsdag den 18. januar 2006 Alle sædvanlige hjælpemidler (lærebøger, notater etc.),
Læs mereLinear Programming ١ C H A P T E R 2
Linear Programming ١ C H A P T E R 2 Problem Formulation Problem formulation or modeling is the process of translating a verbal statement of a problem into a mathematical statement. The Guidelines of formulation
Læs mereCS 4390/5387 SOFTWARE V&V LECTURE 5 BLACK-BOX TESTING - 2
1 CS 4390/5387 SOFTWARE V&V LECTURE 5 BLACK-BOX TESTING - 2 Outline 2 HW Solution Exercise (Equivalence Class Testing) Exercise (Decision Table Testing) Pairwise Testing Exercise (Pairwise Testing) 1 Homework
Læs mereBrug sømbrættet til at lave sjove figurer. Lav fx: Få de andre til at gætte, hvad du har lavet. Use the nail board to make funny shapes.
Brug sømbrættet til at lave sjove figurer. Lav f: Et dannebrogsflag Et hus med tag, vinduer og dør En fugl En bil En blomst Få de andre til at gætte, hvad du har lavet. Use the nail board to make funn
Læs mereUniversity of Copenhagen Faculty of Science Written Exam - 3. April Algebra 3
University of Copenhagen Faculty of Science Written Exam - 3. April 2009 Algebra 3 This exam contains 5 exercises which are to be solved in 3 hours. The exercises are posed in an English and in a Danish
Læs mereSign variation, the Grassmannian, and total positivity
Sign variation, the Grassmannian, and total positivity arxiv:1503.05622 Slides available at math.berkeley.edu/~skarp Steven N. Karp, UC Berkeley FPSAC 2015 KAIST, Daejeon Steven N. Karp (UC Berkeley) Sign
Læs mereVina Nguyen HSSP July 13, 2008
Vina Nguyen HSSP July 13, 2008 1 What does it mean if sets A, B, C are a partition of set D? 2 How do you calculate P(A B) using the formula for conditional probability? 3 What is the difference between
Læs merePrivat-, statslig- eller regional institution m.v. Andet Added Bekaempelsesudfoerende: string No Label: Bekæmpelsesudførende
Changes for Rottedatabasen Web Service The coming version of Rottedatabasen Web Service will have several changes some of them breaking for the exposed methods. These changes and the business logic behind
Læs mereThe X Factor. Målgruppe. Læringsmål. Introduktion til læreren klasse & ungdomsuddannelser Engelskundervisningen
The X Factor Målgruppe 7-10 klasse & ungdomsuddannelser Engelskundervisningen Læringsmål Eleven kan give sammenhængende fremstillinger på basis af indhentede informationer Eleven har viden om at søge og
Læs mereEngineering of Chemical Register Machines
Prague International Workshop on Membrane Computing 2008 R. Fassler, T. Hinze, T. Lenser and P. Dittrich {raf,hinze,thlenser,dittrich}@minet.uni-jena.de 2. June 2008 Outline 1 Motivation Goal Realization
Læs mereAppendix 1: Interview guide Maria og Kristian Lundgaard-Karlshøj, Ausumgaard
Appendix 1: Interview guide Maria og Kristian Lundgaard-Karlshøj, Ausumgaard Fortæl om Ausumgaard s historie Der er hele tiden snak om værdier, men hvad er det for nogle værdier? uddyb forklar definer
Læs mereSkriftlig Eksamen Beregnelighed (DM517)
Skriftlig Eksamen Beregnelighed (DM517) Institut for Matematik & Datalogi Syddansk Universitet Mandag den 7 Januar 2008, kl. 9 13 Alle sædvanlige hjælpemidler (lærebøger, notater etc.) samt brug af lommeregner
Læs merePARALLELIZATION OF ATTILA SIMULATOR WITH OPENMP MIGUEL ÁNGEL MARTÍNEZ DEL AMOR MINIPROJECT OF TDT24 NTNU
PARALLELIZATION OF ATTILA SIMULATOR WITH OPENMP MIGUEL ÁNGEL MARTÍNEZ DEL AMOR MINIPROJECT OF TDT24 NTNU OUTLINE INEFFICIENCY OF ATTILA WAYS TO PARALLELIZE LOW COMPATIBILITY IN THE COMPILATION A SOLUTION
Læs mereEngelsk. Niveau D. De Merkantile Erhvervsuddannelser September Casebaseret eksamen. og
052431_EngelskD 08/09/05 13:29 Side 1 De Merkantile Erhvervsuddannelser September 2005 Side 1 af 4 sider Casebaseret eksamen Engelsk Niveau D www.jysk.dk og www.jysk.com Indhold: Opgave 1 Presentation
Læs mereAktivering af Survey funktionalitet
Surveys i REDCap REDCap gør det muligt at eksponere ét eller flere instrumenter som et survey (spørgeskema) som derefter kan udfyldes direkte af patienten eller forsøgspersonen over internettet. Dette
Læs mereOn the complexity of drawing trees nicely: corrigendum
Acta Informatica 40, 603 607 (2004) Digital Object Identifier (DOI) 10.1007/s00236-004-0138-y On the complexity of drawing trees nicely: corrigendum Thorsten Akkerman, Christoph Buchheim, Michael Jünger,
Læs mereVores mange brugere på musskema.dk er rigtig gode til at komme med kvalificerede ønsker og behov.
På dansk/in Danish: Aarhus d. 10. januar 2013/ the 10 th of January 2013 Kære alle Chefer i MUS-regi! Vores mange brugere på musskema.dk er rigtig gode til at komme med kvalificerede ønsker og behov. Og
Læs merePortal Registration. Check Junk Mail for activation . 1 Click the hyperlink to take you back to the portal to confirm your registration
Portal Registration Step 1 Provide the necessary information to create your user. Note: First Name, Last Name and Email have to match exactly to your profile in the Membership system. Step 2 Click on the
Læs mereBlack Jack --- Review. Spring 2012
Black Jack --- Review Spring 2012 Simulation Simulation can solve real-world problems by modeling realworld processes to provide otherwise unobtainable information. Computer simulation is used to predict
Læs mereDK - Quick Text Translation. HEYYER Net Promoter System Magento extension
DK - Quick Text Translation HEYYER Net Promoter System Magento extension Version 1.0 15-11-2013 HEYYER / Email Templates Invitation Email Template Invitation Email English Dansk Title Invitation Email
Læs mereUniversity of Copenhagen Faculty of Science Written Exam April Algebra 3
University of Copenhagen Faculty of Science Written Exam - 16. April 2010 Algebra This exam contains 5 exercises which are to be solved in hours. The exercises are posed in an English and in a Danish version.
Læs mereStatistik for MPH: oktober Attributable risk, bestemmelse af stikprøvestørrelse (Silva: , )
Statistik for MPH: 7 29. oktober 2015 www.biostat.ku.dk/~pka/mph15 Attributable risk, bestemmelse af stikprøvestørrelse (Silva: 333-365, 381-383) Per Kragh Andersen 1 Fra den 6. uges statistikundervisning:
Læs mereVejledning til Sundhedsprocenten og Sundhedstjek
English version below Vejledning til Sundhedsprocenten og Sundhedstjek Udfyld Sundhedsprocenten Sæt mål og lav en handlingsplan Book tid til Sundhedstjek Log ind på www.falckhealthcare.dk/novo Har du problemer
Læs mereIBM Network Station Manager. esuite 1.5 / NSM Integration. IBM Network Computer Division. tdc - 02/08/99 lotusnsm.prz Page 1
IBM Network Station Manager esuite 1.5 / NSM Integration IBM Network Computer Division tdc - 02/08/99 lotusnsm.prz Page 1 New esuite Settings in NSM The Lotus esuite Workplace administration option is
Læs mereFejlbeskeder i SMDB. Business Rules Fejlbesked Kommentar. Validate Business Rules. Request- ValidateRequestRegist ration (Rules :1)
Fejlbeskeder i SMDB Validate Business Rules Request- ValidateRequestRegist ration (Rules :1) Business Rules Fejlbesked Kommentar the municipality must have no more than one Kontaktforløb at a time Fejl
Læs mereTrolling Master Bornholm 2015
Trolling Master Bornholm 2015 (English version further down) Panorama billede fra starten den første dag i 2014 Michael Koldtoft fra Trolling Centrum har brugt lidt tid på at arbejde med billederne fra
Læs mereAgenda. The need to embrace our complex health care system and learning to do so. Christian von Plessen Contributors to healthcare services in Denmark
Agenda The need to embrace our complex health care system and learning to do so. Christian von Plessen Contributors to healthcare services in Denmark Colitis and Crohn s association Denmark. Charlotte
Læs mereEngelsk. Niveau C. De Merkantile Erhvervsuddannelser September 2005. Casebaseret eksamen. www.jysk.dk og www.jysk.com.
052430_EngelskC 08/09/05 13:29 Side 1 De Merkantile Erhvervsuddannelser September 2005 Side 1 af 4 sider Casebaseret eksamen Engelsk Niveau C www.jysk.dk og www.jysk.com Indhold: Opgave 1 Presentation
Læs mereSkriftlig Eksamen Automatteori og Beregnelighed (DM17)
Skriftlig Eksamen Automatteori og Beregnelighed (DM17) Institut for Matematik & Datalogi Syddansk Universitet Odense Campus Lørdag, den 15. Januar 2005 Alle sædvanlige hjælpemidler (lærebøger, notater
Læs mereDet er muligt at chekce følgende opg. i CodeJudge: og
Det er muligt at chekce følgende opg. i CodeJudge:.1.7 og.1.14 Exercise 1: Skriv en forløkke, som producerer følgende output: 1 4 9 16 5 36 Bonusopgave: Modificer dit program, så det ikke benytter multiplikation.
Læs mereOXFORD. Botley Road. Key Details: Oxford has an extensive primary catchment of 494,000 people
OXFORD Key Details: Oxford has an extensive primary catchment of 494,000 people Prominent, modern scheme situated in prime retail area Let to PC World & Carpetright and close to Dreams, Currys, Land of
Læs mereBoligsøgning / Search for accommodation!
Boligsøgning / Search for accommodation! For at guide dig frem til den rigtige vejledning, skal du lige svare på et par spørgsmål: To make sure you are using the correct guide for applying you must answer
Læs mereCHAPTER 8: USING OBJECTS
Ruby: Philosophy & Implementation CHAPTER 8: USING OBJECTS Introduction to Computer Science Using Ruby Ruby is the latest in the family of Object Oriented Programming Languages As such, its designer studied
Læs mereStatistik for MPH: 7
Statistik for MPH: 7 3. november 2011 www.biostat.ku.dk/~pka/mph11 Attributable risk, bestemmelse af stikprøvestørrelse (Silva: 333-365, 381-383) Per Kragh Andersen 1 Fra den 6. uges statistikundervisning:
Læs mereTrolling Master Bornholm 2016 Nyhedsbrev nr. 7
Trolling Master Bornholm 2016 Nyhedsbrev nr. 7 English version further down Så var det omsider fiskevejr En af dem, der kom på vandet i en af hullerne, mellem den hårde vestenvind var Lejf K. Pedersen,
Læs mereE-PAD Bluetooth hængelås E-PAD Bluetooth padlock E-PAD Bluetooth Vorhängeschloss
E-PAD Bluetooth hængelås E-PAD Bluetooth padlock E-PAD Bluetooth Vorhängeschloss Brugervejledning (side 2-6) Userguide (page 7-11) Bedienungsanleitung 1 - Hvordan forbinder du din E-PAD hængelås med din
Læs mereUser Manual for LTC IGNOU
User Manual for LTC IGNOU 1 LTC (Leave Travel Concession) Navigation: Portal Launch HCM Application Self Service LTC Self Service 1. LTC Advance/Intimation Navigation: Launch HCM Application Self Service
Læs mereTrolling Master Bornholm 2016 Nyhedsbrev nr. 8
Trolling Master Bornholm 2016 Nyhedsbrev nr. 8 English version further down Der bliver landet fisk men ikke mange Her er det Johnny Nielsen, Søløven, fra Tejn, som i denne uge fangede 13,0 kg nord for
Læs mereBusiness Rules Fejlbesked Kommentar
Fejlbeskeder i SMDB Validate Business Request- ValidateRequestRegi stration ( :1) Business Fejlbesked Kommentar the municipality must have no more than one Kontaktforløb at a time Fejl 1: Anmodning En
Læs mereCurve Modeling B-Spline Curves. Dr. S.M. Malaek. Assistant: M. Younesi
Curve Modeling B-Spline Curves Dr. S.M. Malaek Assistant: M. Younesi Motivation B-Spline Basis: Motivation Consider designing the profile of a vase. The left figure below is a Bézier curve of degree 11;
Læs mere1 What is the connection between Lee Harvey Oswald and Russia? Write down three facts from his file.
Lee Harvey Oswald 1 Lee Harvey Oswald s profile Read Oswald s profile. Answer the questions. 1 What is the connection between Lee Harvey Oswald and Russia? Write down three facts from his file. 2 Oswald
Læs mereFejlbeskeder i Stofmisbrugsdatabasen (SMDB)
Fejlbeskeder i Stofmisbrugsdatabasen (SMDB) Oversigt over fejlbeskeder (efter fejlnummer) ved indberetning til SMDB via webløsning og via webservices (hvor der dog kan være yderligere typer fejlbeskeder).
Læs mereAarhus Universitet, Science and Technology, Computer Science. Exam. Wednesday 27 June 2018, 9:00-11:00
Page 1/12 Aarhus Universitet, Science and Technology, Computer Science Exam Wednesday 27 June 2018, 9:00-11:00 Allowed aid: None The exam questions are answered on the problem statement that is handed
Læs mereHelp / Hjælp
Home page Lisa & Petur www.lisapetur.dk Help / Hjælp Help / Hjælp General The purpose of our Homepage is to allow external access to pictures and videos taken/made by the Gunnarsson family. The Association
Læs mereX M Y. What is mediation? Mediation analysis an introduction. Definition
What is mediation? an introduction Ulla Hvidtfeldt Section of Social Medicine - Investigate underlying mechanisms of an association Opening the black box - Strengthen/support the main effect hypothesis
Læs mereIPTV Box (MAG250/254) Bruger Manual
IPTV Box (MAG250/254) Bruger Manual Når din STB (Set top Box) starter op, bliver der vist en pop up boks på skærmen, hvor du kan åbne EPG ved at trykke på F2 (Nogle bokse kan fortælle at den har brug for
Læs mereRemember the Ship, Additional Work
51 (104) Remember the Ship, Additional Work Remember the Ship Crosswords Across 3 A prejudiced person who is intolerant of any opinions differing from his own (5) 4 Another word for language (6) 6 The
Læs mereDanish Language Course for International University Students Copenhagen, 12 July 1 August Application form
Danish Language Course for International University Students Copenhagen, 12 July 1 August 2017 Application form Must be completed on the computer in Danish or English All fields are mandatory PERSONLIGE
Læs mereTrolling Master Bornholm 2016 Nyhedsbrev nr. 3
Trolling Master Bornholm 2016 Nyhedsbrev nr. 3 English version further down Den første dag i Bornholmerlaks konkurrencen Formanden for Bornholms Trollingklub, Anders Schou Jensen (og meddomer i TMB) fik
Læs mereTitel: Hungry - Fedtbjerget
Titel: Hungry - Fedtbjerget Tema: fedme, kærlighed, relationer Fag: Engelsk Målgruppe: 8.-10.kl. Data om læremidlet: Tv-udsendelse: TV0000006275 25 min. DR Undervisning 29-01-2001 Denne pædagogiske vejledning
Læs mereLESSON NOTES Extensive Reading in Danish for Intermediate Learners #8 How to Interview
LESSON NOTES Extensive Reading in Danish for Intermediate Learners #8 How to Interview CONTENTS 2 Danish 5 English # 8 COPYRIGHT 2019 INNOVATIVE LANGUAGE LEARNING. ALL RIGHTS RESERVED. DANISH 1. SÅDAN
Læs mereHow Long Is an Hour? Family Note HOME LINK 8 2
8 2 How Long Is an Hour? The concept of passing time is difficult for young children. Hours, minutes, and seconds are confusing; children usually do not have a good sense of how long each time interval
Læs mereTrolling Master Bornholm 2013
Trolling Master Bornholm 2013 (English version further down) Tilmeldingerne til 2013 I dag nåede vi op på 77 tilmeldte både. Det er lidt lavere end samme tidspunkt sidste år. Til gengæld er det glædeligt,
Læs mereTrolling Master Bornholm 2012
Trolling Master Bornholm 1 (English version further down) Tak for denne gang Det var en fornøjelse især jo også fordi vejret var med os. Så heldig har vi aldrig været før. Vi skal evaluere 1, og I må meget
Læs mereTrolling Master Bornholm 2016 Nyhedsbrev nr. 5
Trolling Master Bornholm 2016 Nyhedsbrev nr. 5 English version further down Kim Finne med 11 kg laks Laksen blev fanget i denne uge øst for Bornholm ud for Nexø. Et andet eksempel er her to laks taget
Læs mereTrolling Master Bornholm 2014
Trolling Master Bornholm 2014 (English version further down) Ny præmie Trolling Master Bornholm fylder 10 år næste gang. Det betyder, at vi har fundet på en ny og ganske anderledes præmie. Den fisker,
Læs mereNyhedsmail, december 2013 (scroll down for English version)
Nyhedsmail, december 2013 (scroll down for English version) Kære Omdeler Julen venter rundt om hjørnet. Og netop julen er årsagen til, at NORDJYSKE Distributions mange omdelere har ekstra travlt med at
Læs mereStrings and Sets: set complement, union, intersection, etc. set concatenation AB, power of set A n, A, A +
Strings and Sets: A string over Σ is any nite-length sequence of elements of Σ The set of all strings over alphabet Σ is denoted as Σ Operators over set: set complement, union, intersection, etc. set concatenation
Læs mereI. Active-set descent algorithm
Backtting for doubly penalized additive modeling Supplementary Material for Backtting algorithms for total-variation and empirical-norm penalized additive modeling with high-dimensional data" Ting Yang
Læs mereStatus på det trådløse netværk
Status på det trådløse netværk Der er stadig problemer med det trådløse netværk, se status her: http://driftstatus.sdu.dk/?f=&antal=200&driftid=1671#1671 IT-service arbejder stadig med at løse problemerne
Læs merewhat is this all about? Introduction three-phase diode bridge rectifier input voltages input voltages, waveforms normalization of voltages voltages?
what is this all about? v A Introduction three-phase diode bridge rectifier D1 D D D4 D5 D6 i OUT + v OUT v B i 1 i i + + + v 1 v v input voltages input voltages, waveforms v 1 = V m cos ω 0 t v = V m
Læs mereDean's Challenge 16.november 2016
O Dean's Challenge 16.november 2016 The pitch proces..with or without slides Create and Practice a Convincing pitch Support it with Slides (if allowed) We help entrepreneurs create, train and improve their
Læs mereBilag. Resume. Side 1 af 12
Bilag Resume I denne opgave, lægges der fokus på unge og ensomhed gennem sociale medier. Vi har i denne opgave valgt at benytte Facebook som det sociale medie vi ligger fokus på, da det er det største
Læs mereECE 551: Digital System * Design & Synthesis Lecture Set 5
ECE 551: Digital System * Design & Synthesis Lecture Set 5 5.1: Verilog Behavioral Model for Finite State Machines (FSMs) 5.2: Verilog Simulation I/O and 2001 Standard (In Separate File) 3/4/2003 1 ECE
Læs mereTrolling Master Bornholm 2014?
Trolling Master Bornholm 214? (English version further down) Trolling Master Bornholm 214? Den endelige beslutning er ikke taget endnu, men meget tyder på at vi kan gennemføre TMB i 214. Det ser nemlig
Læs mereRichter 2013 Presentation Mentor: Professor Evans Philosophy Department Taylor Henderson May 31, 2013
Richter 2013 Presentation Mentor: Professor Evans Philosophy Department Taylor Henderson May 31, 2013 OVERVIEW I m working with Professor Evans in the Philosophy Department on his own edition of W.E.B.
Læs mereTrolling Master Bornholm 2013
Trolling Master Bornholm 2013 (English version further down) Tilmeldingen åbner om to uger Mandag den 3. december kl. 8.00 åbner tilmeldingen til Trolling Master Bornholm 2013. Vi har flere tilmeldinger
Læs mereTimetable will be aviable after sep. 5. when the sing up ends. Provicius timetable on the next sites.
English Information about the race. Practise Friday oct. 9 from 12.00 to 23.00 Saturday oct. 10. door open at 8.00 to breakfast/coffee Both days it will be possible to buy food and drinks in the racecenter.
Læs mereDanish Language Course for Foreign University Students Copenhagen, 13 July 2 August 2016 Advanced, medium and beginner s level.
Danish Language Course for Foreign University Students Copenhagen, 13 July 2 August 2016 Advanced, medium and beginner s level Application form Must be completed on the computer in Danish or English All
Læs mereTrolling Master Bornholm 2014
Trolling Master Bornholm 2014 (English version further down) Den ny havn i Tejn Havn Bornholms Regionskommune er gået i gang med at udvide Tejn Havn, og det er med til at gøre det muligt, at vi kan være
Læs mereModtageklasser i Tønder Kommune
Modtageklasser i Tønder Kommune - et tilbud i Toftlund og Tønder til børn, der har behov for at blive bedre til dansk TOFTLUND TØNDER Hvad er en modtageklasse? En modtageklasse er en klasse med særligt
Læs mereKalkulation: Hvordan fungerer tal? Jan Mouritsen, professor Institut for Produktion og Erhvervsøkonomi
Kalkulation: Hvordan fungerer tal? Jan Mouritsen, professor Institut for Produktion og Erhvervsøkonomi Udbud d af kalkulationsmetoder l t Economic Value Added, Balanced Scorecard, Activity Based Costing,
Læs mereVEDLIGEHOLDELSE AF SENGE
DK VEDLIGEHOLDELSE AF SENGE VEDLIGEHOLDELSE AF SENGE Sengen er typisk det møbel i hjemmet som bruges i flest timer gennem døgnet. Det betyder at sengen udsættes for et stort slid, og det er derfor vigtigt
Læs mereSouth Baileygate Retail Park Pontefract
Key Details : available June 2016 has a primary shopping catchment of 77,000 (source: PMA), extending to 186,000 within 10km (source: FOCUS) 86,000 sq ft of retail including Aldi, B&M, Poundstretcher,
Læs mereNyhedsmail, november 2013 (scroll down for English version)
Nyhedsmail, november 2013 (scroll down for English version) Kære Omdeler Uret er stillet til vintertid, og antallet af lyse timer i døgnet er fortsat faldende. Vintermørket er kort sagt over os, og det
Læs mereListen Mr Oxford Don, Additional Work
57 (104) Listen Mr Oxford Don, Additional Work Listen Mr Oxford Don Crosswords Across 1 Attack someone physically or emotionally (7) 6 Someone who helps another person commit a crime (9) 7 Rob at gunpoint
Læs mereMeasuring Evolution of Populations
Measuring Evolution of Populations 2007-2008 5 Agents of evolutionary change Mutation Gene Flow Non-random mating Genetic Drift Selection Populations & gene pools Concepts a population is a localized group
Læs mereBILAG 8.1.B TIL VEDTÆGTER FOR EXHIBIT 8.1.B TO THE ARTICLES OF ASSOCIATION FOR
BILAG 8.1.B TIL VEDTÆGTER FOR ZEALAND PHARMA A/S EXHIBIT 8.1.B TO THE ARTICLES OF ASSOCIATION FOR ZEALAND PHARMA A/S INDHOLDSFORTEGNELSE/TABLE OF CONTENTS 1 FORMÅL... 3 1 PURPOSE... 3 2 TILDELING AF WARRANTS...
Læs mereTitel: Barry s Bespoke Bakery
Titel: Tema: Kærlighed, kager, relationer Fag: Engelsk Målgruppe: 8.-10.kl. Data om læremidlet: Tv-udsendelse: SVT2, 03-08-2014, 10 min. Denne pædagogiske vejledning indeholder ideer til arbejdet med tema
Læs mereUserguide. NN Markedsdata. for. Microsoft Dynamics CRM 2011. v. 1.0
Userguide NN Markedsdata for Microsoft Dynamics CRM 2011 v. 1.0 NN Markedsdata www. Introduction Navne & Numre Web Services for Microsoft Dynamics CRM hereafter termed NN-DynCRM enable integration to Microsoft
Læs mereTrolling Master Bornholm 2013
Trolling Master Bornholm 2013 (English version further down) Trolling Master Bornholm 2013 Dommerkomiteen har i dag holdt møde og evalueret jeres tilbagemeldinger, og det betyder nogle ændringer af arrangementet
Læs mereBreaking Industrial Ciphers at a Whim MATE SOOS PRESENTATION AT HES 11
Breaking Industrial Ciphers at a Whim MATE SOOS PRESENTATION AT HES 11 Story line 1 HiTag2: reverse-engineered proprietary cipher 2 Analytic tools are needed to investigate them 3 CryptoMiniSat: free software
Læs mereTrolling Master Bornholm 2015
Trolling Master Bornholm 2015 (English version further down) Sæsonen er ved at komme i omdrejninger. Her er det John Eriksen fra Nexø med 95 cm og en kontrolleret vægt på 11,8 kg fanget på østkysten af
Læs mereDET KONGELIGE BIBLIOTEK NATIONALBIBLIOTEK OG KØBENHAVNS UNIVERSITETS- BIBLIOTEK. Index
DET KONGELIGE Index Download driver... 2 Find the Windows 7 version.... 2 Download the Windows Vista driver.... 4 Extract driver... 5 Windows Vista installation of a printer.... 7 Side 1 af 12 DET KONGELIGE
Læs mereDM559/DM545 Linear and integer programming
Department of Mathematics and Computer Science University of Southern Denmark, Odense June 10, 2017 Marco Chiarandini DM559/DM545 Linear and integer programming Sheet 12, Spring 2017 [pdf format] The following
Læs mereUniversity of Copenhagen Faculty of Science Written Exam - 8. April 2008. Algebra 3
University of Copenhagen Faculty of Science Written Exam - 8. April 2008 Algebra 3 This exam contains 5 exercises which are to be solved in 3 hours. The exercises are posed in an English and in a Danish
Læs mereWeb-seminar. 30 March Noter
Web-seminar 30 March 2017 Noter Følg mig på www.tomhougaard.dk Hvad er Day Trading og Spekulation? Attachment is the great fabricator of illusions; reality can be attained only by someone who is detached.
Læs mereKurver og flader Aktivitet 15 Geodætiske kurver, Isometri, Mainardi-Codazzi, Teorema Egregium
Kurver og flader Aktivitet 15 Geodætiske kurver, Isometri, Mainardi-Codazzi, Teorema Egregium Lisbeth Fajstrup Institut for Matematiske Fag Aalborg Universitet Kurver og Flader 2013 Lisbeth Fajstrup (AAU)
Læs mereNovember hilsner fra NORDJYSKE Medier, Distributionen
Uret er stillet til vintertid, og det betyder, at der nu er mørkt både morgen og aften. Det er vigtigt, at du er synlig i trafikken i vintermørket, og derfor opfordrer vi dig til at bruge din refleksvest,
Læs mereName: Week of April 1 MathWorksheets.com
Get a fidget spinner! Spin it. I needed to spin time(s) to finish. Find the GCF using the Birthday Cake method. 5 45 55 9 11 5 = 5 4 16 12 2 14 12 5 100 50 3 15 27 80 208 240 144 70 45 21 24 45 57 Spin
Læs mereTM4 Central Station. User Manual / brugervejledning K2070-EU. Tel Fax
TM4 Central Station User Manual / brugervejledning K2070-EU STT Condigi A/S Niels Bohrs Vej 42, Stilling 8660 Skanderborg Denmark Tel. +45 87 93 50 00 Fax. +45 87 93 50 10 info@sttcondigi.com www.sttcondigi.com
Læs merehow to save excel as pdf
1 how to save excel as pdf This guide will show you how to save your Excel workbook as PDF files. Before you do so, you may want to copy several sheets from several documents into one document. To do so,
Læs mere