Search Results - EDKO~

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: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

Contemporary Perspectives on Ageism

Table of Contents: “…Ben-David, Gali Malkin, & Hadas Erel -- Against Ageism : Liat Ayalon & Clemens Tesch-Römer -- Ageism and Anti-Ageism in the Legal System: A Review of Key Themes: Israel Doron, Ann Numhauser-Henning, Benny Spanier, Nena Georgantzi, & Eugenio Mantovani -- The Council of Europe's Approach Towards Ageism: Barbara Mikołajczyk -- The European Union's Approach Towards Ageism: Nena Georgantzi -- Ageism and the Rights of Older People: Annika Taghizadeh Larsson & Håkan Jönson -- Educational methods using intergenerational interaction to fight ageism: María del Carmen Requena, Hannah J. …”
Link to Metadata

Kontribusi Daya Ledak Otot Tungkai dan Koordinasi Mata Tangan Terhadap Ketepatan Smash Bola Voli Pada Pemain Putra by Ryzki Adilla, Eri Barlian, Ishak Aziz, Yogi Setiawan

Connect to this object online.

Migration and Social Protection in Europe and Beyond (Volume 2) Comparing Consular Services and Diaspora Policies /

Table of Contents: “…1. Do EU Member States Care About their Diasporas' Access to Social Protection? …”
Link to Metadata

UTILIDAD DE LA MONITORIZACIÓN DEL ABSENTISMO ESCOLAR PARA LA VIGILANCIA DE LA GRIPE DURANTE LATEMPORADA GRIPAL 2009-2010 EN LA CIUDAD DE CEUTA by María Dolores Barrientos Reyes, Adela Toledo, Ana Isabel Rivas, Margarita Medina, Inés Padilla, Inmaculada Herrero

Connect to this object online.

Digital Kenya An Entrepreneurial Revolution in the Making /

Table of Contents: “…-- PART IV MANAGING THE FINE DETAILS OF DOING BUSINESS IN KENYA -- Chapter 11 Inside a Policy Maker's Mind: An Entrepreneurial Approach to Policy Development and Implementation (Bitange Ndemo) -- Conversation 11 with Ory Okolloh: Why Policy matters for Entrepreneurs -- Chapter 12 The Art of Managing World Views in Kenya's International Technology Sector (Tim Weiss & Klaus Weber) -- Conversation 12 with Ken Njoroge of Cellulant: How to Be a Rebel and Build a Business at the Same Time -- Chapter 13 Developing Strategies to Harness the Power of Parallel Entrepreneurship (Eskor John) -- Conversation 13 with Mikul Shah & Ritesh Doshi of Naked Pizza: The Hustling Entrepreneur on Trial -- Chapter 14 Venture Capital in East Africa: Is There a Right Model? …”
Link to Metadata

Sustainability of Southern African Ecosystems under Global Change Science for Management and Policy Interventions /

Table of Contents: “…Synthesis and Outlook on Future Research and Scientific Education in Southern Africa.…”
Link to Metadata

Advancing Culture of Living with Landslides Volume 1 ISDR-ICL Sendai Partnerships 2015-2025 /

Table of Contents: “…ISDR-ICL Sendai Partnerships 2015-2025 -- The ISDR-ICL Sendai Partnerships 2015-2025: Background and Content -- Forum lectures -- Rupestrian world heritage sites: Instability investigation and sustainable mitigation -- Subaerial landslide-generated waves: Numerical and laboratory simulations -- Rockfall occurrence and fragmentation -- Contribution from signatory organizations of the Sendai Partnerships -- International Consortium on Landslides (ICL) -- International Consortium on Landslides (ICL) - The proposing organization of the ISDR-ICL Sendai partnerships 2015-2025 -- United Nations Office for Disaster Risk Reduction (UNISDR) -- UNISDR's Contribution to Science and Technology for Disaster Risk Reduction and the Role of the International Consortium on Landslides (ICL) -- United Nations Educational, Scientific and Cultural Organization (UNESCO) -- UNESCO's Contribution to the Implementation of UNISDR's Global Initiative and ICL -- United Nations University (UNU) -- The United Nations University: Research and Policy Support for Environmental Risk Reduction -- World Meteorological Organization (WMO) -- Concerted International Efforts for Advancing Multi-Hazard Early Warning Systems -- International Council for Science (ICSU) -- On Future Challenges for the Integration of Science into International Policy Development for Landslide Disaster Risk Reduction -- World Federation of Engineering Organizations (WFEO) -- World Federation of Engineering Organizations Activities in Disaster Risk Reduction -- Disaster Prevention Research Institute (DPRI), Kyoto University -- National Civil Protection Department, Italian Presidency of the Council of Ministers, Government of Italy -- Understanding and Reducing Landslide Disaster Risk: Challenges and Opportunities for Italian Civil Protection -- Landslide Dynamics: ISDR-ICL Landslide Interactive Teaching Tools (LITT) -- Progress of the World Report on Landslides -- International Programme on Landslides (IPL): Objectives, History and List of World Centres of Excellence and IPL Projects -- UNESCO-KU-ICL UNITWIN Cooperation Programme for Landslides and Water-Related Disaster Risk Management. …”
Link to Metadata

Online Cognitive Behavioral Therapy for Bulimic Type Disorders, Delivered in the Community by a Nonclinician: Qualitative Study by McClay, Carrie-Anne, Waters, Louise, McHale, Ciaran, Schmidt, Ulrike, Williams, Christopher

Connect to this object online.

Reading Prehistoric Human Tracks Methods & Material /

Table of Contents: “…Trackers' Consensual Talk: Precise Data for Archaeology (Megan Biesele) -- Chapter 21. An Echo from a Footprint: A Step too Far (Steve Webb) -- Chapter 22. …”
Link to Metadata

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

Table of Contents: “…HIV and hepatitis C co-infection: a double-edged sword -- 7. Ethical decision-making in global health: when cultures clash -- 8. …”
Access online version

Web-Based Treatment Program Using Intensive Therapeutic Contact for Patients With Eating Disorders: Before-After Study by ter Huurne, Elke D, Postel, Marloes G, de Haan, Hein A, Drossaert, Constance H.C, DeJong, Cor A.J

Connect to this object online.

Heat impact on schoolchildren in Cameroon, Africa: potential health threat from climate change by Tord Kjellstrom, Ekoe Tetanye, Georges Nguefack-Tsague, Léonie N. Dapi, Joacim Rocklöv

Connect to this object online.

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

Table of Contents: “…Foreword1 Surprised by Values: an Introduction to Values-based Practice and the Use of Personal Narratives in this Book -- Part I - EXEMPLARS 2 Migration Narratives: an introduction to Part I, Exemplars -- 3 Antonella - "A Stranger in the Family": a case study of eating disorders across cultures -- 4 The role of culture, values and trauma in shaping abnormal bodily experience in migrants -- 5 Premorbid personality and expatriation as possible risk factors for brief psychotic disorder: A case report from post-Soviet Bulgaria -- Part II - THEORY 6 Theory First: an introduction to Part II, Theory -- 7 The Will to Beauty as a Therapeutic Agent: aesthetic values in the treatment of addictive disorders -- 8 Anorexia as Religion: Ocularcentrism as a cultural value and a compensation strategy in persons with Feeding and Eating Disorders -- 9 Ethos, embodiment, psychosis: Losing one's home - identity stakes -- 10 African Personhood, Humanism, and Critical Sankofaism: The Case of Male Suicide in Ghana -- 11 Madness, Mythopoetry and Medicine -- 12 Inside and out: how Western patriarchal cultural contexts shape women's relationships with their bodies -- 13 Spiritual, religious and ethical values in a suicidal individual -- 14 Cultural values, religion and psychosis: five short stories -- Part III - PRACTICE 15 Vectors for best practice: an introduction to Part III, Practice -- 16 Cross-cultural factors and identity in adolescence -- 17 Multidisciplinary Teamwork and the Insanity Defence: a Case of Infanticide in Iraq -- 18 Colonial values and asylum care in Brazil: reclaiming the streets through carnival in Rio de Janeiro -- 19 Alcohol Use Disorder in a Culture that Normalizes the Consumption of Alcoholic Beverages: The Conflicts for Decision-Making -- 20 Living at the edge of Compromise: Balkan pluralism as a resource for balanced decision-making -- 21 "Thinking too much": A clash of legitimate values in clinical practice calls for an indaba guided by African values based practice -- 22 Three points in time: how values and culture affected my life, madness and the people around me -- 23 Recovery and cultural values: on our own terms (a dialogue) -- Part IV - SCIENCE 24 Linking Science with People: an introduction to Part IV, Science -- 25 A Cross-Cultural Values-based Approach to the Diagnosis and Treatment of Dissociative (Conversion) Disorders -- 26 Treatment of social anxiety disorder or neuroenhancement of socially accepted modesty? …”
Link to Metadata

Vivencias de una persona deprimida by Triviño Gloria

Connect to this object online.

Efeitos do Tai Chi Pai Lin no uso de medicamentos na Prefeitura de São Paulo by Luci Lurico Oi, Emília do Carmo Mansoldo Tanaka, Lucia Elena de Araujo, Elisa Harumi Kozasa

Connect to this object online.

A human centred approach to digital technologies in health care delivery among mothers, children and adolescents by Yasini Haroun, Richard Sambaiga, Nandini Sarkar, Ntuli A. Kapologwe, James Kengia, Jafary Liana, Suleiman Kimatta, Johanita James, Vendelin Simon, Fatma Hassan, Romuald Mbwasi, Khadija Fumbwe, Rebecca Litner, Gloria Kahamba, Angel Dillip

Connect to this object online.

Significado del duelo frente al COVID en estudiantes y profesores de enfermería by Merilyn Guerra-Ramirez, Indiana Rojas-Torres, Janery Tafur-Castillo

Connect to this object online.

Syntax und Valenz: Zur Modellierung kohärenter und elliptischer Strukturen mit Baumadjunktionsgrammatiken by Lichte, Timm

“…Em­pir­i­cal­ly Ori­ent­ed The­o­ret­i­cal Mor­phol­o­gy and Syn­tax…”
DOAB: download the publication
DOAB: description of the publication

Dictionary of World Biography: Second edition by Jones, Barry

“…d4657d91-04fe-4b82-b173-5d9768c5ed64…”
DOAB: download the publication
DOAB: description of the publication