The Educational Turn Rethinking the Scholarship of Teaching and Learning in Higher Education /

Table of Contents: “…New learning spaces and theories: rethinking hybrid pedagogies in higher education -- 6. Reaching for reconciliation in digital spaces: owning whiteness in colonising spaces with indigenous knowledge and content -- 7. …”
Link to Metadata

The Digital Playbook A Practitioner's Guide to Smart, Connected Products and Solutions with AIoT /

Table of Contents: “…Digital Equipment Operator -- 9. Platforms -- 10. Hybrid Models -- 11. Scalability -- 12. Business Model Design -- 13. …”
Link to Metadata

Data Spaces Design, Deployment and Future Directions /

Table of Contents: “…Data Spaces: Design, Deployment, and Future Directions -- Part I: Design -- An Organizational Maturity Model for Data Spaces: A Data Sharing Wheel Approach -- Data Platforms for Data Spaces -- Technological Perspective of Data Governance in Data Space Ecosystems -- Increasing Trust for Data Spaces with Federated Learning -- KRAKEN: A Secure, Trusted, Regulatory-Compliant, and Privacy-Preserving Data Sharing Platform -- Connecting Data Spaces and Data Marketplaces and the Progress Toward the European Single Digital Market with Open-Source Software -- AI-Based Hybrid Data Platforms -- Part II: Deployment -- A Digital Twin Platform for Industrie 4.0 -- A Framework for Big Data Sovereignty: The European Industrial Data Space (EIDS) -- Deploying a Scalable Big Data Platform to Enable a Food Safety Data Space -- Data Space Best Practices for Data Interoperability in FinTechs -- TIKD: A Trusted Integrated Knowledge Dataspace for Sensitive Data Sharing and Collaboration -- Toward an Energy Data Platform Design: Challenges and Perspectives from the SYNERGY Big Data Platform and AI Analytics Marketplace -- Part III: Future Directions -- Privacy-Preserving Techniques for Trustworthy Data Sharing: Opportunities and Challenges for Future Research -- Common European Data Spaces: Challenges and Opportunities.…”
Link to Metadata

Security of Networks and Services in an All-Connected World 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Swi...

Table of Contents: “…Making Flow-Based Security Detection Parallel -- A Blockchain-Based Architecture for Collaborative DDoS Mitigation with Smart Contracts -- Achieving Reproducible Network Environments with INSALATA -- Towards a Software-Defined Security Framework for Supporting Distributed Cloud -- Optimal Service Function Chain Composition in Network Functions Virtualization -- An Optimized Resilient Advance Bandwidth Scheduling for Media Delivery Services -- The Evaluation of the V2VUNet Concept to Improve Inter-vehicle Communications -- Towards Internet Scale Quality-of-Experience Measurement with Twitter -- Hunting SIP Authentication Attacks Efficiently -- MoDeNA: Enhancing User Security for Devices in Wireless Personal and Local Area Networks -- Flow-Based Detection of IPv6-specific Network Layer Attacks -- Towards a Hybrid Cloud Platform Using Apache Mesos -- Visual Analytics for Network Security and Critical Infrastructures -- Preserving Relations in Parallel Flow Data Processing -- SmartDEMAP: A Smart Contract Deployment and Management Platform -- Optimizing the Integration of Agent-Based Cloud Orchestrators and Higher-Level Workloads -- Situational Awareness: Detecting Critical Dependencies and Devices in a Network -- A Framework for SFC Integrity in NFV Environments -- Multi-domain DDoS Mitigation based on Blockchains.…”
Link to Metadata

Legal Aspects of Corporate Management and Finance by Mayer, Don, Warner, Daniel, Siedel, George J., Lieberman, Jethro K.

Table of Contents: “…Chapter 1: Introduction to Law and Legal Systems -- Chapter 2: Corporate Social Responsibility and Business Ethics -- Chapter 3: Courts and the Legal Process -- Chapter 4: Constitutional Law and US Commerce -- Chapter 5: Administrative Law -- Chapter 6: Criminal Law -- Chapter 7: Introduction to Tort Law -- Chapter 8: Contracts -- Chapter 9: Relationships between Principal and Agent -- Chapter 10: Liability of Principal and Agent; Termination of Agency -- Chapter 11: Partnerships: General Characteristics and Formation -- Chapter 12: Partnership Operation and Termination -- Chapter 13: Hybrid Business Forms -- Chapter 14: Corporation: General Characteristics and Formation -- Chapter 15: Legal Aspects of Corporate Finance -- Chapter 16: Corporate Powers and Management -- Chapter 17: Securities Regulation -- Chapter 18: Corporate Expansion, State and Federal Regulation of Foreign Corporations, and Corporate Dissolution -- Chapter 19: Nature and Form of Commercial Paper -- Chapter 20: Negotiation of Commercial Paper -- Chapter 21: Holder in Due Course and Defenses -- Chapter 22: Liability and Discharge -- Chapter 23: Legal Aspects of Banking -- Chapter 24: Consumer Credit Transactions -- Chapter 25: Secured Transactions and Suretyship -- Chapter 26: Mortgages and Nonconsensual Liens -- Chapter 27: Bankruptcy…”
Access online version

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

Table of Contents: “…Concurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.…”
Link to Metadata

Big Data and Artificial Intelligence in Digital Finance Increasing Personalization and Trust in Digital Finance using Big Data and AI /

Table of Contents: “…Introduction -- Part I: Novel Big Data and AI Technologies for Digital Finance -- A Reference Architecture for Big Data Systems and AI Applications in the Finance Sector -- Hybrid Transactional and Analytical Processing for Integrated Data Management in Digital Finance and FinTech Applications -- Semantic Interoperability Modelling for Digital Finance Applications -- Semantic Streaming for Digital Finance Applications -- Part II: Blockchain Technologies and Digital Currencies for Digital Finance Applications -- Central Bank Digital Currencies and a Euro for the Future -- Efficient and Accelerated KYC Using Blockchain Technologies -- Part III: Applications of Big Data and AI in Digital Finance -- AI-based platform for Intelligent and Automated Accounting -- Addressing Intra-Day Volatility in Risk Assessments for Forex Trading -- Next-Generation Personalized Investment Recommendations -- Personalized Finance Management for Small Medium Businesses -- AML/CF supervision empowered by AI -- AnalyzingLarge Scale Blockchain Transaction Graphs for Fraudulent Activities -- Cybersecurity and Fraud Detection in Financial Transactions -- Part IV: Applications of Big Data and AI in Insurance -- Risk assessment for personalized health insurance products -- Alternative Data for Personalized Insurance products -- Part V: Technologies for Regulatory Compliance in the Finance Sector -- AI Governance -Trustworthy and Responsible use of AI -- Large Scale Data Anonymization for GDPR Compliance -- Conclusion.…”
Link to Metadata

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Contributions -- Information-flow Interfaces -- A Survey-Based Feature Model for Software Traceability -- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers -- On the Detection of Doped Software by Falsification -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- Quantitative Program Sketching using Lifted Static Analysis -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- Finding Semantic Bugs Fast -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- PEQtest: Testing Functional Equivalence -- An Institutional Approach to Communicating UML State Machines -- Semantic Code Search in Software Repositories using Neural Machine Translation -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- Semantic Clone Detection via Probabilistic Software Modeling -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution) -- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).…”
Link to Metadata

Greening Water Risks Natural Assurance Schemes /

Table of Contents: “…SECTION 1: CONCEPTUAL FRAMING -- Chapter 1: Introduction- water security / NBS-NAS context -- Chapter 2: Natural Assurance Schemes: NAS making a case for NBS for risk reduction and prevention -- Chapter 3: The Assurance and the Insurance Value of Ecosystems -- SECTION 2: ASSESSMENT, TOOLS AND METHODS -- Chapter 4: Methodologies to assess and map NBS effect -- Chapter 5: Risk perception in implementation of NBS -- Chapter 6: Economic assessment of NBS for water-risk reduction and co-benefits -- SECTION 3: INTEGRATION PROCESSES -- Chapter 7: Integrated Decision Support for Adaptive Planning -- Chapter 8: Business models for NBS implementation -- Chapter 9: Developing an implementation strategy for hybrid water security strategies: closing the implementation gap -- SECTION 4: DEMONSTRATION IN CASE STUDIES -- Chapter 10: ROMANIA Lower Danube Case Case Study -- Chapter 11: SPAIN Medina Case Case Study -- Chapter 12: UNITED KINGDOM Thames Case Case study -- Chapter 13: FRANCE Brague Case Study -- Chapter 14: FRANCE Lez Case Study -- Chapter 15: SLOVENIA Glinscica Case Study -- Chapter 16: THE NETHERLANDS Rotterdam Case Study -- Chapter 17: DENMARK Copenhagen Case Study -- Chapter 18: POLAND Lodz Case study.…”
Link to Metadata

History and Speculative Fiction

Table of Contents: “…The Wild Boar Never Strikes without Cause: Monstrous Hybrids, National Identity and Gender in the Horror Movie Chawu -- Chapter 11. …”
Link to Metadata

Biotechnologies for Plant Mutation Breeding Protocols /

Table of Contents: “….) -- Optimization of Somatic Embryogenesis in Cassava -- Creation of a TILLING Population in Barley after Chemical Mutagenesis with Sodium Azide and MNU -- Site-Directed Mutagenesis in Barley by Expression of TALE Nuclease in Embryogenic Pollen -- Doubled Haploidy as a Tool for Chimera Dissolution of TALEN-Induced Mutations in Barley -- Field Evaluation of Mutagenized Rice Material -- Root Phenotyping Pipeline for Cereal Plants -- Breeding New Aromatic Rice with High Iron using Gamma Radiation and Hybridization -- Utilizing NIRS for Qualitative and Non-Destructive Identification of Seed Mutants in Large Populations -- Protocols for Proteome Analyses of Jatropha curcas -- Low-Cost Methods for DNA Extraction and Quantification -- A Protocol for Benchtop Extraction of Single-Strand-Specific Nucleases for Mutation Discovery -- A Protocol for Validation of Doubled Haploid Plants by Enzymatic Mismatch Cleavage -- Bioinformatics-Based Assessment of the Relevance of Candidate Genes for Mutation Discovery -- Mutation Detection by Analysis of DNA Heteroduplexes in TILLING Populations of Diploid Species -- Determining Mutation Density using Restriction Enzyme Sequence Comparative Analysis (RESCAN) -- Next-Generation Sequencing for Targeted Discovery of Rare Mutations in Rice.…”
Link to Metadata

Foundations of Business Law and Legal Environment by Mayer, Don

Table of Contents: “…Chapter 1: Introduction to Law and Legal Systems -- Chapter 2: Corporate Social Responsibility and Business Ethics -- Chapter 3: Courts and the Legal Process -- Chapter 4: Constitutional Law and US Commerce -- Chapter 5: Administrative Law -- Chapter 6: Criminal Law -- Chapter 7: Introduction to Tort Law -- Chapter 8: Introduction to Contract Law -- Chapter 9: The Agreement -- Chapter 10: Real Assent -- Chapter 11: Consideration -- Chapter 12: Legality -- Chapter 13: Form and Meaning -- Chapter 14: Third-Party Rights -- Chapter 15: Discharge of Obligations -- Chapter 16: Remedies -- Chapter 17: Products Liability -- Chapter 18: Relationships between Principal and Agent -- Chapter 19: Liability of Principal and Agent; Termination of Agency -- Chapter 20: Partnerships: General Characteristics and Formation -- Chapter 21: Partnership Operation and Termination -- Chapter 22: Hybrid Business Forms -- Chapter 23: Corporation: General Characteristics and Formation -- Chapter 24: Legal Aspects of Corporate Finance -- Chapter 25: Corporate Powers and Management -- Chapter 26: Securities Regulation -- Chapter 27: Corporate Expansion, State and Federal Regulation of Foreign Corporations, and Corporate Dissolution -- Chapter 28: Antitrust Law -- Chapter 29: Unfair Trade Practices and the Federal Trade Commission -- Chapter 30: Employment Law -- Chapter 31: Labor-Management Relations -- Chapter 32: International Law…”
Access online version

Tutorials of Visual Graphic Communication Programs for Interior Design, Volume 2 by Cho, Yongyeon

Table of Contents: “…Depthmap X - Data visualization -- Part Two. Hybrid Digital Drawing -- Chapter 5. Wacom tablet & Painter - User interface -- Chapter 6. …”
Access online version

Conservation of Contemporary Art Bridging the Gap Between Theory and Practice /

Table of Contents: “…-Part IV Documentation and Decision-making in Theory and Practice -- Documenting hybrid mixed media art forms: the role of the audience -- Sharing Knowledge in Art Conservation: From Repository Building to Research Publishing -- Collections of (An)archives: Towards a New Perspective on Institutional Collecting of Contemporary Art and the Object of Conservation -- Decision-Making for the Conservation and Presentation of Thermoelectronic Chewing Gum (1970), a Political Environment by Wolf Vostell -- Part V The Role of Research in the Art Museum -- The Living Process of Conserving Performance: Theory and Practice in the Conservation of Performance-based Artworks at Tate -- Integrating Front-of-House with Behind-the-Scenes Practice in Contemporary Art Conservation -- Is Trust Enforceable? …”
Link to Metadata

Law for Entrepreneurs by Mayer, Don, Warner, Daniel, Siedel, George J., Lieberman, Jethro K.

Table of Contents: “…Chapter 1: Introduction to Law and Legal Systems -- Chapter 2: Corporate Social Responsibility and Business Ethics -- Chapter 3: Courts and the Legal Process -- Chapter 4: Constitutional Law and US Commerce -- Chapter 5: Administrative Law -- Chapter 6: Criminal Law -- Chapter 7: Introduction to Tort Law -- Chapter 8: Introduction to Contract Law -- Chapter 9: The Agreement -- Chapter 10: Real Assent -- Chapter 11: Consideration -- Chapter 12: Legality -- Chapter 13: Form and Meaning -- Chapter 14: Third-Party Rights -- Chapter 15: Discharge of Obligations -- Chapter 16: Remedies -- Chapter 17: Products Liability -- Chapter 18: Intellectual Property -- Chapter 19: Insurance -- Chapter 20: Relationships between Principal and Agent -- Chapter 21: Liability of Principal and Agent; Termination of Agency -- Chapter 22: Partnerships: General Characteristics and Formation -- Chapter 23: Partnership Operation and Termination -- Chapter 24: Hybrid Business Forms -- Chapter 25: Corporation: General Characteristics and Formation -- Chapter 26: Legal Aspects of Corporate Finance -- Chapter 27: Corporate Powers and Management -- Chapter 28: Securities Regulation -- Chapter 29: Corporate Expansion, State and Federal Regulation of Foreign Corporations, and Corporate Dissolution -- Chapter 30: Employment Law -- Chapter 31: Labor-Management Relations -- Chapter 32: Consumer Credit Transactions -- Chapter 33: Secured Transactions and Suretyship -- Chapter 34: Mortgages and Nonconsensual Liens -- Chapter 35: Bankruptcy -- Chapter 36: Introduction to Property: Personal Property and Fixtures…”
Access online version

The Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceeding...

Table of Contents: “…IoT and AI Solutions for E-health -- Alzheimer's Disease Early Detection Using a Low Cost Three-dimensional Densenet-121 Architecture -- Self-adaptative Early Warning Scoring System for Smart Hospital -- Machine Learning Based Rank Attack Detection for Smart Hospital Infrastructure -- Remote Health Monitoring Systems Based on Bluetooth Low Energy (BLE) Communication Systems -- Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications -- Biomedical and Health Informatics -- EEG-based Hypo-vigilance Detection Using Convolutional Neural Network -- Respiratory Activity Classification Based on Ballistocardiogram Analysis -- A Convolutional Neural Network for Lentigo Diagnosis -- Deep Learning-based Approach for Atrial Fibrillation Detection -- Unsupervised Method Based on Superpixel Segmentation for Corpus Callosum Parcellation in MRI Scans -- Behavior and Activity Monitoring -- Using Learning Techniques to Observe Elderly's Behavior Changes Over Time -- Personalized and Contextualized Persuasion System for Older Adults' Physical Activity Promoting -- Baseline Modelling and Composite Representation of Unobtrusively (IoT) Sensed Behaviour Changes Related to Urban Physical Well-being -- Wellbeing Technology -- Automatic Daily Activity Schedule Planning for Simulating Smart House with Elderly People Living Alone -- A Novel On-wrist Fall Detection System Using Supervised Dictionary Learning Technique -- Combined Machine Learning and Semantic Modelling for Situation Awareness and Healthcare Decision Support -- Improving Access and Mental Health for Youth Through Virtual Models of Care -- Short Contributions: IoT and AI Solutions for E-health -- Study of Middleware for Internet of Healthcare Things and Their Applications -- Uncertainty in IoT for Smart Healthcare: Challenges, and Opportunities -- Secure E-health Platform -- Hybrid and Secure E-health Data Sharing Architecture in Multi-Clouds Environment -- Blockchain for Internet of Medical Things: A technical Review -- Application of Blockchain Technology in Healthcare: A Comprehensive Study -- Trust Execution Environment and Multi-party Computation for Blockchain E-health Systems -- A Fuzzy-ontology Based Diabetes Monitoring System Using Internet of Things -- Short Contributions: Biomedical and Health Informatics -- A Hybrid Approach for Heart Disease Diagnosis and Prediction Using Machine Learning Techniques -- Context-aware Healthcare Adaptation Model for COPD Diseases -- Study of Healthcare Professionals' Interaction in the Patient Records with Annotations -- Multirate ECG Processing and Machine Learning Based Efficient Arrhythmia Diagnosis -- Comparative Study of Relevant Methods for MRI/X Brain Image Registration -- Machine Learning Classification Models with SPD/ED Dataset: Comparative Study of Abstract Versus Full Article Approach -- Evaluation of Stationary Wavelet Transforms in Reconstruction of Pure High Frequency Oscillations (HFOs) -- Ensuring theCorrectness and Well Modeling of Intelligent Healthcare Management Systems -- Short Contributions: Wellbeing Technology -- An Embedded ANN Raspberry PI for Inertial Sensor Based Human Activity Recognition -- Human Activities Recognition in Android Smartphone using WSVM-HMM Classifier -- Mobile Assistive Application for Blind People in Indoor Navigation -- Older People's Needs and Opportunities for Assistive Technologies -- Towards a Formal Context-Aware Workflow Model for Ambient Environment -- The PULSE Project: A Case of Use of Big Data Uses Toward a Cohomprensive Health Vision of City Well Being -- ForeSight - An AI-driven Smart Living Platform, Approach to Add Access Control to openHAB.…”
Link to Metadata

Robotics, AI, and Humanity Science, Ethics, and Policy /

Table of Contents: “…Humans Judged by Machines: the Rise of big data in Finance, Insurance, and Real Estate -- 19. mpact of robotics/AI on human relations: the process of hybridization and how to deal with it -- 20. What is it to implement human-robot joint action? …”
Link to Metadata

Materialising the Future A Learning Path to Understand, Develop and Apply Emerging Materials and Technologies /

Table of Contents: “…Lesson learnt from surveys and participative workshops - Alba Obiols -- A supporting tool to design with and for EM&Ts: the materials toolkit - Gemma Esteban, Geraldine Kann, Veronica Sarbach, Daniela Amandolese -- Transferring Knowledge from Academia to the Companies: a new method -Aitor Cazón -- Part 2 Field Studies: From Ideation to Applications -- Applying DATEMATS Methods and tools to Nanomaterials: A design challenge by the company Antolin - Robert Thompson -- Applying DATEMATS Methods and tools to ICS Materials in wearable domain: mastering the complexity of hybrid materials - Stefano Parisi -- Applying DATEMATS Methods and tools toAdvanced Growing Materials: handling the materials growing and design challenges launched by a company- Anke Pasold -- Applying DATEMATS Methods and tools to Experimental Wood-based Materials: Materiality in ideation process-Pirjo Kääriäinen, Tarja-Kaarina Laamanen -- How can we establish long-lasting collaboration with companies? …”
Link to Metadata

Philosophy of Astrophysics Stars, Simulations, and the Struggle to Determine What is Out There /

Table of Contents: “…Theory Testing in Gravitational-Wave Astrophysics (Jamee Elder) -- 5. Hybrid Enrichment of Theory and Observation in Next-Generation Stellar Population Synthesis (Lydia Patton) -- 6. …”
Link to Metadata

Foundational Practices of Online Writing Instruction

Table of Contents: “…Hewett -- Chapter 2. Hybrid and Fully Online OWI, Jason Snart -- Chapter 3. …”
Access online version