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 LEADER 03812nam 22008175 450 001 9910300156203321 005 20200701191933.0 010 $a3-642-54936-5 024 7 $a10.1007/978-3-642-54936-6 035 $a(CKB)3710000000249641 035 $a(SSID)ssj0001354211 035 $a(PQKBManifestationID)11764814 035 $a(PQKBTitleCode)TC0001354211 035 $a(PQKBWorkID)11322705 035 $a(PQKB)11390751 035 $a(DE-He213)978-3-642-54936-6 035 $a(MiAaPQ)EBC6284980 035 $a(MiAaPQ)EBC5577409 035 $a(Au-PeEL)EBL5577409 035 $a(OCoLC)894582222 035 $a(PPN)18135148X 035 $a(EXLCZ)993710000000249641 100 $a20140920d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aModel Theory in Algebra, Analysis and Arithmetic $eCetraro, Italy 2012, Editors: H. Dugald Macpherson, Carlo Toffalori /$fby Lou van den Dries, Jochen Koenigsmann, H. Dugald Macpherson, Anand Pillay, Carlo Toffalori, Alex J. Wilkie 205 $a1st ed. 2014. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014. 215 $a1 online resource (VII, 195 p.) 225 1 $aC.I.M.E. Foundation Subseries ;$v2111 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-54935-7 320 $aIncludes bibliographical references. 327 $aSome themes around first order theories without the independence property -- Lectures on the model theory of real and complex exponentiation -- Lectures on the model theory of valued fields -- Undecidability in number theory. 330 $aPresenting recent developments and applications, the book focuses on four main topics in current model theory: 1) the model theory of valued fields; 2) undecidability in arithmetic; 3) NIP theories; and 4) the model theory of real and complex exponentiation. Young researchers in model theory will particularly benefit from the book, as will more senior researchers in other branches of mathematics. 410 0$aC.I.M.E. Foundation Subseries ;$v2111 606 $aLogic, Symbolic and mathematical 606 $aAlgebra 606 $aMathematical analysis 606 $aAnalysis (Mathematics) 606 $aNumber theory 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aAlgebra$3https://scigraph.springernature.com/ontologies/product-market-codes/M11000 606 $aAnalysis$3https://scigraph.springernature.com/ontologies/product-market-codes/M12007 606 $aNumber Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/M25001 615 0$aLogic, Symbolic and mathematical. 615 0$aAlgebra. 615 0$aMathematical analysis. 615 0$aAnalysis (Mathematics). 615 0$aNumber theory. 615 14$aMathematical Logic and Foundations. 615 24$aAlgebra. 615 24$aAnalysis. 615 24$aNumber Theory. 676 $a511.3 700 $avan den Dries$b Lou$4aut$4http://id.loc.gov/vocabulary/relators/aut$061810 702 $aKoenigsmann$b Jochen$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aMacpherson$b H. Dugald$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aPillay$b Anand$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aToffalori$b Carlo$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aWilkie$b Alex J$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910300156203321 996 $aModel Theory in Algebra, Analysis and Arithmetic$92364189 997 $aUNINA