Search Results - "abstraction"

Development of Learning Modules Assisted by Augmented Reality (AR) to Improve Learning Outcomes of High School Students on the Concept of the Circulatory System by Qiswatun Mukhoyyaroh, Latif Sofiana Nugraheni, Ripauji Ripauji, Siti Hanna Sumedi

Connect to this object online.

Deep learning for classification of colorectal polyps on whole-slide images by Bruno Korbar, Andrea M Olofson, Allen P Miraflor, Catherine M Nicka, Matthew A Suriawinata, Lorenzo Torresani, Arief A Suriawinata, Saeed Hassanpour

Connect to this object online.

Characterizing Computational Thinking for the Learning of Tertiary Educational Programs by Salman Firdaus Sidek, Che Soh Said, Maizatul Hayati Mohamad Yatim

Connect to this object online.

Reproductive decision making in women with medical comorbidities: a qualitative study by Elena M. Kraus, Niraj R. Chavan, Victoria Whelan, Jennifer Goldkamp, James M. DuBois

Connect to this object online.

High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet

OAPEN Library: download the publication
OAPEN Library: description of the publication

Cultural Values and Human Ecology in Southeast Asia

OAPEN Library: download the publication
OAPEN Library: description of the publication

Dependable Embedded Systems by Henkel, Jörg

OAPEN Library: download the publication
OAPEN Library: description of the publication

The Indian Craze Primitivism, Modernism, and Transculturation in American Art, 1890-1915 by Hutchinson, Elizabeth

OAPEN Library: download the publication
OAPEN Library: description of the publication

Hubungan Antara Pola Asuh Otoriter Dengan Agresivitas Pada Remaja by Kartika Putra, Agung Nugroho, , Dr. Taufik Kasturi, M.Si

Connect to this object online

Hubungan Antara Harga Diri Dengan KecenderunganPerilaku Bullying Pada Siswa Smp by Eny Rahmawati, Fitriyana

Connect to this object online

KEMAMPUAN KLASIFIKASI LOGIS ANAK : Studi Tentang Kemampuan Abstraksi dan Inferensi Anak Usia Sekolah Dasar pada Kelompok Budaya Sunda by Nuryani Yogipranata Rustaman, -

Link Metadata

STUDI NETNOGRAFI TERHADAP KOMENTAR HOMOFOBIA DI INSTAGRAM @GITASAV DALAM KONTEN INTERNATIONAL WOMEN'S DAY 2023 by Putra Pratama Nabasa,

Link Metadata

KEMAMPUAN COMPUTATIONAL THINKING SISWA SMA DITINJAU DARI ADVERSITY QUOTIENT DALAM MENYELESAIKAN MASALAH BARISAN DAN DERET ARITMETIKA by Ika Dhian Lestari, -

Link Metadata

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Universal Graphs and Good for Small Games Automata: New Tools for Infinite Duration Games -- Resource-Tracking Concurrent Games -- Change Actions: Models of Generalised Differentiation -- Coalgebra Learning via Duality -- Tight Worst-Case Bounds for Polynomial Loop Programs -- A Complete Normal-Form Bisimilarity for State -- Identifiers in Registers - Describing Network Algorithms with Logic -- The Impatient May Use Limited Optimism to Minimize Regret -- Causality in Linear Logic: Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment) -- Rewriting Abstract Structures: Materialization Explained Categorically -- Two-Way Parikh Automata with a Visibly Pushdown Stack -- Kleene Algebra with Hypotheses -- Trees in Partial Higher Dimensional Automata -- The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary Domains -- Continuous Reachability for Unordered Data Petri Nets is in PTime -- Optimal Satisfiability Checking for Arithmetic mu-Calculi -- Constructing Inductive-Inductive Types in Cubical Type Theory -- Causal Inference by String Diagram Surgery -- Higher-Order Distributions for Differential Linear Logic -- Languages Ordered by the Subword Order -- Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces -- A Sound and Complete Logic for Algebraic Effects -- Equational Axiomatization of Algebras with Structure -- Towards a Structural Proof Theory of Probabilistic μ-Calculi -- Partial and Conditional Expectations in Markov Decision Processes with Integer Weights -- Equational Theories and Monads from Polynomial Cayley Representations -- A Dialectica-Like Interpretation of a Linear MSO on Infinite Words -- Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time -- Justness: A Completeness Criterion for Capturing Liveness Properties -- Path category for Free - Open Morphisms from Coalgebras with Non-Deterministic Branching.…”
Link to Metadata

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

DOAB: download the publication
DOAB: description of the publication

Macrocognition: The Science and Engineering of Sociotechnical Work Systems by Paul Ward

DOAB: download the publication
DOAB: description of the publication

Gulliver in the Country of Lilliput An Interplay of Noncovalent Interactions

DOAB: download the publication
DOAB: description of the publication

How much does HIV self-testing cost in low and middle income countries? A systematic review of evidence from economic studies by Brianna Empringham, Brianna Empringham, Angela Karellis, Abdulhameed Kashkary, Abdulhameed Kashkary, Olivia D'Silva, Sergio Carmona, Marta Fernandez Suarez, Angelina Addae, Nitika Pant Pai, Alice Anne Zwerling

Connect to this object online.

Factors associated with late presentation of cervical cancer cases at a district hospital: a retrospective study by Priscilla Dunyo, Kofi Effah, Emilia Asuquo Udofia

Connect to this object online.

Assessing methods for measurement of clinical outcomes and quality of care in primary care practices by Green Michael E, Hogg William, Savage Colleen, Johnston Sharon, Russell Grant, Jaakkimainen R, Glazier Richard H, Barnsley Janet, Birtwhistle Richard

Connect to this object online.