Search Results - "logging"

Operational Amplifiers & Linear Integrated Circuits Theory and Application by Fiore, James

Table of Contents: “…-- 2.3 Simple Op Amp Comparator -- 2.4 Op Amp Manufacture -- Summary -- Chapter 3: Negative Feedback -- 3.1 Introduction -- 3.2 What Negative Feedback Is and Why We Use It -- 3.3 Basic Concepts -- 3.4 The Four Variants of Negative Feedback -- 3.5 Limitations On The Use of Negative Feedback -- Summary -- Chapter 4: Basic Op Amp Circuits -- 4.1 Introduction -- 4.2 Inverting and Non-inverting Amplifiers -- 4.3 Single Supply Biasing -- 4.4 Current Boosting -- Summary -- Chapter 5: Practical Limitations of Op Amp Circuits -- 5.1 Introduction -- 5.2 Frequency Response -- 5.3 Gain-Bandwidth Product -- 5.4 Slew Rate and Power Bandwidth -- 5.5 Offsets -- 5.6 Drift -- 5.7 CMRR and PSRR -- 5.8 Noise -- Summary -- Chapter 6: Specialized Op Amps -- 6.1 Introduction -- 6.2 Instrumentation Amplifiers -- 6.3 Programmable Op Amps -- 6.4 Op Amps for High Current, Power, and Voltage Applications -- 6.5 High Speed Amplifiers -- 6.6 Voltage Followers and Buffers -- 6.7 Operational Transconductance Amplifier -- 6.8 Norton Amplifier -- 6.9 Current Feedback Amplifiers -- 6.10 Other Specialized Devices -- Summary -- Chapter 7: Non-Linear Circuits -- 7.1 Introduction -- 7.2 Precision Rectifiers -- 7.3 Wave Shaping -- 7.4 Function Generation -- 7.5 Comparators -- 7.6 Log and Anti-Log Amplifiers -- 7.7 Extended Topic: A Precision Log Amp -- Summary -- Chapter 8: Voltage Regulation -- 8.1 Introduction -- 8.2 The Need For Regulation -- 8.3 Linear Regulators -- 8.4 Switching Regulators -- 8.5 Heat Sink Usage -- 8.6 Extended Topic: Primary Switcher -- Summary -- Chapter 9: Oscillators and Frequency Generators -- 9.1 Introduction -- 9.2 Op Amp Oscillators -- 9.3 Single Chip Oscillators and Frequency Generators -- Summary -- Chapter 10: Integrators and Differentiators -- 10.1 Introduction -- 10.2 Integrators -- 10.3 Differentiators -- 10.4 Analog Computer -- 10.5 Alternatives to Integrators and Differentiators -- 10.6 Extended Topic: Other Integrator and Differentiator Circuits -- Summary -- Chapter 11: Active Filters -- 11.1 Introduction -- 11.2 Filter Types -- 11.3 The Use and Advantages of Active Filters -- 11.4 Filter Order and Poles -- 11.5 Filter Class or Alignment -- 11.6 Realizing Practical Filters -- 11.7 Band-Pass Filter Realizations -- 11.8 Notch Filter (Band-Reject) Realizations -- 11.9 Audio Equalizers -- 11.10 Switched-Capacitor Filters -- 11.11 Extended Topic: Voltage-Controlled Filters -- Summary -- Chapter 12: Analog-to-Digital-to-Analog Conversion -- 12.1 Introduction -- 12.2 The Sampling Theorem -- 12.3 Resolution and Sampling Rate -- 12.4 Digital-to-Analog Conversion Techniques -- 12.5 Analog-to-Digital Conversion -- 12.6 Extended Topic: Digital Signal Processing -- Summary --…”
Access online version

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…Regular Contributions -- ACoRe: Automated Goal-Conflict Resolution -- Nazareno Aguirre, Yves Le Traon and Mike Papadakis A Modeling Concept for Formal Verification of OS-Based Compositional Software -- Guldstrand Larsen and Marcel Baunach Compositional Automata Learning of Synchronous Systems -- Front-end JavaScript -- Democratizing Quality-Based Machine Learning Development through Extended Feature Models -- Efficient Bounded Exhaustive Input Generation from Program APIs -- Feature-Guided Analysis of Neural Networks -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java -- Model-based Player Experience Testing with Emotion Pattern Verification -- Opportunistic Monitoring of Multithreaded Programs -- Parallel Program Analysis via Range Splitting -- Wehrheim Runtime Enforcement Using Knowledge Bases -- Specification and Validation of Normative Rules for Autonomous Agents -- Towards Log Slicing -- VAMOS: Middleware for Best-Effort Third-Party Monitoring -- Yet Another Model! …”
Link to Metadata

IMPLEMENTASI NILAI-NILAI KEARIFAN LOKAL AWIK-AWIK DESA SESAOT DALAM PEMBELAJARAN IPS : Studi Kualitatif pada Peningkatan Karakter Demokrasi, Peduli Lingkungan dan Jujur da... by Mohammad Liwa Irrubai, -

Link Metadata

A smoking cessation smartphone app that delivers real-time 'context aware' behavioural support: the Quit Sense feasibility RCT by Felix Naughton, Aimie Hope, Chloë Siegele-Brown, Kelly Grant, Caitlin Notley, Antony Colles, Claire West, Cecilia Mascolo, Tim Coleman, Garry Barton, Lee Shepstone, Toby Prevost, Stephen Sutton, David Crane, Felix Greaves, Juliet High

Connect to this object online.

Large-Scale Cognitive Assessment Analyzing PIAAC Data /

Table of Contents: “…Using EdSurvey to Analyse PIAAC Data (Paul Bailey, Michael Lee, Trang Nguyen, Ting Zhang) -- Chapter 10. Analysing Log File Data from PIAAC (Frank Goldhammer, Carolin Hahnel, and Ulf Kroehne) -- Chapter 11. …”
Link to Metadata

開發「三件好事」手機行動應用程式與使用歷程分析 The Effectiveness of Developing "3 Blessings Exercise" on Mobile Application by 吳相儀 Hsiang-Yi Wu, 蔡佳伶 Jia-Ling Tsai, 黃玟臻 Wen-Zhen Huang

Connect to this object online.

تدريس اللغة العربيّة على الإنترنيت في عصر الوباء في مدرسة الثانويّة بيت الرحمن ليليس (دراسة الحالة في مدرسة الثانويّة بيت الرحمن ليليس غاروت )... by Sinai Senja Alija Bosnia, -

Link Metadata

Agricultural Implications of the Fukushima Nuclear Accident (III) After 7 Years /

Table of Contents: “…An Overview of Our Research -- Transfer of Radiocesium to Rice in Contaminated Paddy Fields -- Cesium Translocation in Rice -- Absorption of radioceasium in soybean -- An observational study of pigs exposed to radiation -- A Composting System to Decompose Radiocesium Contaminated Baled Grass Silage -- Weathered Biotite: A Key Material of Radioactive Contamination in Fukushima -- Radiocesium accumulation in koshiabura (Eleutherococcus sciadophylloides) and other wild vegetables and in Fukushima Prefecture -- The Transition of Radiocesium in Peach Trees After the Fukushima Nuclear Accident -- Application of the Artificial Annual Environmental Cycle and Dormancy-induced Suppression of Cesium Uptake in Poplar -- Radiocesium Contamination in Forests and the Current Situation of Growing Oak Trees for Mushroom Logs -- Radiocesium Dynamics in Wild Mushrooms During the First Five Years After the Fukushima Accident -- The Spatial Distribution of Radiocesium Over a Four-year Period in a Forest Ecosystem in North Fukushima After the Nuclear Power Station Accident -- Parallel Measurement of Ambient and Individual External Radiation in Iitate Village, Fukushima -- Mobility of Fallout Radiocesium Depending on the Land Use　in Kasumigaura Basin -- Challenges of Agricultural Land Remediation and Renewal of Agriculture in Iitate Village by a Collaboration Between Researchers and a Non-profit Organization -- Radiocesium Contamination on a University Campus and in Forests in Kashiwa City, Chiba Prefecture, a Suburb of Metropolitan Tokyo -- The State of Fisheries and Marine Species in Fukushima: Six Years After the 2011 Disaster -- Visualization of Ion Transport in Plants -- 90Sr analysis using inductively coupled plasma mass spectrometry with split-flow injection and online solid-phase extraction for multiple concentration and separation steps.…”
Link to Metadata

Agricultural Implications of the Fukushima Nuclear Accident The First Three Years /

Table of Contents: “…1 An Overview of Our Research -- 2 Monitoring Inspection for Radioactive Substances in Agricultural, Livestock, Forest, and Fishery Products in Fukushima Prefecture -- 3 Rice Inspections in Fukushima Prefecture -- 4 Cesium accumulation in paddy field rice grown in Fukushima from 2011 to 2013: cultivars and fertilization -- 5 Physiological verification of the effect of potassium supply on the reduction of radiocesium content in rice grain -- 6 Consecutive Field Trials of Rice Cultivation in Partially Decontaminated Paddy Fields to Reduce Radiocesium Absorption in the Iitate Village in Fukushima Prefecture -- 7 Effects of "clean feeding" management on livestock products contaminated with radioactive cesium due to the Fukushima Daiichi nuclear power plant accident -- 8 Adverse effects of radiocesium on the promotion of sustainable circular agriculture including livestock due to the Fukushima Daiichi nuclear power plant accident -- 9 Wild boars in Fukushima after the nuclear power plant accident: Distribution of radiocesium -- 10 Contamination of Wild Animals: Microhabitat Heterogeneity and Ecological Factors of Radioactive Cesium Exposure in Fukushima -- 11 Translocation of radiocesium in fruit trees -- 12 The effects of radioactive contamination on the forestry industry and commercial mushroom-log production in Fukushima, Japan -- 13 Radiocesium in timber of Japanese cedar, and Japanese red pine, in the forests of Minamisoma, Fukushima -- 14 Ecosystem monitoring of radiocesium redistribution dynamics in a forested catchment in Fukushima after the nuclear power plant accident in March 2011 -- 15 Reduction of air radiation dose by ponding paddy fields -- 16 Collaboration Structure for the Resurrection of Iitate Village, Fukushima: A Case Study of a Nonprofitable Organization -- 17 Impacts of the nuclear power plant accident and the start of trial operations in Fukushima fisheries -- 18 Consumer evaluation of foods from the disaster affected area: Change in 3 years -- 19 Imaging Techniques for Radiocesium in Soil and Plants.…”
Link to Metadata

Process Mining Workshops ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31 - November 4, 2021, Revised Selected Papers /

Table of Contents: “…An assessment framework and analysis -- Remaining Time Prediction for Processes with Inter-Case Dynamics -- Event Log Sampling for Predictive Monitoring -- Active Anomaly Detection for Key Item Selection in Process Auditing -- Prescriptive Process Monitoring Under Resource Constraints: A Causal Inference Approach -- Quantifying Explainability in Outcome-Oriented Predictive Process Monitoring -- Online Prediction of Aggregated Retailer Consumer Behaviour -- PErrCas: Process Error Cascade Mining in Trace Streams -- Continuous performance evaluation for business process outcome monitoring -- An Event Data Extraction Approach from SAP ERP for Process Mining -- Towards a Natural Language Conversational Interface for Process Mining -- On the Performance Analysis of the Adversarial System Variant Approximation Method to Quantify Process Model Generalization -- Verifying guideline compliance in clinical treatment using multi-perspective conformance checking: a case study -- Patient Discharge Classification based on the Hospital Treatment Process -- Combining the Clinical and Operational Perspectives in Heterogeneous Treatment E ect Inference in Healthcare Processes -- Interactive Process Mining Applied in a Cardiology Outpatient Department -- Discovering care pathways for multi-morbid patients using event graphs -- Process Mining in Trusted Execution Environments: Towards Hardware Guarantees for Trust-aware Inter-organizational Process Analysis -- Quantifying the Re-identification Risk in Published Process Models -- Trustworthy Artificial Intelligence and Process Mining: Challenges and Opportunities.…”
Link to Metadata

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

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

Arbeit in der digitalisierten Welt Praxisbeispiele und Gestaltungslösungen aus dem BMBF-Förderschwerpunkt /

Table of Contents: “…Neue Perspektiven auf alte Probleme: Sicherheitskultur in Industrie 4.0 -- Projekt SynDiQuAss - Synchronisierung von Digitalisierung, Qualitätssicherung und Assistenzsystemen -- Teil IV Gestaltung vernetzt-flexibler Arbeit: Empowerment in der agilen Arbeitswelt - ein Schlüssel für die nachhaltige Gestaltung neuer Arbeitsformen -- Hierda - Humanisierung digitaler Arbeit durch Cowork-Spaces -- Internes Crowdsourcing in Unternehmen - Erkenntnisse und Projektergebnisse aus dem Forschungsprojekt ICU -- Erreichbarkeitsmanagement im Unternehmen - Schaffung unterbrechungsfreier Regenerationsphasen durch organisatorische und technische Maßnahmen zur Einschränkung ständiger Erreichbarkeit -- Social Business in der Praxis - Mit welchen Herausforderungen zu rechnen ist -- Teil V Arbeitsgestaltung im digitalen Veränderungsprozess: Digitalisierung der Arbeitswelt kommunaler Energieversorger -- Digitalisierung der Arbeitssicherheit auf Baustellen -- DigiTraIn 4.0 - Ein Beratungskonzept für die Transformation in eine digitale Arbeitswelt -- Game of Roster - GamOR - Spielifizierte kollaborative Dienste-Plattform für Pflegeberufe -- Digitalisierung der Arbeit in der ambulanten Pflege - Gestaltung eines sozio-technischen Veränderungsprojekts im Verbundprojekt KOLEGE -- Digitalisierung und Logistik - Ergebnisse aus dem BMBF-Verbundprojekt "Gesundheitsförderliche Arbeitsgestaltung für digitalisierte Dispositions- und Dokumentationsaufgaben in der Logistik" (Pro-DigiLog).…”
Link to Metadata

Handbook of Mathematical Geosciences Fifty Years of IAMG /

Table of Contents: “…Chapter 3 Testing joint conditional independence of categorical random variables with a standard log-likelihood ratio test -- 7. Chapter 4 Modelling Compositional Data. …”
Link to Metadata

The Flux of Phenolic Compounds through Silicone Membranes by Kenneth B. Sloan, John Prybylski

Connect to this object online.

Partial Least Square and Hierarchical Clustering in ADMET Modeling: Prediction of Blood - Brain Barrier Permeation of α-Adrenergic and Imidazoline Receptor Ligands by Katarina Nikolic, Slavica Filipic, Adam Smoliński, Roman Kaliszan, Danica Agbaba

Connect to this object online.

The Flux of Select NSAIDs through Silicone Membranes from Mineral Oil by Paul S. Mertz, Kenneth B. Sloan

Connect to this object online.

Synergistic Antimicrobial Activity of Supplemented Medical-Grade Honey against <i>Pseudomonas aeruginosa</i> Biofilm Formation and Eradication by Carlos C. F. Pleeging, Tom Coenye, Dimitris Mossialos, Hilde de Rooster, Daniela Chrysostomou, Frank A. D. T. G. Wagener, Niels A. J. Cremers

Connect to this object online.

Multi-lab intrinsic solubility measurement reproducibility in CheqSol and shake-flask methods by Alex Avdeef

Connect to this object online.

Feasibility of the estimation of octanol-water distribution coefficients of acidic drugs by microemulsion electrokinetic chromatography by Alejandro Fernández-Pumarega1, Susana Amézqueta1, Elisabet Fuguet, Martí Rosés

Connect to this object online.