Search Results - Ohey~

Conservation of Contemporary Art Bridging the Gap Between Theory and Practice /

Table of Contents: “…Introduction to the Volume -- Part I Theorizing Conservation as a Reflective Practice -- Artworks in Art Museums -- Doing Ethics in Practice: SBMK Platform Meetings -- Part II The Identity of the Art Object -- The Enfolding Object of Conservation: Artwork Identity, Authenticity, and Documentation -- When Old Was New: Rethinking Traditional and Contemporary Art and Their Paradigms of Care -- Languages of Conservation: A Comparison between Internet-based Art and Built Heritage -- No Longer Artwork -- Part III Professional Roles and Identities: Conservators, Curators, and Artists -- Visible Issues. …”
Link to Metadata

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

Table of Contents: “…Range-Restricted and Horn Interpolation through Clausal Tableaux -- Non-Classical Logics in Satisfiability Modulo Theories -- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics -- Non-distributive description logic -- A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalized -- Some Analytic Systems of Rules -- A cut-free, sound and complete Russellian theory of definite descriptions -- Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators -- Lemmas: Generation, Selection, Application -- Machine-Learned Premise Selection for Lean -- gym-saturation: Gymnasium environments for saturation provers (System description) -- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed points -- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic -- Proof Systems for the Modal $\mu$-Calculus Obtained by Determinizing Automata -- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation -- On intuitionistic diamonds (and lack thereof) -- NP Complexity for Combinations of Non-Normal Modal Logics -- Resolution-based Calculi for Non-Normal Modal Logics -- Canonicity of Proofs in Constructive Modal Logic -- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic -- The MaxSAT problem in the real-valued MV-algebra -- The Logic of Separation Logic: Models and Proofs -- Testing the Satisfiability of Formulas in Separation Logic with Permissions -- Nested Sequents for Quantified Modal Logics -- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.…”
Link to Metadata

The Onlife Manifesto Being Human in a Hyperconnected Era /

Table of Contents: “…Identity, selfhood and attention -- The Onlife Manifesto Philosophical Backgrounds Media Usages and the Futures of Democracy and Equality; Charles Ess -- Towards a Grey Ecology; Stefana Broadbent and Claire Lobet-Maris -- Reengineering and Reinventing both Democracy and the Concept of Life in the Digital Era; Yiannis Laouris -- Part III. …”
Link to Metadata

Companion to European Heritage Revivals

Table of Contents: “…Europe and the Frankish Heritage in One of its Heartlands: Alsace; Linde Egberts -- Chapter 3: Battlefield of Histories: Competition over Authenticity and Heritage in an Urban Region in Eastern Netherlands; Linde Egberts -- PART II: REVIVAL TOOLS -- Chapter 4: Strategies for a Heritage Revival in the Digital Age; Jasper Visser -- Chapter 5: Using Games to Mediate History; Connie Veugen -- Chapter 6: "This is Clearly Bullshit": Some Views about History on Television; Mijke Pol -- Chapter 7: Lost Cities, Exotic Travel and Digging up the World: Historical Feature Films as a Means of Enhancing Appreciation of our Archaeological Heritage; Nina Schucker and Jan van Helt -- Chapter 8: When the Past Comes to Life: Historical Reenactment; Peter van der Plaetsen -- Chapter 9: Visualisation of Place and Landscape; Joske Houtkamp, Arnoud de Boer and Henk Kramer -- Chapter 10: From Preservation to Managing Change: Using Spatial Development as a Heritage Revival Tool; Felix van Veldhoven -- Chapter 11: Europe is a Journey: The European Cultural Route as an Instrument for Heritage Revival; Minke Walda -- PART III: CONCEPTS -- Chapter 12: Conceptual Fuel for Reviving the Past: Creating a Heritage Revival in Today's Europe; Linde Egberts.…”
Link to Metadata

The Future of the Law of the Sea Bridging Gaps Between National, Individual and Common Interests /

Table of Contents: “…Martin Perez, The environmental legal framework for the development of blue energy in Europe -- Monserrat Abad Castellos, The Black Sea and Blue Energy: challenges, opportunities and the role of the European Union -- Part II - The national and international response to maritime crimes: Giorgia Bevilacqua, Exploring the Ambiguity of Operation Sophia between Military and Search and Rescue Activities -- Jasenko Marin, Miso Mudric and Robert Mikac, Private Maritime Security Contractors and Use of Lethal Force in Maritime Domain -- Magne Frostad, United Nations authorized Embargoes and Maritime Interdiction: a Special Focus on Somalia -- Pirjo Kleemola-Juntunen, The Right of Innocent Passage: The Challenge of the Proliferation Security Initiative and the Implications for the Territorial Waters of the Åland Islands.…”
Link to Metadata

Advances in Discrete Differential Geometry

Table of Contents: “…Bobenko and Felix Günther -- Approximation of conformal mappings using conformally equivalent triangular lattices: Ulrike Bücking -- Numerical Methods for the Discrete Map Za: Folkmar Bornemann, Alexander Its, Sheehan Olver, and Georg Wechslberger -- A variational principle for cyclic polygons with prescribed edge lengths: Hana Kourimská, Lara Skuppin, Boris Springborn -- Complex Line Bundles over Simplicial Complexes and their Applications: Felix Knöppel and Ulrich Pinkall -- Holomorphic vector fields and quadratic differentials on planar triangular meshes: Wai Yeung Lam, Ulrich Pinkall -- Vertex normals and face curvatures of triangle meshes: Xiang Sun, Caigui Jiang, Johannes Wallner, and Helmut Pottmann -- S-conical cmc surfaces. …”
Link to Metadata

Sustainability Standards and Global Governance Experiences of Emerging Economies /

Table of Contents: “…Standard-setting in water use and sustainable development: A comparative critical analysis of grey water recycling in the tourism sector -- Chapter 14. …”
Link to Metadata

The Evolution of China's Anti-Poverty Strategies Cases of 20 Chinese Changing Lives / by Brown, William N.

Table of Contents: “…-- Chapter 15: Wu Qiong (吴琼) - Educated to Serve Tibet -- Chapter 16: How Self-made Man Xu Lidao Found He Needed Society -- Chapter 17: Zhu Qingfu - Passionate About Photography -- Chapter 18: Chen Qiaodi, The Yangshuo of Guangxi -- Chapter 19: Lin Ruiqi, Huawei's Senior Vice President -- Chapter 20: Lucy: The Youthful Heart of Huawei.…”
Link to Metadata

Schools as Community Hubs Building 'More than a School' for Community Benefit /

Table of Contents: “…South Korean experiences -- Part 4: Designing -- Progressive pedagogies and community connections: Forty years of urban planning and architectural design -- Designing for the needs of a thriving school community hub -- Planning Doveton College: Holistic vision, innovative design and paving the way for others -- Vertical schools as community hubs -- Developing a school and community learning hub: A case study from regional Australia -- Part 5: Enabling -- Emotional labour and developing schools as community hubs -- Policy for schools as community hubs: Insights into a fragmented environment -- Theorising the development, implementation and sustainability of schools as community hubs -- An evaluation framework for schools as community hubs -- The role of evaluative thinking in the success of schools as community hubs -- Are schools as community hubs worth it?…”
Link to Metadata

The European Higher Education Area Between Critical Reflections and Future Policies /

Table of Contents: “…Vanessa Rutherford, Ian Pickup -- Part VIII The Impacts of the Bologna Process on the EHEA and Beyond -- 12. The EHEA at the Cross-roads. …”
Link to Metadata

Invasive Species in Forests and Rangelands of the United States A Comprehensive Science Synthesis for the United States Forest Sector /

Table of Contents: “…Introduction (Deborah C. Hayes, Becky K. Kerns, Toral Patel-Weynand, and Deborah M. …”
Link to Metadata

Advances in Wheat Genetics: From Genome to Field Proceedings of the 12th International Wheat Genetics Symposium /

Table of Contents: “….: morphology, hybrid sterility and gametocidal genes -- Part III Cytogenetics and Allopolyploid Evolution -- 7 Wheat chromosome analysis -- 8 New aneuploids of common wheat -- 9 Chromosomal changes over the course of polyploid wheat evolution and domestication -- Part IV Toward Whole Genome Sequencing -- 10 Comprehensive functional analysesof expressed sequence tags in common wheat -- 11 Development of the BAC physical maps of wheat chromosome 6B for its genomic sequencing -- Part V Structural and Functional Genomics -- 12 Sequencing of wheat chromosome 6B: toward functional genomics -- 13 Genetic mechanisms of vernalization requirement duration in winter wheat cultivars -- 14 Building ultra-dense genetic maps in the presence of genotyping errors and missing data -- Part VI Functional Gene Analysis and Molecular Tools -- 15 Exploiting comparative biology and genomics to understand a trait in wheat, Ph1 -- 16 The specific features of anthocyanin biosynthesis regulation in wheat -- 17 Association of wheat miRNAs with hybrid incompatibility in interspecific crosses of Triticum and Aegilops -- 18 High efficiency wheat transformation mediated by Agrobacterium tumefaciens -- 19 extra early-flowering (exe) mutants in einkorn wheat generated by heavy-ion beam irradiation -- Part VII Biotic Stress Response -- 20 Stem rust resistance - two approaches -- 21 Germplasm enhancement for resistance to Pyrenophora tritici-repentis in wheat -- 22 Next Generation Sequencing enabled genetics in hexaploid wheat -- Part VIII Abiotic Stress Response -- 23 Genomics approaches to dissect the genetic basis of drought resistance in durum wheat -- 24 Hybrid breeding in wheat -- 25 Broadening the genetic diversity of common and durum wheat for abiotic stress tolerance breeding -- 26 Early maturity in wheat for adaptation to high temperature stress -- 27 Gene expression profiles involved in development of freezing tolerance in common wheat -- Part IX Improvement of Grain Quality -- 28 Coping with wheat quality in a changing environment - Proteomics evidence for stress caused by environmental changes -- 29 Starch modification: a model for wheat MAS breeding -- 30 Quality characteristics of soft kernel durum - a new cereal crop -- 31 Proposal of international gluten research group -- 32 Enlargement of the genetic diversity for grain quality in bread wheat through alien introgression -- 33 Complex G x E interactions and QTL clusters govern end-use quality traits in hexaploid wheat -- 34 A consistent QTL for flour yield on chromosome 3B in the soft winter wheat variety, Kitahonami -- Part X Marker-Assisted Breeding -- 35 Recent improvements in Japanese wheat varieties -- 36 Determining the order of resistance genes Qsng-3BS, Fhb1 and Sr2 and combining them in coupling on wheat chromosome 3BS -- 37 Meta-analysis of resistance to Fusarium head blight in tetraploid wheat - implications for durum wheat breeding -- 38 Interest of a multiparental and outcrossing wheat population for fine mapping -- 39 The effect of Earliness per se (Eps) genes on flowering time in bread wheat -- Part XI Toward Sustainable Wheat Production -- 40 Recapitulating the OECD-CRP session (sponsored by the OECD's Co-operative Research Program on Biological Resource Management for Sustainable Agricultural Systems -- 41 Exploring genetic resources to increase adaptation of wheat to climate change -- 42 Genomic approaches towards durable fungal disease resistance in wheat -- 43 Review and new progress in wheat wide hybridization for improving the resistance to biotic and abiotic stresses -- 44 Global crop improvement networks to bridge technology gaps -- 45 Genomic selection in plants: empirical results and implications for wheat breeding -- 46 Dietary fibre: wheat genes for enhanced human health -- BM Appendix I: Program -- Appendix II: Poster Presentation List -- Appendix III: Committees.…”
Link to Metadata

Constructing Roma Migrants European Narratives and Local Governance /

Table of Contents: “…Temporality in the Governance of Romani migrants in Spain: Ioana Vrăbiescu -- 7. The Stilled-Other of the Citizen. "Roma Beggars" and Regimes of (Im)mobility in an Austrian City: Eberhard Raithelhuber -- 8. …”
Link to Metadata

Data Collection in Fragile States Innovations from Africa and Beyond /

Table of Contents: “…Shapiro -- Chapter 11: Eliciting accurate consumption responses from vulnerable populations; Lennart Kaplan, Utz Johann Pape and James Walsh -- Part III: Other innovations -- Chapter 12: Using video testimonials to give a voice to the poor; Utz Pape -- Chapter 13: Iterative beneficiary monitoring of World Bank projects; Johannes Hoogeveen and Andre-Marie Taptué -- Chapter 14: Concluding remarks: Data Collection in FCV environments; Johannes Hoogeveen and Utz Pape.…”
Link to Metadata

Real-time Linked Dataspaces Enabling Data Ecosystems for Intelligent Systems / by Curry, Edward

Table of Contents: “…1 Real-time Linked Dataspaces: A Data Platform for Intelligent Systems within Internet of Things-based Smart Environments -- 2 Enabling Knowledge Flows in an Intelligent Systems Data Ecosystem -- 3 Dataspaces: Fundamentals, Principles, and Techniques -- 4 Fundamentals of Real-time Linked Dataspaces -- 5 Data Support Services for Real-time Linked Dataspaces -- 6 Catalog and Entity Management Service for Internet of Things-based Smart Environments -- 7 Querying and Searching Heterogeneous Knowledge Graphs in Real-time Linked Dataspaces -- 8 Enhancing the Discovery of Internet of Things-based Data Services in Real-time Linked Dataspaces -- 9 Human-in-the-Loop Tasks for Data Management, Citizen Sensing, and Actuation in Smart Environments -- 10 Stream and Event Processing Services for Real-time Linked Dataspaces -- 11 Quality of Service-Aware Complex Event Service Composition in Real-time Linked Dataspaces -- 12 Dissemination of Internet of Things Streams in a Real-time Linked Dataspace -- 13 Approximate Semantic Event Processing in Real-time Linked Dataspaces -- 14 Enabling Intelligent Systems, Applications, and Analytics for Smart Environments using Real-time Linked Dataspaces -- 15 Autonomic Source Selection for Real-time Predictive Analytics using the Internet of Things and Open Data -- 16 Building Internet of Things-enabled Digital Twins and Intelligent Applications using a Real-time Linked Dataspace -- 17 A Model for Internet of Things Enhanced User Experience in Smart Environments -- 18 Future Research Directions for Dataspaces, Data Ecosystems, and Intelligent Systems.…”
Link to Metadata

"Ye Shall Know Them by Their Fruits" A Mixed Methods Study on Corruption, Competitiveness, and Christianity in Europe and the Americas / by García Portilla, Jason

Table of Contents: “…Integrative Conclusions -- 24. Other Considerations -- 25. Concluding Remarks.…”
Link to Metadata

Resourceful Civil Society Navigating the Changing Landscapes of Civil Society Organizations /

Table of Contents: “…Resources as Constraints -- 2. Pecunia olet: The funding dilemma for think tanks in Poland, Katarzyna Jezierska -- 3. …”
Link to Metadata

Mobilities in Life and Death Negotiating Room for Migrants and Minorities in European Cemeteries /

Table of Contents: “…Cultural Jewishness and Geographically Bounded Identity: Negotiating Jewish Identity and the Jewish Cemetery in the Local Context of Trondheim, Norway (Ida Marie Høeg) -- Part 3. Changing and Contemporary Practices in European Cemeteries -- 7. …”
Link to Metadata

Truth Claims Across Media

Table of Contents: “…Introduction: The Dynamics of Truthfulness and Media -- Part I Factual Evidence and Coherence in Knowledge Communication -- Chapter 2. …”
Link to Metadata

South-North Migration of EU Citizens in Times of Crisis

Table of Contents: “…Data Evidence and Public Responses: Anastasia Bermudez and Elisa Brey -- Chapter 7. Restrictions on Access to Social Protection by New Southern European Migrants in Belgium: Jean-Michel Lafleur and Mikolaj Stanek -- Chapter 8. …”
Link to Metadata