Search Results - Utsab~

Designing Data Spaces The Ecosystem Approach to Competitive Advantage /

Table of Contents: “…The IDS Information Model: A Semantic Vocabulary for Sovereign Data Exchange -- 8. Data Usage Control -- 9. Building Trust in Data Spaces -- 10. …”
Link to Metadata

Childlessness in Europe: Contexts, Causes, and Consequences

Table of Contents: “…Part I: Childlessness in Europe: An Overview: Analyzing Childlessness: Michaela Kreyenfeld & Dirk Konietzka -- Childlessness in Europe: Reconstructing Long-Term Trends among Women Born in 1900-1972: Tomáš Sobotka -- Part II: Country Studies: Childlessness in the UK: Ann Berrington -- Childlessness in France: Katja Köppen, Magali Mazuy & Laurent Toulemon -- Childlessness in East and West Germany: Michaela Kreyenfeld & Dirk Konietzka -- Childlessness in Switzerland and Austria: Marion Burkimsher & Kryštof Zeman -- Childlessness in Finland: Anna Rotkirch & Anneli Miettinen -- Childlessness in the United States: Tomáš Frejka -- Part III:Women's Education and Childlessness: Education and Childlessness: The Influence of Educational Field and Educational Level on Childlessness among Swedish and Austrian Women: Gerda Neyer, Jan Hoem & Gunnar Andersson -- Childlessness and Fertility Dynamics of Female Higher Education Graduates in Germany: Hildegard Schaeper, Michael Grotheer & Gesche Brandt -- Part IV: Fertility Ideals, Biographical Decisions and Assisted Reproduction: Fertility Ideals of Women and Men across the Life Course in Germany: Anne-Kristin Kuhnt, Michaela Kreyenfeld & Heike Trappe -- Childless at Age 30: A Qualitative Study of the Life Course Plans of Working Women in East and West Germany: Laura Bernardi & Sylvia Keim-Klärner -- Assisted Reproductive Technologies in Germany: A Review of the Current Situation: Heike Trappe -- Assisted Reproductive Technology in Europe: Usage and Regulation in the Context of Cross-Border Reproductive Care: Patrick Präg & Melinda C. …”
Link to Metadata

Together The Science of Social Psychology

Table of Contents: “…Muraco -- 12 CultureNeil Thin & Robert Biswas-Diener -- 13 Social ComparisonStephen Garcia & Arnor Halldorsson -- Emotions -- 14 Functions of EmotionsHyisung Hwang & David Matsumoto -- 15 Culture and EmotionJeanne Tsai -- Social Influence16 Conformity and ObedienceJerry M. …”
Access online version

China-US Competition Impact on Small and Middle Powers' Strategic Choices /

Table of Contents: “…-China Strategic Competition in Each Domestic Context -- Strategic Choices for Switzerland in the US-China Competition -- The China Nudge: Naivety, Neutrality and Non-alignment in Sweden -- Continuity and change in Italy-China relations: From economic pragmatism to selective followership and back -- China and Germany after the 2021 Election: Between Continuity and Increasing Confrontation -- The UK's response to the challenge of managing its relationships with China and the USA -- Navigating and Riding the Double Bind of Economic and Political Hedging: Japan and the US-China Strategic Competition -- Explaining Korea's Positioning in the US-China Strategic Competition -- Taking side with the US against China? …”
Link to Metadata

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

Table of Contents: “…-- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus -- Types and Effects -- Failure is Not an Option: An Exceptional Type Theory -- Let Arguments Go First -- Behavioural equivalence via modalities for algebraic effects -- Explicit Effect Subtyping -- Concurrency -- A separation logic for a promising semantics -- Logical Reasoning for Disjoint Permissions -- Deadlock-Free Monitors -- Fragment Abstraction for Concurrent Shape Analysis -- Security -- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and ReturnPointer Management -- Modular Product Programs -- Program Verification -- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification -- Verified Learning Without Regret -- Program Verification by Coinduction -- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq -- Program Analysis and Automated Verification -- Evaluating Design Tradeoffs in Numeric Static Analysis for Java -- An Abstract Interpretation Framework for Input Data Usage -- Higher-Order Program Verification via HFL Model Checking -- Quantitative Analysis of Smart Contracts -- Session Types and Concurrency -- Session-Typed Concurrent Contracts -- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems -- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings -- Concurrent Kleene Algebra: Free Model and Completeness -- Concurrency and Distribution -- Correctness of a Concurrent Object Collector for Actor Languages -- Paxos Consensus, Deconstructed and Abstracted -- On Parallel Snapshot Isolation and Release/Acquire Consistency -- Eventual Consistency for CRDTs -- Compiler Verification -- A Verified Compiler from Isabelle/HOL to CakeML -- Compositional Verification of Compiler Optimisations on Relaxed Memory.…”
Link to Metadata

Remittances as Social Practices and Agents of Change The Future of Transnational Society /

Table of Contents: “…Remittances as Social Glue in Global Communities: Historical Perspectives and Evidence from Lebanese Diaspora in Kfarsghab/Lebanon, Sydney/Australian, Easton/USA andProvidence/USA -- Chapter 4. Overseas Remittances from Southeast Asia to China around the Sino-Japanese War (1937-1945) -- Chapter 5. …”
Link to Metadata

Pflege-Report 2018 Qualität in der Pflege /

Table of Contents: “…I Schwerpunktthema: Einführung in Qualität und Qualitätsmessung in der Pflege - Theoretische Grundlagen und methodische Zugänge -- Qualität und Qualitätsmessung in der Pflege aus ethischer Perspektive -- Entwicklung eines wissenschaftlich basierten Qualitätsverständnisses für die Pflegequalität -- Weiterentwicklung der gesetzlichen Qualitätssicherung in der Sozialen Pflegeversicherung -- Ordnungspolitische Ansätze zur Steuerung der Versorgungsqualität in der stationären Langzeitpflege in den USA und der Schweiz -- Risikomanagement und Patientensicherheit im Kontext von Pflege -- Expertenstandards als Instrument der Qualitätsentwicklung -- Messung von Lebensqualität im Kontext stationärer Pflege -- Qualität und Qualitätsmessung in der Langzeitpflege aus Sicht der Nutzerinnen und Nutzer -- Qualitätsmessung mit Routinedaten in deutschen Pflegeheimen: Eine erste Standortbestimmung -- Qualität in der ambulanten Pflege -- Anforderungen an ein sektorenübergreifendes Qualitätsverständnis in der stationären Altenpflege -- Qualitätssicherung in der Langzeitpflege durch Wahlentscheidungen der Betroffenen? …”
Link to Metadata

Industry 4.0 for SMEs Challenges, Opportunities and Requirements /

Table of Contents: “…State-of-the-art Analysis of the Usage and Potential of Automation in Logistics; Hlemut Zsifkovits, Manuel Woschank, Sakgasem Ramingwong and Warisa Wisittipanich -- Part IV. …”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata

Frontiers of Real Estate Science in Japan

Table of Contents: “…Requirements for the application of exemption from real estate acquisition tax due to purpose of use ─ Based on the acquisition of land usage for a school site by an Incorporated Educational Institution -- Chapter 12. …”
Link to Metadata

Vitamin D levels in non-pregnant women with a history of recurrent pregnancy loss with and without autoantibodiesdies by Tooba Farazmand, Raheleh Rahbarian, Mitra Jalali, Amirali Ghahremani, Abdollah Razi, Hasan Namdar Ahmadabad

Connect to this object online.

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

Unmanned Aircraft Systems in the Cyber Domain by Nichols, Randall K., Mumm, Hans C., Lonstein, Wayne D.

Table of Contents: “…Chapter 1 - A View of the UAS Market -- Chapter 2 - UAS Law - Legislation, Regulation, and Adjudication -- Chapter 3 - Understanding Hostile Use and Cyber-Vulnerabilities of UAS -- Chapter 4 - INFOSEC – Protecting UAS Information Channels & Components -- Chapter 5 - Intelligence & Red Teaming -- Chapter 6 - Case Studies in Risk for UAS -- Chapter 7 - UAS SAA Methodologies, Conflict Detection -- Chapter 8 - Designing UAS Systems for Stealth -- Chapter 9 - Case Study Smart Skies Project -- Chapter 10 - UAS Intelligence, Surveillance and Reconnaissance (ISR) -- Chapter 11 - UAS Weapons -- Chapter 12 - UAS System Deployment and Information Dominance (ID) -- Chapter 13 - Data Links Functions, Attributes and Latency -- Chapter 14 - Exposing UAS Vulnerabilities via Electronic Warfare (EW) and Countering with Low Probability Intercept Signals (LPI) -- Chapter 15 - Africa - World’s First Busiest Drone Operational Proving Ground -- Chapter 16 - Chinese Drones in Spratly Islands, and Chinese Threats to USA forces in Pacific -- Chapter 17 - High-Altitude Platforms (HAPS) – A Promise not Reached -- Chapter 18 - C-UAS and Large Scale Threats -- Chapter 19 - Audiology, Acoustic Countermeasures against Swarms and Building IFF Libraries -- Chapter 20 - Legal and Regulatory – Where It Was, Where It Is and What’s Ahead? …”
Access online version

Cohabitation and Marriage in the Americas: Geo-historical Legacies and New Trends

Table of Contents: “…The Geography, Law and Politics of Competing Views on Gender Equality: Benoît Laplante and Ana Laura Fostik -- Chapter 4: The Social Geography of Unmarried Cohabitation in the USA, 2007-2011: Ron Lesthaeghe, Julián López-Colás and Lisa Neidert -- Chapter 5: The Expansion of Cohabitation in Mexico, 1930-2010: The Revenge of History?…”
Link to Metadata

Mediation in Collective Labor Conflicts

Table of Contents: “…Mediation in China (Wei Huang) -- Chapter 17. Mediation in the USA (Stephen) -- Chapter 18. Mediation in Nigeria (Cyriacus Ngirwa) -- Chapter 19. …”
Link to Metadata

The Diversity Of Worldviews Among Young Adults Contemporary (Non)Religiosity And Spirituality Through The Lens Of An International Mixed Method Study /

Table of Contents: “…Contexts of Plurality and Uniformity - A Comparative Study of Subjective Life-World Orientations in India, China, Finland, and the USA -- Chapter 13. Social Capital and Lack Thereof - Discrimination and Subjective Wellbeing Among University Students -- Chapter 14. …”
Link to Metadata

Exceptional Lifespans

Table of Contents: “…Age verification of three Japanese supercentenarians who reached age 115 -- Chapter 22. Age 115+ in the USA: an update.…”
Link to Metadata

Krankenhaus-Report 2020 Finanzierung und Vergütung am Scheideweg /

Table of Contents: “…I Schwerpunktthema: DRG-Einführung in Deutschland: Anspruch, Wirklichkeit und Anpassungsbedarf aus gesundheitsökonomischer Sicht -- Empirische Evidenz zu den Wirkungen der Einführung des G-DRG Systems -- Systeme der Krankenhausfinanzierung -- Vergütung von spezialisierten, seltenen und kostenvariablen Fällen außerhalb des DRG-Systems: Erfahrungen aus Deutschland, Dänemark, England, Estland, Frankreich und den USA -- Potenziale prospektiver regionaler Gesundheitsbudgets am Beispiel spanischer und amerikanischer Erfahrungen -- Weiterentwicklungsperspektiven des G-DRG-Systems -- Reformschwerpunkt Pflege: Pflegepersonaluntergrenzen und DRG-Pflege-Split -- Auswirkungen der Personalkostenvergütung auf die Prozesse im Krankenhaus -- Vorschläge für eine auf die Bedürfnisse der Patienten ausgerichtete Mengensteuerung -- Gewinne im Krankenhaus -- Vergütung und Qualität: Ziele, Anreizwirkungen, internationale Erfahrungen und Vorschläge für Deutschland -- Investitionsfinanzierung und ineffiziente Krankenhausstrukturen -- Sektorenübergreifende Versorgung und Vergütung -- Anreize und Weiterentwicklungsperspektive der Vergütung von Psychiatrie und Psychosomatik unter der Berücksichtigung von Modellvorhaben -- Perspektiven der Finanzierung und Vergütung der medizinischen Rehabilitation in Deutschland -- II Zur Diskussion -- Krankenhausfinanzierung und -vergütung als politisches Handlungsfeld -- Fördermittel aus dem Krankenhausstrukturfonds - Anstoß zur dauerhaften Strukturveränderung? …”
Link to Metadata

Working With Academic Literacies Case Studies Towards Transformative Practice by Lillis, Theresa, Harrington, Kathy, Lea, Mary, Mitchell, Sally

Table of Contents: “…Transforming Pedagogies of Academic Writing and Reading -- Introduction to Section 1 -- A Framework for Usable Pedagogy: Case Studies Towards Accessibility, Criticality and Visibility, Julio Gimenez and Peter Thomas -- Working With Power: A Dialogue about Writing Support Using Insights from Psychotherapy, Lisa Clughen and Matt Connell -- An Action Research Intervention Towards Overcoming "Theory Resistance" in Photojournalism Students, Jennifer Good -- Student-Writing Tutors: Making Sense of "Academic Literacies", Joelle Adams -- "Hidden Features" and "Overt Instruction" in Academic Literacy Practices: A Case Study in Engineering, Adriana Fischer -- Making Sense of my Thesis: Master's Level Thesis Writing as Constellation of Joint Activities, Kathrin Kaufhold -- Thinking Creatively About Research Writing, Cecile Badenhorst, Cecilia Moloney, Jennifer Dyer, Janna Rosales and Morgan Murray -- Disciplined Voices, Disciplined Feelings: Exploring Constraints and Choices in a Thesis Writing Circle, Kate Chanock, Sylvia Whitmore and Makiko Nishitani -- How Can the Text Be Everything? …”
Access online version

Operational Amplifiers & Linear Integrated Circuits Theory and Application by Fiore, James

Table of Contents: “…-- 2.3 Simple Op Amp Comparator -- 2.4 Op Amp Manufacture -- Summary -- Chapter 3: Negative Feedback -- 3.1 Introduction -- 3.2 What Negative Feedback Is and Why We Use It -- 3.3 Basic Concepts -- 3.4 The Four Variants of Negative Feedback -- 3.5 Limitations On The Use of Negative Feedback -- Summary -- Chapter 4: Basic Op Amp Circuits -- 4.1 Introduction -- 4.2 Inverting and Non-inverting Amplifiers -- 4.3 Single Supply Biasing -- 4.4 Current Boosting -- Summary -- Chapter 5: Practical Limitations of Op Amp Circuits -- 5.1 Introduction -- 5.2 Frequency Response -- 5.3 Gain-Bandwidth Product -- 5.4 Slew Rate and Power Bandwidth -- 5.5 Offsets -- 5.6 Drift -- 5.7 CMRR and PSRR -- 5.8 Noise -- Summary -- Chapter 6: Specialized Op Amps -- 6.1 Introduction -- 6.2 Instrumentation Amplifiers -- 6.3 Programmable Op Amps -- 6.4 Op Amps for High Current, Power, and Voltage Applications -- 6.5 High Speed Amplifiers -- 6.6 Voltage Followers and Buffers -- 6.7 Operational Transconductance Amplifier -- 6.8 Norton Amplifier -- 6.9 Current Feedback Amplifiers -- 6.10 Other Specialized Devices -- Summary -- Chapter 7: Non-Linear Circuits -- 7.1 Introduction -- 7.2 Precision Rectifiers -- 7.3 Wave Shaping -- 7.4 Function Generation -- 7.5 Comparators -- 7.6 Log and Anti-Log Amplifiers -- 7.7 Extended Topic: A Precision Log Amp -- Summary -- Chapter 8: Voltage Regulation -- 8.1 Introduction -- 8.2 The Need For Regulation -- 8.3 Linear Regulators -- 8.4 Switching Regulators -- 8.5 Heat Sink Usage -- 8.6 Extended Topic: Primary Switcher -- Summary -- Chapter 9: Oscillators and Frequency Generators -- 9.1 Introduction -- 9.2 Op Amp Oscillators -- 9.3 Single Chip Oscillators and Frequency Generators -- Summary -- Chapter 10: Integrators and Differentiators -- 10.1 Introduction -- 10.2 Integrators -- 10.3 Differentiators -- 10.4 Analog Computer -- 10.5 Alternatives to Integrators and Differentiators -- 10.6 Extended Topic: Other Integrator and Differentiator Circuits -- Summary -- Chapter 11: Active Filters -- 11.1 Introduction -- 11.2 Filter Types -- 11.3 The Use and Advantages of Active Filters -- 11.4 Filter Order and Poles -- 11.5 Filter Class or Alignment -- 11.6 Realizing Practical Filters -- 11.7 Band-Pass Filter Realizations -- 11.8 Notch Filter (Band-Reject) Realizations -- 11.9 Audio Equalizers -- 11.10 Switched-Capacitor Filters -- 11.11 Extended Topic: Voltage-Controlled Filters -- Summary -- Chapter 12: Analog-to-Digital-to-Analog Conversion -- 12.1 Introduction -- 12.2 The Sampling Theorem -- 12.3 Resolution and Sampling Rate -- 12.4 Digital-to-Analog Conversion Techniques -- 12.5 Analog-to-Digital Conversion -- 12.6 Extended Topic: Digital Signal Processing -- Summary --…”
Access online version