Search Results - Želary~

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

Table of Contents: “…Automata and Timed Systems -- Symbolic Register Automata -- Abstraction Refinement Algorithms for Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and co-safety comparator automata for discounted-sum inclusion -- Clock Bound Repair for Timed Systems -- Verifying Asynchronous Interactions via Communicating Session Automata -- Security and Hyperproperties -- Verifying Hyperliveness -- Quantitative Mitigation of Timing Side Channels -- Property Directed Self Composition -- Security-Aware Synthesis Using Delayed-Action Games -- Automated Hypersafety Verification -- Automated Synthesis of Secure Platform Mappings -- Synthesis -- Synthesizing Approximate Implementations for Unrealizable Specifications -- Quantified Invariants via Syntax-Guided Synthesis -- Efficient Synthesis with Probabilistic Constraints -- Membership-based Synthesis of Linear Hybrid Automata -- Overfitting in Synthesis: Theory and Practice -- Proving Unrealizability for Syntax-Guided Synthesis -- Model Checking -- BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings -- When Human Intuition Fails: Using Formal Methods to Find an Error in the "Proof" of a Multi-Agent Protocol -- Extending NUXMV with Timed Transition Systems and Timed Temporal Properties -- Cerberus-BMC: a Principled Reference Semantics and Exploration Tool for Concurrent and Sequential C -- Cyber-physical Systems and Machine Learning -- Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification -- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems -- VerifAI: A Toolkit for the Formal Design and Analysis of Artificial Intelligence-Based Systems -- The Marabou Framework for Verification and Analysis of Deep Neural Networks -- Probabilistic Systems, Runtime Techniques -- Probabilistic Bisimulation for Parameterized Systems -- Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks -- PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data -- STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis -- Dynamical, Hybrid, and Reactive Systems -- Local and Compositional Reasoning For Optimized Reactive Systems -- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach -- Flexible Computational Pipelines for Robust Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization for Learned Controllers through Quantitative Games -- Taming Delays in Dynamical Systems: Unbounded Verification of Delay Differential Equations.…”
Link to Metadata

Writing Programs Worldwide Profiles of Academic Writing in Many Places by Thaiss, Chris, Bräuer, Gerd, Carlino, Paula, Ganobcsik-Williams, Lisa, Sinha, Aparna

Access online version

Atividades físicas e os desafios da pandemia by Felipe Aidar, Dihogo Matos

Connect to this object online.

Fostering Communities of Transformation in STEM Higher Education A Multi-institutional Collection of DEI Initiatives by Briganti, Jonathan S., Sible, Jill C., Brown, Anne M.

Table of Contents: “…Preparing STEM Teachers to Be Change Makers -- Resequencing the Chemistry Curriculum to Retain Chemistry Majors -- Delayed Enrollment in General Chemistry Recitation -- Assessing Changes in Student Engagement Using a Mixed-Methods Approach -- Development and Assessment of a Four-Week Summer Research Experience for Undergraduates -- Creating Impactful Moments -- Community, Curriculum, and CUREs -- We’re All in This Together -- VIGNETTE: Reflecting on the Impact of Engelpalooza -- Teaching to Make Math Resonate -- Strategies for Creating and Sustaining Inclusive Makerspaces -- Creating a Space in the Curriculum for Effective Mentoring to Foster Student Connections and Agency -- Gunpowder Code Club -- Using Departmental Book Clubs to Bridge the Faculty-Staff-Student Gap -- Institutionally Advancing Inclusive Excellence -- From the Soul…”
Access online version

Plasma and Peritoneal Fluid Annexin A2 Levels in Patients with Endometriosis by Zygarowicz M, Kacperczyk-Bartnik J, Sierdzinski J, Wojtyla C, Pierzynski P, Manka G, Kiecka M, Spaczynski RZ, Piekarski P, Banaszewska B, Jakimiuk A, Issat T, Rokita W, Mlodawski J, Szubert M, Sieroszewski P, Raba G, Szczupak K, Kluz T, Kluza M, Lipa M, Warzecha D, Wielgos M, Koc-Zorawska E, Zorawski M, Laudanski P

Connect to this object online.

Security of Ubiquitous Computing Systems Selected Topics /

Table of Contents: “…Part I: Introduction -- Emerging Security Challenges for Ubiquitous Devices -- Part II: Lightweight Cryptographic Primitives -- Catalog and Illustrative Examples of Lightweight Cryptographic Primitives -- Selected Design and Analysis Techniques in Contemporary Symmetric Encryption -- An Account of the ISO/IEC Standardization of the Simon and Speck Block Cipher Families -- Part III: Authentication Protocols -- ePassport and eID Technologies -- Ultra-lightweight Authentication -- From Relay Attacks to Distance-Bounding Protocols -- Part IV: Hardware Implementation and Systems -- It Started With Templates: The Future of Profiling in Side-Channel Analysis -- Side Channel Attack Assessment Platforms and Tools for Ubiquitous Systems -- Challenges in Certifying Small-scale (IoT) Hardware Random Number Generators -- Finding Software Bugs in Embedded Devices -- Part V: Privacy and Forensics -- Privacy-Oriented Analysis of Ubiquitous Computing Systems: A 5-D Approach -- IoT Forensics.…”
Link to Metadata

Embedded Controllers Using C and Arduino by Fiore, James M.

Table of Contents: “…Course Introduction -- C Memory Organization -- C Language Basics -- C Language Basics II -- C Storage Types and Scope -- C Arrays and Strings -- C Conditionals and Looping -- C Pointers -- C Look-Up Tables -- C Structures -- C Linked Lists -- C Memory -- C File I/O -- C Command Line Arguments -- Embedded Programming -- Hardware Architecture -- AVR ATmega 328P Overview -- Bits & Pieces: includes and defines -- Bits & Pieces: Digital Input Circuitry -- Bits & Pieces: Digital Input Circuitry -- Bits & Pieces: pinMode -- Bits & Pieces: digitalWrite -- Bits & Pieces: delay -- Bits & Pieces: digitalRead -- Bits & Pieces: Analog Input Circuitry -- Bits & Pieces: analogRead -- Bits & Pieces: analogWrite -- Bits & Pieces: Timer/Counters -- Bits & Pieces: Interrupts…”
Access online version

Manifesto de Curitiba: pela Prevenção Quaternária e por uma Medicina sem conflitos de interesse by André Luiz da Silva, Derelie Mangin, Miguel Pizzanelli, Marc Jamoulle, Hamilton Lima Wagner, Dijon Hosana Souza Silva, Rodrigo Luciano Bandeira de Lima, Sandro Rodrigues Batista, Juliana Oliveira Soares, Ana Duboc Rochadel, Raquel Vaz Cardoso, Eno Dias de Castro Filho, Luciano Nunes Duro, Tarso Teixeira, Guilherme Ramos Sens, Waldomiro Reis Júnior

Connect to this object online.

قائمة مختارة من الكتب حول التصوف by مكتب المعهد في الأردن

Connect to this object online.

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

Table of Contents: “…Invited Papers -- NNrepair: Constraint-based Repair of Neural Network Classifiers -- Balancing automation and control for formal verification of microprocessors -- Algebraic Program Analysis -- Programmable Program Synthesis -- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities -- AI Verification -- DNNV: A Framework for Deep Neural Network Verification -- Robustness Verification of Quantum Classifiers -- BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks -- Automated Safety Verification of Programs Invoking Neural Networks -- Scalable Polyhedral Verification of Recurrent Neural Networks -- Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning -- Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability -- PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier -- Concurrency and Blockchain -- Isla: Integrating full-scale ISA semantics andaxiomatic concurrency models -- Summing Up Smart Transitions -- Stateless Model Checking under a Reads-Value-From Equivalence -- Gobra: Modular Specification and Verification of Go Programs -- Delay-Bounded Scheduling Without Delay! -- 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

A Multidisciplinary Approach to Capability in Age and Ageing

Table of Contents: “…Organisational capability for delayed retirement -- Chapter 17. Capability and political participation among ageing populations.…”
Link to Metadata

Akademickie Związki Sportowe jako droga do rozwoju aktywności sportowej wśród studentów śląskich uczelni = University Sports Association as the way to sport activity develop... by Anna Mędrak, Michał Rżany, Barbara Otremba, Elwira Brodowska, Magdalena Szynal, Magdalena Alcer, Anna Górecka, Tomasz Stefaniak, Krzysztof Suszyński, Dariusz Górka

Connect to this object online.

Akademickie Związki Sportowe jako droga do rozwoju aktywności sportowej wśród studentów śląskich uczelni = University Sports Association as the way to sport activity develop... by Anna Mędrak, Michał Rżany, Barbara Otremba, Elwira Brodowska, Magdalena Szynal, Magdalena Alcer, Anna Górecka, Tomasz Stefaniak, Krzysztof Suszyński, Dariusz Górka

Connect to this object online.

Cancer Care in Pandemic Times: Building Inclusive Local Health Security in Africa and India

Table of Contents: “…Part 1 cancer in pandemic times -- Chapter 1 - the cancer care challenge in the light of pandemic experience -- Chapter 2 - broken supply chains and local manufacturing innovation: responses to covid-19 and their implications for policy -- Part 2 the cancer care experience in east Africa -- Chapter 3 - the social pain of cancer in east africa: understanding need -- Chapter 4: access to cancer care: navigating the maze -- Chapter 5 - beyond 'late presentation': explaining delayed cancer diagnosis in east Africa -- Part 3 local industry and cancer care in india and east Africa -- Chapter 6 - cupboard full, cupboard empty: the industrial building blocks of covid-19 and cancer systems -- Chapter 7- manufacturing for cancer care in east africa: raising the ambition -- Chapter 8 - oncology drug production in sub-saharan africa: the challenge and opportunity, with evidence from india -- Part 4 - industrial innovation and industrial policy -- Chapter 9- emerging business models in cancer diagnostic startups in india and lessons for african countries -- Chapter 10 - realistic ambitions: technology transfer for biologics platform technologies -- Chapter 11 - palliation economics: the industrial organization of morphine in india -- Part 5 - tackling institutional gaps: using scenarios -- Chapter 12 innovation and policy in cancer pain management: systemic interactions in Tanzania -- Chapter 13 - using scenarios to support innovation and mutual linkages -- Chapter 14- conclusion: better cancer care and greater local health security: lessons, opportunities and ways forward.…”
Link to Metadata

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

Table of Contents: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

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

Urinary Stents Current State and Future Perspectives /

Table of Contents: “…. -- Ch 6: Strategies to improve the quality of life of stented patients -- Ch 7: Use of drugs to reduce the morbidity of ureteral stents -- Ch 8: Ureteral stent designs to reduce stent-related symptoms and improve patient quality of life -- Ch 9: Encrustation in urinary stents -- Ch 10: Forgotten ureteral stent syndrome -- Ch 11: Endourological management of encrusted ureteral stents -- Ch 12: Pediatric Ureteral Stents -- Ch 13: Flow dynamics in stented ureter -- Ch 14: Methodology for the development and validation of new stent designs: in vitro and in vivo models -- Ch 15: Methodology on clinical evaluation of urinary stents -- Ch 16: A Dynamically Degradable Surface: Can We 'Fool' Bacteria to Delay Biofouling in Urinary Stents? -- Ch 17: Biomaterials for ureteral stents: advances and future perspectives -- Ch 18: Coatings for urinary stents:current state and future directions -- Ch 19: Bacterial adhesion and biofilm formation: hydrodynamics effects -- Ch 20: Biomaterial-associated infection: pathogenesis and prevention -- Ch 21: Antibiotic-free solutions for the development of biofilm prevention coatings -- Ch 22: Plasma Based Approaches for Deposition And Grafting Of Antimicrobial Agents To Polymer Surfaces -- Ch 23: Antimicrobial biosurfactants towards the inhibition of biofilm formation -- Ch 24: Novel antimicrobial strategies to combat biomaterial infections -- Ch 25: Light-activated polymer nanocomposites doped with a new type of carbon quantum dots for antibacterial applications -- Ch 26: Nanoparticles. …”
Link to Metadata

Low-Dose Radiation Effects on Animals and Ecosystems Long-Term Study on the Fukushima Nuclear Accident /

Table of Contents: “…Radioactive Cesium Contamination of Arthropods and Earthworms after the FNPP accident -- 5. Delayed Recovery from Declines in the Population Densities and Species Richness of Intertidal Invertebrates near the Fukushima Daiichi Nuclear Power Plant -- 6. …”
Link to Metadata

Beyond 100: The Next Century in Geodesy Proceedings of the IAG General Assembly, Montreal, Canada, July 8-18, 2019 /

Table of Contents: “…-- Tracking Hurricanes using GPS atmospheric precipitable water vapor field -- Continuous monitoring with a superconducting gravimeter as a proxy for water storage changes in a mountain catchment -- Least-Squares Spectral and Coherency Analysis of the Zenith Total Delay Time Series at SuomiNet Station SA56 (UNB2).…”
Link to Metadata

Pengurusan perubahan menurut perspektif Islam / Zulkifli Dahalan and Wahairi Mahmud by Dahalan, Zulkifli, Mahmud, Wahairi

Link Metadata