Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011. The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on complexity analysis, binary decision diagrams, theoretical analysis, extraction of minimal unsatisfiable subsets, SAT algorithms, quantified Boolean formulae, model enumeration and local search, and empirical evaluation.

Computer algorithms --- Propositional calculus --- Computer software --- Engineering & Applied Sciences --- Mathematics --- Physical Sciences & Mathematics --- Computer Science --- Mathematical Theory --- Verification --- Decision making --- Algebra, Boolean --- Boolean algebra --- Boole's algebra --- Calculus, Propositional --- Computer science. --- Logic design. --- Computers. --- Algorithms. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Logics and Meanings of Programs. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- Logic Design. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Informatics --- Science --- Foundations --- Algebraic logic --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Machine theory. --- Computer Science Logic and Foundations of Programming. --- Theory of Computation. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Hoe plak je een ballon tegen het plafond? En kun jij een ballon laten ontploffen met een citroen? Dit boek laat wetenschappers-in-de-dop eerst kennismaken met een ballon, wat zit er eigenlijk in? Daarna volgen tien hoofdstukken van elk twee pagina?s waarin geobserveerd en geëxperimenteerd wordt hoe o.a. je een ballon opblaast, hoe je een zeepje erin krijgt, je ballon laten zingen en je ballon hittebestendig maken. Daarbij staat telkens een beknopte 'wetenschappelijke' uitleg. Elk hoofdstuk wordt afgesloten met een motiverende tekst, waarin te lezen valt wat je nu weer hebt ontdekt. De informatie wordt verduidelijkt met veel kleurenillustraties, waarbij stripachtige figuurtjes de handelingen verrichten. Hun opmerkingen staan in tekstballonnen. De bijna vierkante uitgave is met zijn stevige bladen geschikt om vaak ter hand te nemen. In dezelfde opzet en onder de noemer 'De wetenschap van' verschenen in 2020 uitgaven over experimenten met een ei en de citroen*. Tegelijkertijd verschenen nog drie nieuwe uitgaven over water**, suiker en papier***. Uitgave waar het plezier vanaf spat, vol ideeën om (onder begeleiding) thuis of op school te doen. Vanaf ca. 5 t/m 8 jaar.© NBD Biblion

Ballon --- Natuurkundige proef --- Natuurwetenschappen --- Didactics of sciences --- Primary education --- ballonnen --- wetenschappelijke proeven --- lager onderwijs (doelgroep)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Kun jij een suikerlolly maken? En weet jij hoe je olie en suiker laat dansen? Dit boek laat wetenschappers-in-de-dop eerst kennismaken met suiker, waarvan wordt het gemaakt? Daarna volgen tien hoofdstukken van elk twee pagina?s waarin geobserveerd en geëxperimenteerd wordt hoe o.a. fruit laat krimpen, hoe laat je suiker in water verdwijnen en hoe maak je suikerklontjes en suikerlijm. Afgesloten word met een recept van karamelsnoepjes. Bij elke opdracht staat een beknopte 'wetenschappelijke' uitleg. En wordt afgesloten met een motiverende tekst, waarin te lezen valt wat je nu weer hebt ontdekt. De informatie wordt verduidelijkt met veel kleurenillustraties, waarbij stripachtige figuurtjes de handelingen verrichten. Hun opmerkingen staan in tekstballonnen. De bijna vierkante uitgave is met zijn stevige bladen geschikt om vaak ter hand te nemen. In dezelfde opzet en onder de noemer 'De wetenschap van' verschenen in 2020 uitgaven over experimenten met een ei en de citroen*. Tegelijkertijd verschenen nog drie nieuwe uitgaven over water, een ballon** en papier***. Uitgave waar het plezier vanaf spat, vol ideeën om (onder begeleiding) thuis of op school te doen. Vanaf ca. 5 t/m 8 jaar.© NBD Biblion

Suiker --- Natuurkundige proef --- Natuurwetenschappen --- proeven --- wereldoriëntatie --- suiker --- Didactics of sciences --- Primary education --- wetenschappelijke proeven --- lager onderwijs (doelgroep)