Search Results - TVP1~

BUNDLE DE PREVENÇÃO DA PNEUMONIA ASSOCIADA À VENTILAÇÃO MECÂNICA: O QUE SABEM OS ENFERMEIROS A ESSE RESPEITO? by Andreia Macedo Gomes, Roberto Carlos Lyra da Silva

Connect to this object online.

BUNDLE DE PREVENÇÃO DA PNEUMONIA ASSOCIADA À VENTILAÇÃO MECÂNICA: O QUE SABEM OS ENFERMEIROS A ESSE RESPEITO? by Andreia Macedo Gomes, Roberto Carlos Lyra da Silva

Connect to this object online.

BUNDLE DE PREVENÇÃO DA PNEUMONIA ASSOCIADA À VENTILAÇÃO MECÂNICA: O QUE SABEM OS ENFERMEIROS A ESSE RESPEITO? by Andreia Macedo Gomes, Roberto Carlos Lyra da Silva

Connect to this object online.

Innovative Medicine Basic Research and Development /

Table of Contents: “…Clarity and Challenges in Tissue Fibrosis -- 17. TRP Channels: Their Function and Potentiality as Drug Targets -- 18. …”
Link to Metadata

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

Transition with Purpose Pathways from English Language to Academic Study by Miller, Michele, Greenhoe, Anne

Table of Contents: “…Part One: Program and University policies and Procedures -- Overview of Pathways Program -- Academic Standing -- Calculating Grade Point Average (GPA) -- University Structure -- Admission Type and Class Standing -- Degree Requirements -- Academic Advising -- Choosing Your First Academic Classes -- Code of Student Conduct and Responsibility -- Getting Involved -- Preparing for Your Next Term of Study -- Managing Your Time with Google Calendar -- Tuition Differential: IELP and PSU classes -- PSU New Student Orientation -- Degree Audit Reporting System (DARS) -- Part Two: Transition with Purpose to the University -- Section 1: Preparation of Goals -- Section 2: Getting Involved in the University -- Section 3: Collaborative Learning Support Activities -- Section 4: Writing Your ePortfolio…”
Access online version

Bridges United States Academia for First-Generation and International College Students by Higgins, Shawn

Table of Contents: “…1. Accreditation and Types of Institutions -- 2. International United States College Campuses -- 3. …”
Access online version

Averting Disaster Before It Strikes How to Make Sure Your Subordinates Warn You While There is Still Time to Act / by Chernov, Dmitry, Ayoub, Ali, Sansavini, Giovanni, Sornette, Didier

Table of Contents: “…Introduction -- The reason of the concealment -- Top 10 recommendations -- Results of the pilot project -- Discussion.…”
Link to Metadata

Marine Pollution - Monitoring, Management and Mitigation

Table of Contents: “…Introduction to our oceans -- 2. Marine pollution -- TYPES OF POLLUTION, THEIR BEHAVIOUR AND IMPACTS 3. …”
Link to Metadata

Ethics of Socioeconomics Critical Observations on Capitalism through the Lens of a Lawyer / by Byttebier, Koen

Table of Contents: “…Final Conclusions II: Establishing a new monetary order as a foundation for a new type of societies.…”
Link to Metadata

R.J. Rummel: An Assessment of His Many Contributions

Table of Contents: “…-- H-C Peterson: Regime type matters.…”
Link to Metadata

mHealth Innovation in Asia Grassroots Challenges and Practical Interventions /

Table of Contents: “…Introduction to the Volume -- Section 1: Challenges -- Chapter 1: Barriers to informal mHealth adoption by community health workers in regional Indonesia -- Chapter 2: Take care of your health, this is what the Qur'an said - The use of mobile phone among poor rural women with Type-2 Diabetes in Central Java, Indonesia -- Chapter 3: One size does not fit all - The importance of contextually sensitive mHealth strategies for frontline female health workers -- Chapter 4: Chinese Consumers' Perceptions and Interpretations of Fitness Mobile Apps: Qualitative Insights -- Section 2: Strategies -- Chapter 5: The Path to Scale: Navigating design, policy and infrastructure -- Chapter 6: mHealth, health and mobility - A culture-centered interrogation -- Afterword.…”
Link to Metadata

Programming Fundamentals - A Modular Structured Approach using C++ by Busbee, Kenneth Leroy

Table of Contents: “…Data & Operators -- 4. Often Used Data Types -- 5. Integrated Development Environment -- 6. …”
Access online version

Eloquent JavaScript A Modern Introduction to Programming by Haverbeke, Marijn

Table of Contents: “…Introduction -- Part 1: Language -- 1 Values, Types, and Operators -- 2 Program Structure -- 3 Functions -- 4 Data Structures: Object and Arrays -- 5 Higher-Order Functions -- 6 The Secret Life of Objects -- 7 Project: A Robot -- 8 Bugs and Errors -- 9 Regular Expressions -- 10 Modules -- 11 Asynchronous Programming -- 12 Project: A Programming Language -- Part 2: Browser -- 13 JavaScript and the Browser -- 14 The Document Object Model -- 15 Handling Events -- 16 Project: A Platform Game -- 17 Drawing on Canvas -- 18 HTTP and Forms -- 19 Project: A Pixel Art Editor -- Part 3: Node -- 20 Node.js -- 21 Project: Skill-Sharing Website -- Exercise Hints…”
Access online version

Implementing a One Address CPU in Logisim by Kann, Charles W.

Table of Contents: “…Assembly Language -- 2.1 What is Assembly Language -- 2.2 Assembly Language Caveats -- 2.3 Assembler Directives -- 2.4 Data types -- 2.5 Designing an Assembly Language -- 2.6 Assembler Programs -- 3. …”
Access online version

Financial Management for Small Businesses Financial Statements & Present Value Models by Robinson, Lindon J., Hanson, Steven D., Black, J. Roy

Table of Contents: “…Homogeneous Investment Types -- 14. Homogeneous Liquidity -- 15. Homogeneous Risk Measures -- Part IV: Present Value Model Applications -- 16. …”
Access online version

Geology Online Lab Activities An Open Educational Resource for Community College Students and Instructors by Davies, Rondi

Table of Contents: “…What are the different types of plate boundaries? -- 4. How do we classify igneous rocks, and where do they form? …”
Access online version

Calculus-Based Physics I by Schnick, Jeffrey

Table of Contents: “…1 Mathematical Prelude -- 2 Conservation of Mechanical Energy I: Kinetic Energy & Gravitational Potential Energy -- 3 Conservation of Mechanical Energy II: Springs, Rotational Kinetic Energy -- 4 Conservation of Momentum -- 5 Conservation of Angular Momentum -- 6 One-Dimensional Motion (Motion Along a Line): Definitions and Mathematics -- 7 One-Dimensional Motion: The Constant Acceleration Equations -- 8 One-Dimensional Motion: Collision Type II -- 9 One-Dimensional Motion Graphs -- 10 Constant Acceleration Problems in Two Dimensions -- 11 Relative Velocity -- 12 Gravitational Force Near the Surface of the Earth, First Brush with Newton's 2nd Law -- 13 Freefall, a.k.a. …”
Access online version

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: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata

Physical (A)Causality Determinism, Randomness and Uncaused Events / by Svozil, Karl

Table of Contents: “…Part I Embedded observers, reflexive perception and representation: Intrinsic and extrinsic observation mode -- Embedded observers and self-expression -- Reflexive measurement -- Intrinsic self-representation -- Part II Provable unknowns: On what is entirely hopeless -- Forecasting and unpredictability -- Induction by rule inference -- Other types of recursion theoretic unknowables -- What if there are no laws? …”
Link to Metadata