Introduction to Satisfiability Solving with Practical Applications Niklas Een SAT solvers

Source URL: wikis.mit.edu

• Mathematics
• Automated theorem proving
• Electronic design automation
• Formal methods
• NP-complete problems
• Satisfiability Modulo Theories
• Unit propagation
• Backtracking
• Resolution
• Theoretical computer science
• Constraint programming
• Applied mathematics

Illusions of consistency in quantified assertions 1 Niklas Kunze1 ([removed]) Sangeet Khemlani2 ([removed])

Source URL: mentalmodels.princeton.edu

• Binary operations
• Propositional calculus
• Thought
• Mental model
• Assertion
• Logical disjunction
• Quantification
• Illusion
• If and only if
• Logic
• Science
• Mathematics

Sustainable Development and Knowledge Society1 Michael Paetau Fraunhofer Institute for Autonomous intelligent Systems Schloss Birlinghoven, D−53754 Sankt Augustin, Germany [removed], http://www.ais.fraun

Source URL: www.sociocybernetics.eu

• Systems theory
• Ethology
• Cognitive science
• Groupware
• Hypertext
• Knowledge management
• Reflexivity
• Sociocybernetics
• Niklas Luhmann
• Science
• Knowledge
• Cybernetics

august[removed]Verantwortung 1 angesichts emergenter kultureller Evolution Ein kritisches Gespräch zwischen Niklas Luhmann und Gotthard Günther David Köpf

Source URL: www.vordenker.de

Improving RRB-Tree Performance through Transience A master dissertation presented by Jean Niklas L’orange in partial fulfillment of the requirements for the degree of Master of

Source URL: hypirion.com

• Norwegian language
• Nynorsk

Media-Technology and the Structural Change of Knowledge Societies ∗ Michael Paetau Fraunhofer Institut f¨ ur Intelligente Analyse und Informationssysteme Schloss Birlinghoven, 53754 Sankt Augustin, Germany

Source URL: www.sociocybernetics.eu

• Science and technology studies
• Technological change
• Functionalism
• Complex systems theory
• Innovation
• Technological determinism
• Niklas Luhmann
• Harold Innis
• Technology
• Science
• Knowledge
• Ethology

Interaction in the Visualization of Multivariate Networks Michael Wybrow, Niklas Elmqvist, Jean-Daniel Fekete, Tatiana Von Landesberger, Jarke Van Wijk, Bj¨orn Zimmer To cite this version: Michael Wybrow, Niklas Elmqvis

Source URL: hal.inria.fr

• Computer graphics
• Scientific modeling
• Visualization
• Information visualization
• Network topology
• Visual analytics
• Prefuse
• Social network analysis software
• Science
• Computational science
• Infographics

Composition and Arrangement Techniques for Music in Interactive Immersive Environments Axel Berndt, Knut Hartmann, Niklas Röber, and Maic Masuch Department of Simulation and Graphics Otto-von-Guericke University of Magd

Source URL: wwwpub.zih.tu-dresden.de

• Algorithmic composition
• Video game music
• Computer music
• Tonality
• Ostinato
• Contemporary classical music
• Electronic music
• Sheet music
• ONCE Group
• Music
• Entertainment
• Music theory

Are governments doing their “fair share”? - New method assesses climate action Climate Action Tracker update Niklas Höhne, Hanna Fekete, Markus Hagemann NewClimate Institute

Source URL: climateactiontracker.org

• Carbon finance
• Earth
• United Nations Framework Convention on Climate Change
• Environmental economics
• Emissions trading
• Economics of global warming
• Greenhouse Development Rights
• Intergovernmental Panel on Climate Change
• European Union Emission Trading Scheme
• Climate change policy
• Environment
• Climate change

Articles Antipsychotics, mood stabilisers, and risk of violent crime Seena Fazel, Johan Zetterqvist, Henrik Larsson, Niklas Långström, Paul Lichtenstein Summary

Source URL: blogs.bmj.com

• Mood disorders
• Bipolar spectrum
• Schizophrenia
• Antipsychotic
• Atypical antipsychotic
• Typical antipsychotic
• Management of schizophrenia
• Clozapine
• Antidepressant
• Psychiatry
• Abnormal psychology
• Psychopathology