Search Results - Optus~

Calculus One by Holowinsky, Roman, Thiel, Johann, Lindberg, David

Table of Contents: “…0 Functions -- 1 Limits -- 2 Infinity and Continuity -- 3 Basics of Derivatives -- 4 Curve Sketching -- 5 The Product Rule and Quotient Rule -- 6 The Chain Rule -- 7 The Derivatives of Trigonometric Functions and their Inverses -- 8 Applications of Differentiation -- 9 Optimization -- 10 Linear Approximation -- 11 Antiderivatives -- 12 Integrals -- 13 The Fundamental Theorem of Calculus -- 14 Techniques of Integration -- 15 Applications of Integration…”
Access online version

Sublinear Computation Paradigm Algorithmic Revolution in the Big Data Era /

Table of Contents: “…-- Chapter 2: Property Testing on Graphs and Games -- Chapter 3: Constant-Time Algorithms for Continuous Optimization Problems -- Chapter 4: Oracle-based Primal-Dual Algorithms for Packing and Covering Semidefinite Programs -- Chapter 5: Almost Linear Time Algorithms for Some Problems on Dynamic Flow Networks -- Chapter 6: Sublinear Data Structure -- Chapter 7: Compression and Pattern Matching -- Chapter 8: Orthogonal Range Search Data Structures -- Chapter 9: Enhanced RAM Simulation in Succinct Space -- Chapter 10: Review of Sublinear Modeling in Markov Random Fields by Statistical-Mechanical Informatics and Statistical Machine Learning Theory -- Chapter 11: Empirical Bayes Method for Boltzmann Machines -- Chapter 12: Dynamical analysis of quantum annealing -- Chapter 13: Mean-field analysis of Sourlas codes with adiabatic reverse annealing -- Chapter 14: Rigidity theory for protein function analysis and structural accuracy validations -- Chapter 15: Optimization of Evacuating and Walking Home Routes from Osaka City with Big Road Network Data on Nankai Megathrust Earthquake -- Chapter 16: Stream-based Lossless Data Compression.…”
Link to Metadata

Water Resource Systems Planning and Management An Introduction to Methods, Models, and Applications / by Loucks, Daniel P., van Beek, Eelco

Table of Contents: “…Water Resources Planning and Management: An Overview -- Water Resource Systems Modeling: Its Role in Planning and Management -- Models for Identifying and Evaluating Alternatives -- An Introduction to Optimization Models and Methods -- Data-Fitting, Evolutionary and Qualitative Modeling -- An Introduction to Probability, Statistics and Uncertainty -- Modeling Uncertainty -- System Sensitivity and Uncertainty Analysis -- Performance Criteria -- Water Quality Modeling and Prediction -- River Basin Modeling -- Urban Water Systems -- Planning and Analysis Projects: Putting it All Together.…”
Link to Metadata

Direct Energy by Mitofsky, Andrea M.

Table of Contents: “…Pyroelectrics and Electro-Optics -- 4. Antennas -- 5. Hall Effect -- 6. Photovoltaics -- 7. …”
Access online version

Deep Neural Networks and Data for Automated Driving Robustness, Uncertainty Quantification, and Insights Towards Safety /

Table of Contents: “…Analysis and Comparison of Datasets by Leveraging Data Distributions in Latent Spaces -- Chapter 4. Optimized Data Synthesis for DNN Training and Validation by Sensor Artifact Simulation -- Chapter 5. …”
Link to Metadata

Elusive Phenomena, Unwieldy Things Historical Perspectives on Experimental Control /

Table of Contents: “…Controlling Induction: Practices and Reflections in Brewster's Optical Studies (Friedrich Steinle) -- Chapter 5. …”
Link to Metadata

Active Calculus Multivariable by Schlicker, Steve, Austin, David, Boelkins, Matthew

Table of Contents: “…Preface9 Multivariable and Vector Functions -- 9.1 Functions of Several Variables and Three Dimensional Space -- 9.2 Vectors -- 9.3 The Dot Product -- 9.4 The Cross Product -- 9.5 Lines and Planes in Space -- 9.6 Vector-Valued Functions -- 9.7 Derivatives and Integrals of Vector-Valued Functions9.8 Arc Length and Curvature -- 10 Derivatives of Multivariable Functions -- 10.1 Limits -- 10.2 First-Order Partial Derivatives -- 10.3 Second-Order Partial Derivatives -- 10.4 Linearization: Tangent Planes and Differentials -- 10.5 The Chain Rule -- 10.6 Directional Derivatives and the Gradient -- 10.7 Optimization -- 10.8 Constrained Optimization:Lagrange Multipliers -- 11 Multiple Integrals -- 11.1 Double Riemann Sums and Double Integrals over Rectangles -- 11.2 Iterated Integrals -- 11.3 Double Integrals over General Regions -- 11.4 Applications of Double Integrals -- 11.5 Double Integrals in Polar Coordinates -- 11.6 Surfaces Defined Parametrically and Surface Area -- 11.7 Triple Integrals -- 11.8 Triple Integrals in Cylindrical and Spherical Coordinates -- 11.9 Change of Variables…”
Access online version

Database Performance at Scale A Practical Guide / by Mendes, Felipe Cardeneti, Sarna, Piotr, Emelyanov, Pavel, Dunlop, Cynthia

Table of Contents: “…1: A Taste of What You're Up Against: Two Tales -- 2: Your Project, Through the Lens of Database Performance -- 3: Database Internals: Hardware and Operating System Interactions -- 4: Database Internals: Algorithmic Optimizations -- 5: Database Drivers -- 6: Getting Data Closer -- 7: Infrastructure and Deployment Model -- 8: Topology Considerations -- 9: Benchmarking -- 10: Monitoring -- 11: Administration -- Appendix: A Brief Look at Fundamental Database Design Decisions.…”
Link to Metadata

Electromagnetics by Ellingson, Steven W.

Table of Contents: “…Chapter 1: Preliminary Concepts -- Chapter 2: Magnetostatics Redux -- Chapter 3: Wave Propagation in General Media -- Chapter 4: Current Flow in Imperfect Conductors -- Chapter 5: Wave Reflection and Transmission -- Chapter 6: Waveguides -- Chapter 7: Transmission Lines Redux -- Chapter 8: Optical Fiber -- Chapter 9: Radiation -- Chapter 10: Antennas -- Appendix A: Constitutive Parameters of Some Common Materials -- Appendix B: Mathematical Formulas -- Appendix C: Physical Constants…”
Access online version

Intermediate Microeconomics with Microsoft Excel by Barreto, Humberto

Table of Contents: “…I Consumer Behavior -- 1 Budget Constraint -- 2 Satisfaction -- 3 Optimal Choice -- 4 Comparative Statics -- 5 Endowment Models -- 6 Bads -- 7 Search Theory -- 8 Behavioral Economics -- 9 Rational Addiction -- II The Firm -- 10 Production Function -- 11 Input Cost Minimization -- 12 Output Profit Maximization -- 13 Input Profit Maximization -- 14 Consistency -- 15 Monopoly -- 16 Game Theory -- III The Market System -- 17 Partial Equilibrium -- 18 General Equilibrium -- IV Conclusion…”
Access online version

Cultivar Development by Mumm, Rita H.

Table of Contents: “…About the PBEA Series -- Chapter 1: Plant Breeders Rise to the Challenge of Feeding the World -- Chapter 2: The Process of Cultivar Development: Pure Line Variety -- Chapter 3: New Line Development and New Line Evaluation: Single-cross Hybrid -- Chapter 4: New Line Development and New Line Evaluation: Clonally Propagated Cultivars -- Chapter 5: Value-added Trait Integration -- Chapter 6: Optimization of Product Pipeline -- Chapter 7: Launching Improved Cultivars -- Contributors -- Applied Learning Activities…”
Access online version

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: “…Game Theory -- A Game for Linear-time - Branching-time Spectroscopy -- On Satisficing in Quantitative Games -- Quasipolynomial Computation of Nested Fixpoints -- SMT Verification -- A Flexible Proof Format for SAT Solver-Elaborator Communication -- Generating Extended Resolution Proofs with a BDD-Based SAT Solver -- Bounded Model Checking for Hyperproperties -- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays -- SAT Solving with GPU Accelerated Inprocessing -- FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions -- Probabilities -- Finding Provably Optimal Markov Chains -- Inductive Synthesis for Probabilistic Programs Reaches New Horizons -- Analysis of Markov Jump Processes under Terminal Constraints -- Multi-objective Optimization of Long-run Average and Total Rewards -- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes -- Probabilistic and Systematic Coverage of Consecutive Test-Method Pairs for Detecting Order-DependentFlaky Tests -- Timed Systems -- Timed Automata Relaxation for Reachability -- Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata -- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring -- Neural Networks -- Synthesizing Context-free Grammars from Recurrent Neural Networks -- Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models -- Improving Neural Network Verification through Spurious Region Guided Refinement -- Analysis of Network Communication Resilient Capacity-Aware Routing -- Network Traffic Classification by Program Synthesis. .…”
Link to Metadata

Hormones, Metabolism and the Benefits of Exercise

Table of Contents: “…Introduction -- Human brown adipose tissue plasticity: hormonal and environmental manipulation -- The energy sensor AMPK: Adaptations to exercise, nutritional and hormonal signals -- Plasma steroids and cardiorespiratory fitness response to regular exercise -- Sending the signal: Muscle glycogen availability as a regulator of training adaptation -- Optimized engagement of macrophages and satellite cells in the repair and regeneration of exercised muscle -- Skeletal muscle microRNAs: Roles in differentiation, disease and exercise -- Tryptophan-kynurenine metabolites in exercise and mental health -- FNDC5/irisin - their role in the nervous system and as a mediator for beneficial effects of exercise on the brain.…”
Link to Metadata

Subject-Oriented Business Process Management by Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

Table of Contents: “…Thinking of Business Processes Systematically -- From Language Acquisition to Subject-oriented Modeling -- The Integrated S-BPM Process Model -- Subject-oriented Process Analysis -- Modeling Processes in a Subject-Oriented Way -- Subject-Oriented Modeling by Construction and Restriction -- Subject-oriented Validation of Processes and Process Models -- Subject-oriented Optimization of Processes -- Organization-specific Implementation of Subject-oriented Processes -- IT-Implementation of Subject-Oriented Business Processes -- Subject-oriented Monitoring of Processes -- A Precise Description of the S-BPM Modeling Method -- Tools for S-BPM -- S-BPM Method by Comparison -- Conclusion -- A Subject-Oriented Interpreter Model for S-BPM.…”
Link to Metadata

Inteligencia Artificial by Ponce, Julio, Soto, Aurora Torres, Quezada, Fátima Sayuri

Table of Contents: “…1 Introducción y Antecedentes de la Inteligencia Artificial -- 2 Planteamiento del Problema -- 3 Representación del Conocimiento -- 4 Agentes Inteligentes -- 5 Introduccion al Aprendizaje -- 6 Optimizacion y Heurísticas -- 7 Algoritmos Evolutivos -- 8 Algoritmos Bioinspirados -- 9 Algoritmos en Paralelo mediante Uso de GPUs…”
Access online version

Calculus-Based Physics II by Schnick, Jeffrey

Table of Contents: “…1 Charge & Coulomb's Law -- 2 The Electric Field: Description and Effect -- 3 The Electric Field Due to one or more Point Charges -- 4 Conductors and the Electric Field -- 5 Work Done by the Electric Field, and, the Electric Potential -- 6 The Electric Potential Due to One or More Point Charges -- 7 Equipotential Surfaces, Conductors, and Voltage -- 8 Capacitors, Dielectrics, and Energy in Capacitors -- 9 Electric Current, EMF, Ohm's Law -- 10 Resistors in Series and Parallel; Measuring I & V -- 11 Resistivity, Power -- 12 Kirchhoff's Rules, Terminal Voltage -- 13 RC Circuits -- 14 Capacitors in Series & Parallel -- 15 Magnetic Field Intro: Effects -- 16 Magnetic Field: More Effects -- 17 Magnetic Field: Causes -- 18 Faraday's Law, Lenz's Law -- 19 Induction, Transformers, and Generators -- 20 Faraday's Law and Maxwell's Extension to Ampere's Law -- 21 The Nature of Electromagnetic Waves -- 22 Huygens's Principle and 2-Slit Interference -- 23 Single-Slit Diffraction -- 24 Thin Film Interference -- 25 Polarization -- 26 Geometric Optics, Reflection -- 27 Refraction, Dispersion, Internal Reflection -- 28 Thin Lenses: Ray Tracing -- 29 Thin Lenses: Lens Equation, Optical Power -- 30 The Electric Field Due to a Continuous Distribution of Charge on a Line -- 31 The Electric Potential due to a Continuous Charge Distribution -- 32 Calculating the Electric Field from the Electric Potential -- 33 Gauss's Law -- 34 Gauss's Law Example -- 35 Gauss's Law for the Magnetic Field, and, Ampere's Law Revisited -- 36 The Biot-Savart Law -- 37 Maxwell's Equations…”
Access online version

Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers /

Table of Contents: “…Extended Workshop Papers -- Active Semantic Relations in Layered Enterprise Architecture Development -- A Belief Update System Using an Event Model for Location of People in a Smart Home -- A Natural Language Generation Technique for Automated Psychotherapy -- Creative Composition Problem: A Knowledge Graph Logical-based AI Construction and Optimization Solution -- Set Visualisations with Euler and Hasse Diagrams -- Usage Patterns Identification Using Graphs and Machine Learning -- Collaborative Design and Manufacture: Information Structures for Team Formation and Coordination -- Invited Additional Contributions -- Approximate Knowledge Graph Query Answering: From Ranking to Binary Classification -- Galois Connections for Patterns: An Algebra of Labelled Graphs.…”
Link to Metadata

Quest for Good Money Past, Present and Future / by Kitamura, Yukinobu

Table of Contents: “…Preface -- Chapter 1 Overview of the History of Money -- Chapter 2 On the Choice of Optimal Currency Denominations -- Chapter 3 The Impact of Denomination Choice on Commercial Trading: A Policy Evaluation of a New Iraqi Monetary System -- Chapter 4 Diffusion of Electronic Money and Choice of Payment Methods -- Chapter 5 The Impact of Electronic Money on Demand for Cash: Time Series Analysis -- Chapter 6 Can We Stabilize the Price of a Cryptocurrency? …”
Link to Metadata

Chemical Process Dynamics and Controls by Woolf, Peter J.

Table of Contents: “…Part I Process Control Introduction -- Chapter 1: Overview -- Chapter 2: Modeling Basics -- Chapter 3: Sensors and Actuators -- Chapter 4: Piping and Instrumentation Diagrams -- Chapter 5: Logical Modeling -- Chapter 6: Modeling Case Studies -- Part II Chemical Process Controls -- Chapter 7: Mathematics for Control Systems -- Chapter 8: Optimization -- Chapter 9: PID Control -- Chapter 10: Dynamical Systems Analysis -- Chapter 11: Control Architectures -- Chapter 12: MIMO Control -- Part III Statistical Analysis for Chemical Process Control -- Chapter 13: Statistics and Probability Background -- Chapter 14: Design of Experiments…”
Access online version

Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings /

Table of Contents: “…Session I - File Systems, Storage and Communication -- A BeeGFS-based Caching File System for Data-intensive Parallel Computing -- Multiple HPC Environments-Aware Container Image Configuration Workflow for Large-Scale All-to-All Protein-Protein Docking Calculations -- DAOS: A Scale-out High Performance Storage Stack for Storage Class Memory -- Cloud Platform Optimization for HPC -- Session II - Applications and Scheduling -- swGBDT: Efficient Gradient Boosted Decision Tree on Sunway Many-core Processor -- Numerical Simulations of Serrated Propellers to Reduce Noise -- High-performance Computing in Maritime and Offshore Applications -- Correcting Job Walltime in a Resource-Constrained Environment.…”
Link to Metadata