Search Results - The The~

CLASSIFICAÇÃO DE RISCOS EM EMERGÊNCIA: COMO OS ENFERMEIROS ENTENDEM E PARTICIPAM DESSE PROGRAMA by Ronilson Gonçalves Rocha, Priscila de Castro Handem, Daniel Machado Aragão, Nébia Almeida Figueiredo, Denilson Campos Albuquerque

Connect to this object online.

The management of chronic traumatic ulcer in oral cavity by Maharani Laillyza Apriasari

Connect to this object online.

Atenção Primária à Saúde na Espanha - entrevista com a médica de família e comunidade Maria Pilar Astier-Peña by Maria Pilar Astier-Peña

Connect to this object online.

CLASSIFICAÇÃO DE RISCOS EM EMERGÊNCIA: COMO OS ENFERMEIROS ENTENDEM E PARTICIPAM DESSE PROGRAMA by Ronilson Gonçalves Rocha, Priscila de Castro Handem, Daniel Machado Aragão, Nébia Almeida Figueiredo, Denilson Campos Albuquerque

Connect to this object online.

CLASSIFICAÇÃO DE RISCOS EM EMERGÊNCIA: COMO OS ENFERMEIROS ENTENDEM E PARTICIPAM DESSE PROGRAMA by Ronilson Gonçalves Rocha, Priscila de Castro Handem, Daniel Machado Aragão, Nébia Almeida Figueiredo, Denilson Campos Albuquerque

Connect to this object online.

Connecting Mathematics and Mathematics Education Collected Papers on Mathematics Education as a Design Science / by Wittmann, Erich Christian

Table of Contents: “…Portsmouth, NH: Heineman 1996, 97-165 -- 7. Developing mathematics education in a systemic process. …”
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 of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II /

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

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II /

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

The Pangenome Diversity, Dynamics and Evolution of Genomes /

Table of Contents: “…Part 1: Genomic diversity and the pan-genome concept -- Chapter 1: The pan-genome: a data-drivendiscovery in biology -- Chapter 2: The prokaryotic species concept and challenges -- Chapter 3: Bacterial guide on how to design a diversified gene portfolio -- Chapter 4: A review of pan-genome tools and recent studies -- Part 2: Evolutionary biology of pan-genomes -- Chapter 5: Structure and dynamics of bacterial populations: pan-genome ecology -- Chapter 6: Bacterial microevolution and the pan-genome -- Chapter 7: Pan-genomes and selection: the public goods hypothesis -- Chapter 8: A pan-genomic perspective on the emergence, maintenance and predictability of antibiotic resistance -- Part 3: Pan-genomics: an open, evolving discipline -- Chapter 9: Metapangenome: at the crossroad of pangenomics and metagenomics -- Chapter 10: Pan-genome flux balance analysis towards pan-phenomes -- Chapter 11: Bacterial epigenomics: epigenetics in the age of population genomics -- Chapter 12: Eukaryotic pan-genomes -- Chapter 13: Computational strategies for eukaryotic pan-genome analyses.…”
Link to Metadata

Snow Sports Trauma and Safety Conference Proceedings of the International Society for Skiing Safety: 21st Volume /

Table of Contents: “…Retention Requirements for Alpine Ski Bindings -- Helmet Use and Self-Reported Risk Taking in Skiing and Snowboarding -- Evaluating the Performance of Helmet Linings Incorporating Fluid Channels -- Polarizing Filters in Ski Sports -- Emergency Release for Winter Sports Equipment -- Analyzing the Riding Behavior of Recreational Skiers and Snowboarders -- Reaction Times of Skiers and Snowboarders -- Gender-Specific Effects of Smoking and Alcohol Consumption on the Risk of Falling in Downhill Skiers -- Hydration Packs Modify Professional Skiers Hydration Levels in All Day Skiing: A Randomized Controlled Trial -- Are ACL Injuries Related to Perceived Fatigue in Female Skiers? …”
Link to Metadata

Introducing Foreign Models for Development Japanese Experience and Cooperation in the Age of New Technology /

Table of Contents: “…Industry Engagement in TVET and the Japanese Cooperation in Vietnam: The Case of Hanoi University of Industry -- 7. …”
Link to Metadata

A History of the Middle East 1.01 by Flynn, Robert J.

Table of Contents: “…Preface -- Chapter One: Introduction -- Chapter Two: Muhammad and Islam -- Chapter Three: The Arab Conquest and the Establishment of the Caliphate -- Chapter Four: Religious, Social, and Intellectual Changes During the Caliphate, 632-1258 -- Chapter Five: The Decline of the Arab Empire, 809-1300 -- Chapter Six: The Gunpowder Empires -- Chapter Seven: Ottoman Crisis and Adaptation, 1566-1768 -- Chapter Eight: Western Intrusions, Eastern Responses, 1768-1878 -- Chapter Nine: The Twilight of the Ottoman Empire, 1878-1916 -- Chapter Ten: “A Peace to End All Peace" -- Chapter Eleven: The Independent States, 1918-1948 -- Chapter Twelve: The Middle East Under European Control, 1922-1948 -- Chapter Thirteen, The Establishment of Israel, 1918-1948 -- Chapter Fourteen: The Age of Nasser, 1949-1967 -- Chapter Fifteen: Arabia, Turkey, and Iran, 1949-1979 -- Chapter Sixteen: The Middle East After Nasser, 1967-1979 -- Chapter Seventeen: Transition and Stalemate, 1980-1990 -- Chapter Eighteen: The Gulf War and Its Legacy, 1990-2001…”
Access online version

Peroxide alkaline for cleansing the baby bottle nipple to prevent oral thrush relaps by Maharani Laillyza Apriasari

Connect to this object online.

Interview with Carmen Maestro, director of INECSE by Equipo Editorial

Connect to this object online.

Statistical Population Genomics

Table of Contents: “…-Ancestral Population Genomics with Jocx, A Coalescent Hidden Markov Model -- Coalescent Simulation with sprime -- Inference of Ancestral Recombination Graphs using ARGweaver -- Population Genomics of Transitions to Selfing in Brassicaceae Model Systems -- Genomics of Long- and Short- Term Adaptation in Maize and Teosinte -- Neurospora from Natural Populations: Population Genomics Insights Into the Life History of a Model Microbial Eukaryote -- Population Genomics of Fungal Plant Pathogens and the Analyses of Rapidly Evolving Genome Compartments -- Population Genomics on the Fly: Recent Advances in Drosophila -- Genomic Access to the Diversity of Fishes -- Avian Population Genomics Taking Off: Latest Findings and Future Prospects -- Population Genomics of the House Mouse and the Brown Rat -- Population Genomics in the Great Apes.…”
Link to Metadata

Historical and Multidisciplinary Perspectives on Hope

Table of Contents: “…Hope During Conflict (Oded Adomi Leshem & Eran Halperin) -- Chapter 11. …”
Link to Metadata

The New Politics of Numbers Utopia, Evidence and Democracy /

Table of Contents: “…1.The New Politics of Numbers: An Introduction -- 2.Creating a Socialist Society and Quantification in the USSR -- 3.The People's Algorithms: Social Credits and the Rise of China's Big (Br)other -- 4.Accounting for Who We Are and What We Could Be: Inventing Taxonomies of the Self in an Age of Social Disquiet -- 5.Quantifying Inequality: From Contentious Politics to the Dream of an Indifferent Power -- 6.Homo Statisticus: A History of France's General Public Statistical Infrastructure on Population since 1950 -- 7.A New Calculable World in the Making: Governing through Transnational Certification Standards -- 8.Do Performance Indicators Improve the Effectiveness of Development Aid? …”
Link to Metadata

Postdigital Participation in Education How Contemporary Media Constellations Shape Participation /

Table of Contents: “…Chapter 1: Postdigital Participation in Education: An Introduction -- Part 1: Mapping the Postdigital Condition in Education -- Chapter 2: Participation as a Key Principle of Education for Sustainable Development in the Postdigital Era -- Chapter 3: Social Participation in a Postdigital-Biodigital Age -- Chapter 4: Postdigital Bildung as a Guiding Principle to Foster Inclusion in Educational Media -- Chapter 5: Distance Learning and the Question of Educational Justice: A Dialogic Approach to Digital Diversity in Schools -- Part 2 : Performing and Reflecting on the Postdigital Condition with Learners -- Chapter 6: Learning Academic Practices: Enabling Students to Participate in a Postdigital Society -- Chapter 7: Expanding the Pedagogical Space: Co-design and Participation in an Online Postgraduate Course -- Chapter 8: Let's Figure it Out: Participatory Methods for Reflecting on Educational Media in a Postdigital World -- Chapter9: From Official Document Utopias to a Collective Utopian Imagination -- Chapter 10: Asynchronous Narrative Audio-Messages: An Internet-based Qualitative Method for Data Collection in International Research -- Chapter 11: Postdigital Participation in Education-a Postscript.…”
Link to Metadata

Informatics in Schools. Beyond Bits and Bytes: Nurturing Informatics Intelligence in Education 16th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2023, Lausanne, Switzerland, October 23-25, 2023, Proceedings /

Table of Contents: “…-- Investigating the Role of ChatGPT in Supporting Text-Based Programming Education for Students and Teachers -- All Green: How Different Age Groups Solved the Same Bebras Task -- Effects of the COVID-19 pandemic on the Bebras Computational Thinking Challenge: Comparing numbers, examining reasons and investigating recommendations -- The Function of Note-Taking in Problem Solving in the Computer Science Escape Game Room -- An Exploratory Investigation on High-School Students' Understanding of Threads -- Combining Models to Orchestrate an Instructional Scenario Fostering Computational Thinking in Educational Robotics -- Teachers' Knowledge in Informatics---Exploring Educational Robotics Resources Through the Lens of Textual Data Analysis -- Reshaping Unplugged Computer Science Workshops for Primary School Education -- Evaluating the New Secondary CS Curriculum in the Netherlands - The Teachers' Perspective -- Navigating the Implementation of the Curriculum Digital Education in Austrian Secondary Schools: Challenges and Teacher Perspectives -- Bridging the Gap: Infusing Natural Science Classes with Computer Science Concepts and Skills.…”
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: “…Regime Shifts - A Global Challenge for the Sustainable Use of our Marine Resources -- 12. Biodiversity and the Functioning of Ecosystems in the Age of Global Change: Integrating Knowledge Across Scales -- 13. …”
Link to Metadata