LEADER 05665nam 22007215 450 001 9910144129303321 005 20200702150221.0 010 $a3-540-45148-X 024 7 $a10.1007/10720327 035 $a(CKB)1000000000548851 035 $a(SSID)ssj0000324539 035 $a(PQKBManifestationID)11224803 035 $a(PQKBTitleCode)TC0000324539 035 $a(PQKBWorkID)10313003 035 $a(PQKB)10195321 035 $a(DE-He213)978-3-540-45148-8 035 $a(MiAaPQ)EBC3087275 035 $a(PPN)155179136 035 $a(EXLCZ)991000000000548851 100 $a20121227d2000 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic-Based Program Synthesis and Transformation $e9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers /$fedited by Annalisa Bossi 205 $a1st ed. 2000. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2000. 215 $a1 online resource (VII, 312 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1817 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-67628-7 320 $aIncludes bibliographical references and index. 327 $aInvited Talk -- Algebraic Specification and Program Development by Stepwise Refinement -- Tutorials -- Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency -- Constraint Logic Programming Applied to Model Checking -- Software Development -- On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic -- Analysis and Specialisation -- Infinite State Model Checking by Abstract Interpretation and Program Specialisation -- Mode Analysis Domains for Typed Logic Programs -- Imperative Program Specialisation: An Approach Using CLP -- Specialising Finite Domain Programs Using Polyhedra -- Transformation -- Roles of Program Extension -- Transformation of Left Terminating Programs -- Transformation Rules for Logic Programs with Goals as Arguments -- Making Mercury Programs Tail Recursive -- The Replacement Operation for CCP Programs -- Verification -- Annotations for Prolog ? A Concept and Runtime Handling -- Verification by Testing for Recursive Program Schemes -- Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs -- Context-Moving Transformations for Function Verification. 330 $aThis volume contains the proceedings of the ninth international workshop on logic-based program synthesis and transformation (LOPSTR?99) which was held in Venice (Italy), September 22-24, 1999. LOPSTRistheannualworkshopandforumforresearchersinthelogic-based program development stream of computational logic. The main focus used to be on synthesis and transformation of logic programs, but the workshop is open to contributions on logic-based program development in any paradigm. Previous workshops were held in Manchester, UK (1991, 1992), Louvain-la-Neuve, B- gium (1993), Pisa, Italy (1994), Arnhem, The Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997), and Manchester, UK (1998). LOPSTR is a real workshop in the sense that it is a friendly and lively forum for presenting recent and current research as well as discussing future trends. Formal proceedings of the workshop are produced only after the workshop and contain only those papers selected by the program committee after a second refereeing process. The program committee of LOPSTR?99 accepted 20 extended abstracts for presentation at the workshop; then selected 14 papers for inclusion in the po- workshop proceedings. Selected papers cover all the main streams of LOPSTR?s topics: synthesis, specialization, transformation, analysis, and veri?cation. Ve- ?cation, transformation, and specialization methods are applied to functional, constraint, logic, and imperative programming. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v1817 606 $aSoftware engineering 606 $aComputer logic 606 $aComputer programming 606 $aArtificial intelligence 606 $aLogic, Symbolic and mathematical 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aComputer programming. 615 0$aArtificial intelligence. 615 0$aLogic, Symbolic and mathematical. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Techniques. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 676 $a005.1/15 702 $aBossi$b Annalisa$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop on Logic-Based Program Synthesis and Transformation 906 $aBOOK 912 $a9910144129303321 996 $aLogic-Based Program Synthesis and Transformation$92914320 997 $aUNINA LEADER 04902nam 2201189z- 450 001 9910580217503321 005 20220706 035 $a(CKB)5690000000011912 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/87415 035 $a(oapen)doab87415 035 $a(EXLCZ)995690000000011912 100 $a20202207d2022 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aPoultry: Breeding, Health, Nutrition, and Management 210 $aBasel$cMDPI - Multidisciplinary Digital Publishing Institute$d2022 215 $a1 online resource (196 p.) 311 08$a3-0365-4055-5 311 08$a3-0365-4056-3 330 $aBeing the largest animal protein producer, the poultry industry is in the focus of mixed-diet consumers (from a welfare point of view, as a medium of functional foods, environmental issues, the use of antibiotics, etc.), as well as the livestock industry in general. The poultry industry is also extremely quick to uptake new technologies (such as biotechnology, mechanization, robotics, and climate and nutrient control) in order to be economically efficient and sustainable. There is constant pressure from pathogens and new threats, such as avian flu, that requires new treatments and biosecurity measures. There are many novel approaches and answers to these challenges. In breeding, molecular genetic tools (genomic selection and genome editing) can be used to increase production efficiency and fitness, especially immunity traits, or to characterize local genetic pools. The One Health approach, which requires a holistic approach, where genetics, nutrition, health treatment, and management need to be considered together, has gained ground in the poultry industry. The gut microbiome seems to be a good indicator of the balanced health of an animal. Artificial intelligence, built into robotic supervision and handling, helps to increase animal comfort and save costs in the workforce. Organic farming takes a different approach and faces different challenges. What could the possible answers be? We are facing a new era in poultry science. The aim of this Special Issue is to highlight the importance of new findings. 517 $aPoultry 606 $aBiology, life sciences$2bicssc 606 $aCultural studies: food and society$2bicssc 606 $aResearch and information: general$2bicssc 610 $a16S rRNA gene 610 $aadmixture 610 $aaggressiveness 610 $aamino acids 610 $aamplicon sequencing 610 $aanimal husbandry 610 $aanimal nutrition 610 $aAscaridia galli 610 $abeak abrasion 610 $abehavior 610 $abroiler chicken 610 $abroiler chickens 610 $aCa:P ratio 610 $achemical fertilizers 610 $achicken 610 $achicken breeds 610 $aCitrullus colocynthis 610 $acomposted pelletized poultry litter 610 $adiet 610 $aducks 610 $aduration of onset 610 $aEU Green Deal 610 $aevolutionary lineages 610 $afattening turkey 610 $afatty acids 610 $agrowth 610 $agut microbiome 610 $ahepatic lipidosis 610 $aHosoya composting 610 $ahypophosphatemic rickets 610 $aimunity 610 $alameness 610 $alaying hen 610 $alaying hens 610 $alife cycle assessment 610 $alipid profile 610 $alow protein diet 610 $ameat nutritive composition 610 $ameat production 610 $amethionine 610 $amicrobiology 610 $aminerals 610 $amortality 610 $aN excretion 610 $an/a 610 $aNCAPG-LCORL 610 $anon-caged 610 $anon-trimmed 610 $aorganic waste 610 $aostrich 610 $aoxidative stress 610 $aphenotypic traits 610 $aphosphorus deficiency 610 $aphosphorus requirement 610 $aphysiological status 610 $apoultry 610 $apoultry farming waste 610 $aprobiotic 610 $aproductive performance 610 $aprotein 610 $askin microbiota 610 $astress indicators 610 $asynthetic genetic structure 610 $atechnological and organoleptic characteristics 610 $awelfare 610 $azinc 615 7$aBiology, life sciences 615 7$aCultural studies: food and society 615 7$aResearch and information: general 700 $aKomlo?si$b Istva?n$4edt$01318506 702 $aKomlo?si$b Istva?n$4oth 906 $aBOOK 912 $a9910580217503321 996 $aPoultry: Breeding, Health, Nutrition, and Management$93033341 997 $aUNINA