Search Results - "bridge"

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

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

青銀世代之數位遊戲使用認知與趨避衝突：語意聯想測驗之內容分析 Cognitive Differences and ApproachAvoidance Conflict in Digital Gaming Across Generations: Content Analysis of Taiwanese Individuals' Responses on th... by 劉智淇 Chih-Chi Liu, 王雅鈴 Ya-Ling Wang

Connect to this object online.

Anticipating and Preparing for Emerging Skills and Jobs Key Issues, Concerns, and Prospects /

Table of Contents: “…Mindtree's Experience in Global Learning Center -- Part 6: Technology Platforms for Bridging the Skills Gap and for Career Counselling and Guidance -- 26. …”
Link to Metadata

WAC and Second-Language Writers Research Towards Linguistically and Culturally Inclusive Programs and Practices

Table of Contents: “…: L2 Student Reading Across the Curriculum, Carole Center and Michelle Niestepski -- Chapter 4. Bridging the Gap between ESL Composition Programs and Disciplinary Writing: The Teaching and Learning of Summarization Skill, Qian Du -- Chapter 5. …”
Access online version

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

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? …”
Link to Metadata

When will we have enough evidence to require improvements at the workplace? by Alex Burdorf

Connect to this object online.

Rethinking Sustainability Towards a Regenerative Economy

Table of Contents: “…How Rating Systems Support Regenerative Change In The Built Environment (Melinda Orova And András Reith) -- Part Ii: Innovative Approaches In Professional Design Practice -- Foreword: Bridging The Gap Between Design And Construction Following A Life Cycle Approach Consisting Of Practical Approaches For Procurement, Construction, Use & Operation And Future Life (Giulia Peretti And Carsten Druhmann) -- Chapter 8. …”
Link to Metadata

Public Health in Pharmacy Practice A Casebook by Covvey, Jordan R, Arya, Vibhuti, Mager, Natalie A. DiPietro

Table of Contents: “…Expanding the pharmacists’ role: assessing mental health and suicide -- 37. Bridging the gap between oncology and primary care: a multidisciplinary approach -- 38. …”
Access online version

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

Table of Contents: “…The Barcelona School of ecological economics and political ecology: Building bridges between moving shores (Sergio Villamayor-Tomas, Brototi Roy and Roldan Muradian) -- Part II. …”
Link to Metadata

International Perspectives in Values-Based Mental Health Practice Case Studies and Commentaries /

Table of Contents: “…Suzuki -- 27 Non-Traditional Religion, Hyper-religiosity and Psychopathology: the Story of Ivan from Bulgaria -- 28 Journey into Genes: cultural values and the (near) future of genetic counselling in mental health -- 29 Policy-making indabas to prevent "not listening": An added recommendation from the Life Esidimeni tragedy -- 30 Covert Treatment in a cross-cultural setting -- 31 Discouragement towards Seeking Health Care of Older People in Rural China: The influence of culture and structural constraints -- 32 Discovering myself, a journey of rediscovery -- Part V - TRAINING 33 Training for Task: an introduction to Part V, Training -- 34 Values-based Practice when engaging with voice-hearers -- 35 Dharma Therapy: a Buddhist counselling approach to acknowledging and enhancing perspectives, attitudes and values -- 36 Dangerous Liaisons: Science, Tradition, and Qur'anic Healing in the Dakhla Oasis of Egypt -- 37 Know thyself: Jane discovers the value of her depression -- 38 Case studies in the culture of Professional Football Players and Mental Welfare and Wellbeing -- 39 Sexual Orientation Change Efforts and VBP -- 40 Values, Meanings, Hermeneutics and Mental Health -- 41 Disha: Building Bridges-Removing Barriers: Where Excluded and Privileged Young Adults Meet -- 42 Online Counselling: the world without a label -- Part VI - REFLECTIONS 43 The Realpolitik of Values-based Practice: an introduction to Part VI, Reflections -- 44 Reflections on the impact of mental health ward staff training in race equality and values-based practice -- 45 Connecting patients, practitioners and regulators in supporting positive experiences and processes of shared decision-making in osteopathy: a case study in co-production -- 46 Beyond the Color Bar: sharing narratives in order to promote a clearer understanding of mental health issues across cultural and racial boundaries -- BM 47 Co-writing values: what we did and why we did it -- After word: where next with the book -- Index.…”
Link to Metadata

Identifying models of care to improve outcomes for older people with urgent care needs: a mixed methods approach to develop a system dynamics model by Conroy Simon, Brailsford Sally, Burton Christopher, England Tracey, Lalseta Jagruti, Martin Graham, Mason Suzanne, Maynou-Pujolras Laia, Phelps Kay, Preston Louise, Regen Emma, Riley Peter, Street Andrew, van Oppen James

Connect to this object online.

Education of Sociality in Small Communities by Audronė Dumčienė, Dalia Lapėnienė

Connect to this object online.

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

Table of Contents: “…Contents of Part 2 Part VI Education, Research and Innovation -- 1. Bridging Education, Research and Innovation: the Pivotal Role of Doctoral Training [Overview Paper]. …”
Link to Metadata

Sella turcica variations in patients with transverse skeletal discrepancies versus patients with normal transverse relationships. a cross- sectional study by Nouran Seifeldin, Ahmed Eltimamy, Nora Al Abbady

Connect to this object online.

Rigid Macrocycle Metal Complexes as CXCR4 Chemokine Receptor Antagonists: Influence of Ring Size by Isaline Renard, Thomas D'huys, Benjamin P. Burke, Trisha Ajoleza, Amy N. Cain, Neil L. Funwie, Abid Khan, Danny L. Maples, Randall D. Maples, Dallas L. Matz, Graeme McRobbie, Robert Ullom, Timothy J. Prior, Douglas P. Linder, Tom Van Loy, Timothy J. Hubin, Dominique Schols, Stephen J. Archibald

Connect to this object online.

Cost of incorrect application of antithrombotic prophylaxis prior to invasive procedures by Ma Victoria Cuevas, Ignacio Martínez-Sancho, Jana Arribas, Covadonga García-Díaz, Beatriz Cuevas

Connect to this object online.

The relationship between social capital and self-rated health: a multilevel analysis based on a poverty alleviation program in the Philippines by Natalee Hung, Lincoln Leehang Lau

Connect to this object online.

Investigation into the metric properties of the workplace social capital questionnaire and its association with self-rated health and psychological distress amongst Greek-Cypriot r... by Nicos Middleton, Panayiota Andreou, Maria Karanikola, Christiana Kouta, Ourania Kolokotroni, Evridiki Papastavrou

Connect to this object online.

Social capital and health information seeking in China by Qianfeng Lu, Angela Chang, Guoming Yu, Ya Yang, Peter J. Schulz

Connect to this object online.