Search Results - "pragmatics"

POLAH UCAP JEUNG DÉIKSIS DINA RUBRIK "BARAKATAK" MAJALAH MANGLÉ (ULIKAN PRAGMATIK) by Yuliani Mayasari, -

Link Metadata

China-US Competition Impact on Small and Middle Powers' Strategic Choices /

Table of Contents: “…-China Strategic Competition in Each Domestic Context -- Strategic Choices for Switzerland in the US-China Competition -- The China Nudge: Naivety, Neutrality and Non-alignment in Sweden -- Continuity and change in Italy-China relations: From economic pragmatism to selective followership and back -- China and Germany after the 2021 Election: Between Continuity and Increasing Confrontation -- The UK's response to the challenge of managing its relationships with China and the USA -- Navigating and Riding the Double Bind of Economic and Political Hedging: Japan and the US-China Strategic Competition -- Explaining Korea's Positioning in the US-China Strategic Competition -- Taking side with the US against China? …”
Link to Metadata

Learning Statistics with R A tutorial for psychology students and other beginners by Navarro, Danielle

Table of Contents: “…Working with data -- Chapter 5: Descriptive statistics -- Chapter 6: Drawing graphs -- Chapter 7: Pragmatic matters -- Chapter 8: Basic programming -- IV. …”
Access online version

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

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

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

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

Causal inference and evidence-based recommendations in occupational health and safety research by Reiner Rugulies, Alex Burdorf

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

El uso de las TIC en la enseñanza de lenguas extranjeras a partir del análisis del discurso de docentes universitarios / The use of the ICT to teach foreign languages from a crit... by Jenny BERMÚDEZ JIMÉNEZ, Ángela MONTOYA DÍAZ

Connect to this object online.

PHILOSOPHICAL BASIS OF EDUCATION PERSPECTIVE PHILOSOPHY OF PRAGMATISME AND IMPLICATIONS IN LEARNING METHOD by Riza Zahriyal Falah

Connect to this object online.

KALIMAH IMPOSITIF DINA NOVÉL DÉNG KARYA GODI SUWARNA (Ulikan Sintaksis jeung Pragmatik) by Irfan Rosyid Al Faridz, -

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.

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

Link Metadata

Capacity of the CCC-2 to Discriminate ASD from Other Neurodevelopmental Disorders by Alba de la Torre Carril, Montserrat Durán-Bouza, Miguel Pérez-Pereira

Connect to this object online.