LEADER 03692nam 2200661Ia 450 001 9910454142103321 005 20200520144314.0 010 $a0-19-756225-6 010 $a1-281-86823-X 010 $a9786611868239 010 $a0-19-972108-4 035 $a(CKB)1000000000706144 035 $a(EBL)415254 035 $a(OCoLC)437093292 035 $a(SSID)ssj0000142837 035 $a(PQKBManifestationID)11143876 035 $a(PQKBTitleCode)TC0000142837 035 $a(PQKBWorkID)10109090 035 $a(PQKB)11443784 035 $a(MiAaPQ)EBC415254 035 $a(StDuBDS)EDZ0002341509 035 $a(Au-PeEL)EBL415254 035 $a(CaPaEBR)ebr10263645 035 $a(CaONFJC)MIL186823 035 $a(EXLCZ)991000000000706144 100 $a20080502d2009 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aEchoes of life$b[electronic resource] $ewhat fossil molecules reveal about earth history /$fSusan M. Gaines, Geoffrey Eglinton, Ju?rgen Rullko?tter ; scientific illustrations by Florian Rommerskirchen 210 $aOxford ;$aNew York $cOxford University Press$d2009 215 $a1 online resource (376 p.) 225 1 $aOxford scholarship online 300 $aPreviously issued in print: 2009. 311 $a0-19-517619-7 320 $aIncludes bibliographical references (p. 315-339) and index. 327 $aFossil Molecules in Geologic Time; Contents; 1. Molecular Informants: A Changing Perspective of Organic Chemistry; 2. Looking to the Rocks: Molecular Clues to the Origin of Life; 3. From the Moon to Mars: The Search for Extraterrestrial Life; 4. Black Gold: An Alchemist's Guide to Petroleum; 5. Deep Sea Mud: Biomarker Clues to Ancient Climates; 6. More Molecules, More Mud, and the Isotopic Dimension: Ancient Environments Revealed; 7. Microbiologists (Finally) Climb on Board; 8. Weird Molecules, Inconceivable Microbes, and Unlikely Environmental Proxies: Marine Ecology Revised 327 $a9. Molecular Paleontology and Biochemical Evolution10. Early Life Revisited; 11. Thinking Molecularly, Anything Goes: From Mummies to Oil Spills, Doubts to New Directions; Appendix: Biomarkers at a Glance; Glossary; Figure List; Selected Bibliography; Index; A Biomarker-centric Tree of Life 330 8 $aIn 1936 a German chemist identified certain organic molecules in ancient rocks and oils as the fossil remains of chlorophyll, presumably from plants that had lived millions of years in the past. Many years later this insight was revisited and the term biomarker coined to describe fossil molecules whose molecular structures could reveal the presence of otherwise elusive organisms and processesand then, the hunt was on. Echoes of Life is the story of those molecules and how they illuminate the history of the earth and its life. It is also the story of how a few maverick organic chemists and geologists defied the dictates of their disciplines and, at a time when the natural sciences were fragmenting into ever-more-specialised sub-disciplines, reunited chemistry, biology and geology in a common endeavor. 410 0$aOxford scholarship online. 606 $aBiomolecules, Fossil 606 $aBiomolecules 608 $aElectronic books. 615 0$aBiomolecules, Fossil. 615 0$aBiomolecules. 676 $a572/.33 700 $aGaines$b Susan M$0932631 701 $aEglinton$b G$g(Geoffrey)$0932632 701 $aRullko?tter$b J$0932633 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910454142103321 996 $aEchoes of life$92098741 997 $aUNINA LEADER 03778nam 22006255 450 001 9910728387303321 005 20251008155048.0 010 $a3-031-28916-1 024 7 $a10.1007/978-3-031-28916-3 035 $a(MiAaPQ)EBC30554478 035 $a(Au-PeEL)EBL30554478 035 $a(DE-He213)978-3-031-28916-3 035 $a(BIP)088809418 035 $a(PPN)270619461 035 $a(CKB)26801497100041 035 $a(EXLCZ)9926801497100041 100 $a20230529d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAdvanced Boolean Techniques $eSelected Papers from the 15th International Workshop on Boolean Problems /$fedited by Rolf Drechsler, Sebastian Huhn 205 $a1st ed. 2023. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2023. 215 $a1 online resource (174 pages) 311 08$aPrint version: Drechsler, Rolf Advanced Boolean Techniques Cham : Springer International Publishing AG,c2023 9783031289156 327 $aChapter 1. Arithmetic Satisfiability-Modulo-Theory Solving Applied to Non-Standard Analysis Problems of Cyber-Physical Systems -- Chapter 2. Fast AIG-based Approximate Logic Synthesis -- Chapter 3. External Don?t Cares in Logic Synthesis -- Chapter 4. Maiorana-McFarland Boolean Bent Functions Characterized by their Reed-Muller Spectra -- Chapter 5. Towards System-level Assertions for Heterogeneous Systems -- Chapter 6. SAT-based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms -- Chapter 7. Autosymmetric and D-reducible Functions: Theory and Application to Security -- Chapter 8. Two-operands modular multiplication to small bit-ranges -- Chapter 9. Low Latency Real-Time Inference for Multilayer Perceptrons on FPGAs -- Chapter 10. Thirty-six Officers of Euler - New Insights Computed Using XBOOLE -- Chapter 11. Start Small but Dream Big: On Choosing a Static Variable Order for Multiplier BDDs. 330 $aThis book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapters and a selection of the best papers presented at the 15th annual International Workshop on Boolean Problems. Provides a single-source reference to the state-of-the-art in logic synthesis and Boolean techniques; Includes a selection of the best papers presented at the 15th annual International Workshop on Boolean Problems; Covers Boolean algebras, Boolean logic, Boolean modeling, Combinatorial Search, Boolean and bitwise arithmetic and more. 606 $aElectronic circuits 606 $aComputer science$xMathematics 606 $aEmbedded computer systems 606 $aElectronic circuit design 606 $aElectronic Circuits and Systems 606 $aMathematical Applications in Computer Science 606 $aEmbedded Systems 606 $aElectronics Design and Verification 615 0$aElectronic circuits. 615 0$aComputer science$xMathematics. 615 0$aEmbedded computer systems. 615 0$aElectronic circuit design. 615 14$aElectronic Circuits and Systems. 615 24$aMathematical Applications in Computer Science. 615 24$aEmbedded Systems. 615 24$aElectronics Design and Verification. 676 $a621.3815 700 $aDrechsler$b Rolf$0720580 701 $aHuhn$b Sebastian$0853544 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910728387303321 996 $aAdvanced Boolean Techniques$93382359 997 $aUNINA