LEADER 04990nam 22007695 450 001 996466315703316 005 20230222172754.0 010 $a3-319-63139-X 024 7 $a10.1007/978-3-319-63139-4 035 $a(CKB)4340000000061636 035 $a(DE-He213)978-3-319-63139-4 035 $a(MiAaPQ)EBC6284763 035 $a(MiAaPQ)EBC5576858 035 $a(Au-PeEL)EBL5576858 035 $a(OCoLC)999401470 035 $a(PPN)203668871 035 $a(EXLCZ)994340000000061636 100 $a20170724d2017 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogic-Based Program Synthesis and Transformation$b[electronic resource] $e26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6?8, 2016, Revised Selected Papers /$fedited by Manuel V Hermenegildo, Pedro Lopez-Garcia 205 $a1st ed. 2017. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017. 215 $a1 online resource (XVI, 361 p. 75 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10184 300 $aIncludes index. 311 $a3-319-63138-1 327 $aPartial Evaluation of Order-sorted Equational Programs modulo Axioms -- A Formal, Resource Consumption-Preserving Translation of Actors to Haskell -- Verification of Time-Aware Business Processes using Constrained Horn Clauses -- MiniZinc with Strings -- Slicing Concurrent Constraint Programs -- A New Functional-Logic Compiler for Curry: Sprite -- lpopt: A Rule Optimization Tool for Answer Set Programming -- Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs -- Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators -- A Productivity Checker for Logic Programming -- Symbolic Abstract Contract Synthesis in a Rewriting Framework -- On the Completeness of Selective Uni_cation in Concolic Testing of Logic Programs -- CurryCheck: Checking Properties of Curry Programs -- A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms -- A Reversible Semantics for Erlang -- Scaling Bounded Model Checking By Transforming Programs With Arrays -- Coinductive Soundness of Corecursive Type Class Resolution -- Nominal Unification of Higher Order Expressions with Recursive Let -- Automata Theory Approach to Predicate Intuitionistic Logic. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016. The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10184 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aSoftware engineering 606 $aMachine theory 606 $aAlgorithms 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aSoftware Engineering 606 $aFormal Languages and Automata Theory 606 $aAlgorithms 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aMachine theory. 615 0$aAlgorithms. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aFormal Languages and Automata Theory. 615 24$aAlgorithms. 676 $a005.1 702 $aHermenegildo$b Manuel V$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLopez-Garcia$b Pedro$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466315703316 996 $aLogic-Based Program Synthesis and Transformation$92914320 997 $aUNISA LEADER 04350nam 22007095 450 001 9910254069503321 005 20200629155457.0 010 $a3-319-29638-8 024 7 $a10.1007/978-3-319-29638-8 035 $a(CKB)3710000000653670 035 $a(SSID)ssj0001665988 035 $a(PQKBManifestationID)16455727 035 $a(PQKBTitleCode)TC0001665988 035 $a(PQKBWorkID)15000649 035 $a(PQKB)11007897 035 $a(DE-He213)978-3-319-29638-8 035 $a(MiAaPQ)EBC6314280 035 $a(MiAaPQ)EBC5579488 035 $a(Au-PeEL)EBL5579488 035 $a(OCoLC)1066180539 035 $a(PPN)19344481X 035 $a(EXLCZ)993710000000653670 100 $a20160427d2016 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aIntroduction to Mathematical Biology $eModeling, Analysis, and Simulations /$fby Ching Shan Chou, Avner Friedman 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (VII, 172 p. 49 illus., 38 illus. in color.) 225 1 $aSpringer Undergraduate Texts in Mathematics and Technology,$x1867-5506 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-29636-1 327 $aIntroduction -- Bacterial Growth in Chemostat -- System of Two Linear Differential Equations -- System of Two Differential Equations -- Predator-Prey Models -- Two Competing Populations -- General Systems of Differential Equations -- The Chemostat Model Revisited -- Spread of Disease -- Enzyme Dynamics -- Bifurcation Theory -- Atherosclerosis: The Risk of High Cholesterol -- Cancer-Immune Interaction. Cancer Therapy -- Tuberculosis -- Solutions. 330 $aThis book is based on a one semester course that the authors have been teaching for several years, and includes two sets of case studies. The first includes chemostat models, predator-prey interaction, competition among species, the spread of infectious diseases, and oscillations arising from bifurcations. In developing these topics, readers will also be introduced to the basic theory of ordinary differential equations, and how to work with MATLAB without having any prior programming experience. The second set of case studies were adapted from recent and current research papers to the level of the students. Topics have been selected based on public health interest. This includes the risk of atherosclerosis associated with high cholesterol levels, cancer and immune interactions, cancer therapy, and tuberculosis. Readers will experience how mathematical models and their numerical simulations can provide explanations that guide biological and biomedical research. Considered to be the undergraduate companion to the more advanced book "Mathematical Modeling of Biological Processes" (A. Friedman, C.-Y. Kao, Springer ? 2014), this book is geared towards undergraduate students with little background in mathematics and no biological background. 410 0$aSpringer Undergraduate Texts in Mathematics and Technology,$x1867-5506 606 $aBiomathematics 606 $aMathematical physics 606 $aSystems biology 606 $aBiological systems 606 $aMathematical and Computational Biology$3https://scigraph.springernature.com/ontologies/product-market-codes/M31000 606 $aMathematical Applications in the Physical Sciences$3https://scigraph.springernature.com/ontologies/product-market-codes/M13120 606 $aSystems Biology$3https://scigraph.springernature.com/ontologies/product-market-codes/P27050 615 0$aBiomathematics. 615 0$aMathematical physics. 615 0$aSystems biology. 615 0$aBiological systems. 615 14$aMathematical and Computational Biology. 615 24$aMathematical Applications in the Physical Sciences. 615 24$aSystems Biology. 676 $a570.151 700 $aChou$b Ching Shan$4aut$4http://id.loc.gov/vocabulary/relators/aut$0755944 702 $aFriedman$b Avner$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910254069503321 996 $aIntroduction to Mathematical Biology$92105560 997 $aUNINA