Search Results - suecs~

Refine Results
  1. 8161
  2. 8162
  3. 8163
  4. 8164
  5. 8165
  6. 8166
  7. 8167
  8. 8168

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

    Published 2019
    Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
    Link to Metadata
    Electronic eBook
  9. 8169

    The Barcelona School of Ecological Economics and Political Ecology A Companion in Honour of Joan Martinez-Alier /

    Published 2023
    Table of Contents: “…Joan Martinez-Alier and the crisis of civilization, knowledge, and the human species (Victor Toledo) -- Part I. Introduction -- Chapter 1. …”
    Link to Metadata
    Electronic eBook
  10. 8170
  11. 8171
  12. 8172

    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...

    Published 2020
    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
    Electronic eBook
  13. 8173

    Progress in Entrepreneurship Education and Training New Methods, Tools, and Lessons Learned from Practice /

    Published 2023
    Table of Contents: “…Chapter 1 The Future of Entrepreneurship Education and Training: Some Propositions -- Part I: Effects and impact of entrepreneurship education -- Chapter 2 Shaping Great Transformations in Germany - the Role of Youth Entrepreneurship Education (YEE) -- Chapter 3 Shaping Great Transformations in Germany - the Role of Youth Entrepreneurship Education (YEE) Gender Team Diversity in Entrepreneurship Education -- Chapter 4 The "Start-up" Answer: Examining a hidden dramaturgy in entrepreneurial learning beyond the four walls of the classroom -- Chapter 5 Entrepreneurship Education and Political Change: An Exploratory Study -- Chapter 6 Re-evaluating Entrepreneurship Education through a Team-based Approach: Activities and Archetypes within a Scottish University -- Chapter 7 Coaching concept to improve the sustainability impact of students' startup ideas in an early stage -- Chapter 8 competencies in student companies at school: Development of a research instrument -- Chapter 9 Moving the Needle in Entrepreneurship Education and bridging the gaps -- Part II: Context and target groups of entrepreneurship education -- Chapter 10 Entrepreneurial Design Thinking ©in Higher Education: Conceptualizing Cross-Cultural Adaptation of The Western Teaching Methodology to the Eastern Perspective -- Chapter 11 Progressing Context in Entrepreneurship Education-Reflections from a Delphi Study -- Chapter 12 The incorporated approach: From project based learning in entrepreneurship education to project based learning as entrepreneurship education in German schools -- Chapter 13 Best practice considerations for arts educators when developing intensive online courses for creative industries higher education students -- Chapter 14 What can SMEs learn from universities? - Transferring entrepreneurship education knowledge from the university to the corporate world -- Chapter 15 Female entrepreneurs' motivations, intentions and barriers in Higher Education: a case study from Team Academy Bristol -- Chapter 16 TheExperiential Perceptions of Entrepreneurial Competencies: Avenues for The Next Generation Entrepreneurship Education -- Part III: Design, didactical approaches, and pedagogy of entrepreneurship education -- Chapter 17 Design Thinking within Entrepreneurship Education - Different Perspectives and Common Themes in the Literature -- Chapter 18 Entrepreneurship Education in Digital Environments: Developing a Didactic Framework for a New Era -- Chapter 19 Sport as a Vehicle for Entrepreneurship Education: Approaches and Future Directions -- Chapter 20 The role of (self-) reflection in an increasingly digital entrepreneurship education environment -- Chapter 21 Transformative action and the structure of reflexivity: Aspects of enterprise teaching and quality pedagogy -- Chapter 22 The IMPACT Circle - A new design-based method for developing business opportunities with sustainable impact -- Chapter 23 Threshold Concepts in Entrepreneurship Education and their Implications for Teaching and Learning.…”
    Link to Metadata
    Electronic eBook
  14. 8174
  15. 8175
  16. 8176
  17. 8177
  18. 8178
  19. 8179
  20. 8180

    Sexual Reproduction in Animals and Plants

    Published 2014
    Table of Contents: “…Chandler) -- 5 Structure, Function and Phylogenetic Consideration of Calaxin (Kazuo Inaba) -- 6 Cl- Channels and Transporters in Sperm Physiology (Alberto Darszon) -- 7 Equatorin-related Subcellular and Molecular Events During Sperm Priming for Fertilization in Mice (Kiyotaka Toshimori) -- 8 Acrosome Reaction-mediated Motility Initiation that is Critical for the Internal Fertilization of Urodele Amphibians (Akihiko Watanabe) -- 9 Analysis of the Mechanism that Brings Protein Disulfide Isomerase-P5 to Inhibit Oxidative Refolding of Lysozyme (Miho Miyakawa) -- Part 2 Gametogenesis, Gamete Recognition, Activation, and Evolution -- 10 Effect of Relaxin-like Gonad-Stimulating Substance (GSS) on Gamete Shedding and 1-Methyladenine Production in Starfish Ovaries (Masatoshi Mita) -- 11 Incapacity of 1-Methyladenine Production to Relaxin-like Gonad-Stimulating Substance (GSS) in Ca2+-free Seawater-treated Starfish Ovarian Follicle Cells (Masatoshi Mita) -- 12 Novel Isoform of Vitellogenin Expressed in Eggs is a Binding Partner of the Sperm Proteases, HrProacrosin and HrSermosin, in the Ascidian Halocynthia roretzi (Hitoshi Sawada) -- 13 Actin Cytoskeleton and Fertilization in Starfish Eggs (Luigia Santella) -- 14 Focused Proteomics on Egg Membrane Microdomains to Elucidate the Cellular and Molecular Mechanisms of Fertilization in the African Clawed Frog Xenopus laevis (Ken-ichi Sato) -- 15 Egg Activation in Polyspermy: Its Molecular Mechanisms and Evolution in Vertebrates (Yasuhiro Iwao ) -- 16 ATP Imaging in Xenopus laevis Oocyte (Takashi Ijiri) -- 17 Mitochondrial Activation and Nitric Oxide (NO) Release at Fertilization in Echinoderm Eggs (Tatsuma Mohri) -- 18 Functional Roles of Spe Genes in the Male Germline During Reproduction of Caenorhabditis elegans (Hitoshi Nishimura) -- 19 Origin of Female/Male Gender as Deduced by the Mating Type Loci of the Colonial Volvocalean Greens (Hisayoshi Nozaki) -- Part 3 Allorecognition in Male-Female Interaction -- 20 Allorecognition and Lysin Systems During Ascidian Fertilization (Hitoshi Sawada) -- 21 Self-incompatibility in the Brassicaceae (Megumi Iwano) -- 22 Signalling Events in Pollen Acceptance or Rejection in the Arabidopsis Species (Daphne R. Goring) -- 23 Papaver rhoeas S-Determinants and the Signaling Networks they Trigger (Vernonica E. …”
    Link to Metadata
    Electronic eBook