LEADER 00896nam0-22003011i-450- 001 990001703770403321 005 20051103174125.0 035 $a000170377 035 $aFED01000170377 035 $a(Aleph)000170377FED01 035 $a000170377 100 $a20030910d1886----km-y0itay50------ba 101 0 $aita 200 1 $aDella coltivazione degli alberi da frutta in Italia$fMarcello Pepe 210 $aNapoli$cR. Marghieri$d1886 215 $a484 p.$d24 cm 225 1 $aTrattato completo di agricoltura e di scienze affini$v5 610 0 $aArboricoltura 676 $a634 700 1$aPepe,$bMarcello$073440 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001703770403321 952 $a60 634 B 14$b16635$fFAGBC 952 $a60 634 B 13$b18016$fFAGBC 959 $aFAGBC 996 $aDella coltivazione degli alberi da frutta in Italia$9361713 997 $aUNINA LEADER 01991oam 2200577I 450 001 9910525270303321 005 20200520144314.0 010 $a1-136-53883-6 010 $a1-136-53876-3 010 $a0-203-05582-9 024 7 $a10.4324/9780203055823 035 $a(CKB)3710000000115693 035 $a(OCoLC)882254156 035 $a(CaPaEBR)ebrary10872844 035 $a(SSID)ssj0001396958 035 $a(PQKBManifestationID)11786320 035 $a(PQKBTitleCode)TC0001396958 035 $a(PQKBWorkID)11414756 035 $a(PQKB)11277189 035 $a(MiAaPQ)EBC3061312 035 $a(Au-PeEL)EBL3061312 035 $a(CaPaEBR)ebr10872844 035 $a(CaONFJC)MIL761503 035 $a(OCoLC)922959214 035 $a(OCoLC)958102616 035 $a(FINmELB)ELB138753 035 $a(EXLCZ)993710000000115693 100 $a20180706d2001 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aNew perspectives on witchcraft, magic and demonology /$fedited with introductions by Brian P. Levack 210 1$aNew York :$cRoutledge,$d2001. 215 $a1 online resource (538 p.) 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-8153-3672-1 320 $aIncludes bibliographical references. 327 $av. 1. Demonology, religion, and witchcraft -- volume 2. Witchcraft in continental Europe -- volume 3. Witchcraft in the British Isles and New England -- volume 4. Gender and witchcraft -- volume 5. Witchcraft, healing, and popular diseases -- volume 6. Witchcraft in the modern world. 606 $aWitchcraft$xHistory 608 $aElectronic books. 615 0$aWitchcraft$xHistory. 676 $a133.4 701 $aLevack$b Brian P$0211064 801 0$bFlBoTFG 801 1$bFlBoTFG 906 $aBOOK 912 $a9910525270303321 996 $aNew perspectives on witchcraft, magic and demonology$92701724 997 $aUNINA LEADER 06767nam 22007695 450 001 9910483618003321 005 20230810201552.0 010 $a9783540322641 024 7 $a10.1007/b136920 035 $a(CKB)1000000000213018 035 $a(SSID)ssj0000318356 035 $a(PQKBManifestationID)11239140 035 $a(PQKBTitleCode)TC0000318356 035 $a(PQKBWorkID)10310206 035 $a(PQKB)11351325 035 $a(DE-He213)978-3-540-32264-1 035 $a(MiAaPQ)EBC3067510 035 $a(PPN)123095042 035 $a(EXLCZ)991000000000213018 100 $a20100715d2005 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems $eSecond International Conference, CPAIOR 2005, Prague, Czech Republic, May 31 -- June 1, 2005 /$fedited by Roman Barták, Michela Milano 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XII, 412 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3524 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-32264-7 311 $a3-540-26152-4 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Integration of Rules and Optimization in Plant PowerOps -- Embedded Systems Design: Optimization Challenges -- Models for Solving the Travelling Salesman Problem -- Technical Papers -- Set Variables and Local Search -- The Temporal Knapsack Problem and Its Solution -- Simplifying Diagnosis Using LSAT: A Propositional Approach to Reasoning from First Principles -- The tree Constraint -- Filtering Algorithms for the NValue Constraint -- Identifying and Exploiting Problem Structures Using Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling Problems -- On the Minimal Steiner Tree Subproblem and Its Application in Branch-and-Price -- Constraint Programming Based Column Generation for Employee Timetabling -- Scheduling Social Golfers Locally -- Multiconsistency and Robustness with Global Constraints -- Mixed Discrete and Continuous Algorithms for Scheduling Airborne Astronomy Observations -- Shorter Path Constraints for the Resource Constrained Shortest Path Problem -- Improving the Cooperation Between the Master Problem and the Subproblem in Constraint Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods -- Combining Arc-Consistency and Dual Lagrangean Relaxation for Filtering CSPs -- Symmetry Breaking and Local Search Spaces -- Combination of Among and Cardinality Constraints -- On the Tractability of Smooth Constraint Satisfaction Problems -- A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems -- Symmetry and Search in a Network Design Problem -- Integrating CSP Decomposition Techniques and BDDs for Compiling Configuration Problems -- Formulations and Reformulations in Integer Programming -- Nondeterministic Control for Hybrid Search -- Computing Explanations for the Unary Resource Constraint. 330 $aThe 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR2005)washeldinPrague,CzechRepublic,duringMay31?June1,2005. The conference is intended primarily as a forum to focus on the integration and hybridization of the approaches of constraint programming (CP), arti?cial intelligence (AI), and operations research (OR) technologies for solving large-scale and complex real-life optimization problems. Therefore, CPAIOR is never far from industrial applications. The high number of submissions received this year, almost 100 papers, in witness to the interest of the research community in this conference. From these submissions, we chose 26 to be published in full in the proceedings. This volume includes summaries of the invited talks of CPAIOR: one from industry, one from the embedded system research community, and one from the operations research community. The invited speakers were: Filippo Focacci from ILOGS.A.,France,oneoftheleadingcompaniesinthe?eld;PaulPop,professor in the Embedded Systems Lab in the Computer and Information Science - partment, Link¨ oping University; and Paul Williams, full professor of Operations Research at the London School of Economics. The day before CPAIOR, a Master Class was organized by Gilles Pesant, where leading researchers gave introductory and overview talks in the area of metaheuristics and constraint programming. The Master Class was intended for PhD students, researchers, and practitioners. We are very grateful to Gilles who brought this excellent program together. For conference publicity we warmly thank Willem Jan van Hoeve and Petr Vil´ ?m who did a great job with the high number of submissions received. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3524 606 $aArtificial intelligence 606 $aNumerical analysis 606 $aComputer science$xMathematics 606 $aDiscrete mathematics 606 $aComputer networks 606 $aInformation technology$xManagement 606 $aArtificial Intelligence 606 $aNumerical Analysis 606 $aDiscrete Mathematics in Computer Science 606 $aComputer Communication Networks 606 $aComputer Application in Administrative Data Processing 615 0$aArtificial intelligence. 615 0$aNumerical analysis. 615 0$aComputer science$xMathematics. 615 0$aDiscrete mathematics. 615 0$aComputer networks. 615 0$aInformation technology$xManagement. 615 14$aArtificial Intelligence. 615 24$aNumerical Analysis. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aComputer Communication Networks. 615 24$aComputer Application in Administrative Data Processing. 676 $a005.1/16 702 $aBarták$b Roman$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMilano$b Michela$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems 906 $aBOOK 912 $a9910483618003321 996 $aIntegration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems$9771927 997 $aUNINA LEADER 03716nam 22006611 450 001 9910823190203321 005 20151214184448.0 010 $a1-4725-7191-6 010 $a1-4742-1986-1 010 $a1-4725-7190-8 024 7 $a10.5040/9781474219860 035 $a(CKB)3710000000610694 035 $a(EBL)4429345 035 $a(SSID)ssj0001624727 035 $a(PQKBManifestationID)16360241 035 $a(PQKBTitleCode)TC0001624727 035 $a(PQKBWorkID)14823634 035 $a(PQKB)11344730 035 $a(MiAaPQ)EBC4429345 035 $a(OCoLC)942754547 035 $a(UtOrBLW)bpp09259850 035 $a(EXLCZ)993710000000610694 100 $a20160427d2016 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aTranslating for Singing $ethe theory, art and craft of translating lyrics /$fRonnie Apter and Mark Herman 210 1$aLondon ;$aNew York :$cBloomsbury Academic,$d2016. 215 $a1 online resource (309 p.) 225 0 $aBloomsbury Advances in Translation 300 $aDescription based upon print version of record. 311 $a1-4725-7189-4 311 $a1-4725-7188-6 320 $aIncludes bibliographical references and index. 327 $aMachine generated contents note: -- Frontispiece -- Foreword by Philip Gossett -- About This Book -- Acknowledgements -- Copyright Acknowledgements -- 1. Translation and Music -- 2. Singable Translations -- 3. Foreignization And Domestication -- 4. Adaptation and Re-Translation -- 5. Dealing With Difference -- 6. Censorship and Taboos -- 7. Once Upon Which Time? -- 8. Verbal Delineation Of Character -- 9. Multiple Translations -- 10. When the Music is Missing -- 11. Verbal and Musical Form -- 12. Music and Meaning -- Afterword -- Bibliography -- Index. 330 $a"Translating for Singing discusses the art and craft of translating singable lyrics, a topic of interest in a wide range of fields, including translation, music, creative writing, cultural studies, performance studies, and semiotics. Previously, such translation has most often been discussed by music critics, many of whom had neither training nor experience in this area. Written by two internationally known translators, the book focusses mainly on practical techniques for creating translations meant to be sung to pre-existing music, with suggested solutions to such linguistic problems as those associated with rhythm, syllable count, vocal burden, rhyme, repetition and sound. Translation theory and translations of lyrics for other purposes, such as surtitles, are also covered.The book can serve as a primary text in courses on translating lyrics and as a reference and supplementary text for other courses and for professionals in the fields mentioned. Beyond academia, the book is of interest to professional translators and to librettists, singers, conductors, stage directors, and audience members."--Bloomsbury Publishing. 410 0$aBloomsbury advances in translation. 606 $aLanguage and languages$xRhythm 606 $aMusic and language 606 $aSongs$xTexts$xTranslating 606 $aTranslating and interpreting 606 $2Theory of music & musicology 615 0$aLanguage and languages$xRhythm. 615 0$aMusic and language. 615 0$aSongs$xTexts$xTranslating. 615 0$aTranslating and interpreting. 676 $a418/.03782 676 $a418.03782 700 $aApter$b Ronnie$0787941 702 $aHerman$b Mark$f1942- 801 0$bUtOrBLW 801 1$bUtOrBLW 906 $aBOOK 912 $a9910823190203321 996 $aTranslating for Singing$93965352 997 $aUNINA