Search Results - "inference"

Inklusiver Musikunterricht aus resonanzpädagogischer Perspektive Kombination hoch und niedrig inferenter Verfahren zur Untersuchung von Qualitäten inklusiven Musikunterrichts am Be... by Leinen-Peters, Nora-Elisabeth

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

Outbreak of a new coronavirus (SARS-CoV-2) infection and pollen exposure by Akira Awaya, Yoshiyuki Kuroiwa

Connect to this object online.

Ethical leadership practices and trust among public school leaders in Malaysia / Sharmini Siva Vikaraman ... [et al.] by Vikaraman, Sharmini Siva, Mansor, Azlin Norhaini, Mohd Nor, Mohamed Yusoff, Alias, Bity Salwana, Gurusamy, Vasanthan

Link Metadata

Fuzzy logic to optimize traffic signal control in a congested area / Nor Suhaili Abdul Aziz and Noraini Noordin by Abdul Aziz, Nor Suhaili Abdul Aziz, Noordin, Noraini

Link Metadata

A Study On The Expression Of Mockery In Eminem's "The Eminem Show" Songs Lyric: Pragmatics Approach by Suryani, Rosaria

Connect to this object online

ANALISIS KEMAMPUAN BERPIKIR KRITIS DAN KREATIF MATEMATIS SISWA BERKEMAMPUAN MATEMATIKA TINGGI DI SEKOLAH MENENGAH PERTAMA (Studi Kualitatif di Masa Pandemi Covid-19) by Humairah Muztika, -

Link Metadata

PENERAPAN MODEL PEMBELAJARAN FLIPPED CLASSROOM BERBASIS PROBLEM BASED LEARNING (FC-PBL) TERHADAP PENINGKATAN KEMAMPUAN BERPIKIR KRITIS SISWA PADA MATERI GERAK HARMONIK SEDERHANA by Afifah Rusyda Faza, -

Link Metadata

Pengaruh Lingkungan Kerja, Disiplin Kerja, dan Motivasi Kerja Terhadap Kinerja Personil Polri di Kantor Kepolisian Resor Sawahlunto by Kintan Adela Putri,

Link Metadata

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

Table of Contents: “…Categorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference -- Foundations for Entailment Checking in Quantitative Separation Logic -- Extracting total Amb programs from proofs -- Why3-do: The Way of Harmonious Distributed System Proofs -- Relaxed virtual memory in Armv8-A -- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture -- The Trusted Computing Base of the CompCert Verified Compiler -- View-Based Owicki-Gries Reasoning for Persistent x86-TSO -- Abstraction for Crash-Resilient Objects -- Static Race Detection for Periodic Programs -- Probabilistic Total Store Ordering -- Linearity and Uniqueness: An Entente Cordiale -- A Framework for Substructural Type Systems -- A Dependent Dependency Calculus -- Polarized Subtyping -- Structured Handling of Scoped Effects -- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style -- A Predicate Transformer for Choreographies -- Comparing the expressiveness of the -calculus and CCS -- Concurrent NetKAT.…”
Link to 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

Natural Computing and Beyond Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings /

Table of Contents: “…Natural Computing -- Ethological response to periodic stimulation in Chara and Brepharisma -- Adaptive path-finding and transport network formation by the amoeba-like organism Physarum -- Aggregate "Calculation" in Economic Phenomena: Distributions and Fluctuations -- Towards Co-evolution of Information, Life and Artifcial Life -- Harness the Nature for Computation -- Things Theory of Art Should Learn From Natural Computing -- Study on the use of Evolutionary Techniques for inference in Gene Regulatory Networks -- Reconstruction of Gene Regulatory Networks from Gene Expression Data using Decoupled Recurrent Neural Network Model -- Design and control of synthetic biological systems -- Satellite Symposium on Computational Aesthetics -- Preface-Natural Computing and Computational Aesthetics -- The Significance of Natural Computing for Considering Computational Aesthetics of Nature -- Perceiving the Gap: asynchronous coordination of plural algorithms and disconnected logical types in ambient space -- Aesthetic Aspects of Technology-mediated Self-awareness Experiences.…”
Link to Metadata

Fundamental Methods of Logic by Knachel, Matthew

Access online version

Dire pour faire De la pragmatique à la praxéologie by Vernant, Denis

DOAB: download the publication
DOAB: description of the publication

Protein Phosphorylation in Health and Disease by Allegra Via

DOAB: download the publication
DOAB: description of the publication

Short-Term Load Forecasting by Artificial Intelligent Technologies by Wei-Chiang Hong (Ed.)

DOAB: download the publication
DOAB: description of the publication

New Insights into the Stratigraphic Setting of Paleozoic to Miocene Deposits Case Studies from the Persian Gulf, Peninsular Malaysia and South-Eastern Pyrenees

DOAB: download the publication
DOAB: description of the publication

Computational Intelligence Application in Electrical Engineering

DOAB: download the publication
DOAB: description of the publication

Fuzzy Natural Logic in IFSA-EUSFLAT 2021

DOAB: download the publication
DOAB: description of the publication

Assessment of oral health status and periodontal treatment needs among rural, semi-urban, urban, and metropolitan population of Gurgaon District, Haryana State by Harpreet Singh Grover, Amit Bhardwaj, Narender Yadav

Connect to this object online.

ANALISIS KEMAMPUAN BERPIKIR KRITIS DALAM MENYELESAIKAN SOAL HOTS DITINJAU DARI METAKOGNISI SISWA by Nuqthy Faiziyah, Bagas Legowo Priyambodho

Connect to this object online.