Search Results - "Wit"

MODEL PEMANFAATAN KOLEKSI SKRIPSI DIGITAL DALAM MEMENUHI KEBUTUHAN INFORMASI OLEH PEMUSTAKA (Studi Deskriptif Kuantitatif pada UPT Perpustakaan Universitas Islam Bandung) by Lutfi Alifadi Handoko, -

Link Metadata

The European Higher Education Area Between Critical Reflections and Future Policies /

Table of Contents: “…[Overview Paper]. Hans de Wit, Ligia Deca, Fiona Hunter -- 2. Internationalization of Higher Education: Navigating Between Contrasting Trends. …”
Link to Metadata

Making Humanitarian Crises Emotions and Images in History /

Table of Contents: “…Empathy, Irony and Humanitarian Witness in The Photographer; Ariela Freedman -- Chapter 7. …”
Link to Metadata

Increased Sphingosine-1-Phosphate Serum Concentrations in Subjects with Periodontitis: A Matter of Inflammation by Moritz E, Jedlitschky G, Negnal J, Tzvetkov MV, Daum G, Dörr M, Felix SB, Völzke H, Nauck M, Schwedhelm E, Meisel P, Kocher T, Rauch BH, Holtfreter B

Connect to this object online.

Prevalence of stunting, wasting and underweight in Grade 1-learners: The NW-CHILD Study by Gizelle Kruger, Anita E. Pienaar, Dané Coetzee, Salomé H. Kruger

Connect to this object online.

PENERAPAN METODE JAMA': AUDIO-TALAQQI: KITABAH DAN GERAKAN DALAM PEMBELAJARAN TAḤFĪẒ AL-QURĀN BAGI ANAK BERKEBUTUHAN KHUSUS DI SDN 206 PUTRACO INDAH KOTA BANDUNG by Azka Zakiyyah, -

Link Metadata

PENGARUH IMPLEMENTASI PELATIHAN BERBASIS KECERDASAN JAMAK, KARAKTERISTIK KEPRIBADIAN, DAN LATAR BELAKANG PENDIDIKAN TERHADAP PENINGKATAN KOMPETENSI TUTOR PAUD DI KOTA KENDARI... by Nursam, _

Link Metadata

Living Well in a World Worth Living in for All Volume 1: Current Practices of Social Justice, Sustainability and Wellbeing /

Table of Contents: “…Student voice work defended: Students as 'expert witnesses' to their experiences in schools and other sites of learning -- The heart of the small rural village school: Roots and wings, solidarity and autonomy -- Leading for love, life, wisdom, and voice in Steiner schools: Constraints and conditions of possibility -- The sand through my fingers: Finding Aboriginal cultural voice, identity and agency on country -- Leading by listening: Why Aboriginal voices matter in creating a world worth living in -- Practices and experiences in educational researcher training: Reflections from research students exploring the theme, living well in a world worth living in, during the COVID-19 pandemic -- Partnering for Hope: Agentic narrative practices shaping a world worth living in -- Keeping each other safe: Young refugees' navigation towards a good life in Finland, Norway, and Scotland -- The kitchen is my favrote place in the house": A world worth living in for children with feeding difficulties and their families -- Facing the climate crisis, acting together: Young climate activists on building sustainable future -- Finding worlds worth living in.…”
Link to Metadata

Interdisciplinary Explorations of Postmortem Interaction Dead Bodies, Funerary Objects, and Burial Spaces Through Texts and Time /

Table of Contents: “…The Graves When They Open, Will Be Witnesses Against Thee: MassBurial and the Agency of the Dead in Thomas Dekker's Plague Pamphlets -- Chapter 10. …”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

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

Care in Healthcare Reflections on Theory and Practice /

Table of Contents: “…A Care-Ethical Evaluation of the Regulation on the Use of Seclusion Cells in Psychiatric Care in Flanders (Belgium)' by Tim Opgenhaffen -- 10. 'Witnessing as an Embodied Practice in German Midwifery Care' by Annekatrin Skeide -- 11. …”
Link to Metadata

Cicero, On Pompey’s Command (De Imperio), 27-49. Latin Text, Study Aids with Vocabulary, Commentary, and Translation by Gildenhard, Ingo, Hodgson, Louise

Table of Contents: “…Experience (§28) -- His Excellence (and Excellences) (§29) -- Witnesses to the Truth! (§30) -- Pacifying the Pond, or: Pompey and the Pirates (§31) -- The Pirates of the Mediterranean (§32) -- Pirates ante portas! …”
Access online version

New Perspectives in Critical Data Studies The Ambivalences of Data Power /

Table of Contents: “…Critical Evaluation of the Possibilities of Developing Data Infrastructure Literacy from User Data Workshops to Public Service Media -- Part III Everyday Practices and Collective Action -- (Not) Safe to Use: Insecurities in Everyday Data Practices with Period-Tracking Apps -- Community Rankings and Affective Discipline: The Case of Fandometrics -- Affinity Spaces as an Analytical Lens for Attending to Temporality in Critical Data Studies: The Case of COVID-19-Related, Educational Twitter Communication -- "Party like it's December 31, 1983": Supporting Data Literacy at CryptoParties -- Researching Public Trust in Datafication: Reflections on the Deliberative Citizen Jury as Method -- Worker Perspectives on Designs for a Crowdwork Co-operative -- Counting, Debunking, Making, Witnessing, Shielding: What Critical Data Studies Can Learn from Data Activism During the Pandemic.…”
Link to Metadata

No Truth Without Beauty God, the Qur'an, and Women's Rights / by El-Ali, Leena

Table of Contents: “…Segregation: There Is No Restriction on Men and Women Mingling -- 18. Witnesses: A Woman's Testimony Is Worth the Same as a Man's, Except in Two Cases Where It May Count for More or Less -- AT A GLANCE: Some Inconvenient Truths -- Part V Carnal Matters -- 19. …”
Link to Metadata

The Life of Breath in Literature, Culture and Medicine Classical to Contemporary /

Table of Contents: “…'Let lovers sigh out the rest': Witnessing the Breath in the Early Modern Emotional Body, Naya Tsentourou -- 10. …”
Link to Metadata

Data Journeys in the Sciences

Table of Contents: “…Data Journeys in Art? Warranting and Witnessing the 'Fake' and the 'Real' in Art Authentication (C Coopmans and B Rappert) -- Part VII: Afterword -- Chapter 20. …”
Link to Metadata

The function of the university in the knowledge societies by Luz Patricia PARDO MARTÍNEZ

Connect to this object online.

The world of the life of the Colombian researcher in education and pedagogy in Manizales university context. A phenomenological view by Andrea SUÁREZ SALAZAR, Marco Fidel CHICA LASSO

Connect to this object online.

Tindakan Hakim Dalam Menilai Kekuatan Alat Bukti Keterangan Saksi yang Berbeda Antara Di Depan Penyidik Dengan Di Persidangan by Marwanti, Leni, , Hartono, S.H., M.Hum, , Muchamad Iksan, S.H., M.H

Connect to this object online