Search Results - Optus~

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges /

Table of Contents: “…Supporting cross-domain system-level environmental and earth science -- ICT infrastructure for environmental and earth sciences -- Common challenges and requirements -- ENVRI reference model -- Reference model guided engineering -- Semantic and knowledge engineering using ENVRI RM -- Data curation and preservation -- Data cataloguing -- Data identification and citation -- Data processing -- Virtual infrastructure optimization -- Data provenance -- Metadata, semantic linking -- Authentication, Authorization, and Accounting -- Virtual research environment -- Case study: e.g., data subscriptions using elastic Cloud service -- Case study: e.g., D4Science: a VRE solution for RI -- Case study: LifeWatch -- Sustainability -- Future challenges.…”
Link to Metadata

Hope across cultures Lessons from the International Hope Barometer /

Table of Contents: “…Hope, Mental Health and Future Scenarios in Czech Republic and Poland -- Chapter 9: The hopes and dreams of Maltese University Students -- Chapter 10: Hope Orientation of Students in Muslim Majority Societies -- Chapter 11. Hope vs. Optimism.…”
Link to Metadata

Fundamentals of Infrastructure Management by Coffelt, Donald, Hendrickson, Chris

Table of Contents: “…Chapter 1: Introduction to Infrastructure -- Chapter 2: Asset Management Process -- Chapter 3: Inventory, Inspection and Condition Assessment -- Chapter 4: Deterioration Modeling -- Chapter 5: Optimization and Decision Making -- Chapter 6: Performance, Usage, Budget and Cost Functions -- Chapter 7: Interdependence, Resiliency and Security -- Chapter 8: Contract and Workflow Management -- Chapter 9: Commissioning New Facilities -- Chapter 10: Benchmarking and Best Practices -- Chapter 11: Roadway Infrastructure -- Chapter 12: Building Infrastructure -- Chapter 13: Water Infrastructure -- Chapter 14: Telecommunications Infrastructure -- Chapter 15: Electricity Power Generation, Transmission and Distribution Infrastructure -- Chapter 16: Bases, Campuses, Parks and Port Infrastructure --…”
Access online version

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

Unsettling Responsibility in Science Education Indigenous Science, Deconstruction, and the Multicultural Science Education Debate / by Higgins, Marc

Table of Contents: “…Mirrors, Prisms, and Diffraction Gratings: Placing the Optics of the Critical Gaze in Science Education Under Erasure (After the Critique of Critique) -- 5. …”
Link to Metadata

Geostatistics Toronto 2021 Quantitative Geology and Geostatistics /

Table of Contents: “…A Geostatistical Heterogeneity Metric For Spatial Feature Engineering -- Iterative Gaussianisation For Multivariate Transformation -- Comparing And Detecting Stationarity And Dataset Shift -- Simulation Of Stationary Gaussian Random Fields With A Gneiting Spatio-Temporal Covariance -- Spectral Simulation Of Gaussian Vector Random Fields On The Sphere -- Geometric And Geostatistical Modeling Of Point Bars -- Application Of Reinforcement Learning For Well Location Optimization -- Compression-Based Modelling Honouring Facies Connectivity In Diverse Geological Systems -- Spatial Uncertainty In Pore Pressure Models At The Brazilian Continental Margin -- The Suitability Of Different Training Images For Producing Low Connectivity, High Net:Gross Pixel-Based Mps Models -- Probabilistic Integration Of Geomechanical And Geostatistical Inferences For Mapping Natural Fracture Networks.…”
Link to Metadata

High Performance Computing by Severance, Charles, Dowd, Kevin

Table of Contents: “…Programming and Tuning Software -- 2.1 What a Compiler Does -- 2.2 Timing and Profiling -- 2.3 Eliminating Clutter -- 2.4 Loop Optimizations -- 3. Shared-Memory Parallel Processors -- 3.1 Understanding Parallelism -- 3.2 Shared-Memory Multiprocessors -- 3.3 Programming Shared-Memory Multiprocessors -- 4. …”
Access online version

Quantitative Models in Life Science Business From Value Creation to Business Processes /

Table of Contents: “…Multi-Echelon Inventory Optimization Using Deep Reinforcement Learning -- Part III. …”
Link to Metadata

Digital Humanism For a Humane Transformation of Democracy, Economy and Culture in the Digital Age / by Nida-Rümelin, Julian, Weidenfeld, Nathalie

Table of Contents: “…The World as the Perfect Machine Universe -- 6. Digital Optimization, Utilitarianism and AI -- 7. Economic Rationality as a Software Program -- 8. …”
Link to Metadata

Yet Another Calculus Text by Sloughter, Dan

Table of Contents: “…1 Derivatives -- 1.1 The arrow paradox -- 1.2 Rates of change -- 1.3 The hyperreals -- 1.4 Continuous functions -- 1.5 Properties of continuous functions -- 1.6 The derivative -- 1.7 Properties of derivatives -- 1.8 A geometric interpretation of the derivative -- 1.9 Increasing, decreasing, and local extrema -- 1.10 Optimization -- 1.11 Implicit differentiation and rates of change -- 1.12 Higher-order derivatives -- 2 Integrals -- 2.1 Integrals -- 2.2 Definite integrals -- 2.3 Properties of definite integrals -- 2.4 The fundamental theorem of integrals -- 2.5 Applications of definite integrals -- 2.6 Some techniques for evaluating integrals -- 2.7 The exponential and logarithm functions -- Answers to ExercisesIndex…”
Access online version

An Introduction to Nutrition

Table of Contents: “…Chapter 1: Nutrition and You -- Chapter 2: Achieving a Healthy Diet -- Chapter 3: Nutrition and the Human Body -- Chapter 4: Carbohydrates -- Chapter 5: Lipids -- Chapter 6: Proteins -- Chapter 7: Nutrients Important to Fluid and Electrolyte Balance -- Chapter 8: Nutrients Important As Antioxidants -- Chapter 9: Nutrients Important for Bone Health -- Chapter 10: Nutrients Important for Metabolism and Blood Function -- Chapter 11: Energy Balance and Body Weight -- Chapter 12: Nutrition through the Life Cycle: From Pregnancy to the Toddler Years -- Chapter 13: Nutrition through the Life Cycle: From Childhood to the Elderly Years -- Chapter 14: Nutrition and Society: Food Politics and Perspectives -- Chapter 15: Achieving Optimal Health: Wellness and Nutrition -- Chapter 16: Appendix A…”
Access online version

Communication Climate at Work Fostering Friendly Friction in Organisations / by Kvalnes, Øyvind

Table of Contents: “…Blind Spots -- 6.Help -- Part Two -- 7.Friendly Friction -- 8.Tolerance for False Alarms -- 9.Psychological Safety -- 10.Scope for Agency -- 11.Pushing Plus Buttons -- Part Three -- 12.Communication Ethics -- 13.Countering Moral Neutralization -- 14.Whistleblowing -- 15. …”
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: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

Energy-Efficient and Semi-automated Truck Platooning Research and Evaluation /

Table of Contents: “…Part I: Introduction & Research Approach -- Research Need: An Overview on Project "Connecting Austria" -- Platooning Around the World -- Research Design & Evaluation Strategies -- Truck Platooning Requirements Analysis -- Part II: Methodology -- Computation Fluid Dynamics Assessment of Truck Platoons -- Simulation of Platoon Dynamics, Optimization & Traffic Effects -- Platoon Control Concepts -- Part III: Simulations, Tests and Demonstrations -- ZalaZone -- Scenario-Based Simulation Studies on Platooning Effects in Traffic -- Fuel Efficiency -- Traffic Measurement for the Intersection Case in Hallein, Austria -- Part IV: Analysis of Results -- Requirements for Truck Platooning from a Road Safety Perspective -- Energy, Fuel & Traffic Efficiency of Platooning -- Business Models, Economy & Innovation -- Truck Drives -- How Platooning Research Enhances the European Innovation System - Even Without Electronically-Coupled Trucks on the Road -- Discussion.…”
Link to Metadata

Law of Wills by Lewis, Browne C.

Table of Contents: “…Part I – The Intestacy System -- Chapter One: Ethically Representing the Elderly Client -- Chapter Two: Intestacy System (Basic Overview) -- Chapter Three: Intestacy System (Surviving Spouse) -- Chapter Four: The Intestacy System (Marital and Adopted Children) -- Chapter Five: Intestacy (Non-Marital Children, Stepchildren and Foster Children) -- Chapter Six: Intestacy (Children of Assisted Reproductive Technology) -- Part II —The Testacy System -- Chapter Seven: Testamentary Freedom -- Chapter Eight: Disinheritance -- Chapter Nine: Testamentary Capacity (Mental Competency and Insane Delusion) -- Chapter Ten: Testamentary Capacity (Undue Influence, Duress and Fraud) -- Chapter Eleven: Attested Wills -- Chapter Twelve: Non-Attested Wills -- Chapter Thirteen: Additional Doctrines Impacting Wills -- Chapter Fourteen: Mistakes and Curative Doctrines -- Chapter Fifteen: The Stale Will Problem -- Part III — Nonprobate Transfers -- Chapter Sixteen: Will Substitutes…”
Access online version

Access to Medicines and Vaccines Implementing Flexibilities Under Intellectual Property Law /

Table of Contents: “…Cooperation and Work Sharing between Patent Offices -- IPRs, Competition Law and excessive pricing of medicines -- The impact of TRIPS plus rules -- Patent Linkages and its Impact on Access to Medicines.…”
Link to Metadata

Re-Inventing Africa's Development Linking Africa to the Korean Development Model / by Park, Jong-Dae

Table of Contents: “…Finding the Missing Links -- 6. Reasons for Optimism and the Tasks at Hand -- Part 4: Understanding Korean Development Model and Policies -- 7. …”
Link to Metadata

Built on Value The Huawei Philosophy of Finance Management / by Huang, Weiwei

Table of Contents: “…Project Financial Management -- 10. Optimizing the Management Control System for Responsibility Centers -- 11. …”
Link to Metadata

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

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata