Bordieuan Field Theory as an Instrument for Military Operational Analysis by Gunneriusson, Håkan

Table of Contents: “…Chapter 1: Terms in Search for a Theoretical Definition -- Chapter 2: Field Theory -- Chapter 3: The Political Field in the Operational Area -- Chapter 4: Field Operations as Information Warfare and Operationalisation of Theory -- Chapter 5: The Pre-War Strategic Situation in the Balkans from a Field Theory Perspective -- Chapter 6: The Events in 1990 -- Chapter 7: The Events in 1991 -- Chapter 8: The Events in 1992 -- Chapter 9: Epilogue: Beyond 1992 -- Chapter 10: Conclusions of the Empirical Example -- Chapter 11: Post Scriptum: Hybrid Warfare and the Yugoslavian Blueprint. .…”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I /

Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata

Ray Tracing Gems High-Quality and Real-Time Rendering with DXR and Other APIs /

Table of Contents: “…Real-Time Global Illumination with Photon Mapping -- Chapter 25. Hybrid Rendering for Real-Time Ray Tracing -- Chapter 26. …”
Link to Metadata

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

Table of Contents: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata

IMPROVE - Innovative Modelling Approaches for Production Systems to Raise Validatable Efficiency Intelligent Methods for the Factory of the Future /

Table of Contents: “…Concept and Implementation of a Software Architecture for Unifying Data Transfer in Automated Production Systems -- Social Science Contributions to Engineering Projects: Looking Beyond Explicit Knowledge Through the Lenses of Social Theory -- Enable learning of Hybrid Timed Automata in Absence of Discrete Events through Self-Organizing Maps -- Anomaly Detection and Localization for Cyber-Physical Production Systems with Self-Organizing Maps -- A Sampling-Based Method for Robust and Efficient Fault Detection in Industrial Automation Processes -- Validation of similarity measures for industrial alarm flood analysis -- Concept for Alarm Flood Reduction with Bayesian Networks by Identifying the Root Cause.…”
Link to Metadata

Gender in Japanese Popular Culture Rethinking Masculinities and Femininities /

Table of Contents: “…Not Quite There: Nike's Diversity and Inclusion Agenda and Japan's Readiness -- 5. Hybrid Masculinities?: Reflexive Accounts of Japanese Youth at University josō Contests -- 6. …”
Link to Metadata

Diseases of the Abdomen and Pelvis 2023-2026 Diagnostic Imaging /

Table of Contents: “…Emergency radiology of the abdomen and pelvis (inkl. trauma) -- Imaging infectious disease of the abdomen (including COVID) -- Staging and monitoring of oncologic disease with emphasis on standardized reporting and hybrid imaging -- Benign and malignant diseases of the colon and rectum -- Retroperitoneal masses -- Diffuse liver disease -- Focal liver disease -- Diseases of the gall bladder and biliary tree -- Diseases of the pancreas -- Adrenal disease -- Benign and malignant renal disease -- Update on immunotherapies: the role of the radiologists in the era of precision medicine -- Benign disease of the uterus -- Malignant disease of the uterus -- Adnexal disease -- Prostate MRI -- Pathways for spread of disease in the abdomen -- Small bowel disease -- Congenital and acquired pathologies of the pediatric gastro-intestinal tract -- Congenital and acquired pathologies of the pediatric uro-genital tract.…”
Link to Metadata

Seed Science and Technology Biology, Production, Quality /

Table of Contents: “…Principles of Variety Maintenance for Quality Seed Production -- 9. Hybrid Seed Production Technology -- 10. Seed Processing for Quality Upgradation -- 11. …”
Link to Metadata

Beyond Dichotomy Synergizing Writing Center and Classroom Pedagogies by Corbett, Steven J.

Table of Contents: “…Front Matter -- Acknowledgments -- Introduction: Sharing Pedagogical Authority: Practice Complicates Theory When Synergizing Classroom, Small-Group, and One-to-One Writing Instruction -- Chapter One: Tutoring Style, Tutoring Strategy: Course-Based Tutoring and the History, Rhetoric, and Reality of the Directive/Nondirective Instructional Continuum -- Chapter Two: Methods and Methodology: Locating Places, People, and Analytical Frames -- Chapter Three: Macro- and Micro-Analyses of One-to-One Tutorials: Case Studies at the University of Washington -- Chapter Four: Conflict and Care while Tutoring in the Classroom: Case Studies at the University of Washington and Southern Connecticut State University -- Chapter Five: Conclusion: Toward Teacher/Student, Classroom/Center Hybrid Choices -- Works Cited -- Appendix -- Index…”
Access online version

Projekt- und Teamarbeit in der digitalisierten Arbeitswelt Herausforderungen, Strategien und Empfehlungen /

Table of Contents: “…Projekt- und Teamarbeit in der digitalisierten Arbeitswelt -- Fluide Teams in agilen Kontexten - Grenzziehung und innere Strukturierung als Herausforderung für Selbstorganisation -- Komplexität im Projektmanagement -- Belastungs- und Ressourcensituation operativer Führungskräfte bei virtueller Teamarbeit - Herausforderungen für die Gestaltung der Arbeit -- Prävention zeitlicher Überforderung bei komplexer Wissens- und Innovationsarbeit -- Führung hybrider Formen virtueller Teams - Herausforderungen und Implikationen auf Team- und Individualebene -- Mindset für Zeit- und Handlungsspielraum: Hand-lungsempfehlungen für Führungskräfte virtueller Teams -- Team- und Projektarbeit in der digitalisierten Produktentwicklung -- Auf der Suche nach dem digitalen Arbeitsplatz -- Das Arbeiten mit Kollaborationsplattformen - Neue Anforderungen an die Arbeitsgestaltung und interessenpolitische Regulierung.…”
Link to Metadata

XcalableMP PGAS Programming Language From Programming Model to Applications /

Table of Contents: “…Chapter 1: XcalableMP programming model and language -- Chapter 2: Design and Performance Evaluation of the Omni XcalableMP Compiler -- Chapter 3: Coarrays in the Context of XcalableMP -- Chapter 4: XcalableACC: an Integration of XcalableMP and OpenACC -- Chapter 5: Mixed-language programming with XMP and Python -- Chapter 6: Three-dimensional Fluid Code with XcalableMP -- Chapter 7: Hybrid-View Data Model Programming of Nuclear Fusion Simulation Code in XcalableMP -- Chapter 8: Parallelization of Atomic Image Reconstruction from X-ray Fluorescence Holograms by XcalableMP -- Chapter 9: Multi-SPMD programming model with YML and XcalableMP -- Chapter 10: XcalableMP 2.0 and Future Directions.…”
Link to Metadata

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

Table of Contents: “…Kihara's genome concept and advancements in wheat cytogenetics in his school -- 2 How a gene from Japan revolutionized the world of wheat: CIMMYT's quest for combining genes to mitigate threats to global food security -- Part II Germplasm and Genetic Diversity -- 3 Genetic resources of Triticum -- 4 Development of core set of wheat (Triticum spp.) germplasm conserved in the National Genebank in India -- 5 Transfer to wheat of potentially new stem rust resistance genes from Aegilops speltoides -- 6 Genetic variation and its geographical distribution in Aegilops caudata L.: 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

Evidence-based Positron Emission Tomography Summary of Recent Meta-analyses on PET /

Table of Contents: “…Section A: Introduction -- 1: Introduction to different PET radiopharmaceuticals and hybrid modalities (PET/CT & PET/MRI) -- 2: A practical guideline on diagnostic and prognostic meta-analyses -- Section B: Evidence-based PET in Oncology -- 3: Evidence-based PET for brain and head/neck tumours -- 4: Evidence-based PET for thoracic tumours -- 5: Evidence-based PET for abdominal and pelvic tumours -- 6: Evidence-based PET for cutaneous, musculoskeletal tumours -- 7: Evidence-based PET for haematological tumours -- 8: Evidence-based PET for endocrine tumours and disorders -- Section C: Evidence-based PET in Cardiology -- 9: Evidence-based PET for cardiac diseases -- Section D: Evidence-based PET in Infection & Inflammation -- 10: Evidence-based PET for infectious and inflammatory diseases -- Section E: Evidence-based PET in Neurology -- 11: Evidence-based PET for neurological diseases.…”
Link to Metadata

Ernst Denert Award for Software Engineering 2020 Practice Meets Foundations /

Table of Contents: “…-- Open Source Software Governance: Distilling and Applying Industry Best Practices -- Dynamically Scalable Fog Architectures -- Crossing Disciplinary Borders to Improve Requirements Communication -- DevOps Use: A Community-Oriented Methodology for Societal Software Engineering -- Hybrid Differential Software Testing -- Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules -- Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems -- Improving the Model-Based Systems Engineering Process -- Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics.…”
Link to Metadata

New Materialist Explorations into Language Education

Table of Contents: “…Telepresent Agency: Remote Participation in Hybrid Language Classrooms via a Telepresence Robot -- 3. …”
Link to Metadata

Digitalisierung souverän gestalten II Handlungsspielräume in digitalen Wertschöpfungsnetzwerken /

Table of Contents: “…-- Anwendungen und Lösungsansätze erklärbarer Künstlicher Intelligenz -- Nachweislich eine gute Entscheidung: Qualitätssicherung für künstlich-intelligente Verfahren in der Industrie -- Hybrides Maschinelles Lernen im Kontext der Produktion -- Humanzentrierte künstliche Intelligenz: Erklärendes interaktives maschinelles Lernen für Effizienzsteigerung von Parametrieraufgaben -- Konzept zur zielgerichteten Kompetenzentwicklung für Initiativen des Maschinellen Lernens -- Regulierung und Zertifizierung von KI in der Industrie: Ziele, Kriterien und Herausforderungen -- Szenario-Technik mit digitalen Technologien -- Wem gehören die Daten? …”
Link to Metadata

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

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15-19, 2019, Revised Selected Papers /

Table of Contents: “…-- Usage and scaling of an open-source spiking multi-area model of the monkey cortex -- Exascale compute and data infrastructures for neuroscience and applications -- Modular supercomputing for neuroscience -- Fenix: Distributed e-Infrastructure Services for EBRAINS -- Independent component analysis for noise and artifact removal in three-dimensional Polarized Light Imaging -- Exascale artificial and natural neural architectures -- Brain-inspired algorithms for processing of visual data -- An hybrid attention-based system for the prediction of facial attributes -- The statistical physics of learning revisited: Typical learning curves in model scenarios -- Emotion mining: from unimodal to multimodal approaches -- .…”
Link to Metadata

Violence in Extreme Conditions Ethical Challenges in Military Practice /

Table of Contents: “…'Moresfare' and the resilience paradox: Ethics as the terra incognita of hybrid warfare and its challenges -- 13. Concluding reflections.…”
Link to Metadata

Machine Learning for Cyber Physical Systems Selected papers from the International Conference ML4CPS 2020 /

Table of Contents: “…Preface -- Energy Profile Prediction of Milling Processes Using Machine Learning Techniques -- Improvement of the prediction quality of electrical load profiles with artficial neural networks -- Detection and localization of an underwater docking station -- Deployment architecture for the local delivery of ML-Models to the industrial shop floor -- Deep Learning in Resource and Data Constrained Edge Computing Systems -- Prediction of Batch Processes Runtime Applying Dynamic Time Warping and Survival Analysis -- Proposal for requirements on industrial AI solutions -- Information modeling and knowledge extraction for machine learning applications in industrial production systems -- Explanation Framework for Intrusion Detection -- Automatic Generation of Improvement Suggestions for Legacy, PLC Controlled Manufacturing Equipment Utilizing Machine Learning -- Hardening Deep Neural Networks in Condition Monitoring Systems against Adversarial ExampleAttacks -- First Approaches to Automatically Diagnose and Reconfigure Hybrid Cyber-Physical Systems -- Machine learning for reconstruction of highly porous structures from FIB-SEM nano-tomographic data.…”
Link to Metadata