Search Results - "Sound of..."

GEOGRAFI DIALEK BAHASA SUNDA DI KECAMATAN PARUNGPANJANG KABUPATEN BOGOR by Rahmawati, Siti

Link Metadata

APPROVAL SHEET TEACHERS' QUESTIONS AND STUDENTS' RESPONSES IN EFL CLASSROOM : A Case Study in a Public Senior High School in Bandung by Dzulkarnain, Iskandar

Link Metadata

Hubungan Paparan Kebisingan, Beban Kerja Mental, Dan Faktor Individu Dengan Stres Kerja Pada Pekerja Di PT. Duraquipt Cemerlang Tahun 2021 by Annur Aini Al Alief,

Link Metadata

PENGARUH KEBISINGAN TERHADAP STRES KERJA PADA PEKERJA KONSTRUKSI APARTEMEN PONDOK CABE, BANTEN TAHUN 2022 by Raden Ajeng Cindy Jati Pitaloka,

Link Metadata

ASAS ITIKAD BAIK DALAM SISTEM PENDAFTARAN PERTAMA (FIRST TO FILE) ATAS PENDAFTARAN MEREK TERKENAL (STUDI PUTUSAN NOMOR 20PK/PDT.SUS-HKI/2021) by Puspa Wijayanti,

Link Metadata

HUBUNGAN TINGKAT KEBISINGAN DENGAN TEKANAN DARAH PENDUDUK DI SEKITAR BANDAR UDARA HALIM PERDANAKUSUMA TAHUN 2023 by Neva Azzahra,

Link Metadata

HUBUNGAN FAKTOR LINGKUNGAN KERJA DAN FAKTOR INDIVIDU TERHADAP RISIKO PENINGKATAN TEKANAN DARAH PEKERJA PT ANTAM TBK UBPE PONGKOR BOGOR TAHUN 2023 by Susthania Syifra Yohana,

Link Metadata

NILAI RELIGI DALAM KESENIAN GEMBYUNG DANGIANG BUHUN KAMPUNG CINENGAH DESA CURUG RENDENG : Kajian Semiotik by Aep Saepudin, -

Link Metadata

KAJIAN STRATA NORMA DALAM SAJAK-SAJAK KAKILANGIT MAJALAH SASTRA HORISON DAN PEMANFAATANNYA SEBAGAI BAHAN AJAR APRESIASI PUISI DI SMA by Risma Wati, -

Link Metadata

PENGEMBANGAN PEMBELAJARAN BERBASIS SIMULASI KOMPUTER PADA PERKULIAHAN GELOMBANG DAN OPTIKA UNTUK MENINGKATKAN KETERAMPILAN BERPIKIR KREATIF CALON GURU by Tawil, Muh

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

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata

Sonic Interactions in Virtual Environments

Table of Contents: “…Part I Introduction: Sonic Interactions in Virtual Environments: the Egocentric Audio Perspective of the Digital Twin -- Part II Interactive and Immersive Audio: Procedural Modeling of Interactive Sound Sources in Virtual Reality -- Interactive and Immersive Auralization -- System-to-User and User-to-System Adaptations in Binaural Audio -- Audio Quality Assessment for Virtual Reality -- Part III Sonic Interactions: Spatial Design Considerations for Interactive Audio in Virtual Reality -- Embodied and Sonic Interactions in Virtual Environments: Tactics and Examplars -- Supporting Sonic Interaction in Creative, Shared Virtual Environments -- Spatial Audio Mixing in Virtual Reality -- Part IV Sonic Experiences: Audio in Multisensory Interactions: from Experiments to Experiences -- Immersion in Audiovisual Experiences -- Augmenting Sonic Experiences through Haptic Feedback -- From the Lab to the Stage: Practical Considerations on Designing Performances with Immersive Virtual Musical Instruments -- Index.…”
Link to Metadata

Marine Mammals A Deep Dive into the World of Science /

Link to Metadata

Causality in Policy Studies a Pluralist Toolbox /

Link to Metadata

Data Governance and Policy in Africa

Table of Contents: “…Chapter 1: Introduction -- Chapter 2: A Prototype Data Governance Framework for Africa -- Chapter 3: A Value Chain Approach to Data Production, Use and Governance for Sound Policy Making in Africa -- Chapter 4: Data Protection Legal Regime and Data Governance in Africa: An Overview -- Chapter 5: Data Regulation in Africa: Free Flow of Data, Open Data Regimes and Cyber Security -- Chapter 6: Digitalisation and Financial Data Governance in Africa: Challenges and Opportunities -- Chapter 7: More Than Just a Policy - Day to Day Effects of Data Governance on the Data Scientist -- Chapter 8: The Economics of Blockchain Within Africa -- Chapter 9: Conclusion.…”
Link to Metadata

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

Table of Contents: “…Range-Restricted and Horn Interpolation through Clausal Tableaux -- Non-Classical Logics in Satisfiability Modulo Theories -- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics -- Non-distributive description logic -- A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalized -- Some Analytic Systems of Rules -- A cut-free, sound and complete Russellian theory of definite descriptions -- Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators -- Lemmas: Generation, Selection, Application -- Machine-Learned Premise Selection for Lean -- gym-saturation: Gymnasium environments for saturation provers (System description) -- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed points -- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic -- Proof Systems for the Modal $\mu$-Calculus Obtained by Determinizing Automata -- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation -- On intuitionistic diamonds (and lack thereof) -- NP Complexity for Combinations of Non-Normal Modal Logics -- Resolution-based Calculi for Non-Normal Modal Logics -- Canonicity of Proofs in Constructive Modal Logic -- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic -- The MaxSAT problem in the real-valued MV-algebra -- The Logic of Separation Logic: Models and Proofs -- Testing the Satisfiability of Formulas in Separation Logic with Permissions -- Nested Sequents for Quantified Modal Logics -- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.…”
Link to Metadata

Chapeau! First-Year French by Dinneen, David A., Kernen, Madeleine

Access online version

Music Appreciation History, Culture, and Context by Le, Bonnie, Scully, Francis, Edwards, Steven

Access online version

Plant-Based Diets Working towards a Sustainable Future

DOAB: download the publication
DOAB: description of the publication