07813nam 2200397 450 991059800390332120230329081611.0(CKB)4100000002964850(NjHacI)994100000002964850(EXLCZ)99410000000296485020230329d2017 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierAdvances in Polyhydroxyalkanoate (PHA) Production /Martin Koller, editor[Place of publication not identified] :MDPI AG - Multidisciplinary Digital Publishing Institute,[2017]©20171 online resource (258 pages)3-03842-637-7 About the Special Issue Editor v -- Preface to "Advances in Polyhydroxyalkanoate (PHA) Production" vii Martin Koller -- Advances in Polyhydroxyalkanoate (PHA) Production -- Reprinted from: Bioengineering 2017, 4(4), 88; doi: 10.3390/bioengineering4040088 1 -- Constantina Kourmentza, Jersson Plácido, Nikolaos Venetsaneas, Anna Burniol‐Figols, -- Cristiano Varrone, Hariklia N. Gavala and Maria A. M. Reis Recent Advances and Challenges towards Sustainable Polyhydroxyalkanoate (PHA) Production -- Reprinted from: Bioengineering 2017, 4(2), 55; doi: 10.3390/bioengineering4020055 8 -- Rodrigo Yoji Uwamori Takahashi, Nathalia Aparecida Santos Castilho, Marcus Adonai Castro da Silva, Maria Cecilia Miotto and André Oliveira de Souza Lima Prospecting for Marine Bacteria for Polyhydroxyalkanoate Production on Low‐Cost Substrates -- Reprinted from: Bioengineering 2017, 4(3), 60; doi: 10.3390/bioengineering4030060 51 Sourish Bhattacharya, Sonam Dubey, Priyanka Singh, Anupama Shrivastava and Sandhya Mishra -- Biodegradable Polymeric Substances Produced by a Marine Bacterium from a Surplus Stream of the Biodiesel Industry -- Reprinted from: Bioengineering 2016, 3(4), 34; doi: 10.3390/bioengineering3040034 64 Bhakti B. Salgaonkar and Judith M. Bragança -- Utilization of Sugarcane Bagasse by Halogeometricum borinquense Strain E3 for Biosynthesis of Poly(3‐hydroxybutyrate‐co‐3‐hydroxyvalerate) -- Reprinted from: Bioengineering 2017, 4(2), 50; doi: 10.3390/bioengineering4020050 75 -- Dan Kucera, Pavla Benesova, Peter Ladicky, Miloslav Pekar, Petr Sedlacek and Stanislav Obruca Production of Polyhydroxyalkanoates Using Hydrolyzates of Spruce Sawdust: Comparison of Hydrolyzates Detoxification by Application of Overliming, Active Carbon, and Lignite Reprinted from: Bioengineering 2017, 4(2), 53; doi: 10.3390/bioengineering4020053 93 -- Ayaka Hokamura, Yuko Yunoue, Saki Goto and Hiromi Matsusaki -- Biosynthesis of Polyhydroxyalkanoate from Steamed Soybean Wastewater by a Recombinant -- Strain of Pseudomonas sp. 61‐3 -- Reprinted from: Bioengineering 2017, 4(3), 68; doi: 10.3390/bioengineering4030068 102 -- Brian Johnston, Guozhan Jiang, David Hill, Grazyna Adamus, Iwona Kwiecień, Magdalena Zięba, Wanda Sikorska, Matthew Green, Marek Kowalczuk and Iza Radecka -- The Molecular Level Characterization of Biodegradable Polymers Originated from Polyethylene -- Using Non‐Oxygenated Polyethylene Wax as a Carbon Source for Polyhydroxyalkanoate Production -- Reprinted from: Bioengineering 2017, 4(3), 73; doi: 10.3390/bioengineering4030073 112 -- Stephanie Karmann, Sven Panke and Manfred Zinn -- The Bistable Behaviour of Pseudomonas putida KT2440 during PHA Depolymerization under Carbon Limitation -- Reprinted from: Bioengineering 2017, 4(2), 58; doi: 10.3390/bioengineering4020058 126 -- Liliana Montano‐Herrera, Bronwyn Laycock, Alan Werker and Steven Pratt -- The Evolution of Polymer Composition during PHA Accumulation: The Significance of Reducing Equivalents -- Reprinted from: Bioengineering 2017, 4(1), 20; doi: 10.3390/bioengineering4010020. 138 -- Eduarda Morgana da Silva Montenegro, Gabriela Scholante Delabary, Marcus Adonai Castro da Silva, Fernando Dini Andreote and André Oliveira de Souza Lima -- Molecular Diagnostic for Prospecting Polyhydroxyalkanoate‐Producing Bacteria -- Reprinted from: Bioengineering 2017, 4(2), 52; doi: 10.3390/bioengineering4020052 155 -- Clemens Troschl, Katharina Meixner and Bernhard Drosg -- Cyanobacterial PHA Production-Review of Recent Advances and a Summary of Three Years'-- Working Experience Running a Pilot Plant -- Reprinted from: Bioengineering 2017, 4(2), 26; doi: 10.3390/bioengineering4020026 165-- Timo Pittmann and Heidrun Steinmetz -- Polyhydroxyalkanoate Production on Waste Water Treatment Plants: Process Scheme, Operating Conditions and Potential Analysis for German and European Municipal Waste -- Water Treatment Plants -- Reprinted from: Bioengineering 2017, 4(2), 54; doi: 10.3390/bioengineering4020054 184 -- Miguel Miranda De Sousa Dias, Martin Koller, Dario Puppi, Andrea Morelli, -- Federica Chiellini and Gerhart Braunegg -- Fed‐Batch Synthesis of Poly(3‐Hydroxybutyrate) and Poly(3‐Hydroxybutyrate‐co‐4‐Hydroxybutyrate) from Sucrose and 4‐Hydroxybutyrate Precursors by Burkholderia sacchari Strain DSM 17165 -- Reprinted from: Bioengineering 2017, 4(2), 36; doi: 10.3390/bioengineering4020036 208 -- Dario Puppi, Andrea Morelli and Federica Chiellini -- Additive Manufacturing of Poly(3‐hydroxybutyrate‐co‐3‐hydroxyhexanoate)/poly(ε‐caprolactone) -- Blend Scaffolds for Tissue Engineering -- Reprinted from: Bioengineering 2017, 4(2), 49; doi: 10.3390/bioengineering4020049 227.Currently, we are witnessing highly dynamic research efforts related to the exciting field of novel biodegradable plastic-like materials. These activities originate from a growing public awareness of prevailing ecological problems associated to, e.g., rising piles of plastic waste, increasing greenhouse gas emissions, and ongoing depletion of such fossil resources usually used for the synthesis of "full carbon backbone" plastics. Polyhydroxyalkanoate (PHA) biopolyesters, a family of versatile plastic-like materials produced by living microbes, are a future-oriented alternative to traditional plastics. If accomplished in an optimized way, production and the entire lifecycle of PHA are embedded into nature´s closed carbon cycle, which is underlined by PHA´s main benefits of being "biobased", "biosynthesized", "biocompatible", and "biodegradable". Sustainable and economically feasible PHA synthesis, especially on an industrially relevant scale, requires all production steps to be understood and improved. Among other aspects, this calls for new powerful production strains to be screened; knowledge about the proteome and genome of PHA accumulating organisms to be consolidated; the kinetics of the bioprocesses to be thoroughly understood; abundantly available inexpensive raw materials to be tested; the monomer composition of PHA to be adapted; (bio)chemical engineering to be optimized; and novel PHA recovery strategies to be developed in order to reduce energy and chemical inventory. The present book provides a comprehensive compilation of articles addressing all these different aspects; the individual chapters were composed by globally recognized front running experts from special niches of PHA research. We are convinced that this book will be of major benefit to the growing scientific community active in biopolymer research.Advances in Polyhydroxyalkanoate Biodegradable plasticsPoly-beta-hydroxyalkanoatesBiodegradable plastics.Poly-beta-hydroxyalkanoates.620.192323Koller MartinNjHacINjHaclBOOK9910598003903321Advances in Polyhydroxyalkanoate (PHA) Production2943916UNINA05497nam 22006735 450 991014333150332120251116233930.01-280-30676-997866103067633-540-24617-710.1007/b95400(CKB)1000000000210123(SSID)ssj0000157220(PQKBManifestationID)11160331(PQKBTitleCode)TC0000157220(PQKBWorkID)10139506(PQKB)10137455(DE-He213)978-3-540-24617-6(MiAaPQ)EBC3087308(PPN)155211420(EXLCZ)99100000000021012320121227d2004 u| 0engurnn|008mamaatxtccrFormal Approaches to Software Testing Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 /edited by Andreas Ulrich1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (VIII, 268 p.) Lecture Notes in Computer Science,0302-9743 ;2931Bibliographic Level Mode of Issuance: Monograph3-540-20894-1 Includes bibliographical references and index.Program Testing and Analysis -- Black-Box Testing of Grey-Box Behavior -- On Checking Whether a Predicate Definitely Holds -- Using a Software Testing Technique to Improve Theorem Proving -- Auto-generating Test Sequences Using Model Checkers: A Case Study -- Mutually Enhancing Test Generation and Specification Inference -- JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit -- Test Theory and Test Derivation Algorithms -- Compositional Testing with ioco -- Defining Observation Objectives for Reactive and Distributed Systems -- Time-Optimal Real-Time Test Case Generation Using Uppaal -- Test Cases Generation for Nondeterministic Real-Time Systems -- Property Oriented Test Case Generation -- Computing Unique Input/Output Sequences Using Genetic Algorithms -- Automatic Generation of Test Purposes for Testing Distributed Systems -- Test Methods and Test Tools -- Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation -- Automatic Conformance Testing of Internet Applications -- A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams -- VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile -- Towards a Tool Environment for Model-Based Testing with AsmL.Formal methods provide system designers with the possibility to analyze system models and reason about them with mathematical precision and rigor. The use of formal methods is not restricted to the early development phases of a system, though. The di?erent testing phases can also bene?t from them to ease the p- duction and application of e?ective and e?cient tests. Many still regard formal methods and testing as an odd combination. Formal methods traditionally aim at verifying and proving correctness (a typical academic activity), while testing shows only the presence of errors (this is what practitioners do). Nonetheless, there is an increasing interest in the use of formal methods in software testing. It is expected that formal approaches are about to make a major impact on eme- ing testing technologies and practices. Testing proves to be a good starting point for introducing formal methods in the software development process. This volume contains the papers presented at the 3rd Workshop on Formal Approaches to Testing of Software, FATES 2003, that was in a?liation with the IEEE/ACM Conference on Automated Software Engineering (ASE 2003). This year, FATES received 43 submissions. Each submission was reviewed by at least three independent reviewers from the program committee with the help of - ditional reviewers. Based on their evaluations, 18 papers submitted by authors from 13 di?erent countries were selected for presentation at the workshop.Lecture Notes in Computer Science,0302-9743 ;2931Software engineeringProgramming languages (Electronic computers)Computer logicSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware engineering.Programming languages (Electronic computers)Computer logic.Software Engineering/Programming and Operating Systems.Software Engineering.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.005.13/1Ulrich Andreasedthttp://id.loc.gov/vocabulary/relators/edtFATES 2003BOOK9910143331503321Formal Approaches to Software Testing772199UNINA