00803nam0-22002891i-450-99000201667040332120050722140627.0000201667FED01000201667(Aleph)000201667FED0100020166720030910d1957----km-y0itay50------baita<<Le >>termiti all'assalto della terraSalvatore BenassiBolognaAbes Edizioni195726 p.18 cmPiccola Biblioteca Omnibus5Isotteri595.736Benassi,Salvatore85441ITUNINARICAUNIMARCBK99000201667040332161 IV E.2/231230DAGENDAGENTermiti all'assalto della terra405711UNINA05153nam 22007215 450 99646550120331620200705193341.03-540-36579-610.1007/3-540-36579-6(CKB)1000000000211952(SSID)ssj0000321956(PQKBManifestationID)11227102(PQKBTitleCode)TC0000321956(PQKBWorkID)10282215(PQKB)10859907(DE-He213)978-3-540-36579-2(MiAaPQ)EBC3073205(PPN)15517486X(EXLCZ)99100000000021195220121227d2003 u| 0engurnn#008mamaatxtccrCompiler Construction[electronic resource] 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /edited by Görel Hedin1st ed. 2003.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2003.1 online resource (XI, 334 p.)Lecture Notes in Computer Science,0302-9743 ;2622Bibliographic Level Mode of Issuance: Monograph3-540-00904-3 Includes bibliographical references at the end of each chapters and index.Register Allocation -- Combined Code Motion and Register Allocation Using the Value State Dependence Graph -- Early Control of Register Pressure for Software Pipelined Loops -- Register Allocation by Optimal Graph Coloring -- Language Constructs and Their Implementation -- A Compilation and Optimization Model for Aspect-Oriented Programs -- A Pattern Matching Compiler for Multiple Target Languages -- A New One-Pass Transformation into Monadic Normal Form -- Type Analysis -- Run-Time Type Checking for Binary Programs -- Precision in Practice: A Type-Preserving Java Compiler -- The MAGICA Type Inference Engine for MATLAB ® -- CC Invited Talk -- Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages -- Java -- Polyglot: An Extensible Compiler Framework for Java -- Scaling Java Points-to Analysis Using Spark -- Effective Inline-Threaded Interpretation of Java Bytecode Using Preparation Sequences -- Integrating Generations with Advanced Reference Counting Garbage Collectors -- Pot Pourri -- The Interprocedural Express-Lane Transformation -- Automatic Detection of Uninitialized Variables -- Generalised Regular Parsers -- Rapid and Robust Compiler Construction Using Template-Based Metacompilation -- ETAPS Invited Talk -- The Verifying Compiler: A Grand Challenge for Computing Research -- Optimization -- Address Register Assignment for Reducing Code Size -- Offset Assignment Showdown: Evaluation of DSP Address Code Optimization Algorithms -- Integrating High-Level Optimizations in a Production Compiler: Design and Implementation Experience -- Improving Data Locality by Chunking. This book constitutes the refereed proceedings of the 12th International Conference on Compiler Construction, CC 2003, held in Warsaw, Poland, in April 2003. The 20 revised full regular papers and one tool demonstration paper presented together with two invited papers were carefully reviewed and selected from 83 submissions. The papers are organized in topical sections on register allocation, language constructs and their implementation, type analysis, Java, pot pourri, and optimization.Lecture Notes in Computer Science,0302-9743 ;2622Programming languages (Electronic computers)Software engineeringComputer logicMathematical logicArtificial intelligenceProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming languages (Electronic computers).Software engineering.Computer logic.Mathematical logic.Artificial intelligence.Programming Languages, Compilers, Interpreters.Software Engineering.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.Artificial Intelligence.005.4/53Hedin Göreledthttp://id.loc.gov/vocabulary/relators/edtCC 2003BOOK996465501203316Compiler Construction771871UNISA10971nam 22005895 450 991078935070332120200704030708.090-8686-753-710.3920/978-90-8686-753-0(CKB)3400000000085814(EBL)1156912(OCoLC)831115147(SSID)ssj0000878192(PQKBManifestationID)11957842(PQKBTitleCode)TC0000878192(PQKBWorkID)10813764(PQKB)10547404(DE-He213)978-90-8686-753-0(MiAaPQ)EBC1156912(PPN)168335530(EXLCZ)99340000000008581420120813d2012 u| 0engur|n|---|||||txtccrClimate change and sustainable development[electronic resource] Ethical perspectives on land use and food production /edited by Thomas Potthast, Simon Meisch1st ed. 2012.Wageningen :Wageningen Academic Publishers :Imprint: Wageningen Academic Publishers,2012.1 online resource (528 p.)Description based upon print version of record.90-8686-197-0 Includes bibliographical references and indexes.EurSafe 2012 Committees -- Preface -- Keynote contributions Domains of climate ethics: an overview -- The global governance of climate change, forests, water, and food: normative challenges -- The willed blindness of humans: animal welfare and beyond -- Section 1. Sustainability: general issues -- Which sustainability suits you? -- The value(s) of sustainability within a pragmatically justified theory of values: considerations in the context of climate change -- Towards an ecological space paradigm: fair and sustainable distribution of environmental resources -- Section 2. Property rights and commons -- Addressing the commons: normative approaches to common pool resources -- A global solution to land grabbing? An institutional cosmopolitan approach -- Climate change, intellectual property rights and global justice -- Section 3. Global warming and climate change -- Global warming, ethics, and cultural criticism -- The ethics of climate change denial -- World wide views on global warming: evaluation of a public debate -- The truth is that we have an inconvenient nature -- Section 4. Ethics, adaptation & mitigation -- A climate tax on meat? -- Acting now or later? Determining an adequate decision strategy for mitigation measures addressing methane emissions from ruminants -- Equal per capita entitlements to greenhouse gas emissions: a justice based-critique -- Section 5. Ethics of non-agricultural land-management -- Managing nature parks as an ethical challenge: a proposal for a practical tool to identify fundamental questions -- The citizens forest model: climate change, preservation of natural resources and forest ethics -- ‘Good change’ in the woods: conceptual and ethical perspectives on integrating sustainable land-use and biodiversity protection -- Section 6. Environmental & agricultural ethics -- A collective virtue approach to agricultural ethics -- Providing grounds for agricultural ethics: the wider philosophical significance of plant life integrity -- Do algae have moral standing? On exploitation, ethical extension and climate change mitigation -- Animistic pragmatism and native ways of knowing: adaptive strategies for responding to environmental change and overcoming the struggle for food in the Arctic -- Section 7. Intensive vs. extensive production: animal welfare, efficiency and environmental implications -- Sustainability, animal welfare and ethical food policy: a comparative analysis of sustainable intensification and holistic integrative naturalism -- ‘All that is solid melts into air’: the Dutch debate about factory farming -- Adaptive capacities from an animal welfare perspective -- Agriculture’s 6 Fs and the need for more intensive agriculture -- Feed efficiencies in animal production: a non-numerical analysis -- For the benefit of the land? Ethical aspects of the impact of meat production on nature, the environment and the countryside -- Fewer burps in your burgers or more birds in the bush? -- Inconvenient truths and agricultural emissions -- Section 8. Agro-energy -- The ethics of using agricultural land to produce biomass: using energy like it grows on trees -- Setting the rules of the game: ethical and legal issues raised by bioenergy governance methods -- India’s agrofuel policies from a feminist-environmentalist perspective -- Grafting our biobased economies on African roots? -- Section 9. Food policy -- Transformation of food governance models: perspectives arisen from a food citizenship -- Food policy and climate change: uncovering the missing links -- Sustainable food policies for the EU27: results from the EUPOPP project -- An ethical argument for vigilant prevention -- Liability versus responsibility: the food industry case -- Integrated assessments of emerging food technologies – some options and challenges -- Addressing farmers or traders: socio-ethical issues in developing a national action plan for sustainable crop protection -- Section 10. Food in context -- This is or is not food: framing malnutrition, obesity and healthy eating -- Food as art: poiēsis and the importance of soft impacts -- Conflicting food production values: global free market or local production? -- Toward sustainable agriculture and food production: an ethically sound vision for the future -- Section 11. Fish for food -- Changing an iconic species by biotechnology: the case of Norwegian salmon -- Why German consumers need to reconsider their preferences: the ethical argument for aquaculture -- Fish for food in a challenged climate: ethical reflections -- Section 12. Food and sustainability -- A theoretical framework to analyse sustainability relevant food choices from a cultural perspective: caring for food and sustainability in a pluralistic society -- Food, sustainability and ecological responsibility: hunger as the negation of human rights -- Cultured meat: will it separate us from nature? -- Section 13. Consumers and consuming -- Gender differences in pro-social behaviour: the case of Fair Trade food consumers -- Employing a normative conception of sustainability to reason and specify green consumerism -- Are we morally obliged to become vegans? -- Food ethics: new religion or common sense? -- Section 14. Science and governance -- Climate change and biodiversity: a need for ‘reflexive interdisciplinarity’ -- Changing societies: ethical questions raised by ANR-funded research programs and projects related to climate and environmental change -- Examining the inclusion of ethics and social issues in bioscience research: concepts of ‘reflection’ in science -- Biochar for smallholder farmers in East Africa: arguing for transdisciplinary research -- Section 15. Values for governance -- Biotechnology and a new approach to a theory of values -- Towards a value-reflexive governance of water -- Mapping core values and ethical principles for livelihoods in Asia -- Section 16. Biotechnology in context -- Conflict cloud green genetic engineering: structuring and visualizing the controversy over biotechnology in agriculture -- Maize as a cultural element of identity and as a biological being: narratives of Mexican children on the transgenic maize debate and the importance of knowing the context -- Implementation of ethical standards in a cattle improvement company -- Section 17. Animal ethics -- Leaving the ivory tower or back into theory? Learning from paradigm cases in animal ethics -- From just using animals to a justification of animal use: the intrinsic value of animals as a confusing start -- Daniel Haybron’s theory of welfare and its implications for animal welfare assessment -- Cognitive relatives yet moral strangers? Killing great apes and dolphins for food -- Assessing the animal ethics review process -- Investigating the existence of an ‘Animal Kuznets curve’ in the EU-15 countries -- The Chinese animal: from food to pet -- Section 18. Ethics teaching -- Bringing animal ethics teaching into the public domain: the Animalogos experience -- Teaching sustainability and ethics -- Teaching sustainable development and environmental ethics: the IBMB-concept of bringing theory and practical cases together -- Section 19. Ethical matrix and learning instruments -- The Mepham Matrix and the importance of institutions in food and agricultural ethics -- The ethical matrix as an instrument for teaching and evaluation -- Food ethics for an active citizenry: AgroFood Democracy – an active learning tool -- Author index -- Keyword index.Climate change is a major framing condition for sustainable development of agriculture and food. Global food production is a major contributor to global greenhouse gas emissions and at the same time it is among the sectors worst affected by climate change. This book brings together a multidisciplinary group of authors exploring the ethical dimensions of climate change and food. Conceptual clarifications provide a necessary basis for putting sustainable development into practice. Adaptation and mitigation demand altering both agricultural and consumption practices. Intensive vs. extensive production is reassessed with regard to animal welfare, efficiency and environmental implications. Property rights pay an ever-increasing role, as do shifting land-use practices, agro-energy, biotechnology, food policy to green consumerism. And, last but not least, tools are suggested for teaching agricultural and food ethics. Notwithstanding the plurality of ethical analyses and their outcome, it becomes apparent that governance of agri-food is faced by new needs and new approaches of bringing in the value dimension much more explicitly. This book is intended to serve as a stimulating collection that will contribute to debate and reflection on the sustainable future of agriculture and food production in the face of global change.Life sciencesClimate changeLife Sciences, generalhttps://scigraph.springernature.com/ontologies/product-market-codes/L00004Climate Change Management and Policyhttps://scigraph.springernature.com/ontologies/product-market-codes/314000Life sciences.Climate change.Life Sciences, general.Climate Change Management and Policy.363.738/74363.73874Potthast Thomasedthttp://id.loc.gov/vocabulary/relators/edtMeisch Simonedthttp://id.loc.gov/vocabulary/relators/edtBOOK9910789350703321Climate change and sustainable development3727096UNINA