Search Results - suecs~
Suggested Topics within your search.
Suggested Topics within your search.
- Research & information: general 478
- Biography & True Stories 302
- Biology, life sciences 278
- Technology: general issues 250
- History of engineering & technology 237
- European history 157
- Medicine 126
- Literary studies: general 110
- Oceanography (seas) 109
- Geographical information systems (GIS) & remote sensing 104
- History 104
- Environmental science, engineering & technology 93
- Science: general issues 80
- Environmental economics 74
- Geography 71
- Humanities 60
- Ecological science, the Biosphere 57
- Literature: history & criticism 57
- Philosophy 53
- Sociology 47
- Botany & plant sciences 45
- Technology, engineering, agriculture 41
- Modern history to 20th century: c 1700 to c 1900 40
- Chemistry 37
- Mathematics & science 37
- Archaeology 36
- Early history: c 500 to c 1450/1500 36
- Earth sciences 34
- Literature & literary studies 34
- Physics 34
-
8161
-
8162
-
8163
-
8164
-
8165
-
8166
-
8167
-
8168
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
Published 2019Table 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 -
8169
The Barcelona School of Ecological Economics and Political Ecology A Companion in Honour of Joan Martinez-Alier /
Published 2023Table 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 -
8170
-
8171
-
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 2020Table 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 -
8173
Progress in Entrepreneurship Education and Training New Methods, Tools, and Lessons Learned from Practice /
Published 2023Table 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 -
8174
-
8175
-
8176
-
8177
-
8178
-
8179
-
8180
Sexual Reproduction in Animals and Plants
Published 2014Table 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