Search Results - "Talking With..."

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: “…Invited Talk.-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

The importance of occupation in the development of the COVID-19 pandemic by Alex Burdorf, Reiner Rugulies

Connect to this object online.

Defending Checks and Balances in EU Member States Taking Stock of Europe's Actions /

Table of Contents: “…by Werner Schroeder -- Article 7: A Commentary on a Much Talked-About 'Dead' Provision by Dimitry Kochenov -- The Responsibility of Courts in Maintaining the Rule of Law: Two tales of consequential judicial self- restraint by Pál Sonnevend -- Suspending Horizontal Solange: A Decentralized Instrument for Protecting Mutual Trust and the European Rule of Law by Iris Canor -- Ascertaining the 'Guarantee of Guarantees'. …”
Link to Metadata

Academic Integrity in Canada An Enduring and Essential Challenge /

Table of Contents: “…-- Visual plagiarism: Seeing the forest and the trees -- The distinctive nature of academic integrity in graduate legal education -- Perceptions and experiences in understanding academic integrity: Reflections within a doctoral program -- The barriers to reporting incidences of academic dishonesty: The unique perspective of faculty from Canadian community colleges -- Promotion of academic integrity through a marketing lens for Canadian post-secondary institutions -- Academic integrity in the practice / service learning setting -- Promoting academic integrity and preventing misconduct in a Canadian open digital distance education university -- Section III: An urgent and growing problem: Contract cheating in Canada -- Section introduction: Contract cheating in Canada -- Ethics, ed tech, and therise of contract cheating -- Pay-to-pass: Knowledge as a commodity in the digital age -- Education as a financial transaction: Contract employment and contract cheating -- Committing and facilitating academic misconduct as white-collar and corporate crime -- Section IV: Essential strategies and levers to advance academic integrity -- Section introduction: Essential strategies and levers to advance academic integrity -- Using quality assurance frameworks to support an institutional culture of academic integrity at Canadian universities -- Beyond the traditional: Academic integrity advocacy in Canadian librarianship -- Using computer-facilitated focus groups to gather student insight on academic integrity -- Fostering academic integrity through curriculum design -- Threading the needle: Student advocacy offices and their role within academic integrity -- Helping students resolve the ambiguous expectations of academic integrity -- How to talk about academic integrity, so students will listen: The inherent challenge in "mandated" training -- Revisioning instructor-writing specialist collaboration for paraphrasing instruction -- Supporting academic integrity in the writing centre: Student consultant perspectives -- Cultural aspects of academic integrity -- A new framework for enhancing (academic) integrity -- Building a culture of restorative practice and restorative responses to academic misconduct.…”
Link to Metadata

Selected Abstracts of the 18th International Workshop on Neonatology and Pediatrics; Cagliari (Italy); October 19-22, 2022 by -

Connect to this object online.

Reading Prehistoric Human Tracks Methods & Material /

Table of Contents: “…Identify, Search and Monitor by Tracks: Elements of Analysis of Pastoral Know-How in Saharan-Sahelian Societies (Laurent Gagnol) -- Chapter 20. Trackers' Consensual Talk: Precise Data for Archaeology (Megan Biesele) -- Chapter 21. …”
Link to Metadata

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

Table of Contents: “…PrEPare yourself: let’s talk about sex -- 43. Unexpected souvenirs: parasitic and vector-borne infections during and after travel -- 44. …”
Access online version

Selected Abstracts of the 19th International Workshop on Neonatology and Pediatrics; Cagliari (Italy); October 18-21, 2023 by -

Connect to this object online.

Practices of falls risk assessment and prevention in acute hospital settings: a realist investigation by Rebecca Randell, Lynn McVey, Judy Wright, Hadar Zaman, V-Lin Cheong, David M Woodcock, Frances Healey, Dawn Dowding, Peter Gardner, Nicholas R Hardiker, Alison Lynch, Chris Todd, Christopher Davey, Natasha Alvarado

Connect to this object online.

Early evaluation of the Children and Young People's Mental Health Trailblazer programme: a rapid mixed-methods study by Ellins Jo, Hocking Lucy, Al-Haboubi Mustafa, Newbould Jenny, Fenton Sarah-Jane, Daniel Kelly, Stockwell Stephanie, Leach Brandi, Sidhu Manbinder, Bousfield Jenny, McKenna Gemma, Saunders Katie, O'Neill Stephen, Mays Nicholas

Connect to this object online.

Improving support and planning ahead for older people with learning disabilities and family carers: a mixed-methods study by Sara Ryan, Louise Wallace, Elizabeth Tilley, Irene Tuffrey-Wijne, Magdalena Mikulak, Rebecca Anderson, Angeli Vaid, Pam Bebbington, Richard Keagan-Bull, Emmie Morrissey, Angela Martin

Connect to this object online.

Improving the Effectiveness of Psychological Interventions for Depression and Anxiety in Cardiac Rehabilitation: The PATHWAY Research Programme Including 4 RCTs by Adrian Wells, David Reeves, Peter Fisher, Linda Davies, Gemma Shields, Patrick Joseph Doherty, Anthony Heagerty, Calvin Heal, Lindsey Brown, Lora Capobianco

Connect to this object online.

The communication between nursing team and the families of intensive care patients: qualitative study. by Sabrina Guterres da Silva, Adelina Giacomelli Prochnow, José Luís Guedes dos Santos, Soeli Teresinha Guerra, Sueli Gói Barrios

Connect to this object online.

Midwifery-led antenatal pelvic floor muscle exercise intervention to reduce postnatal urinary incontinence: APPEAL research programme including a feasibility and pilot cluster RCT by Christine MacArthur, Debra Bick, Victoria Salmon, Ellie Jones, Jean Hay-Smith, Jon Bishop, Eleni Gkini, Karla Hemming, Sara Webb, Mark Pearson, Tim Coleman, Rohini Terry, Libby Edwards, Helena Frawley, Eivor Oborn, Sarah Dean

Connect to this object online.

Conversational analysis of doctor-patient exchanges / Badli Esham Ahmad by Ahmad, Badli Esham

Link Metadata

CLASSROOM INTERACTION BETWEEN TEACHER AND YOUNG LEARNERS IN ENGLISH AS FOREIGN LANGUAGE CLASSROOM by Risa Puspitaningrum, -

Link Metadata

Complementary and integrative healthcare communication in Chinese American patient / primary care visits: An observational discourse analysis by Evelyn Y. Ho, Genevieve Leung, Brady Lauer, Jane Jih, Leah Karliner

Connect to this object online.

Inborn Errors of Metabolism by Erich Maul

Connect to this object online.

PATTERNS OF TEACHER-STUDENTS INTERACTION A Case Study of Classroom Interaction in Eleventh Grade of Senior High School in Cimahi by Amin, Anisah Rizkiani

Link Metadata

Deal Me in: Playing Cards in the Home to Learn Math by Nicole R. Scalise, Mary DePascale, Nadia Tavassolie, Claire McCown, Geetha B. Ramani

Connect to this object online.