Search Results - ABSP~

Nonparametric Bayesian Learning for Collaborative Robot Multimodal Introspection by Zhou, Xuefeng, Wu, Hongmin, Rojas, Juan, Xu, Zhihao, Li, Shuai

Table of Contents: “…Introduction to Robot Introspection -- Nonparametric Bayesian Modeling of Multimodal Time Series -- Incremental Learning Robot Complex Task Representation and Identification -- Nonparametric Bayesian Method for Robot Anomaly Monitoring -- Nonparametric Bayesian Method for Robot Anomaly Diagnose -- Learning Policy for Robot Anomaly Recovery based on Robot.…”
Link to Metadata

Legal Fundamentals of Healthcare Law by Jackman, Tiffany

Table of Contents: “…Introduction -- About the Author: Beyond the pages, igniting minds -- The Business of Medicine -- Healthcare Reform -- Torts -- Contract Law -- Privacy, Intellectual Property, and Cyberlaw -- Ethical Considerations -- Leading for Safety -- Organizational Liability -- Anti Fraud Abuse -- IRAC Analysis & Writing a Case Brief -- Glossary -- Acknowledgements…”
Access online version

Alternatives to Animal Testing Proceedings of Asian Congress 2016 /

Table of Contents: “…Mechanism-based evaluation system for hepato- and nephrotoxicity or carcinogenicity using omics technology -- 13. …”
Link to Metadata

Scaling-up Higher Order Thinking Demonstrating a Paradigm for Deep Educational Change / by Zohar, Anat

Table of Contents: “…Chapter 1: On Thinking-Based Teaching and Large-Scale Implementation -- Chapter 2: What and How to Teach in 21st Century Schools- Common Confusions Regarding Knowledge, Thinking, Pedagogy, and The Curriculum -- Chapter 3: Substantive Pedagogy and its Role in Deep large -Scale Change Processes -- Chapter 4: Teachers' Knowledge: The Most Central Link in Substantive Pedagogy Change Processes -- Chapter 5: It's Not All or Nothing - System-Wide Implementation of Inquiry-Based Teaching and Learning -- Chapter 6: Developing Students' Thinking in Civic Education as an Example of Scaling-Up HOT Across the School System -- Chapter 7: Feedback from an Ongoing Reform: Analyzing the Implementation of the Meaningful Learning Reform in High School -- Chapter 8: Wide-Scale Implementation of Higher Order Thinking (HOT) in an Era of High Stakes Testing -- Chapter 9: The Implications of Serious Consideration of Substantive Pedagogy for Policy and Implementation of Deep Changes: Summary, Conclusions and Discussion.…”
Link to Metadata

Nordic Artificial Intelligence Research and Development 4th Symposium of the Norwegian AI Society, NAIS 2022, Oslo, Norway, May 31 - June 1, 2022, Revised Selected Papers /

Table of Contents: “…Robotics and Intelligent Systems -- Knowledge Infused Representations through Combination of Expert Knowledge and Original Input -- Cognitive Robotics -- towards the development of next-generation robotics and intelligent systems -- Pattern Based Software Architecture for Predictive Maintenance -- AI in Cyber and Digital Sphere -- An overview of artificial intelligence used in malware -- Fake News Detection by Weakly Supervised Learning Based on Content-Features -- Improving the Usability of Tabular Data through Data Annotation, Repair and Augmentation -- AI in Biological Applications and Medicine -- Detecting human embryo cleavage stages using YOLO v5 object detection algorithm -- Phenotyping of Cervical Cancer Risk Groups via Generalized Low-Rank Models using Medical Questionnaires -- Automatic unsupervised clustering of videos of the intracytoplasmic sperm injection (ICSI) procedure -- Towards New AI Methods -- The Kernelized Taylor Diagram -- Simulating University Application Data for Fair Matchings.…”
Link to Metadata

Algorithms for Big Data DFG Priority Program 1736 /

Table of Contents: “…Algorithms for Large and Complex Networks Algorithms for Large-scale Network Analysis and the NetworKit Toolkit -- Generating Synthetic Graph Data from Random Network Models -- Sampling Efficiency for the Link Assessment Problem -- A Custom Hardware Architecture for the Link Assessment Problem -- Graph-based Methods for Rational Drug Design -- Recent Advances in Practical Data Reduction -- Skeleton-based Clustering by Quasi-Threshold Editing -- The Space Complexity of Undirected Graph Exploration -- Algorithms for Big Data and their Applications Scalable Cryptography -- Distributed Data Streams -- Energy-Efficient Scheduling -- The GENO Software Stack -- Laue Algorithms for Big Data Problems in de Novo Genome Assembly -- Scalable Text Index Construction. …”
Link to Metadata

Nanoinformatics

Table of Contents: “…Machine Learning-based Experimental Design in Materials Science -- 5. …”
Link to Metadata

Modelo Kaizen en el sector público Kaizen model in the public sector by César Iván, Casanova-Villalba, Jaqueline, Maybelline, César, Rivadeneira – Moreira, Francisco Marcelo, Ramos – Secaira, Franklin Roberto, Bueno-Moyano

Table of Contents: “…Marco Teórico – Metodología “Kaizen” y Gestión de la Calidad -- 2. Base legal en Ecuador para mejorar la calidad en las Instituciones Públicas -- 3. …”
Access online version

Concepts of Fitness and Wellness by Flynn, Scott, Jellum, Lisa, Howard, Jonathan, Moser, Althea, Mathis, David, Collins, Christin, Henderson, Sharryse, Watjen, Connie

Table of Contents: “…Cancer -- 12. Substance Use and Abuse -- 13. Sexually Transmitted Infections…”
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

Reshaping Engineering Education Addressing Complex Human Challenges / by Habbal, Fawwaz, Kolmos, Anette, Hadgraft, Roger G., Holgaard, Jette Egelund, Reda, Kamar

Table of Contents: “…Introduction -- A Systems Approach to Addressing Human Challenges -- Design for Complexity -- New Competencies for Systems Thinking -- Towards a Comprehensive Pedagogy -- Teaching and Learning Strategies -- Generic Competencies -- Educational Transformation -- Engineers and Practice at Harvard -- Problem and Project-Based Learning at Aalborg -- Studios Reshape Engineering Curricula -- Invitation to Change.…”
Link to Metadata

The Shallow and the Deep A biased introduction to neural networks and old school machine learning by Biehl, Michael

Table of Contents: “…Preface -- From neurons to networks -- Learning from example data -- The Perceptron -- Beyond linear separability -- Feed-forward networks for regression and classification -- Distance-based classifiers -- Model evaluation and regularization -- Preprocessing and unsupervised learning -- Concluding quote -- Appendix A: Optimization -- List of figures -- List of algorithms -- Abbrev. and acronyms -- Bibliography…”
Access online version

Krankenhaus-Report 2022 Patientenversorgung während der Pandemie /

Table of Contents: “…Vorwort und Einführung -- I Schwerpunktthema: Beschreibung und Einordnung der Covid-19-Pandemie -- Stationäre Versorgung während der ersten Welle der Covid-19-Pandemie in Europa: ein internationaler Vergleich -- Stationäres Leistungsgeschehen, Finanzierung und Versorgungsstrukturen während der Pandemie -- Stationäre Behandlung von Covid-19-Patienten in den Pandemiewellen -- Notfallversorgung von Herzinfarkt, Schlaganfall und hüftgelenknaher Femurfraktur während der Pandemie -- Auswirkungen der Covid-19-Pandemie auf die onkologische Versorgung -- Indikationsstellung in der Pandemie: Lehren für die Gesundheitsversorgung -- Auswirkungen der COVID-19-Pandemie auf die psychiatrische Versorgung - eine Sekundärdatenanalyse auf der Grundlage von AOK-Versichertendaten -- Nachfrageverhalten der Patienten während der Pandemie im Spiegel von Befragungen -- Ausgestaltung einer (pandemiefähigen) KH-Landschaft und ihrer Finanzierung -- Ausgestaltung einer (pandemiefähigen) KH-Landschaft und ihrer Finanzierung -- Versorgungssteuerung unter Pandemiebedingungen am Beispiel Hessen -- Steuerung der Notfallversorgung während der Pandemie -- Steuerungsherausforderungen im Krankenhaus -- Covid-19-Patientensteuerung und Versorgung in Israel -- Krankenhausföderalismus während der Corona-Pandemie: Effektiv, aber nicht effizient? -- II Zur Diskussion: Die Pandemie und die zunehmende Bedeutung der Verteilungsgerechtigkeit: Der Versuch einer wirtschaftsethischen und gesundheitsökonomischen Analyse -- Krankenhausinvestitionen der Bundesländer von den 1940ern bis heute -- Auswirkungen der Covid-19-Pandemie auf die onkologische Versorgung -- III Krankenhauspolitische Chronik: Krankenhauspolitische Chronik -- IV Daten und Analysen: Pflegebudgets -- Statistische Krankenhausdaten: Grunddaten der Krankenhäuser -- Statistische Krankenhausdaten: Diagnosedaten der Krankenhäuser -- Fallpauschalenbezogene Krankenhausstatistik: Diagnosen und Prozeduren der Krankenhauspatienten auf Basis der Daten nach § 21 KhEntgG -- V Krankenhaus-Directory:- Krankenhaus-Directory 2019 - DRG-Krankenhäuser im Vergleich -- Die Autorinnen und Autoren.…”
Link to Metadata

Demystifying Internet of Things Security Successful IoT Device/Edge and Platform Security Deployment / by Cheruvu, Sunil, Kumar, Anil, Smith, Ned, Wheeler, David M.

Table of Contents: “…Chapter 1: Conceptualizing the Internet of Things -- Chapter 2: IoT Frameworks and Complexity Hiding -- Chapter 3: Base Platform Security Hardware Building Blocks -- Chapter 4: IoT Software Security Building Blocks -- Chapter 5: Connectivity Technologies for IoT -- Chapter 6: IoT Vertical Applications and Associated Security Requirements.…”
Link to Metadata

Structural Health Monitoring Damage Detection Systems for Aerospace

Table of Contents: “…Ultrasonics -- Chapter 6. Vibration based monitoring -- Chapter 7. Acoustic emission -- Chapter 8. …”
Link to Metadata

Real-time Linked Dataspaces Enabling Data Ecosystems for Intelligent Systems / by Curry, Edward

Table of Contents: “…1 Real-time Linked Dataspaces: A Data Platform for Intelligent Systems within Internet of Things-based Smart Environments -- 2 Enabling Knowledge Flows in an Intelligent Systems Data Ecosystem -- 3 Dataspaces: Fundamentals, Principles, and Techniques -- 4 Fundamentals of Real-time Linked Dataspaces -- 5 Data Support Services for Real-time Linked Dataspaces -- 6 Catalog and Entity Management Service for Internet of Things-based Smart Environments -- 7 Querying and Searching Heterogeneous Knowledge Graphs in Real-time Linked Dataspaces -- 8 Enhancing the Discovery of Internet of Things-based Data Services in Real-time Linked Dataspaces -- 9 Human-in-the-Loop Tasks for Data Management, Citizen Sensing, and Actuation in Smart Environments -- 10 Stream and Event Processing Services for Real-time Linked Dataspaces -- 11 Quality of Service-Aware Complex Event Service Composition in Real-time Linked Dataspaces -- 12 Dissemination of Internet of Things Streams in a Real-time Linked Dataspace -- 13 Approximate Semantic Event Processing in Real-time Linked Dataspaces -- 14 Enabling Intelligent Systems, Applications, and Analytics for Smart Environments using Real-time Linked Dataspaces -- 15 Autonomic Source Selection for Real-time Predictive Analytics using the Internet of Things and Open Data -- 16 Building Internet of Things-enabled Digital Twins and Intelligent Applications using a Real-time Linked Dataspace -- 17 A Model for Internet of Things Enhanced User Experience in Smart Environments -- 18 Future Research Directions for Dataspaces, Data Ecosystems, and Intelligent Systems.…”
Link to Metadata

Causal Mechanisms in the Global Development of Social Policies

Table of Contents: “…Introduction: A Mechanism-Based Approach to Social Policy Research -- Part II. …”
Link to Metadata

Improving Oncology Worldwide Education, Clinical Research and Global Cancer Care /

Table of Contents: “…Part 1: Improving Education -- Blended-learning for oncologists and their colleagues -- Establishing a continuing education program based on the ESMO/ASCO recommendations for a global curriculum in Egypt -- Launching the first board-certification program in radiation oncology in Iraq - obstacles and outcomes -- Improving the WHO Classification of Tumours books by an evidence-based approach - a new online/blended learning training program -- Part 2: Improving Clinical Research -- Getting started in research - What registries can do for you -- Asking existing data the right questions - data mining as a research option in low- and middle-income countries -- Evidence-based treatment decisions - Systematic reviews and meta-analaysis in GI oncology -- Establishing and running a research laboratory in Iraq in real life -- Challenges in scientific communications of a pharmaceutical company -- Molecular and cellular analyses of breast cancers in real life -- The use of information technology to advance patient care - Creating, providing and maintaining online resources -- Organization of clinical trials at the Blokhin cancer center in Moscow -- Challenges in establishing the Center for Clinical Trials at Ulm University -- Part 3: Improving Patient Care.…”
Link to Metadata

Principles of Managerial Accounting by Jonick, Christine

Table of Contents: “…Chapter 1: Managerial Accounting Concepts -- Chapter 2: Job Order Costing -- Chapter 3: Process Costing -- Chapter 4: Activity-Based Costing -- Chapter 5: Cost Volume Profit Analysis -- Chapter 6: Variable Costing Analysis -- Chapter 7: Budgeting -- Chapter 8: Variance Analysis -- Chapter 9: Differential Analysis…”
Access online version

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