LEADER 04289nam 2200781 a 450 001 9910461076403321 005 20210519215952.0 010 $a1-280-49454-9 010 $a9786613589774 010 $a1-4008-4279-4 024 7 $a10.1515/9781400842797 035 $a(CKB)2670000000175250 035 $a(EBL)893068 035 $a(OCoLC)794491917 035 $a(SSID)ssj0000647158 035 $a(PQKBManifestationID)11432939 035 $a(PQKBTitleCode)TC0000647158 035 $a(PQKBWorkID)10593103 035 $a(PQKB)11162202 035 $a(MiAaPQ)EBC893068 035 $a(StDuBDS)EDZ0000515136 035 $a(MdBmJHUP)muse37189 035 $a(DE-B1597)447157 035 $a(OCoLC)979755320 035 $a(DE-B1597)9781400842797 035 $a(Au-PeEL)EBL893068 035 $a(CaPaEBR)ebr10555044 035 $a(CaONFJC)MIL358977 035 $a(EXLCZ)992670000000175250 100 $a20111101d2012 uy 0 101 0 $aeng 135 $aurun#---|u||u 181 $ctxt 182 $cc 183 $acr 200 10$aPhysiological adaptations for breeding in birds$b[electronic resource] /$fTony D. Williams 205 $aCourse Book 210 $aPrinceton $cPrinceton University Press$dc2012 215 $a1 online resource (389 p.) 300 $aDescription based upon print version of record. 311 0 $a0-691-13982-2 320 $aIncludes bibliographical references and index. 327 $tFront matter --$tContents --$tIllustrations --$tAbbreviations --$tAcknowledgments --$tChapter 1. Introduction --$tChapter 2. The Hormonal and Physiological Control of Egg Production --$tChapter 3. Timing of Breeding --$tChapter 4. Egg Size and Egg Quality --$tChapter 5. Clutch Size --$tChapter 6. Parental Care --$tChapter 7. Trade-Offs and Carry-Over Effects --$tChapter 8. Conclusions --$tBibliography --$tIndex 330 $aPhysiological Adaptations for Breeding in Birds is the most current and comprehensive account of research on avian reproduction. It develops two unique themes: the consideration of female avian reproductive physiology and ecology, and an emphasis on individual variation in life-history traits. Tony Williams investigates the physiological, metabolic, energetic, and hormonal mechanisms that underpin individual variation in the key female-specific reproductive traits and the trade-offs between these traits that determine variation in fitness. The core of the book deals with the avian reproductive cycle, from seasonal gonadal development, through egg laying and incubation, to chick rearing. Reproduction is considered in the context of the annual cycle and through an individual's entire life history. The book focuses on timing of breeding, clutch size, egg size and egg quality, and parental care. It also provides a primer on female reproductive physiology and considers trade-offs and carryover effects between reproduction and other life-history stages. In each chapter, Williams describes individual variation in the trait of interest and the evolutionary context for trait variation. He argues that there is only a rudimentary, and in some cases nonexistent, understanding of the physiological mechanisms that underpin individual variation in the major reproductive life-history traits, and that research efforts should refocus on these key unresolved problems by incorporating detailed physiological studies into existing long-term population studies, generating a new synthesis of physiology, ecology, and evolutionary biology. 606 $aBirds$xReproduction 606 $aFemales 606 $aBirds$xPhysiology 606 $aAdaptation (Physiology) 606 $aPhenotype 606 $aBirds$xVariation 606 $aBirds$xEcology 608 $aElectronic books. 615 0$aBirds$xReproduction. 615 0$aFemales. 615 0$aBirds$xPhysiology. 615 0$aAdaptation (Physiology) 615 0$aPhenotype. 615 0$aBirds$xVariation. 615 0$aBirds$xEcology. 676 $a598.13/8 700 $aWilliams$b Tony D$01035037 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910461076403321 996 $aPhysiological adaptations for breeding in birds$92454520 997 $aUNINA LEADER 05873nam 22008175 450 001 996465430403316 005 20200706163114.0 010 $a3-540-30142-9 024 7 $a10.1007/b100400 035 $a(CKB)1000000000212544 035 $a(SSID)ssj0000257939 035 $a(PQKBManifestationID)11194622 035 $a(PQKBTitleCode)TC0000257939 035 $a(PQKBWorkID)10253744 035 $a(PQKB)11728063 035 $a(DE-He213)978-3-540-30142-4 035 $a(MiAaPQ)EBC3087845 035 $a(PPN)155210661 035 $a(EXLCZ)991000000000212544 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTheorem Proving in Higher Order Logics$b[electronic resource] $e17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings /$fedited by Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (VIII, 340 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3223 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-23017-3 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aError Analysis of Digital Filters Using Theorem Proving -- Verifying Uniqueness in a Logical Framework -- A Program Logic for Resource Verification -- Proof Reuse with Extended Inductive Types -- Hierarchical Reflection -- Correct Embedded Computing Futures -- Higher Order Rippling in IsaPlanner -- A Mechanical Proof of the Cook-Levin Theorem -- Formalizing the Proof of the Kepler Conjecture -- Interfacing Hoare Logic and Type Systems for Foundational Proof-Carrying Code -- Extensible Hierarchical Tactic Construction in a Logical Framework -- Theorem Reuse by Proof Term Transformation -- Proving Compatibility Using Refinement -- Java Program Verification via a JVM Deep Embedding in ACL2 -- Reasoning About CBV Functional Programs in Isabelle/HOL -- Proof Pearl: From Concrete to Functional Unparsing -- A Decision Procedure for Geometry in Coq -- Recursive Function Definition for Types with Binders -- Abstractions for Fault-Tolerant Distributed System Verification -- Formalizing Integration Theory with an Application to Probabilistic Algorithms -- Formalizing Java Dynamic Loading in HOL -- Certifying Machine Code Safety: Shallow Versus Deep Embedding -- Term Algebras with Length Function and Bounded Quantifier Alternation. 330 $aThis volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14?17, 2004 in Park City, Utah, USA. TPHOLs covers all aspects of theorem proving in higher-order logics as well as related topics in theorem proving and veri?cation. There were 42 papers submitted to TPHOLs 2004 in the full research ca- gory, each of which was refereed by at least 3 reviewers selected by the program committee. Of these submissions, 21 were accepted for presentation at the c- ference and publication in this volume. In keeping with longstanding tradition, TPHOLs 2004 also o?ered a venue for the presentation of work in progress, where researchers invited discussion by means of a brief introductory talk and then discussed their work at a poster session. A supplementary proceedings c- taining papers about in-progress work was published as a 2004 technical report of the School of Computing at the University of Utah. The organizers are grateful to Al Davis, Thomas Hales, and Ken McMillan for agreeing to give invited talks at TPHOLs 2004. The TPHOLs conference traditionally changes continents each year in order to maximize the chances that researchers from around the world can attend. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3223 606 $aArtificial intelligence 606 $aComputers 606 $aArchitecture, Computer 606 $aMathematical logic 606 $aComputer logic 606 $aSoftware engineering 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aArtificial intelligence. 615 0$aComputers. 615 0$aArchitecture, Computer. 615 0$aMathematical logic. 615 0$aComputer logic. 615 0$aSoftware engineering. 615 14$aArtificial Intelligence. 615 24$aTheory of Computation. 615 24$aComputer System Implementation. 615 24$aMathematical Logic and Formal Languages. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 676 $a511.36028563 702 $aSlind$b Konrad$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBunker$b Annette$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGopalakrishnan$b Ganesh C$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465430403316 996 $aTheorem Proving in Higher Order Logics$9772309 997 $aUNISA LEADER 02954nam 2200673z- 450 001 9910404082103321 005 20210211 010 $a3-03928-950-0 035 $a(CKB)4100000011302317 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/41444 035 $a(oapen)doab41444 035 $a(oapen)41444 035 $a(EXLCZ)994100000011302317 100 $a20202102d2020 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAssessing the Performance of Passive Houses in Mediterranean Climate Regions 210 $cMDPI - Multidisciplinary Digital Publishing Institute$d2020 215 $a1 online resource (138 p.) 311 08$a3-03928-949-7 330 $aThis book results from a Special Issue related to the latest progress in the thermodynamics of machines systems and processes since the premonitory work of Carnot. Carnot invented his famous cycle and generalized the efficiency concept for thermo-mechanical engines. Since that time, research progressed from the equilibrium approach to the irreversible situation that represents the general case. This book illustrates the present state-of-the-art advances after one or two centuries of consideration regarding applications and fundamental aspects. The research is moving fast in the direction of economic and environmental aspects. This will probably continue during the coming years. This book mainly highlights the recent focus on the maximum power of engines, as well as the corresponding first law efficiency upper bounds. 606 $aHistory of engineering and technology$2bicssc 610 $aair infiltration 610 $aannual energy demand 610 $aBIPV 610 $abuilding energy performance 610 $adynamic building simulation 610 $aenergy consumption 610 $aenergy efficiency 610 $aenergy need optimisation 610 $aenvironmental and technological design 610 $afan-assisted ventilation 610 $aindoor air quality 610 $aindoor air quality index 610 $aIoT 610 $amassive simulation modelling 610 $amicroservice 610 $amobile app 610 $aNorthern Cyprus 610 $apassive cooling systems 610 $apassive house 610 $apassive strategies 610 $apassivhaus 610 $aPassivhaus 610 $aregression analysis 610 $arenewable energy integration 610 $ashading devices 610 $asmart ventilation 610 $athermal comfort 610 $athermal transmittance of enclosures 615 7$aHistory of engineering and technology 700 $aCostanzo$b Vincenzo$4auth$01328955 906 $aBOOK 912 $a9910404082103321 996 $aAssessing the Performance of Passive Houses in Mediterranean Climate Regions$93039222 997 $aUNINA