LEADER 01186nam a2200301 i 4500 001 991001484469707536 005 20020507194312.0 008 000705s1996 uk ||| | eng 035 $ab10853789-39ule_inst 035 $aLE01312952$9ExL 040 $aDip.to Matematica$beng 082 0 $a515.353 084 $aAMS 35D 100 1 $aMálek, Josef$0348824 245 10$aWeak and measure-valued solutions to evolutionary PDEs /$cJ. Málek ... [et al.] 250 $a1st ed 260 $aLondon :$bChapman & Hall,$c1996 300 $axi, 317 p. :$bill. ;$c23 cm. 490 0 $aApplied mathematics and mathematical computation ;$v13 500 $aIncludes bibliographical references (p. 295-308) and indexes 650 4$aEvolution equations-numerical solutions 650 4$aPartial differential equations-numerical solutions 907 $a.b10853789$b23-02-17$c28-06-02 912 $a991001484469707536 945 $aLE013 35D MAL11 (1996)$g1$i2013000121741$lle013$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10965373$z28-06-02 996 $aWeak and measure-valued solutions to evolutionary PDEs$9918524 997 $aUNISALENTO 998 $ale013$b01-01-00$cm$da $e-$feng$guk $h0$i1 LEADER 03855nam 22005535 450 001 9910366584903321 005 20200706121846.0 010 $a3-030-20323-9 024 7 $a10.1007/978-3-030-20323-8 035 $a(CKB)4100000008618156 035 $a(MiAaPQ)EBC5813784 035 $a(DE-He213)978-3-030-20323-8 035 $a(PPN)238491935 035 $a(EXLCZ)994100000008618156 100 $a20190708d2020 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 13th International Workshop on Boolean Problems /$fedited by Rolf Drechsler, Mathias Soeken 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (268 pages) 311 $a3-030-20322-0 327 $aChapter 1. Self-Explaining Digital Systems: Technical View, Implementation Aspects, and Completeness -- Chapter 2.Secure Implementation of Lattice-Based Encryption Schemes -- Chapter 3. Derivative Operations for Classes CN of Boolean Functions -- Chapter 4.Towards the Structure of a Class of Permutation Matrices Associated With Bent Functions -- Chapter 5. Improving SAT Solving Using?Monte Carlo Tree Search-based Clause Learning -- Chapter 6.Synthesis of Majority Expressions through Primitive Function Manipulation -- Chapter 7. Literal Selection in Switching Lattice Design -- Chapter 8. Exact Synthesis of ESOP Forms -- Chapter 9.An Algorithm for Linear, Affine and Spectral Classification of Boolean Functions -- Chapter 10.New Results on Reversible Boolean Functions Having Component Functions with Specified Properties -- Chapter 11. Efficient hardware operations for the residue number system by Boolean minimization. 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 13th annual International Workshop on Boolean Problems. Provides a single-source reference to the state-of-the-art research in the field of logic synthesis and Boolean techniques; Includes a selection of the best papers presented at the 13th annual International Workshop on Boolean Problems; Covers Boolean algebras, Boolean logic, Boolean modeling, Combinatorial Search, Boolean and bitwise arithmetic, Software and tools for the solution of Boolean problems, Applications of Boolean logic and algebras, Applications to real-world problems, Boolean constraint solving, and Extensions of Boolean logic. 606 $aElectronic circuits 606 $aLogic design 606 $aElectronics 606 $aMicroelectronics 606 $aCircuits and Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/T24068 606 $aLogic Design$3https://scigraph.springernature.com/ontologies/product-market-codes/I12050 606 $aElectronics and Microelectronics, Instrumentation$3https://scigraph.springernature.com/ontologies/product-market-codes/T24027 615 0$aElectronic circuits. 615 0$aLogic design. 615 0$aElectronics. 615 0$aMicroelectronics. 615 14$aCircuits and Systems. 615 24$aLogic Design. 615 24$aElectronics and Microelectronics, Instrumentation. 676 $a511.324 676 $a511.324 702 $aDrechsler$b Rolf$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSoeken$b Mathias$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910366584903321 996 $aAdvanced Boolean Techniques$92213995 997 $aUNINA