Search Results - Hyoen~

Protest-Aktivist*innen der Umweltschutz-Bewegung im Netz und auf der Straße Voraussetzungen und Motive für Partizipation / by Villioth, Lisa

Table of Contents: “…Einleitung -- Wandel von Protestpartizipation im Zuge der Digitalisierung -- Methode -- Forschungsgegenstand und historische Einordnung -- Voraussetzungen und Motive für Protestpartizipation in der Umweltschutz-Bewegung - Empirische Befunde -- Praktiken: Die Protest-Aktivist*innen der Umweltschutz-Bewegung auf der Straße, im Web 1.0 und im Web 2.0 -- Einstellungen zu Straßenprotest und Netzaktivismus -- Typen von Protest-Aktivist*innen -- Wandel von Bürgerschaft? …”
Link to Metadata

Doktor Faustus (ver-)stimmen Kompositionen zu Thomas Manns Roman / by Olivari, Anna Maria

Table of Contents: “…Beispiel 1 Kap. 4 Apocalipsis cum figuris -- 4.1 Apokalypsen in Doktor Faustus -- 4.2 Vom Roman zur Musik -- 4.2.1 Inverse Warnapokalypsen: Konrad Boehmers Apocalipsis cum figuris -- Beispiel 2 Kap. 7 Zeitblom und die Viola d'amore -- 7.1 Die (unzuverlässige) Erzählinstanz von Doktor Faustus -- 7.2 Vom Roman zur Musik -- 7.2.2 Simulierte Gleichzeitigkeit, Archivkunst und Autorinszenierung: Lars Petter Hagens To Zeitblom.…”
Link to Metadata

Neutrophil Immunomodulatory Activity of Farnesene, a Component of <i>Artemisia</i> <i>dracunculus</i> Essential Oils by Igor A. Schepetkin, Gulmira Özek, Temel Özek, Liliya N. Kirpotina, Andrei I. Khlebnikov, Robyn A. Klein, Mark T. Quinn

Connect to this object online.

Elevated levels of vitamin B12 in chronic stable heart failure: a marker for subclinical liver damage and impaired prognosis by Argan O, Ural D, Karauzum K, Bozyel S, Aktas M, Karauzum IY, Kozdag G, Agacdiken Agir A

Connect to this object online.

Big Data in der Mobilität Akteure, Geschäftsmodelle und Nutzenpotenziale für die Welt von morgen / by Gatzert, Nadine, Knorre, Susanne, Müller-Peters, Horst, Wagner, Fred, Jost, Theresa

Table of Contents: “…-- Auswirkungen von Big Data auf den Mobilitätsmarkt -- Nutzen, Risiken und die Bereitschaft zum Datenteilen: Eine quantitative Studie aus Sicht der Verbraucher -- Datenbasierte Geschäftsmodellansätze für Versicherungsunternehmen -- Big Data in der Mobilität: Wie sich die Nutzenpotenziale (für die Welt von morgen) heben lassen.…”
Link to Metadata

Techlash The Future of the Socially Responsible Tech Organization / by Mitroff, Ian I., Storesund, Rune

Table of Contents: “…Ch 1: Threats of Imaginable and Unimaginable Proportions -- Ch 2: Beyond the Hype -- Ch 3: Pluses and Minuses -- Ch 4: Technological Messes -- Ch 5: Managing Tech -- Ch 6: The Socially Responsible Tech Company -- Ch 7: The Moral Underpinnings of Technology -- Epilogue: The Future of Technology. .…”
Link to Metadata

Care in Healthcare Reflections on Theory and Practice /

Table of Contents: “…Three Decades of Experiences' by Helen Kohlen -- 13. 'Toward a Three-Dimensional Perspective of Space for Humanizing Hospital Care' by Hanneke van der Meide -- 14. …”
Link to Metadata

Protest Movements in Asylum and Deportation

Table of Contents: “…The Refugee Protest Camp Vienna: Monika Mokre -- Part IV: Restrictive Protest against Asylum Seekers: 11: Mobilization against Refugees and Asylum Seekers in Germany: A Social Movement Perspective: Dieter Rucht -- 12: Protest against the Reception of Asylum Seekers in Austria: Miriam Haselbacher, Sieglinde Rosenberger -- Conclusion: 13: Protests Revisited: Political Configurations, Political Culture and Protest Impact: Gianni D'Amato, Helen Schwenken -- Glossary.…”
Link to Metadata

Hohes Alter in Deutschland

Table of Contents: “…Erkrankungen, Pflegebedürftigkeit und subjektive Gesundheit im hohen Alter -- 5. Einsamkeit in der Hochaltrigkeit -- 6. …”
Link to Metadata

Vulnerability in Scandinavian Art and Culture

Table of Contents: “…Mobilizing Vulnerability in Scandinavian Art and Culture -- Margareta Dancus, Mats Hyvönen & Maria Karlsson -- Part I: Gendered Bodies and Scandinavian Privilege -- 2. …”
Link to Metadata

Ecosystem Services for Well-Being in Deltas Integrated Assessment for Policy Analysis /

Table of Contents: “…Ecosystem Services Linked to Livelihoods and Well-Being in the Ganges-Brahmaputra-Meghna Delta; Helen Adams, W. Neil Adger and Robert J. Nicholls -- 3. …”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

German 201 by Linam, Rebecca

Table of Contents: “…Review from GR 102 -- Kapitel 7-1: Time expressions: vor, seit, schon -- Kapitel 7-2: Simple past of haben -- Kapitel 7-3: Ein-word adjective endings -- Kapitel 7-4: Simple past of modal verbs -- Kapitel 7-5: Reflexive verbs (accusative) -- Kapitel 7-6: Plusquamperfekt -- Kapitel 8-1: Simple Past (das Präteritum) -- Kapitel 8-2: Als, wenn, wann -- Kapitel 8-3: Infinitive phrases with zu, um…zu, ohne…zu -- Kapitel 8-4: Lassen vs. verlassen vs. gehen -- Kapitel 9-1: Reflexive Verbs (with dative) -- Kapitel 9-2: Verbs with Prepositional Complements -- Kapitel 9-3: Da- and wo-compounds -- Kapitel 9-4: Present and Past Participles (with adjective endings review) -- 9-5: Adjectival Nouns -- Kapitel 7 - Glossary -- Kapitel 8 - Glossary -- Kapitel 9 - Glossary…”
Access online version

Investigations Into the Phenomenology and the Ontology of the Work of Art What are Artworks and How Do We Experience Them? /

Table of Contents: “…Bundgaard -- Depiction; John Hyman -- Green war banners in central Copenhagen: A recent political struggle over interpretation - and some implications for art interpretation as such; Frederik Stjernfelt -- The appropriation of the work of art as a semiotic act; FrancisÉdeline and Jean-Marie Klinkenberg -- Sculpture, diagram, and language in the artwork of Joseph Beuys; Wolfgang Wildgen. …”
Link to Metadata

Rhetoriken zwischen Recht und Literatur Interdisziplinäre und interkulturelle Zugänge /

Table of Contents: “…Zur rhetorischen Textur von Goethes Frankfurter Hymnen -- Thomas-Michael Seibert: Rhetoriken. Drei Stück -- Stefan Arnold und Martina Wagner-Egelhaaf: Begründung und Geltung. …”
Link to Metadata

Diseases of the Brain, Head and Neck, Spine 2020-2023 Diagnostic Imaging /

Table of Contents: “…Hydrocephalus and CSF Disorders (incl. Intracranial Hyper- and Hypotension) -- Chapter 3. Stroke and Its Mimics: Diagnosis and Treatment -- Chapter 4. …”
Link to Metadata

Theoretical and Practical Advances in Computer-based Educational Measurement

Table of Contents: “…Investigating Rater Effects in International Large-Scale Assessments; Hyo Jeong Shin, Matthias von Davier, Kentaro Yamamoto -- Theme 4: Computerized adaptive testing in educational measurement -- 14. …”
Link to Metadata

Contested Childhoods: Growing up in Migrancy Migration, Governance, Identities /

Table of Contents: “…Engebrigtsen -- 6: When Policy Meets Practice: A Study of Ethnic Community-Based Organisations for Children and Youth: Marianne Take and Guro Odegard -- 7: Identity Development among Youth of Vietnamese Descent in the Czech Republic: Andrea Svobodova and Eva Janska -- 8: Mixed Parentage: Negotiating Identity in Denmark: Helene Bang Appel and Rashmi Singla -- 9: "I Think of Myself as Norwegian, although I Feel that I am from Another Country." …”
Link to Metadata

Data Science for Economics and Finance Methodologies and Applications /

Table of Contents: “…Data Science Technologies in Economics and Finance: A Gentle Walk-In -- Supervised Learning for the Prediction of Firm Dynamics -- Opening the Black Box: Machine Learning Interpretability and Inference Tools with an Application to Economic Forecasting -- Machine Learning for Financial Stability -- Sharpening the Accuracy of Credit Scoring Models with Machine Learning Algorithms -- Classifying Counterparty Sector in EMIR Data -- Massive Data Analytics for Macroeconomic Nowcasting -- New Data Sources for Central Banks -- Sentiment Analysis of Financial News: Mechanics and Statistics -- Semi-supervised Text Mining for Monitoring the News About the ESG Performance of Companies -- Extraction and Representation of Financial Entities from Text -- Quantifying News Narratives to Predict Movements in Market Risk -- Do the Hype of the Benefits from Using New Data Science Tools Extend to Forecasting Extremely Volatile Assets? …”
Link to Metadata

Human Rights Dissemination in Central Asia Human Rights Education and Capacity Building in the Post-Soviet Space /

Table of Contents: “…Human Rights in Central Asia - Between Internationalization and Nation-Building (Hien) -- Chapter 2. Human Rights in Central Asia: Challenges and Perspectives (Sayapin) -- Chapter 3. …”
Link to Metadata