Designing Data Spaces The Ecosystem Approach to Competitive Advantage /

Table of Contents: “…Mobility Data Space -- Part IV: Solutions and Applications -- 22. Data Sharing Spaces: The BDVA Perspective -- 23. Data Platform Solutions -- 24. …”
Link to Metadata

Lives in Peace Research The Oslo Stories /

Table of Contents: “…PRIO's State Feminist: Helga Hernes Interviewed by Kristian Berg Harpviken -- 15.Searching the Archives for a Missing Peace: Hilde Henriksen Waage Interviewed by Henrik Syse -- 16.Fresh Grounded Peace Research: Åshild Kolås Interviewed by Wenche Iren Hauge -- 17. …”
Link to Metadata

National Commissions of Inquiry in Africa: Vehicles to pursue accountability for violations of the right to life? by Thomas Probert

DOAB: download the publication
DOAB: description of the publication

Anticonvulsant activity and CNS effects of valproyl morpholine in mice and rats by Taunjai Numthongsakun

Connect to this object online.

MEKANISME PENGAMBILAN KEPUTUSAN DI PONDOK PESANTREN SIDOGIRI PASURUAN by Syamsul Ma'arif, -

Link Metadata

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

Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

Knowledge and Networks

Table of Contents: “…Exploring the Interaction of Space and Networks in the Creation of Knowledge: An Introduction: Johannes Glückler, Emmanuel Lazega, and Ingmar Hammer -- I: The Significance of Knowledge About Networks: The Relational Dimension as a Bridging Principle Between Economic, Social, and Geographic Issues: Reversing the Instrumentality of the Social for the Economic: A Critical Agenda for 21st-Century Knowledge Networks: Nancy Ettlinger -- Interpersonal Networks in Foreign Assignments and Intercultural Learning Processes: Erika Spieß -- Family Networks for Learning and Knowledge Creation in Developing Regions: Pengfei Li -- Studying Networks Geographically: World Political Regionalization in the United Nations General Assembly (1985-2010): Laurent Beauguitte -- (Post)graduate Education Markets and the Formation of Mobile Transnational Economic Elites: Sarah Hall -- II: Relational Opportunity: Network Evolution and Its Impact on Individuals and Regions: Organized Mobility and Relational Turnover as Context for Social Mechanisms: A Dynamic Invariant at the Heart of Stability from Movement: Emmanuel Lazega -- Trajectory Types Across Network Positions: Jazz Evolution from 1930 to 1969: Charles Kirschbaum -- Topology and Evolution of Collaboration Networks: The Case of a Policy-anchored District: Laura Prota, Maria Prosperina Vitale, and Maria Rosaria D'Esposito -- Platforming for Path-Breaking? …”
Link to Metadata

Forest and Rangeland Soils of the United States Under Changing Conditions A Comprehensive Science Synthesis /

Table of Contents: “…Kimsey, Larry E. Laing, Sarah Anderson, Jeff Bruggink, Steve Campbell, David Diamond, Grant Domke, James Gries, Scott Holub, Greg Nowacki, Deborah Page-Dumroese, Charles H. …”
Link to Metadata

25 Years of Transformations of Higher Education Systems in Post-Soviet Countries Reform and Continuity /

Table of Contents: “…Institutional Strategies of Higher Education Reform in Post-Soviet Kyrgyzstan: Differentiating to Survive between State and Market; Jarkyn Shadymanova & Sarah Amsler -- Chapter 10. Latvia: A Historical Analysis of Transformation and Diversification of Higher Education System; Ali Ait Si Mhamed, Zane Vārpiņa, Indra Dedze & Rita Kaša -- Chapter 11. …”
Link to Metadata

Cloud-Based Remote Sensing with Google Earth Engine Fundamentals and Applications /

Table of Contents: “…Scaling up in Earth Engine -- 30. Sharing Work in Earth Engine: Basic UI and Apps -- 31. …”
Link to Metadata

Migrations in the Mediterranean IMISCOE Regional Reader /

Table of Contents: “….: Capturing Irregular Migrations through a Macro-Sociological Lens: The harga process in twelve steps from North Africa to Europe -- Part IV: History, Cities and Social Transformations -- Chapter 16. …”
Link to Metadata

Maritime Spatial Planning past, present, future /

Table of Contents: “…Stakeholder Processes in Marine Spatial Planning:Ambitions and Realities from the European Atlantic Experience; Sarah Twomey and Cathal O'Mahony -- Chapter 14. Scenario-Building for Marine Spatial Planning; Lynne McGowan, Stephen Jay, and Sue Kidd -- Chapter 15. …”
Link to Metadata

ACS-NSQIP - Surgical risk calculator accurately predicts outcomes of laparotomy in a prospective study at a tertiary hospital in Tanzania by Tryphone Buchwald Kagaruki, Nashivai Elias Kivuyo, Fransia Arda Mushi, Frank Domician Muhamba, Larry Onyango Akoko

Connect to this object online.

Immunogenetics Methods and Protocols /

Table of Contents: “…The Advent of Precision Immunology: Immunogenetics at the Center of Immune Cell Analysis in Health and Disease -- Next-Generation Sequencing-Based Clonality Detection of Immunoglobulin Gene Rearrangements in B-Cell Lymphoma -- One-Step Next Generation Sequencing of Immunoglobulin and T-Cell Receptor Gene Recombinations for MRD Marker Identification in Acute Lymphoblastic Leukemia -- Immunoglobulin/T-Cell Receptor Gene Rearrangement Analysis Using RNA-Seq -- Minimal Residual Disease Analysis by Monitoring Immunoglobulin and T-Cell Receptor Gene Rearrangements by Quantitative PCR and Droplet Digital PCR -- Quality Control for IG/TR Marker Identification and MRD Analysis -- cfDNA-Based NGS IG Analysis in Lymphoma -- Targeted Locus Amplification as Marker Screening Approach to Detect Immunoglobulin (IG) Translocations in B-Cell Non-Hodgkin Lymphomas -- Immunoglobulin/T-Cell Receptor Capture Strategy for Comprehensive Immunogenetics -- Immunoglobulin Gene Mutational Status Assessment by Next Generation Sequencing in Chronic Lymphocytic Leukemia -- NGS-Based B-Cell Receptor Repertoire Analysis in the Context of Inborn Errors of Immunity -- Generic Multiplex Digital PCR for Accurate Quantification of T-Cells in Copy Number Stable and Unstable DNA Samples -- Gene Engineering T-Cells with T-Cell Receptor for Adoptive Therapy -- Combined Analysis of Transcriptome and T-Cell Receptor Alpha Beta (TRA/TRB) Repertoire in Paucicellular Samples at the Single Cell Level -- AIRR Community Guide to Planning and Performing AIRR-Seq Experiments -- Adaptive Immune Receptor Repertoires (AIRR) Community Guide to TR and IG Gene Annotation -- Adaptive Immune Receptor Repertoires (AIRR) Community Guide to Repertoire Analysis -- Bulk gDNA Sequencing of Antibody Heavy Chain Gene Rearrangements for Detection and Analysis of B-Cell Clone Distribution: A Method by the AIRR Community -- Bulk Sequencing from mRNA with UMI for Evaluation of B-Cell Isotype and Clonal Evolution: A Method by the AIRR Community -- Single Cell Analysis and Tracking of Antigen-Specific T-Cells: Integrating Paired-Chain AIRR-Seq and Transcriptome Sequencing: A Method by the AIRR Community -- Quality Control: Chain Pairing Precision and Monitoring of Cross-Sample Contamination: A Method by the AIRR Community -- Immune Repertoire Analysis on High-Performance Computing Using VDJServer V1: A Method by the AIRR Community -- Data Sharing and Re-Use: A Method by the AIRR Community -- IMGT® Immunoinformatics Tools for Standardized V-DOMAIN Analysis -- IMGT/3Dstructure-DB: T-Cell Receptor TR Paratope and Peptide/Major Histocompatibility pMH Contact Sites and Epitope -- ARResT/Interrogate Immunoprofiling Platform: Concepts, Workflows, and Insights -- Purpose-Built Immunoinformatics for BcR IG/TR Repertoire Data Analysis.…”
Link to Metadata

Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings /

Table of Contents: “…Evolving Division of Responsibilities in a B2B Platform -- Understanding User Feedback in Software Ecosystems: A Study on Challenges and Mitigation Strategies -- A Survey on Perceptions of Data Sharing in the Norwegian Public Sector -- What are the barriers that women face in proprietary software ecosystem -- Artificial Intelligence -- Business and ethical concerns in domestic Conversational Generative AI-empowered multi-robot systems -- Prompt Patterns for Agile Software Project Managers: First results -- Startup creation beyond hackathons - A survey on startup development and support -- How to start collaborations between SMEs and researchers in software engineering -- Towards a Business Case for AI Ethics -- What is the Cost of AI Ethics? …”
Link to Metadata

The European Higher Education Area Between Critical Reflections and Future Policies /

Table of Contents: “…Internationalization of Higher Education: Navigating Between Contrasting Trends. Sarah Guri-Rosenblit -- 3. Balanced Mobility Across the Board - a Sensible Objective? …”
Link to Metadata

Kantianism for Animals A Radical Kantian Animal Ethic / by Müller, Nico Dario

Table of Contents: “…-- References -- 5 Animals and the 'Directionality' of Duties -- 5.1 Do We Truly 'Share' the Moral Law? Thompson's Challenge to Kant -- 5.2 First-Personal Versus Second-Personal Accounts of 'Directionality' -- 5.3 Rejecting Thompson's Challenge -- 5.4 Consent, Forgiveness, and Apologies Without Second-Personal Authority -- References -- 6 Kantian Moral Patients Without Practical Reason? …”
Link to Metadata

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

Designing Democratic Schools and Learning Environments A Global Perspective /

Table of Contents: “…Motivation, Segregation and Responsibility: the Challenges in Our Way to Grow Equal Citizens in a Democracy -- Chapter 11. Starting with Self, Sharing Academic Success, Co-creating the World -- Chapter 12. …”
Link to Metadata

Information Literacy Research and Collaboration across Disciplines by Maid, Barry

Table of Contents: “…Not Just for Citations: Assessing Zotero While Reassessing Research, Rachel Rains Winslow, Sarah L. Skripsky, and Savannah L. Kelly -- Chapter 15. …”
Access online version