Search Results - "Logic"

STRUKTUR, NILAI-NILAI RELIGIUS ISLAM, DAN REPRESENTASI BUDAYA MINANGKABAU DALAM CERPEN KARYA PENGARANG-PENGARANG MINANGKABAU PADA HARIAN KOMPAS 2008-2012 SEBAGAI ALTERNATIF BAHAN... by Leoni, Tessa Dwi

Link Metadata

STRUKTUR INTRINSIK DAN IDEOLOGI GENDER DALAM CERPEN INDONESIA PENGARANG PEREMPUAN DEKADE 1970-2000-AN SEBAGAI ALTERNATIF BAHAN PEMBELAJARAN BAHASA INDONESIA BERWAWASAN GENDER DI SM... by Martini, Avini

Link Metadata

PENGGUNAAN MEDIA TWITTER UNTUK MENINGKATKAN PARTISIPASI SISWA MENGEMUKAKAN PENDAPAT DALAM PEMBELAJARAN IPS : Penelitian Tindakan Kelas di SMP Negeri 10 Bandung Kelas VII-C by Rachman, Arief

Link Metadata

PENGEMBANGAN MULTIMEDIA INTERAKTIF BERBASIS MOTION GRAPHICS UNTUK MENINGKATKAN PENGUASAAN KONSEP DAN KETERAMPILAN MENDESAIN BUSANA BERFORMAT DIGITAL : Studi Penelitian pada Prodi... by Winwin Wiana, -

Link Metadata

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

L'évolution française de l'enseignement du handball dans les années 1960 et 1970 : une nouvelle conception des sports collectifs = Evolution of French handball teaching during t... by Lise Cardin

Connect to this object online.

Conseqüências da intangibilidade na gestão dos novos serviços de saúde mental Consecuencias de la intangibilidad en la gestión de los nuevos servicios de salud mental Consequ... by Marcia Terra da Silva, Selma Lancman, Carolina Maria do Carmo Alonso

Connect to this object online.

CHALLENGES IN DIFFERENTIAL DIAGNOSIS OF COELIAC DISEASE AND GLUTEN INTOLERANCE IN CHILDREN by Г. Сенаторова, О. Омельченко, Т. Тесленко, Г. Муратов, Н. Орлова, К. Чатикян

Connect to this object online.

IMPLEMENTASI TRAINER DIGITAL PORTABLE PADA PRAKTIKUM TEKNIK DIGITAL DASAR MELALAUI PENDEKATAN PROBLEM BASED LEARNING by Saptatiani R, Tian

Link Metadata

Towards achieving interorganisational collaboration between health-care providers: a realist evidence synthesis by Millar Ross, Aunger Justin Avery, Rafferty Anne Marie, Greenhalgh Joanne, Mannion Russell, McLeod Hugh, Faulks Deborah

Connect to this object online.

On the scarring effects of job insecurity (and how they can be explained) by Hans De Witte

Connect to this object online.

Era uma vez: reflexões sobre uma obra prima da literatura para a infância italiana: Pinóquio - There was once upon a time: reflections on a masterpiece of italian children's lit... by Alessandra Avanzini, Italia

Connect to this object online.

Explanation of context, mechanisms and outcomes in adult community mental health crisis care: the MH-CREST realist evidence synthesis by Clibbens Nicola, Baker John, Booth Andrew, Berzins Kathryn, Ashman Michael C, Sharda Leila, Thompson Jill, Kendal Sarah, Weich Scott

Connect to this object online.

Implementing an artificial intelligence command centre in the NHS: a mixed-methods study by Owen Ashby Johnson, Carolyn McCrorie, Ciarán McInerney, Teumzghi F Mebrahtu, Josh Granger, Naeem Sheikh, Tom Lawton, Ibrahim Habli, Rebecca Randell, Jonathan Benn

Connect to this object online.

What happens after an NHS Health Check? A survey and realist review by Duddy Claire, Gadsby Erica, Hibberd Vivienne, Krska Janet, Wong Geoff

Connect to this object online.

Rational Use of Intravenous Fluids in Critically Ill Patients

Table of Contents: “…Concepts of Fluid Stewardship and Appropriate Fluid Prescription -- Introduction to Fluid Stewardship -- A Logical Prescription of Intravenous Fluids.…”
Link to Metadata

Coming to Terms with Superdiversity The Case of Rotterdam /

Table of Contents: “…1 Introduction - Peter Scholten, Maurice Crul and Paul van de Laar -- PART I: SUPERDIVERSITY IN ROTTERDAM: 2 Rotterdam's superdiversity from a historical perspective (1600-1980) - Paul van de Laar and Arie van der Schoor -- 3 The second and third generation in Rotterdam: increasing diversity within diversity - Maurice Crul, Frans Lelie and Elif Keskiner -- 4 Between choice and stigma: Identifications of economically successful migrants - Marianne van Bochove and Jack Burgers -- PART II: ROTTERDAM'S RESPONSE TO SUPERDIVERSITY: -- 6 'Walking the walk' rather than 'talking the talk' of superdiversity: Continuity and change in the development of Rotterdam's immigrant integration policies - Rianne Dekker & Ilona van Breugel -- 7 Laboratory Rotterdam. Logics of exceptionalism in the governing of urban populations - Friso van Houdt & Willem Schinkel -- 8 Rotterdam as a case of complexity reduction: Migration from Central and Eastern European countries - Erik Snel, Mark van Ostaijen & Margrietha 't Hart. -- PART III: ROTTERDAM IN COMPARATIVE PERSPECTIVE: -- 9.A tale of two cities: Rotterdam, Amsterdam and their immigrants - Han Entzinger -- 10. …”
Link to Metadata

The Resilience Hub approach for addressing mental health of health and social care workers during the COVID-19 pandemic: a mixed-methods evaluation by Filippo Varese, Kate Allsopp, Lesley-Anne Carter, Gemma Shields, Daniel Hind, Linda Davies, Alan Barrett, Gita Bhutani, Katherine McGuirk, Fay Huntley, Joanne Jordan, Aleix Rowlandson, May Sarsam, Hein Ten Cate, Holly Walker, Ruth Watson, Jack Wilkinson, Jenni Willbourn, Paul French

Connect to this object online.

A service-user digital intervention to collect real-time safety information on acute, adult mental health wards: the WardSonar mixed-methods study by John Baker, Sarah Kendal, Chris Bojke, Gemma Louch, Daisy Halligan, Saba Shafiq, Charlotte Sturley, Lauren Walker, Mark Brown, Kathryn Berzins, Lyn Brierley-Jones, Jane K O'Hara, Kirstin Blackwell, Gemma Wormald, Krysia Canvin, Charles Vincent

Connect to this object online.

Reimagining Science Education in the Anthropocene

Table of Contents: “…Redrawing Relationalities at the Anthropocene(s): Disrupting and Dismantling the Colonial Logics of Shared Identity through Thinking with Kim Tallbear -- 8. …”
Link to Metadata