Search Results - CHKT~

Disasters: Core Concepts and Ethical Theories

Table of Contents: “…Political Science perspectives -- 7. You can't go home again - on the conceptualisation of disasters in ancient Greek tragedy -- 8. …”
Link to Metadata

Space Systems Emerging Technologies and Operations by Nichols, Randall K., Mumm, Hans C., Lonstein, Wayne D., Ryan, Julie J.C.H, Carter, Candice M.

Table of Contents: “…Front Matter -- Foreword -- Chapter 1 - Current State of Space Operations -- Chapter 2 - Satellite Killers and Hypersonic Drones -- Chapter 3 - Space Electronic Warfare, Signal Interception, ISR, Jamming, Spoofing, & ECD -- Chapter 4 - Manufacturing in Space -- Chapter 5 - Exploration of Key Infrastructure Vulnerabilities from Space-Based Platforms -- Chapter 6 - Trash Collection and Tracking in Space -- Chapter 7 - Leveraging Space for Disaster Risk Reduction & Management -- Chapter 8 - Bio-treats to Agriculture-Solutions from Space -- Chapter 9 - Modeling, Simulations, & Extended Reality -- Chapter 10 - Drones & Precision Agricultural Mapping -- Chapter 11 - Civilian use of Space for Environmental, Wildlife Tracking, & Fire Risk Zone ID -- Chapter 12 - Humanitarian Use of Space Technologies to Improve Global Food Supply &Catte Management…”
Access online version

The Future of Election Administration Cases and Conversations /

Table of Contents: “…-- 11. The Cost of Convenience -- 12. Ghana's 2012 General Election: Free, Fair, and Flawed? …”
Link to Metadata

Interface Oral Health Science 2014 Innovative Research on Biosis-Abiosis Intelligent Interface /

Table of Contents: “…Symposium I: Biosis-Abiosis Interface of Dental Implants -- 1 Biological events happened on the biosis-abiosis interface: Cellular responses induced by implantable electrospun nanofibrous scaffolds -- 2 Updates in Treatment Modalities and Techniques on Compromised Alveolar Ridge Augmentation for Successful Dental Implant Therapy -- 3 Surface Modification of Dental Implant Improves Implant-Tissue Interface -- 4 Oral Microbiota in Crevices around Dental Implants: Profiling of the Oral Biofilm -- Part II  Symposium II: Biomaterials in Interface Science -- 5 Biofunctionalization of Metallic Materials-Creation of Biosis-Abiosis Intelligent Interface -- 6 Evaluation of photocatalytic activity of the TiO2 layer formed on Ti by thermal oxidation -- 7 Enhancing functionalities of metallic materials by controlling phase stability for use in orthopedic implants -- 8 Surface Improvement for Biocompatibility of Ti-6Al-4V by Dealloying in Metallic Melt -- 9 Chemical Vapor Deposition of Ca-P-O FilmCoating -- Part III Symposium III: Biomedical Engineering Interface -- 10 Importance of visual cues in hearing restoration by auditory prosthesis -- Part IV Symposium IV: Cell Manipulation and Tissue Regeneration -- 11 Designer supersurfaces via bioinspiration and biomimetics for dental materials and structures -- 12 Feeder Cell Sources and Feeder-Free Methods for Human iPS Cell Culture -- 13 Hydrogel-based biomimetic environment for in vitro cell and tissue manipulation -- 14 Trends in periodontal regeneration therapy: Potential therapeutic strategy of extracellular matrix administration for periodontal ligament regeneration -- Part V Poster Presentation Award Winners -- 15 Histochemical Characteristics of Glycoproteins during Rat Palatine Gland Development -- 16 The role of NFIC in regulating odontoblastic differentiation of human molar stem cells from apical papilla -- 17 Microbicidal activity of artificially generated hydroxyl radicals -- 18 High levels of saturated fatty acids may exacerbatethe pathogenesis of primary Sjögren's syndrome -- 19 Effects of carbon addition on mechanical properties and microstructures of Ni-free Co-Cr-W-based dental alloys -- 20 Periodontal disease as a possible risk factor for Alzheimer's disease -- 21 Measurement of Skin Elasticity using High Frequency Ultrasound Elastography with Intrinsic Deformation Induced by Arterial Pulsation -- Part VI Poster Presenters -- 22 Effect of macrophage colony-stimulating factor receptor c-Fms antibody on lipopolysaccharide-induced pathological osteoclastogenesis and bone resorption -- 23 The role of Th1 cytokines on mechanical loading-induced osteoclastogenesis and bone resorption -- 24 The ventral primary somatosensory cortex of the primate brain: innate neural interface for dexterous orofacial motor control -- 25 Possible roles of IL-33 in periodontal diseases: Porphyromonas gingivalis induced IL-33 in human gingival epithelial cells -- 26 Prospects for liposome-encapsulated nisin in the prevention of dental caries -- 27 Clinical chipping of zirconia all-ceramic restorations -- 28 Dentin Hypersensitivity: Etiology, prevalence and treatment modalities -- 29 Preventing Aspiration Pneumonia among the Elderly: a Review Focused on the Impact of the Consistency of Food Substances.…”
Link to Metadata

Biochemistry Free For All by Ahern, Kevin, Rajagopal, Indira, Tan, Taralyn

Table of Contents: “…Basic Biology -- Basic Chemistry -- Water and Buffers -- Amino Acids -- Protein Structure -- Structure and Function of Nucleic Acids -- Structure and Function of Carbohydrates -- Structure and Function of Lipids -- Membranes: Basic Concepts -- Membranes: Transport -- Membranes: Other Considerations -- Catalysis: Basic Principles -- Catalysis: Control of Activity -- Catalysis: Mechanisms -- Blood Clotting -- Energy: Basics -- Electron Transport and Oxidative Phosphorylation -- Photophosphorylation -- Metabolism of Sugars -- Metabolism of Polysaccharides -- Citric Acid Cycle -- Metabolism of Fats and Fatty Acids -- Metabolism of Other Lipids -- Metabolis of Amino Acids and the Urea Cycle -- Metabolism of Nucleotides -- Genes and Genomes -- DNA Replication -- DNA Repair -- Transcription -- RNA Processing -- Translation -- Regulation of Gene Expression -- Cell Signaling -- Basic Techniques -- Point by Point: In the Beginning -- Point by Point: Structure and Function -- Point by Point: Membranes -- Point by Point: Catalysis -- Point by Point: Energy -- Point by Point: Metabolism -- Point by Point: Information Processing -- Point by Point: Techniques…”
Access online version

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

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

Urban Inequality and Segregation in Europe and China Towards a New Dialogue /

Table of Contents: “…Introduction -- Part I: Lessons from Europe -- Re-theorising spatial segregation: A European perspective -- Income inequality and residential segregation in European cities -- The role of migration costs in residential sorting -- Part II: Urban inequality and segregation in China -- Research on residential segregation in Chinese cities -- Urbanisation, migration and the anti-poverty programme in China -- Urban villages, their redevelopment and implications for inequality and integration -- Renovation of Shantytowns and construction of new communities -- Public service provision in China: Towards a more equal access system -- Housing policies for rural migrant workers in China -- Part III: Future directions for research and policy -- Multi-scale inequality and segregation: Theory and estimation -- Characterising social integration between rural migrants and local residents in urban China -- Social frontiers: Estimating the spatial boundaries between residential groups and their impacts on crime -- Deprivation indices in China: Establishing principles for application and interpretation -- Future directions for research on residential segregation and inequality in China.…”
Link to Metadata

Novel Developments for Sustainable Hydropower

Table of Contents: “…1 Policy Framework for Hydropower Mitigation -- 2 Costs of Ecological Mitigation at Hydropower Plants -- 3 Public Acceptance of Hydropower -- 4 Impacts and Risks of Hydropower -- 5 The Attractiveness of Fishways and Bypass Facilities -- 6 Attraction Flow and Migration Habitat Assessment Using an Agent-Based Model -- 7 Fish Guidance Structures with Narrow Bar Spacing: Physical Barriers -- 8 Fish Guidance Structure with Wide Bar Spacing: Mechanical Behavioural Barrier -- 9 Guidelines for Application of Different Analysis Methods of Fish Passage Through Turbines - Impact Assessment of Fish Behavioural Aspects -- 10 Measures to Improve Fish Passage Through a Turbine -- 11 Archimedes Screw - An Alternative for Safe Migration Through Turbines? …”
Link to Metadata

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

Table of Contents: “…Categorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference -- Foundations for Entailment Checking in Quantitative Separation Logic -- Extracting total Amb programs from proofs -- Why3-do: The Way of Harmonious Distributed System Proofs -- Relaxed virtual memory in Armv8-A -- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture -- The Trusted Computing Base of the CompCert Verified Compiler -- View-Based Owicki-Gries Reasoning for Persistent x86-TSO -- Abstraction for Crash-Resilient Objects -- Static Race Detection for Periodic Programs -- Probabilistic Total Store Ordering -- Linearity and Uniqueness: An Entente Cordiale -- A Framework for Substructural Type Systems -- A Dependent Dependency Calculus -- Polarized Subtyping -- Structured Handling of Scoped Effects -- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style -- A Predicate Transformer for Choreographies -- Comparing the expressiveness of the -calculus and CCS -- Concurrent NetKAT.…”
Link to Metadata

Secondary Analysis of Electronic Health Records by MIT Critical Data

Table of Contents: “…Outliers -- Case Studies -- Introduction -- Predictive Modeling: outcome prediction (discrete) -- Predictive Modeling: dose optimization (regression) -- Pharmacovigilance (classification) -- Comparative effectiveness: propensity score analysis -- Comparative effectiveness: instrumental variable analysis -- Decision and Cost Effectiveness Analysis: Hidden Markov models and Monte Carlo simulation -- Time series analysis: Gaussian processes (ICP modelling) -- Time series analysis: Bayesian inference(Motif discovery in numerical signals) -- Time Series analysis: Optimization techniques for hyperparameter selection -- Signal processing: analysis of waveform data -- Signal processing: False alarm reduction.…”
Link to Metadata

Engineering a Better Future Interplay between Engineering, Social Sciences, and Innovation /

Table of Contents: “…-- Ecole des Mines de Paris: a few lessons from a long history -- Part II: Engineering and Social Sciences -- The Cult of Innovation: Its Myths and Rituals -- Does Law Wear out? …”
Link to Metadata

Field Trials of Health Interventions A Toolbox

Table of Contents: “…Chapter 1 Introduction to field trials of health interventions -- Chapter 2 Types of intervention and their development -- Chapter 3 Reviewing the literature -- Chapter 4 Trial design -- Chapter 5 Trial size -- Chapter 6 Ethical considerations -- Chapter 7 Trial governance -- Chapter 8 Preparing grant applications -- Chapter 9 Community engagement -- Chapter 10 Censuses and mapping -- Chapter 11 Randomization, blinding, and coding -- Chapter 12 Outcome measures and case definition -- Chapter 13 Preliminary studies and pilot testing -- Chapter 14 Questionnaires -- Chapter 15 Social and behavioural research -- Chapter 16 Field organization and ensuring data of high quality -- Chapter 17 Field laboratory methods -- Chapter 18 Budgeting and accounting -- Chapter 19 Intervention costing and economic analysis -- Chapter 20 Data management -- Chapter 21 Methods of analysis -- Chapter 22 Phase IV studies -- Chapter 23 Reporting and using trial results…”
Access online version

Bending the Curve Climate Change Solutions

Table of Contents: “…Part I Concepts and Solutions -- 1 Climate Change -- 2 Humans, Nature, and the Quest for Climate Justice -- 3 Climate Change and Human Health -- 4 Overview of the Ten Solutions for Bending the Curve -- Part II Ten Solutions -- 5 Your Leadership: Social Movements and Social Solutions to Climate Change -- 6 Social Transformation: Changing Attitudes, Norms, and Behaviors -- 7 Religion, Ethics, and Climate Change -- 8 Communicating Climate Change Science -- 9 Lessons from California -- 10 The Paris Agreement and Its Implementation -- 11 Economics: Emissions, Impacts, and Policy -- 12 Cost-Effective Climate Policies -- 13 Two Evolving Energy Technology Pathways -- 14 Environmentally Sustainable Transportation -- 15 Technologies for Super Pollutants Mitigation -- 16 Enhancing Carbon Sinks in Natural and Working Lands -- Part III Current Topics -- 17 Sea Level Rise from Melting Ice -- 18 Atmospheric Carbon Extraction: Scope, Available Technologies, and Challenges -- 19 Local Solutions…”
Access online version

Die Freimaurer im Alten Preußen 1738-1806, Die Logen in Pommern, Preußen Die Logen in Pommern, Preußen und Schlesien by Gerlach, Karlheinz

DOAB: download the publication
DOAB: description of the publication

Lehrer*innenbildung und Bologna-Prozess Politische Strategien zur Einführung der Bachelor- und Masterabschlüsse im Bundesländervergleich by Schmees, Johannes Karl

DOAB: download the publication
DOAB: description of the publication

Die Freimaurer im Alten Preußen 1738-1806, Die Logen in Pommern, Preußen Die Logen in Pommern, Preußen und Schlesien by Gerlach, Karlheinz

OAPEN Library: download the publication
OAPEN Library: description of the publication

Lehrer*innenbildung und Bologna-Prozess Politische Strategien zur Einführung der Bachelor- und Masterabschlüsse im Bundesländervergleich by Schmees, Johannes Karl

OAPEN Library: download the publication
OAPEN Library: description of the publication

Preclinical MRI of the Kidney Methods and Protocols /

Table of Contents: “…Recommendations for Preclinical Renal MRI: A Comprehensive Open-Access Protocol Collection to Improve Training, Reproducibility, and Comparability of Studies -- Animal Models of Renal Pathophysiology and Disease -- Preparation and Monitoring of Small Animals in Renal MRI -- Reversible (Patho-)Physiologically Relevant Test Interventions: Rationale and Examples -- Preparation of Ex Vivo Rodent Phantoms for Developing, Testing, and Training MR Imaging of the Kidney and Other Organs -- Quantitative Assessment of Renal Perfusion and Oxygenation by Invasive Probes: Basic Concepts -- Ultrasound and Photoacoustic Imaging of the Kidney: Basic Concepts and Protocols -- Hardware Considerations for Preclinical Magnetic Resonance of the Kidney -- MRI Mapping of Renal T1: Basic Concept -- MRI Mapping of the Blood Oxygenation Sensitive Parameter T2* in the Kidney: Basic Concept -- Renal Diffusion Weighted Imaging (DWI) for Apparent Diffusion Coefficient (ADC), Intra Voxel Incoherent Motion (IVIM), and Diffusion Tensor Imaging (DTI): Basic Concept -- Dynamic Contrast Enhancement (DCE)-MRI Derived Renal Perfusion and Filtration: Basic Concepts -- Non-Invasive Renal Perfusion Measurement Using Arterial Spin Labelling (ASL) MRI: Basic Concept -- Renal pH Imaging Using Chemical Exchange Saturation Transfer (CEST)-MRI: Basic Concepts -- Sodium (23Na) MRI of the Kidney: Basic Concept -- Hyperpolarized Carbon (13C) MRI of the Kidneys: Basic Concepts -- Functional Imaging Using Fluorine (19F) MR Methods: Basic Concepts -- MR Elastography of the Abdomen: Basic Concepts -- Monitoring Renal Hemodynamics and Oxygenation by Invasive Probes: Experimental Protocol -- Essential Practical Steps for MRI of the Kidney in Experimental Research -- Assessment of Renal Volume with MRI: Experimental Protocol -- Experimental Protocols for MRI Mapping of Renal T1 -- Experimental Protocols for MRI Mapping of the Blood Oxygenation Sensitive Parameters T2* and T2 in the Kidney -- Renal MRI Diffusion: Experimental Protocol -- Dynamic Contrast Enhanced (DCE)-MRI Derived Renal Perfusion and Filtration: Experimental Protocol -- Renal Blood Flow Using Arterial Spin Labeling (ASL)-MRI: Experimental Protocol and Principles -- Renal pH Mapping Using Chemical Exchange Saturation Transfer (CEST)-MRI: Experimental Protocol -- Sodium (23Na) MRI of the Kidney: Experimental Protocol -- Hyperpolarized Carbon (13C) MRI of the Kidney: Experimental Protocol -- Fluorine (19F) MRI for Assessing Inflammatory Cells in the Kidney: Experimental Protocol -- Fluorine (19F) MRI to Measure Renal Oxygen Tension and Blood Volume: Experimental Protocol -- MR Elastography of the Abdomen: Experimental Protocols -- Subsegmentation of the Kidney in Experimental MR Images Using Morphology-Based Regions-of-Interest or Multiple-Layer Concentric Objects -- De-Noising for Improved Parametric MRIof the Kidney: Protocol for Non-Local Means Filtering -- Analysis Protocols for MRI Mapping of Renal T1 -- Analysis Protocols for MRI Mapping of the Blood Oxygenation Sensitive Parameters T2* and T2 in the Kidney -- Analysis of Renal Diffusion Weighted Imaging (DWI) Using Apparent Diffusion Coefficient (ADC) and Intra Voxel Incoherent Motion (IVIM) Models -- Analysis Protocol for Dynamic Contrast Enhanced (DCE)-MRI of Renal Perfusion and Filtration -- Quantitative Analysis of Renal Perfusion by Arterial Spin Labeling -- Analysis Protocol for the Quantification of Renal pH Using Chemical Exchange Saturation Transfer (CEST)-MRI -- Analysis Protocol for Renal Sodium (23Na) MR Imaging -- Analysis Methods for Hyperpolarized Carbon (13C) MRI of the Kidney -- Data Preparation Protocol for Low Signal-to-Noise Ratio Fluorine-19 MRI.…”
Link to Metadata

Opportunities and Challenges for New and Peripheral Political Science Communities A Consolidated Discipline? /

Table of Contents: “…Chapter 1 Introduction: The Formation and Aims of the Book, COST and WG1, Gabriella Ilonszki and Christophe Roux -- Chapter 2 Institutionalisation of political science in East Central Europe: Connecting Theory to the Ground, Gabriella Ilonszki -- Chapter 3 Continuities and New Beginnings in the Post-Yugoslav States, Davor Boban, Ivan Stanojevic, Simona Kukovic -- Chapter 4 Political Science in Central European Democracies under Pressure, Darina Malova, Aneta Vilagi, Dobrinka Kostova -- Chapter 5 Is small beautiful? …”
Link to Metadata

Robotic Surgery of Colon and Rectum

Table of Contents: “…An Update -- 7 Damage control resuscitation and massive transfusion -- 8 REBOA in exanguinating torso haemorrhage -- 9 Definitive Care of abdominal solid organ injuries -- 10 Trauma to the chest: the role of trauma surgeon -- 11 Abdomino-pelvic trauma -- 12 The open abdomen: indications and techniques -- 13 Entero-atmospheric fistula: a challenge of acute care surgery -- 14 Operative endoscopy in acute care surgery -- 15 Point of Care Ultrasounds in acute care surgery -- 16 Large bowel emergencies -- 17 Biliary emergencies -- 18 Step-up approach in acute pancreatitis -- 19 Source control in abdominal sepsis -- 20 Laparoscopy in acute care surgery -- 21 Caustic injuries.…”
Link to Metadata