Search Results - Optus~

Informal Calculus with Applications to Biological and Environmental Sciences by Seacrest, Tyler

Table of Contents: “…Algebra Tips and Tricks: Part I -- Algebra Tips and Tricks Part I (Combining Terms, Distributing, Functions, Graphing) -- Homework for Algebra Tips and Tricks: Part I -- Derivative Introduction -- Ball Toss Project -- Position to Velocity -- Homework: Position to Velocity -- Algebra Tips and Tricks Part II (Piecewise Defined Functions) -- Limits -- Homework: Limits -- Algebra Tips and Tricks Part III (Factoring) -- Algebraic Limits -- Homework: Algebraic Limits -- Instantaneous Velocity -- Homework: Instantaneous Velocity -- Algebra Tips and Tricks IV (Tips for dealing with fractions) -- Definition of Derivative Examples -- Project: Hard Definition of Derivative Problems -- Homework: Examples of the Definition of the Derivative -- Project: Killdeer Migration Speed -- Rules for Derivatives -- Algebra Tips and Tricks Part V (Exponents) -- Power Rule -- Homework: Power Rule -- Algebra Tips and Tricks Part VI (Logarithms) -- Exponentials, Logarithms, and Trig Functions -- Homework: Exponents, Logs, Trig Functions -- Product Rule -- Homework: Product Rule -- Quotient Rule -- Homework: Quotient Rule -- Chain Rule -- Homework: Chain Rule -- Multirule Derivatives -- Homework: Multirule Derivatives -- Anti-derivatives -- Homework: Anti-derivatives -- More Derivative Intuition -- Derivatives and Graphs -- Homework: Derivative Graphs -- Second Derivatives and Interpreting the Derivative -- Homework: Second Derivatives and Interpreting the Derivative -- Optimization -- Homework: Optimization -- Derivatives in Space -- Homework: Derivatives in Space -- Differential Equations -- Recurrance Relations -- Homework: Recurrence Relations -- Introduction to Differential Equations -- Homework: Introduction to Differential Equations -- Understanding Differential Equations -- Homework: Understanding Differential Equations -- Initial Value Problems -- Homework: Initial Value Problems -- Growth and Decay -- Homework: Growth and Decay -- Exploring Graphs of Differential Equations -- Project: Modelling with Differential Equations -- Intuition for Integration -- Introduction to Integrals -- Numeric Integration Techniques -- Homework: Numeric Integration Techniques -- Fundamental Theorem of Calculus -- Homework: The Fundamental Theorem of Calculus -- Project: Measuring Streamflow -- Project: Quake Lake -- Rules for Integration -- Power, exponential, trig, and logarithm rules -- Homework: Power, exponential, trig, and logarithmic rules -- u-substitution -- Homework: u-substitution -- Integral Applications -- Homework: Integral Applications -- Integration by Parts -- Homework: Integration by Parts -- Acknowledgements…”
Access online version

Light and Matter by Crowell, Benjamin

Table of Contents: “…0 Introduction and review -- 1 Scaling and estimation -- 2 Velocity and relative motion -- 3 Acceleration and free fall -- 4 Force and motion -- 5 Analysis of forces -- 6 Newton's laws in three dimensions -- 7 Vectors -- 8 Vectors and motion -- 9 Circular motion -- 10 Gravity -- 11 Conservation of energy -- 12 Simplifying the energy zoo -- 13 Work: the transfer of mechanical energy -- 14 Conservation of momentum -- 15 Conservation of angular momentum -- 16 Thermodynamics -- 17 Vibrations -- 18 Resonance -- 19 Free waves -- 20 Bounded waves -- 21 Electricity and circuits -- 22 The nonmechanical universe -- 23 Relativity and magnetism -- 24 Electromagnetism -- 25 Capacitance and inductance -- 26 The atom and E=mc$^2$ -- 27 General relativity -- 28 The ray model of light -- 29 Images by reflection -- 30 Images, quantitatively -- 31 Refraction -- 32 Wave optics -- 33 Rules of randomness -- 34 Light as a particle -- 35 Matter as a wave -- 36 The atom…”
Access online version

Introduction to Biosystems Engineering

Table of Contents: “…Energy Systems -- Bioenergy Conversion Systems -- Biogas Energy from Organic Wastes -- Biodiesel from Oils and Fats -- Baling Biomass: Densification and Energy Requirements -- Information Technology, Sensors, and Control Systems -- Basic Microcontroller Use for Measurement and Control -- Visible and Near Infrared Optical Spectroscopic Sensors for Biosystems Engineering -- Data Processing in Biosystems Engineering -- Machinery Systems -- Traction -- Crop Establishment and Protection -- Grain Harvest and Handling -- Mechatronics and Intelligent Systems in Agricultural Machinery -- Natural Resources and Environmental Systems -- Water Budgets for Sustainable Water Management -- Water Quality as a Driver of Ecological System Health -- Quantifying and Managing Soil Erosion on Cropland -- Anaerobic Digestion of Agri-Food By-Products -- Measurement of Gaseous Emissions from Animal Housing -- Plant, Animal, and Facility Systems -- Plant Production in Controlled Environments -- Building Design for Energy Efficient Livestock Housing -- Processing Systems -- Freezing of Food -- Principles of Thermal Processing of Packaged Foods -- Deep Fat Frying of Food -- Irradiation of Food -- Packaging…”
Access online version

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

Script Effects as the Hidden Drive of the Mind, Cognition, and Culture by Pae, Hye K.

Table of Contents: “…THE DIGITAL ERA AND READING -- The New Trend: The Word Plus the Image -- The Impact of Digital Text -- Conclusion: Convergence or Divergence between the East and the West? …”
Link to Metadata

Grammaire Ouverte by Law, James

Table of Contents: “…Avant-propos -- Noms et pronoms -- Les noms -- Les pronoms personnels -- Les pronoms démonstratifs -- Les pronoms relatifs -- les pronoms idéfinis -- Modifcateurs -- Les déterminants -- Les quantifieurs -- Les adjectifs -- Les adverbes -- Les comparatif et le superlatif -- Les prépositions -- Verbes -- Les verbes -- Les verbes réfléchis -- L'indicatif -- Le présent -- Le passé composé -- L'imparfait -- Le plus-que-parfait -- Le futur -- Le conditionnel -- Le subjonctif -- L'impératif -- Les participes -- L'infinitif -- Les temps littéraires -- Transformations -- Les conjonctions -- Le négation -- L'interrogation -- Le discours rapporté…”
Access online version

Recent Advances in Industrial and Applied Mathematics

Table of Contents: “…Leng et al., An iterative thresholding method for topology optimization for the Navier-Stokes flow -- 11 K. Sako, Cryptography and Digital Transformation -- 12 H. …”
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: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
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

Handbook of Life Course Health Development

Table of Contents: “…From Epidemiology to Epigenetics: Evidence for the Importance of Nutrition to Optimal Health-Development across the Life Course -- Chapter 19. …”
Link to Metadata

Make Life Visible

Table of Contents: “…Photoacoustic Tomography: Deep Tissue Imaging by Ultrasonically Beating Optical Diffusion -- Chapter 2. Regulatory Mechanism of Neural Stem Cells Revealed by Optical Manipulation of Gene Expressions -- Chapter 3. …”
Link to Metadata

Model and Mathematics: From the 19th to the 21st Century

Table of Contents: “…Introduction -- Knowing by Drawing: Geometric Material Models in 19th Century France -- Wilhelm Fiedler and his Models-the Polytechnic Side -- Models from the Nineteenth Century Used for Visualizing Optical Phenomena and Line Geometry -- Modeling Parallel Transport -- The great yogurt project: models and symmetry principles in early particle physics -- Interview with Myfanwy Evans: Entanglements on and Models of Periodic Minimal Surfaces -- The dialectics archetypes / types (universal categorical constructions / concrete models) in the work of Alexander Grothendieck -- 'Analogies,' 'Interpretations,' 'Images,' 'Systems' and 'Models': Some Remarks on the History of Abstract Representation in the Sciences since the Nineteenth Century -- Mappings, Models, Abstraction, and Imaging: Mathematical Contributions to Modern Thinking circa 1900 -- Thinking with Notations: Epistemic Actions and Epistemic Activities in Mathematical Practice -- Matrices - Compensating the Loss of Anschauung -- Interview with Anja Sattelmacher: Between Viewing and Touching - Models and Their Materiality -- Interview with Ulf Hashagen: Exhibitions and Mathematical Models in the 19th and 20th Centuries -- Interview with Andreas Daniel Matt: Real-Time Mathematics.…”
Link to Metadata

YOUMARES 8 - Oceans Across Boundaries: Learning from each other Proceedings of the 2017 conference for YOUng MARine RESearchers in Kiel, Germany /

Table of Contents: “…The Physical System of the Arctic Ocean and Subarctic Seas in a Changing Climate -- 4. Marine Optics and Ocean Color Remote Sensing -- 5. Phytoplankton Responses to Marine Climate Change - An Introduction -- 6. …”
Link to Metadata

Thyroid Surgery

Table of Contents: “…Part V: Prevention of perioperative complications. Optical magnification in thyroid surgery -- Laringeal Nerves Monitoring -- Autotransplantation of parathyroid glands.…”
Link to Metadata

Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings /

Table of Contents: “…Multivariate Time Series as Images: Imputation Using Convolutional Denoising Autoencoder -- Dual Sequential Variational Autoencoders for Fraud Detection -- A Principled Approach to Analyze Expressiveness and Accuracy of Graph Neural Networks -- Efficient Batch-Incremental Classification Using UMAP for Evolving Data Streams -- GraphMDL: Graph Pattern Selection Based on Minimum Description Length -- Towards Content Sensitivity Analysis -- Gibbs Sampling Subjectively Interesting Tiles -- Even Faster Exact k-Means Clustering -- Ising-Based Consensus Clustering on Special Purpose Hardware -- Transfer Learning by Learning Projections from Target to Source -- Computing Vertex-Vertex Dissimilarities Using Random Trees: Application to Clustering in Graphs -- Towards Evaluation of CNN Performance in Semantically Meaningful Latent Spaces -- Vouw: Geometric Pattern Mining Using the MDL Principle -- A Consensus Approach to Improve NMF Document Clustering -- Discriminative Bias for Learning Probabilistic Sentential Decision Diagrams -- Widening for MDL-Based Retail Signature Discovery -- Addressing the Resolution Limit and the Field of View Limit in Community Mining -- Estimating Uncertainty in Deep Learning for Reporting Confidence: An Application on Cell Type Prediction in Testes Based on Proteomics -- Adversarial Attacks Hidden in Plain Sight -- Enriched Weisfeiler-Lehman Kernel for Improved Graph Clustering of Source Code -- Overlapping Hierarchical Clustering (OHC) -- Digital Footprints of International Migration on Twitter -- Percolation-Based Detection of Anomalous Subgraphs in Complex Networks -- A Late-Fusion Approach to Community Detection in Attributed Networks -- Reconciling Predictions in the Regression Setting: an Application to Bus Travel Time Prediction -- A Distribution Dependent and Independent Complexity Analysis of Manifold Regularization -- Actionable Subgroup Discovery and Urban Farm Optimization -- AVATAR - Machine Learning Pipeline Evaluation Using Surrogate Model -- Detection ofDerivative Discontinuities in Observational Data -- Improving Prediction with Causal Probabilistic Variables -- DO-U-Net for Segmentation and Counting -- Enhanced Word Embeddings for Anorexia Nervosa Detection on Social Media -- Event Recognition Based on Classification of Generated Image Captions -- Human-to-AI Coach: Improving Human Inputs to AI Systems -- Aleatoric and Epistemic Uncertainty with Random Forests -- Master your Metrics with Calibration -- Supervised Phrase-Boundary Embeddings -- Predicting Remaining Useful Life with Similarity-Based Priors -- Orometric Methods in Bounded Metric Data -- Interpretable Neuron Structuring with Graph Spectral Regularization -- Comparing the Preservation of Network Properties by Graph Embeddings -- Making Learners (More) Monotone -- Combining Machine Learning and Simulation to a Hybrid Modelling Approach -- LiBRe: Label-Wise Selection of Base Learners in Binary Relevance for Multi-Label Classification -- Angle-Based Crowding Degree Estimation for Many-Objective Optimization.…”
Link to Metadata

The Future European Energy System Renewable Energy, Flexibility Options and Technological Progress /

Table of Contents: “…(Ulrich Reiter and Martin Jakob) -- Chapter 9 - A Techno-Economic Comparison of Demand Side Management with Other Flexibility Options (Theresa Ladwig) -- Part IV: Flexibility Options in the Electricity and Heating Sector -- Chapter 10 - Optimal Energy Portfolios in the Electricity Sector: Trade-offs and Interplay between Different Flexibility Options ( Steffi Schreiber, Christoph Zöphel and Dominik Möst ) -- Chapter 11 - Impact of Electricity Market Designs on Investments in Flexibility Options ( Christoph Fraunholz, Dogan Keles and Wolf Fichtner ) -- Chapter 12 - Optimal Energy Portfolios in the Heating Sector and the Flexibility Potential of Combined-Heat-Power Plants and District Heating Systems ( Maciej Raczyński, Artur Wyrwa, Marcin Pluta and Wojciech Suwała ) -- Part V : Analysis of the Environmental and Socio-Impacts beyond the Greenhouse Gas Emission Reduction Targets -- Chapter 13 - Unintended Environmental Impacts at Local and Global Scale - Trade-offs of a Low-carbon Electricity System (Maryegli Fuss and Lei Xu).…”
Link to Metadata

Good Research Practice in Non-Clinical Pharmacology and Biomedicine

Table of Contents: “…Learning from principles of evidence-based medicine to optimize nonclinical research practices -- 4. General Principles of Preclinical Study Design -- 5. …”
Link to Metadata

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: “…Concurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.…”
Link to Metadata

Large-Scale Cognitive Assessment Analyzing PIAAC Data /

Table of Contents: “…Analysing PIAAC Data with Structural Equation Modelling in Mplus (Ronny Scherer) -- 9. Using EdSurvey to Analyse PIAAC Data (Paul Bailey, Michael Lee, Trang Nguyen, Ting Zhang) -- Chapter 10. …”
Link to Metadata

Dependable Embedded Systems

Table of Contents: “…Introduction -- Design of efficient, dependable SoCs based on cross-layer-reliability approach with emphasis on wireless communication as application and DRAM memories -- CRAU: Compositional System-Level Reliability Analysis in the Presence of Uncertainties -- Semantics-aware Soft Error Handling for Embedded Systems using Compiler-OS Interaction -- ARES: Self-Adaptive Coarse-Grained Reconfigurable Architectures as Reliability Enhancers in Embedded Systems -- Cross-Layer Techniques for Dependable Software Execution on Embedded Systems -- Ambrosia: Cross-layer Modeling and Mitigation of Aging Effects in Embedded Systems -- Cross-Layer Dependability for Embedded Hardware/Software Systems -- Fault-Tolerant Computing with Heterogeneous Hardware/Software Hardening Modes -- Robust Computing for Machine Learning-Based Systems -- Hardening embedded system software -- LIFT: Lifting Device-Level Characteristics for Error Resilient System Level Design: A Crosslayer Approach -- VirTherm-3D: Communication Virtualization Enabling System Management for Dependable 3D MPSoCs -- OTERA: Online Test Strategies for Reliable Reconfigurable Architectures -- Variability-Aware Software: Recent Results and Contributions -- EM Lifetime Constrained Optimization for Multi-Segment Power Grid Networks -- Lightweight Software-Assisted Memory Error Correction -- Reliability-Driven Resource Management for Multi-Core Systems-on-Chip -- Monitor Circuits for Device-Circuit Interaction -- PERCIES: Providing Efficient Reliability in Critical Embedded Systems.…”
Link to Metadata