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

Table of Contents: “…-Regular Language Learning Library -- Symbolic Regex Matcher -- COMPASS 3.0 -- Debugging of Behavioural Models with CLEAR -- Machine Learning -- Omega-Regular Objectives in Model-Free Reinforcement Learning -- Verifiably Safe Off-Model Reinforcement Learning. .…”
Link to Metadata

Resourceful Civil Society Navigating the Changing Landscapes of Civil Society Organizations /

Table of Contents: “…Petersburg LGBTQI+ activists negotiating financial and symbolic resources, Pauliina Lukinmaa.-Chapter 14. …”
Link to Metadata

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata.…”
Link to Metadata

NILAI MORAL KEWARGANEGARAAN DALAM ARTEFAK KEHIDUPAN SOSIAL KULTURAL MASYARAKAT SUNDA : Studi Eksploratif Nilai Moral Kewarganegaraan dalam Ungkapan, Artikulasi Seni dan Ritual Ada... by Hamid, Solihin Ichas

Link Metadata

Writing as Material Practice Substance, surface and medium

Table of Contents: “…The Function and Meaning of Writing in the Prehistoric Aegean: Some reflections on the social and symbolic significance of writing from a material perspective (Helène Whittaker) -- Chapter 7. …”
Access online version

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
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: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

Chemistry of Cooking by Rodriguez-Velazquez, Sorangel

Table of Contents: “…IntroductionEssential Ideas -- Essential Ideas Introduction -- Phases and Classification of Matter -- Physical and Chemical Properties -- Measurements -- Measurement Uncertainty, Accuracy, and Precision -- Mathematical Treatment of Measurement Results -- Energy Basics -- Calorimetry -- Atoms, Molecules, and Ions -- The Periodic Table -- Atoms, Molecules, and Ions -- Atomic Structure and Symbolism -- Chemical Formulas -- Molecular and Ionic Compounds -- Cooking Techniques: Thickening and Concentrating Flavors -- Viscosity -- Thickening Agents -- Types of Thickening Agents -- Coagulation -- Gelatinization -- Crystallization -- Non-traditional thickeners -- Sauces -- Low-temperature and sous-vide -- Understanding Ingredients: Flour -- Introduction -- Understanding Ingredients -- The History of Wheat Flour -- Milling of Wheat -- Flour Streams and Types of Wheat Flour -- Flour Terms and Treatments -- Flour Additives -- Whole Grain and Artisan Milling -- Flour in Baking -- Rye Flour -- Other Grains and Flours -- Understanding Ingredients: Fat -- Understanding Fats and Oils -- Sources of Bakery Fats and Oils -- Major Fats and Oils Used in Bakeries -- Functions of Fat in Baking -- Understanding Ingredients: Sugar -- Sugar Chemistry (ADD US) -- Sugar Refining -- The Application of Sugar -- Agave -- Glucose/Dextrose -- Honey -- Malt -- Maple Syrup (ADD US) -- Sugar Substitutes (ADD US) -- Understanding Ingredients: Leavening Agents -- Catalysis -- Introduction to Leavening Agents -- Yeast -- The Functions of Yeast -- Using Yeast in Baking -- Introduction to Acid- bases -- Brønsted-Lowry Acids and Bases -- pH and pOH -- Baking Powder -- Sodium Bicarbonate -- Ammonium Bicarbonate -- Water Hardness and pH -- Understanding Ingredients: Dairy Products -- Introduction to Dairy Products -- Milk -- Milk Products ADD US -- Milk in bread baking -- Yogurt -- Lactose -- Cheese -- Understanding Ingredients: Eggs -- Eggs Grade (ADD US) -- Composition and Nutrition -- Egg Products -- The Function of Eggs -- Storing Eggs -- Chocolate -- From the Cocoa Bean to the Finished Chocolate -- Chocolate Produced for the Baking Industry -- Couverture -- Definitions and Regulations (ADD US) -- Understanding Ingredients: Spices -- Elements of Taste -- Introduction to Salt -- Types of Salt -- Functions of Salt in Baking -- Using Salt in Fermented Doughs -- Storing Salt -- Introduction to Spices and Other Flavorings -- Seasoning and Flavoring -- Herbs -- Spices -- Flavorings in Baking -- Appendix…”
Access online version

Technical Writing and Simple Statistics for laboratory classes by Wettstein, Stephanie G.

Table of Contents: “…Statistics -- Descriptive Statistics -- Mean, Median, and Mode -- Outliers -- Standard Deviation -- Sample Variance -- Standard Error -- Confidence Interval -- Percent Error and Percent Difference -- Excel Tutorial: Performing Descriptive Statistics Using Excel -- Using Graphs to Display Data -- Line Graphs -- Bar Graphs -- Box Plots -- Error Bars -- Charts – What Not to Do -- Statistical Process Control & Process Control Charts -- Process Variation -- Making the Process Control Chart -- Example #1: Bullet Speeds All Data -- Example #2: Bullet Speeds with Narrower Specifications -- Linear Regression -- Performing Linear Regression -- Excel Tutorials: Performing Regression Analysis Using Excel -- Method 1: Using Excel Formulas -- Method 2: Using Excel Trendlines -- Method 3: Using Excel Data Analysis -- Example: Regression Analysis of Diameter Data -- Statistical Comparison of Two Regressed Slopes -- General Approach for Comparing Two Linearly Regressed Slopes -- Analysis Steps -- Example: Two Regressed Slopes that are Statistically Different -- Example Analysis: Regression Slope Comparison -- Example Two Regressed Slopes that are Not Statistically Different -- t-Tests -- Hypotheses -- Sample Collection and Determining Alpha -- Performing a t-test using Excel -- Interpret the Data -- References -- Writing -- The Writing Process -- Team Writing Strategies -- Meeting agendas and notes -- Agenda -- Notes -- Communication Components -- Abstract (or Summary) -- Background/Introduction -- Objective Statement -- Theory -- Methods -- Apparatus (or Equipment) -- Safety -- Experimental Protocol, Design, and Analysis -- Experimental Protocol -- Experimental Design -- Methods of Analysis -- Data Collection -- Results and Discussion -- Conclusions and Recommendations -- Sample Conclusion Paragraph -- References: Citing the work of others -- Citation Location -- Numerical Formatting -- Alphabetical Formatting -- Reference list/Bibliography -- Appendices -- Appendix -- Excel Tutorial: Using Equation Editor in Microsoft Word -- Step 1: Insert an Equation Region -- Step 2: Use Equation Tools Structures to Create Basic Equation Layout -- Step 3: Fill in the placeholders to complete the equation -- Cliff Notes/Shortcuts -- Excel Tutorial: Using Text Boxes -- Text Box Management: Three Examples -- VERSION 1: Textboxes Near Text Description -- VERSION 2: Textboxes at Bottom of Page -- VERSION 3: No Textboxes -- Excel Tutorial: Formatting Excel Charts for a Professional Look -- Templates -- Captions -- Inserting Symbols in Captions…”
Access online version

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

Table of Contents: “…-- Checking Data-Race Freedom of GPU Kernels, Compositionally -- GenMC: A Model Checker for Weak Memory Models -- Hybrid and Cyber-Physical Systems -- Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming -- An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation -- HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL -- Computing Bottom SCCs Symbolically Using Transition Guided Reduction -- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems -- IMITATOR 3: Synthesis of timing parameters beyond decidability -- Formally Verified Switching Logic for Recoverability of Aircraft Controller -- SceneChecker: Boosting Scenario Verification using Symmetry Abstractions -- Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness -- Fast zone-based algorithms for reachability in pushdown timed automata -- Security -- Verified Cryptographic Code for Everybody -- Not All Bugs Are Created Equal, But Robust Reachability Can Tell The Difference -- A Temporal Logic for Asynchronous Hyperproperties -- Product Programs in the Wild: Retrofitting Program Verifiers to Check Information Flow Security -- Constraint-based Relational Verification -- Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning -- Synthesis -- Synthesis with Asymptotic Resource Bounds -- Program Sketching by Automatically Generating Mocks from Tests -- Counterexample-Guided Partial Bounding for Recursive Function Synthesis -- PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs -- Adapting Behaviors via Reactive Synthesis -- Causality-based Game Solving.…”
Link to Metadata

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

Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata

Musik Sebagai Media Gerakan Sosial Baru(Studi Kualitatif Deskriptif dengan Menggunakan Teori Interaksionisme Simboliktentang Grup Musik Merah Bercerita) by TAMIMI, REZA ULVA, , Fajar Junaedi, S.Sos. M.Si

Connect to this object online

INTERAKSI SIMBOLIK PADA ORGANISASI PERSIT KARTIKA CHANDRA KIRANA CABANG XVI BATALYON ARHANUD 13 by Hesty Fazar Afriani,

Link Metadata

Symbology development for hazard communication in Thailand by Pornteera Imsuwansakorn

Get full text

A Study on the motifs of Sasak Songket weaving cloths in Lombok, Indonesia / Lalu Rizkyan Hakiky, Arba'iyah Ab. Aziz and Mohamad Kamal Abd. Aziz by Hakiky, Lalu Rizkyan, Ab. Aziz, Arba'iyah, Abd. Aziz, Mohamad Kamal

Link Metadata

SIMBOL DAN MAKNA TARI BEDAYA PAKUNGWATI DI KERATON KASEPUHAN CIREBON by Maysarah, -

Link Metadata

MEMAHAMI PENGALAMAN KOMUNIKASI GAMERS: Studi Fenomenologi pada Pecandu Game Online di Indonesia by Alfaro Andre Elia,

Link Metadata

ANALISIS REPRESENTASI SISWA TERHADAP KONSTRUK PECAHAN SEBAGAI BILANGAN RASIONAL by Putri Astuti, -

Link Metadata

Satanism and Anti-Christianity in Black Metal (Semiotics on a Live Concert Video of Black Metal Band Gorgoroth, in Black Mass Event at Krakow, Poland 2004) by Setiawan, Muhammad Ferri, , Rinasari Kusuma, M.I.Kom, , Fajar Junaedi, S.Sos.,M.Si

Connect to this object online

Exploring the computer algebra system as a tool in learning the fundamental of column buckling behavior for civil engineering students / S.F.Senin, R.Rohim and A.Yusuff by Senin, S.F, Rohim, R., Yusuff, A.

Link Metadata