Search Results - Højre~

Gemeinsam Musizieren Zur Soziologie und Ethnographie der Streichensembles / by Vollmer, Theresa

Table of Contents: “…Zu Wissen, Hörwelt und Klangwelt gemeinsamen Musizierens -- Die HörKlangwelt der Soziologie gemeinsamen Musizierens -- Gemeinsames Musizieren und Soziologie. …”
Link to Metadata

Technological Imagination in the Green and Digital Transition

Table of Contents: “…The transition to community homes and community hospitals into the framework of the Italian recovery plan -- Wood Snoezelen.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

Table of Contents: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
Link to Metadata

The Ethics of Cybersecurity

Table of Contents: “…Basic Concepts and Models of Cybersecurity (Endre Bangerter) -- Chapter 3. Core values in Cybersecurity (Ibo van de Poel) -- Chapter 4. …”
Link to Metadata

Dependable Embedded Systems

Table of Contents: “…Introduction -- Design of efficient, dependable SoCs based on cross-layer-reliability approach with emphasis on wireless communication as application and DRAM memories -- CRAU: Compositional System-Level Reliability Analysis in the Presence of Uncertainties -- Semantics-aware Soft Error Handling for Embedded Systems using Compiler-OS Interaction -- ARES: Self-Adaptive Coarse-Grained Reconfigurable Architectures as Reliability Enhancers in Embedded Systems -- Cross-Layer Techniques for Dependable Software Execution on Embedded Systems -- Ambrosia: Cross-layer Modeling and Mitigation of Aging Effects in Embedded Systems -- Cross-Layer Dependability for Embedded Hardware/Software Systems -- Fault-Tolerant Computing with Heterogeneous Hardware/Software Hardening Modes -- Robust Computing for Machine Learning-Based Systems -- Hardening embedded system software -- LIFT: Lifting Device-Level Characteristics for Error Resilient System Level Design: A Crosslayer Approach -- VirTherm-3D: Communication Virtualization Enabling System Management for Dependable 3D MPSoCs -- OTERA: Online Test Strategies for Reliable Reconfigurable Architectures -- Variability-Aware Software: Recent Results and Contributions -- EM Lifetime Constrained Optimization for Multi-Segment Power Grid Networks -- Lightweight Software-Assisted Memory Error Correction -- Reliability-Driven Resource Management for Multi-Core Systems-on-Chip -- Monitor Circuits for Device-Circuit Interaction -- PERCIES: Providing Efficient Reliability in Critical Embedded Systems.…”
Link to Metadata

Migration, Urbanity and Cosmopolitanism in a Globalized World

Table of Contents: “…Generic Places: The Construction of Home and the Lived Experience of Cosmopolitanization -- Chapter 3. …”
Link to Metadata

Digital Platform Regulation Global Perspectives on Internet Governance /

Table of Contents: “…EU Digital Services Act: The White Hope of Intermediary Regulation by Amélie P. Heldt -- 5. …”
Link to Metadata

Interdisciplinarity in the Scholarly Life Cycle Learning by Example in Humanities and Social Science Research /

Table of Contents: “…Spatial Rituals andRitualized Space in Dutch Postwar Homes for the Elderly: Anthropology in History -- 11. …”
Link to Metadata

Forced Migration and Separated Families Everyday Insecurities and Transnational Strategies /

Table of Contents: “…Recognizing Insecurities of Family Members Abroad: Human Rights Balancing in European and Finnish Case Law -- Chapter 4. 'There is no family here': Refugees' Strategies for Family Reunification in São Paulo -- Chapter 5. …”
Link to Metadata

Horizons of Phenomenology Essays on the State of the Field and Its Applications /

Table of Contents: “…Phenomenology at the Intersection of Gender and Race -- Chapter 11.The Phenomenology of Zozobra: Mexican and Latinx Philosophers on (Not) Being at Home in the World -- Chapter 12. Merleau-Ponty and Standpoint Theory -- Part III: External Horizons: The Arts -- Chapter 13. …”
Link to Metadata

The International Bureau of Education (1925-1968) "The Ascent From the Individual to the Universal" / by Hofstetter, Rita, Schneuwly, Bernard

Table of Contents: “…A commitment that was all the more binding because it was freely chosen -- Chapter 13. …”
Link to Metadata

History and Speculative Fiction

Table of Contents: “…The Weirdness of White Strangers: Imaginations of Westerners in Southeast Asian Lore and Tradition -- Chapter 6. How [Not] to Run a Colony in the Distant Past and the Future -- Chapter 7. …”
Link to Metadata

Women's Private Practices of Knowledge Production in Early Modern Europe

Table of Contents: “…-- Elisabeth Sophie Marie and Philippine Charlotte of Brunswick-Wolfenbüttel The Duchesses' Book Use and Knowledge Production -- Private Knowledge Spaces: Concluding Remarks -- References -- Contingent Privacies: Knowledge Production and Gender Expectations from 1500 to 1800 -- Women's Knowledges and Publicizing the Private -- Knowledge Production at Home -- Women, Knowledge, and Their Bodies -- References.…”
Link to Metadata

A Life Course Perspective on Health Trajectories and Transitions

Table of Contents: “…Introduction: Claudine Burton-Jeangros, Stéphane Cullati, Amanda Sacker and David Blane -- Trajectories and transitions in childhood and adolescent obesity: Laura Howe, Riz Firestone, Kate Tilling and Debbie Lawlor -- Oral health over the life course: Anja Heilmann, Georgios Tsakos and Richard Watt -- A life course perspective on body size and cardio-metabolic health: William Johnson, Diana Kuh and Rebecca Hardy -- Health trajectories in people with cystic fibrosis in the UK: exploring the effect of social deprivation: David Taylor-Robinson, Peter Diggle, Rosalind Smith and Margaret Whitehead -- Moving towards a better understanding of socioeconomic inequalities in preventive health care use: a life course perspective: Sarah Missine -- In Inter-Cohort Variation in the Consequences of U.S. …”
Link to Metadata

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /

Table of Contents: “…HHVSF: A Framework to Accelerate Drug-based High-throughput Virtual Screening on High-Performance Computers -- HBasechainDB -- A Scalable Blockchain Framework on Hadoop Ecosystem -- DETOUR: A Large-Scale Non-Blocking Optical Data Center Fabric -- Querying Large Scientific Data Sets with Adaptable IO System ADIOS -- On the Performance of Spark on HPC Systems: Towards a Complete Picture -- Experiences of Converging Big Data Analytics Frameworks with High Performance Computing Systems -- MACC : An OpenACC Transpiler for Automatic Multi-GPU Use -- Acceleration of Wind Simulation using Locally Mesh-Refined Lattice Boltzmann Method on GPU-Rich supercomputers -- Architecture of an FPGA-Based Heterogeneous System for Code-Search Problems -- TINS: A Task-Based Dynamic Helper Core Strategy for In Situ Analytics -- Machine Learning Predictions for Underestimation of Job Runtime on HPC System -- A Power Management Framework with Simple DSL for Automatic Power-Performance Optimization on Power-Constrained HPCSystems -- Scalable Data Management of the Uintah Simulation Framework for Next-Generation Engineering Problems with Radiation -- High performance LOBPCG method for solving multiple eigenvalues of Hubbard model: Efficiency of communication avoiding Neumann expansion preconditioner -- Application of a preconditioned Chebyshev basis communication-avoiding conjugate gradient method to a multiphase thermal-hydraulic CFD code -- Optimization of Hierarchical matrix computation on GPU.…”
Link to Metadata

Gongsheng Across Contexts A Philosophy of Co-Becoming /

Table of Contents: “…Inspirations from Symbiosis in Life Sciences and the Notion of Gongsheng/Kyōsei -- Chapter 2: The Re-engineering of Gongsheng: On the Methodology of this Volume and its Philosophical Implications -- Part II: Gongsheng/Kyōsei in Classical Philosophies -- Chapter 3: Introduction on the Ethical "Doctrine of Gongsheng" based on Song-Ming Confucianism's "Unity of Consummate Persons and Things" -- Chapter 4: The Concept of Gongsheng in Daoist Philosophy: Examples from Laozi and Zhuangzi -- Chapter 5: "If Humans are Free of Disease, then Tian is Free of Disease" - Ecological Civilization and the Daoist Concept of Gongsheng -- Chapter 6: Co-dependent Origination and the Doctrine of Gongsheng: A Buddhist Perspective on The Harmony of Humanity, Nature, and Civilizations -- Chapter 7: The Gap of Wen and the Edge of Chaos: From the Conundrum of Kyōsei to the "Cosmic Hope" -- Part III: Gongsheng in Contemporary Contexts -- Chapter 8: How to Understand Symbiosis? …”
Link to Metadata

A Primer of Real Analysis by Sloughter, Dan

Table of Contents: “…1 Fundamentals -- 1.1 Sets and relations -- 1.2 Functions -- 1.3 Rational numbers -- 1.4 Real Numbers -- 2 Sequences and Series -- 2.1 Sequences -- 2.2 Infinite series -- 3 Cardinality -- 3.1 Binary representations -- 3.2 Countable and uncountable sets -- 3.3 Power sets -- 4 Topology of the Real Line -- 4.1 Intervals -- 4.2 Open sets -- 4.3 Closed sets -- 4.4 Compact Sets -- 5 Limits and Continuity -- 5.1 Limits -- 5.2 Monotonic functions -- 5.3 Limits to infinity and infinite limits -- 5.4 Continuous Functions -- 6 Derivatives -- 6.1 Best linear approximations -- 6.2 Derivatives -- 6.3 Mean Value Theorem -- 6.4 Discontinuities of derivatives -- 6.5 l'Hˆopital's rule -- 6.6 Taylor's Theorem -- 7 Integrals -- 7.1 Upper and lower integrals -- 7.2 Integrals -- 7.3 Integrability conditions -- 7.4 Properties of integrals -- 7.5 The Fundamental Theorem of Calculus -- 7.6 Taylor's theorem revisited -- 7.7 An improper integral -- 8 More Functions -- 8.1 The arctangent function -- 8.2 The tangent function -- 8.3 The sine and cosine Functions -- 8.4 The logarithm function -- 8.5 The exponential function -- Index…”
Access online version

Transactional Drafting Introduction to Contract Drafting and Transactional Practice by Fernandez, Ben L.

Table of Contents: “…Organizing a Contract's Beginning Sections -- 5. Drafting the Core Obligations and Organizing Deal Provisions -- 6. …”
Access online version

Contemporary Nordic Literature and Spatiality

Table of Contents: “…Living Side by Side in an Individualized Society: Home, Place, and Social Relations in Late Modern Swedish-Language Picturebooks -- Part II Where Do You Feel? …”
Link to Metadata

Parental Life Courses after Separation and Divorce in Europe

Table of Contents: “…Will Separations Lead to More or Less Gender-Equal Parenthood? Mothers' and Fathers' Parental Leave Use in Sweden -- Chapter 7. …”
Link to Metadata