Search Results - "The Sounds"

Transformation Literacy Pathways to Regenerative Civilizations /

Table of Contents: “…Introduction and conceptual framing - transformation literacy as a future-making skill -- Part 1: Mindsets in service of wellbeing on a healthy planet -- Setting the scene: How to connect with a world as an interconnected whole -- The same tone, but a new sound - understanding the story of the soul as pathway to regenerative civilizations -- Possible futures -- Transformative literacy as the ability to look forward from within -- Chinese cultural treasures as contributions to a mindset of interconnectedness for global transformations -- The systems aliveness approach - from navigating emergency to stewarding wellbeing on a healthy planet -- Part 2: Systems that enable and safeguard wellbeing on a healthy planet -- Setting the scene: Viewing the world as interconnected systems -- Everything is connected - envisioning how a regenerative world looks like -- Managing forestry in a sustainable manner, the importance of system´s analysis -- Sustainable community transformation process.…”
Link to 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

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
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: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

European Cultural Diplomacy and Arab Christians in Palestine, 1918-1948 Between Contention and Connection /

Table of Contents: “…- Sarah Irving -- Orthodox Clubs and Associations: Cultural, Educational and Religious Networks Between Palestine and Jordan, 1925-1970 - Norig Neveu -- Palestinian Translators and Intellectuals during Ottoman and Mandatory Palestine: Russian Language in the Experiences of Khalil Baydas and Najati Sidqi - Sadia Agsous -- Sound Power: Musical Diplomacy Within the Franciscan Custody in Mandate Jerusalem - Maria Chiara Rioli and Riccardo Castagnetti -- The Melkite Community, Educational Policy and French Cultural Diplomacy: Archbishop Grigorios Hajjar and Mandatory Galilee - Charbel Nassif -- Cultural Diplomacy in Mandatory Haifa: The Role of Christian Communities in the City's Cultural Transformation - Maayan Hillel -- Part II Showing and Telling: Cultural and Historical Entanglements under the Mandate -- Introduction: Arab Virtù and the Philosophy of History: Excavating, Exhibiting and Cultural Diplomacy in the Palestine Mandate - Philippe Bourmaud -- Palestinian Christians in the Mandate Department of Antiquities: Historical and Archaeological Narratives in a Colonial Space - Sarah Irving -- Between Diplomacy and Science: British Mandate Palestine and its International Network of Archaeological Organisations, 1918-1938 - Mathilde Sigalas -- Competition in the Cultural Sector: Handicrafts and the Rise of the Trade Fair in British Mandate Palestine - Nisa Ari -- Part III Influencing the Other: European Private and Governmental Actors -- Introduction: European Soft Power and Christian Cultures at the Crossroads in Mandate Palestine - Heather J. …”
Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata

Haptics: Science, Technology, Applications 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22...

Table of Contents: “…ationary Hands -- Perception of friction in tactile exploration of micro-structured rubber samples -- Influence of Prior Visual Information on Exploratory Movement Direction in Texture Perception -- Guidance for the Design of Vibrotactile Patterns for Use on the Human Back -- Speed Discrimination In The Apparent Haptic Motion Illusion -- Neutral point in haptic perception of softness -- Pilot Study on Presenting Pulling Sensation by Electro-Tactile Stimulation -- A Preliminary Study on the Perceptual Independence Between Vibrotactile and Thermal Senses -- Spatial compatibility of visual and tactile stimulation in shared haptic perception -- Increasing Perceived Weight and Resistance by Applying Vibration to Tendons during Active Arm Movements -- A comparison of haptic and auditory feedback as a warning signal for slip in tele-operation scenarios -- Experiencing touch by technology -- Effect of Focus Direction and Agency on Tactile Perceptibility -- Haptic Guidance for Teleoperation: Optimizing Performance and User Experience -- A Multi-Modal Haptic Armband for Finger-Level Sensory Feedback from a Prosthetic Hand -- Sound Pressure Field Reconstruction for Ultrasound Phased Array by Linear Synthesis Scheme Optimization -- A Rotary Induction Actuator for Kinesthetic and Tactile Rendering -- Haptic Feedback for Wrist Angle Adjustment -- Larger skin-surface contact through a fingertip wearable improves roughness perception -- Expanding Dynamic Range of Electrical Stimulation Using Anesthetic Cream -- Haptic Rattle: Multi-Modal Rendering of Virtual Objects Inside a Hollow Container -- Design of a 2-DoF Haptic Device for Motion Guidance -- Preliminary Design of a Flexible Haptic Surface -- Human Self-Touch vs Other-Touch Resolved by Machine Learning -- Investigating Movement-Related Tactile Suppression Using Commercial VR Controllers -- Estimation of Frictional Force Using the Thermal Images of Target Surface during Stroking -- Spatial Resolution of Mesoscopic Shapes Presented by Airborne Ultrasound -- Vibrotactile Similarity Perception in Crowdsourced and Lab Studies -- Perception of spatialized vibrotactile impacts in a hand-held tangible for virtual reality -- Wearable Haptics in a Modern VRRehabilitation System: Design Comparison forUsability and Engagement -- Perceiving Sequences and Layouts through Touch -- Whole-Hand Haptics for Mid-Air Buttons -- Proximity-based Haptic Feedback for Collaborative Robotic Needle Insertion -- Furekit: Wearable Tactile Music Toolkit for Children with ASD -- A database of vibratory signals from free haptic exploration of natural material textures and perceptual judgments (ViPer): analysis of spectral statistics.…”
Link to Metadata

Defending Checks and Balances in EU Member States Taking Stock of Europe's Actions /

Table of Contents: “…The Uncertain Future of Investor-State Arbitration in the EU by Wojciech Sadowski -- Sounding the Alarm: The Council of Europe as the Guardian of the Rule of Law in Contemporary Europe by Jörg Polakiewicz and Julia Katharina Kirchmayr -- Part III: Dissecting CJEU's Jurisprudence: A Potential Constitutional Moment for the European Rule of Law - The Importance of Red Lines by Armin von Bogdandy, Piotr Bogdanowicz, Iris Canor, Giacomo Rugge, Matthias Schmidt and Maciej Taborowski -- The Assessment of Judicial Independence Following the CJEU Ruling in C-216/18 LM by Stanisław Biernat and Paweł Filipek -- The Rule of Law, Fair Trial and Human Dignity: the Protection of EU Values after LM by Catherine Dupré -- Drawing Red Lines With No (Significant) Bites - Why An Individual Test Is Not Appropriate in the LM Case by Agnieszka Frąckowiak-Adamska -- Intermezzo in the Rule of Law Play: The Court of Justice's LM Case by Matteo Bonelli.…”
Link to Metadata

Introduction to Logic and Critical Thinking by Van Cleave, Matthew

Table of Contents: “…-- 1.2 Identifying arguments -- 1.3 Arguments vs. explanations -- 1.4 More complex argument structures -- 1.5 Using your own paraphrases of premises and conclusions to reconstruct arguments in standard form -- 1.6 Validity -- 1.7 Soundness -- 1.8 Deductive vs. inductive arguments -- 1.9 Arguments with missing premises -- 1.10 Assuring, guarding, and discounting -- 1.11 Evaluative language -- 1.12 Evaluating a real-life argument -- Chapter 2: Formal methods of evaluating arguments -- 2.1 What is a formal method of evaluation and why do we need them? …”
Access online version

Haptics: Science, Technology, Applications 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6-9, 2020, Proceedings /

Table of Contents: “…Normal Vibration Modes for Ultrasonic Surface Haptic Devices -- Midair Tactile Reproduction of Real Objects -- LinkRing: A Wearable Haptic Display for Delivering Multi-contact and Multi-modal Stimuliat the Finger Pads -- ElectroAR: Distributed Electro-tactile Stimulation for Tactile Transfer -- Haptic Applications -- Identification Rate of Simple and Complex Tactile Alerts in MUM-T Setup -- Attention-based Robot Learning of Haptic Interaction -- Motion Guidance using Translational Force and Torque Feedback by Induced Pulling Illusion -- Perceptually Compressive Communication of Interactive Telehaptic Signal -- Sound Image Icon with Aerial Haptic Feedback -- Stiffness Discrimination by Two Fingers with Stochastic Resonance -- Interest Arousal by Haptic Feedback During a Storytelling for Kindergarten Children -- Investigating the influence of haptic feedback in rover navigation with communication delay -- Shared haptic perception for human-robot collaboration -- Two-Point Haptic Pattern Recognition with the Inverse Filter Method -- Adaptive Fuzzy Sliding Mode Controller Design for a New Hand Rehabilitation Robot.…”
Link to Metadata

The Impacts of Social Equity on Health

Connect to this object online.

Smart Home with Voice Control Lights Using Arduino Uno R3 by Calvin Mamahit, Alfrets Wauran, Franky Manoppo, Fransiskus Seke, Janne Ticoh

Connect to this object online.

IKONISITAS BUNYI SUKU KATA ZHI DALAM BAHASA CINA by Budi Santoso

Connect to this object online.

Assessing the Usefulness of Mobile Apps for Noise Management in Occupational Health and Safety: Quantitative Measurement and Expert Elicitation Study by Jingchen Huyan, Chandnee Ramkissoon, Mah Laka, Sharyn Gaskin

Connect to this object online.

Microware Review by Len Proctor

Connect to this object online.

HUBUNGAN ANTARA TINGKAT KEPARAHAN GANGGUAN SENDI TEMPOROMANDIBULA DAN PERBEDAAN KARAKTERISTIK BUNYI SENDI TEMPOROMANDIBULA (Suatu analisis menggunakan perangkat lunak audio editor) by Carolina Marpaung, Laura Suasanti Himawan, Farisza Gita Roemoso, Tri Budi Wahyuni Rahardjo

Connect to this object online.

Pemanfaatan Siter, Kendang, Saron, Kenong, dan Gender sebagai media pembelajaran fisika by Eko Nursulistiyo

Connect to this object online.

Evaluation of noise pressure level at mosques at the time of religious ceremonies by Mohammad Shamsoddin Dayani Tilaki, hosein alidadi, Ali Taghipour, Mohsen Yazdani, Ali Choupani, Ali Asghar Navaei

Connect to this object online.

Prediction of Highway Noise Pollution Level by Model FHWA -TNM (Case Study: Vakilabad Highway in Mashhad-Iran) by Elahe Khayyami, Mitra Mohammadi, Mohammad-Sadegh Bahadori, Fateme Hasani, Akram Ghorbani

Connect to this object online.

Influence of soundtrack on eye movements during video exploration by Antoine Coutrot, Nathalie Guyader, Gelu Ionescu, Alice Caplier

Connect to this object online.