Search Results - "pragmatism"

A comparison of physical education (PE) development in the Czech Republic, Germany, and the USA - A historical perspective [Srovnání vývoje tělesné výchovy v České republic... by Petr Vlček

Connect to this object online.

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...

Table of Contents: “…Logics for extensional, locally complete analysis via domain refinements -- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces -- Adversarial Reachability for Program-level Security Analysis -- Automated Grading of Regular Expressions -- Builtin Types viewed as Inductive Families -- Pragmatic Gradual Polymorphism with References -- Modal crash types for intermittent computing -- Gradual Tensor Shape Checking -- A Type System for Effect Handlers and Dynamic Labels -- Interpreting Knowledge-based Programs -- Contextual Modal Type Theory with Polymorphic Contexts -- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions of Consensus Protocols -- MAG π : Types for Failure-Prone Communication -- System $Fˆ\mu \omega$ with Context-free Session Types -- Safe Session-Based Concurrency with Shared Linear State -- Bunched Fuzz: Sensitivity for Vector Metrics -- Fast and Correct Gradient-Based Optimisation for Probabilistic Programmingvia Smoothing -- Type-safe Quantum Programming in Idris -- Automatic Alignment in Higher-Order Probabilistic Programming Languages.…”
Link to Metadata

xxAI - Beyond Explainable AI International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers /

Table of Contents: “…-Varieties of AI Explanations under the Law - From the GDPR to the AIA, and beyond -- Towards Explainability for AI Fairness -- Logic and Pragmatics in AI Explanation.…”
Link to Metadata

Kaiser Ferdinand III. (1608-1657) Eine Biographie by Hengerer, Mark

DOAB: download the publication
DOAB: description of the publication

Community First Responders' role in the current and future rural health and care workforce: a mixed-methods study by Aloysius Niroshan Siriwardena, Gupteswar Patel, Vanessa Botan, Murray D Smith, Viet-Hai Phung, Julie Pattinson, Ian Trueman, Colin Ridyard, Mehrshad Parvin Hosseini, Zahid Asghar, Roderick Orner, Amanda Brewster, Pauline Mountain, Elise Rowan, Robert Spaight

Connect to this object online.

Words, Objects and Events in Economics The Making of Economic Theory /

Table of Contents: “…Should economics make a pragmatic turn? John Dewey, Karl Polanyi, and critique of economic naturalism (Maciej Kassner) -- Chapter 5. …”
Link to Metadata

The Autofictional Approaches, Affordances, Forms /

Table of Contents: “…A Cognitive Perspective on Autofictional Writing, Texts, and Reading; Alexandra Effe and Alison Gibbons -- 5. The Pragmatics of Autofiction; Arnaud Schmitt -- 6. The Autofictional in Serial, Literary Works; Ricarda Menn and Melissa Schuh -- 7. …”
Link to Metadata

Narrative Ethics in Public Health: The Value of Stories

Table of Contents: “…Boyle's "The Fugitive" -- Addressing Historical Trauma among US American Indian/Alaskan Natives: The Ethics of Making Space for Multiple Narratives in Public Health Research and Practice -- Using paired poems to crystallize and (re)consider public health breastfeeding promotion -- Database of Individual Patient Experiences (DIPEx): Potential for Public Health Considerations -- Poverty as Trauma: Considering Social Determinants of Health through the Lens of Narrative Ethics -- Ethical Imperatives and Challenges with Community-based Participatory Research in Public Health: Reflections of One Academic -- Disclosure of HIV Status during a Household HIV Survey in Namibia -- Vaccine Refusal: Stories from the Front Lines of Immunization Education -- What Is This All About: Tipping theBalance toward Treatment and Recovery -- The Boys Under My Deck: Fostering Resilience In Diverse Urban Neighborhoods -- Overweight and Obesity: A New Narrative -- Voices of Our Fathers: Narrative (Care) Ethics, Pragmatic Bioethics, Trust and Trustworthiness -- Stories, Stigma and Sequences: HIV Cluster Detection and Response Activities Through a Narrative Ethics Lens -- A Novel Approach to Public Health Crises Using Narrative Ethics -- Patient Rights versus Public Health.…”
Link to Metadata

Knowledge and Action

Table of Contents: “…Reflection and Impulse as Determinants of Human Behavior: Anand Krishna and Fritz Strack -- 10.Planning and the Control of Action-How the Spontaneous and Strategic Use of Goal-Related Knowledge Supports Goal Attainment: Frank Wieber, Peter M. Gollwitzer -- 11. Pragmatic Philosophy and the Social Function of Knowledge: The Problems of Collective Action and Spatial Dispersion: Tilman Reitz -- 12. …”
Link to Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

The Pandemic of Argumentation

Table of Contents: “…The Evaluative Component in Pragmatic Argumentation: An Analysis of Public Discourse During the First Wave of the Sars-Cov-2 Pandemic in Italy -- Chapter 6. …”
Link to Metadata

National Constitutions in European and Global Governance: Democracy, Rights, the Rule of Law National Reports /

Table of Contents: “…The Netherlands: The Pragmatics of a Flexible, Europeanised Constitution -- Chapter 6. …”
Link to Metadata

The effectiveness, cost-effectiveness and policy processes of regulatory, voluntary and partnership policies to improve food environments: an evidence synthesis by Laurence Blanchard, Stephanie Ray, Cherry Law, María Jesús Vega-Sala, Julia Bidonde, Gemma Bridge, Matt Egan, Mark Petticrew, Harry Rutter, Cécile Knai

Connect to this object online.

Debating European Citizenship

Table of Contents: “…Social Facts, Individual Choice, and the European Union: Dimitry Kochenov -- Testing the Bonds of Solidarity in Europe's Common Citizenship Area: Jo Shaw -- 'An Ever Closer Union Among the Peoples of Europe': Union Citizenship, Democracy, Rights and the Enfranchisement of Second Country Nationals: Richard Bellamy -- Five Pragmatic Reasons for a Dialogue with and Between Member States on Free Movement and Voting Rights: Kees Groenendijk -- Don't Start with Europeans First. …”
Link to Metadata

PENGALAMAN BERINOVASI GURU SMA DALAM PENGAJARAN BAHASA INDONESIA:Studi Deskriptif Kualitatif tentang Implementasi Inovasi Pragmatik pada SMA di Kota Manado dan Bitung serta Kabup... by Senduk, Agus Gerrad

Link Metadata

Evaluating Interactive Language for Children with Autism Spectrum Disorder (ASD) in Different Contexts by Jinhuan Yang, Wentao Gu, Chen Feng

Connect to this object online.

The Leadership Styles of the Heads of Physical Education Departments by Mehrali Hemmatinezhad, Seyed Mohammad Hossein Razavi, Farogh Fathi Kajal

Connect to this object online.

An analysis of blood pressure measurement in a primary care hospital in Swaziland by Ganizani Mlawanda, Michael Pather, Srini Govender

Connect to this object online.

Perwujudan Tindak Kesantunan Pragmatik Tuturan Imperatif Guru Dalam Proses Pembelajaran Bahasa Indonesia Di Kelas XI SMK Negeri 8 Surakarta by Romadloni, Nurul Tri, , Drs. Andi Haris Prabawa, M.Hum

Connect to this object online

AN ANA.LYSIS OF CONTEXT OF SITUATION IN SENIOR HIGH SCHOOL ENGLISH TEXTBOOKS by Novita Syarifatul Hasanah, -

Link Metadata