Search Results - Omloop~

Quando e como valorizar culturas de urina polimicrobianas no laboratório de microbiologia clínica When and how to enhance polymicrobial urine cultures at the laboratory of clinic... by Alessandro Conrado de Oliveira Silveira, Helena Aguilar Peres Homem de Mello de Souza, Fábio Daniel Furtado, Bárbara Pereira Albini, Carlos Augusto Albini

Connect to this object online.

Spotlight on Melphalan Flufenamide: An Up-and-Coming Therapy for the Treatment of Myeloma by Morabito F, Tripepi G, Martino EA, Vigna E, Mendicino F, Morabito L, Todoerti K, Al-Janazreh H, D'Arrigo G, Canale FA, Cutrona G, Neri A, Martino M, Gentile M

Connect to this object online.

Complications of ostomy bowel and peristomal skin: evidence for nursing care [Complicações de estomia intestinal e pele periestoma: evidências para o cuidado de enfermagem] [Com... by Marina Bavaresco, Geruza Maria da Silva Gonçalves Manfredini, Camila Mendonça de Moraes, Rogério Silva Lima, Silvana Maria Coelho Leite Fava, Eliza Maria Rezende Dázio

Connect to this object online.

[Translated article] Prognostic Value of Vitamin D Serum Levels in Cutaneous Melanoma by R. Moro, A. Sánchez-Silva, M. Aguerralde-Martin, R. González-Cuevas, L. Peruilh-Bagolini, V. Traves, E. Manrique-Silva, C. Requena, E. Nagore

Connect to this object online.

ЭКСПЕРИМЕНТАЛЬНОЕ ОБОСНОВАНИЕ ВЛИЯНИЯ Минеральной воды СКВАЖИНЫ № 1656 г. СТАРОБЕЛЬСЬК НА СТРУКТУРНО-ФУНКЦИОНАЛЬНЫЕ НАРУШЕНИЯ ХРЯЩЕЙ ПРИ ВОСПАЛИТЕЛЬНО-ДИСТРОФИЧЕСКИХ ПОРАЖЕНИЯХ =... by B. A. Nasibullin, E. I. Platonova

Connect to this object online.

Comparison of Four Active SARS-CoV-2 Surveillance Strategies in Representative Population Sample Points: Two-Factor Factorial Randomized Controlled Trial by Andreas Deckert, Simon Anders, Ivonne Morales, Manuela De Allegri, Hoa Thi Nguyen, Aurélia Souares, Shannon McMahon, Matthias Meurer, Robin Burk, Dan Lou, Lucia Brugnara, Matthias Sand, Lisa Koeppel, Lena Maier-Hein, Tobias Ross, Tim J Adler, Stephan Brenner, Christopher Dyer, Konrad Herbst, Svetlana Ovchinnikova, Michael Marx, Paul Schnitzler, Michael Knop, Till Bärnighausen, Claudia M Denkinger

Connect to this object online.

Quantitative Screening of Cervical Cancers for Low-Resource Settings: Pilot Study of Smartphone-Based Endoscopic Visual Inspection After Acetic Acid Using Machine Learning Techniqu... by Bae, Jung Kweon, Roh, Hyun-Jin, You, Joon S, Kim, Kyungbin, Ahn, Yujin, Askaruly, Sanzhar, Park, Kibeom, Yang, Hyunmo, Jang, Gil-Jin, Moon, Kyung Hyun, Jung, Woonggyu

Connect to this object online.

Re: Bracci M et al. "Rotating-shift nurses after a day off: peripheral clock gene expression, urinary melatonin, and serum 17-estradiol levels." by Richard G Stevens, Yong Zhu

Connect to this object online.

IMPLEMENTASI MODEL PEMBELAJARAN QUANTUM TEACHING BERBANTUAN MULTIMEDIA INTERAKTIF UNTUK MENINGKATKAN PEMAHAMAN SISWA SMK PADA MATA PELAJARAN PEMROGRAMAN DASAR by Agis Sofyan Nulhakim, -

Link Metadata

PENGEMBANGAN APLIKASI SENSOR GIANT MAGNETORESISTANCE UNTUK PENGUKURAN KADAR AIR KAYU by Muhammad Irfan Muttaqin, -

Link Metadata

PENERAPAN MODEL BRAIN BASED LEARNING BERBANTUAN MULTIMEDIA PEMBELAJARAN BERBASIS ANDROID UNTUK MENINGKATKAN PEMAHAMAN MATERI LINGKARAN SISWA SMP by Sobari, -

Link Metadata

AKUNTABILITAS PENGELOLAAN DANA SEKOLAH MENEGAH ATAS NEGERI DAN SWASTA DALAM PENINGKATAN MUTU PENDIDIKAN DI KABUPATEN BOYOLALI JAWA TENGAH by Sutama, -

Link Metadata

Embedded Controllers Using C and Arduino by Fiore, James M.

Table of Contents: “…Course Introduction -- C Memory Organization -- C Language Basics -- C Language Basics II -- C Storage Types and Scope -- C Arrays and Strings -- C Conditionals and Looping -- C Pointers -- C Look-Up Tables -- C Structures -- C Linked Lists -- C Memory -- C File I/O -- C Command Line Arguments -- Embedded Programming -- Hardware Architecture -- AVR ATmega 328P Overview -- Bits & Pieces: includes and defines -- Bits & Pieces: Digital Input Circuitry -- Bits & Pieces: Digital Input Circuitry -- Bits & Pieces: pinMode -- Bits & Pieces: digitalWrite -- Bits & Pieces: delay -- Bits & Pieces: digitalRead -- Bits & Pieces: Analog Input Circuitry -- Bits & Pieces: analogRead -- Bits & Pieces: analogWrite -- Bits & Pieces: Timer/Counters -- Bits & Pieces: Interrupts…”
Access online version

Introduction to Programming using Fortran 95/2003/2008 by Jorgensen, Ed

Table of Contents: “…1 Introduction -- 2 Computer Organization -- 3 Getting Started -- 4 Fortran 95/2003/2008 - Basic Elements -- 5 Expressions -- 6 Simple Input and Output -- 7 Program Development -- 8 Selection Statements -- 9 Looping -- 10 Formatted Input/Output -- 11 Characters and Strings -- 12 File Operations -- 13 Single Dimension Arrays -- 14 Multidimensional Arrays -- 15 Subprograms -- 16 Derived Data Types -- 17 Modules -- 18 Recursion -- 19 Character String / Numeric Conversions -- 20 System Services -- 21 Appendix A - ASCII Table -- 22 Appendix B - Start-Up Instructions -- 23 Appendix C - Random Number Generation -- 24 Appendix D - Instrinsic Functions -- 25 Appendix E - Visualization with GNUplot -- 26 Appendix F - Quiz Question Answers -- 27 Appendix G - Fortran 95/2003/2008 Keywords…”
Access online version

The Novartis Vaccines Institute for Global Health: a new initiative for developing vaccines for neglected diseases in developing countries by Allan Saul, Rino Rappuoli

Connect to this object online.

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: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata

Introduction to Digital Humanism A Textbook /

Table of Contents: “…-- The Re-Enchanted Universe of AI: the Place for Human Agency -- Aesthetic Aspects of Digital Humanism: An Aesthetic-Philosophical Analysis of Whether AI Can Create Art -- Approaches to Ethical AI[1] -- Promises and Perils in Moralizing Technologies -- The Road Less Taken: Pathways to Ethical and Responsible Technologies -- Bridging the Digital Divide -- Responsible Software Engineering: Requirements and Goals -- Bridging the Digital Divide -- Responsible Software Engineering: Requirements and Goals -- Governance for Digital Humanism: The role of regulation, standardization, and certification -- Value-Sensitive Software Design: Ethical Deliberation in Agile Development Processes -- Humans in the loop: people at the heart of systems development -- Resilience: the Key to Planetary and Societal Sustainability -- How blockchain technology can help to arrive at fair ecosystems and platforms -- Introduction to Security and Privacy -- Part 3: Critical and Societal Issues of Digital Systems -- Recommender Systems: Techniques, Effects, and Measures Towards Pluralism and Fairness -- Bias and the Web -- Copyright enforcement on social media platforms: On Algorithmic Content Moderation -- DEMOCRACY IN THE DIGITAL ERA -- Are Cryptocurrencies and Decentralized Finance Democratic? …”
Link to Metadata

Arzneimittel-Kompass 2022 Qualität der Arzneimittelversorgung /

Table of Contents: “…I Zum Einstieg ins Thema: Einleitung und Zusammenfassung -- Qualität der Arzneimittelversorgung - Theoretischer und konzeptueller Rahmen -- II Vertiefende Diskussion ausgewählter Fragestellungen: Multimedikation -- Potenziell inadäquate Medikation für ältere Menschen - PRISCUS 2.0 -- Arzneimittelversorgung in Pflegeheimen -- Arzneimittelversorgung von Kindern -- Menopausale Hormontherapie: Evidenz und Eingang in die Praxis -- Orale Kontrazeptiva: Wie neugewonnene Evidenz zu einer Veränderung der Arzneimitteltherapie führt -- Arzneimittelversorgung bei Multipler Sklerose -- Arzneimittelversorgung zwischen ambulanter und stationärer Behandlung -- Arzneimittelnutzung unter Pandemiebedingungen -- III Sicht der Akteurinnen und Akteure: Sicht der Vertretung der Patientinnen und Patienten - wichtige Faktoren der Qualität der Arzneimittelversorgung -- Sicht der Ärztinnen und Ärzte: Ungenügend sichere Prozesse durch Risiko-induzierende Rahmenbedingungen -- Sicht der Apothekerschaft:Gedanken zur Qualität der Arzneimittelversorgung in Deutschland -- Die Perspektive der Krankenhauspharmazie: Closed Loop Medication Management - Goldstandard im Krankenhaus -- Sicht der gesetzlichen Krankenversicherung - Entscheidende Aspekte der Arzneimittelversorgungsqualität: Passgenau, verlässlich, bezahlbar -- Sicht der pharmazeutischen Industrie - Arzneimittelversorgung in Deutschland: die richtigen Weichenstellungen für Innovationen -- IV Der Arzneimittelmarkt 2021: Der Arzneimittelmarkt 2021 im Überblick -- Ergebnisse des AMNOG-Erstattungsbetragsverfahrens -- Arzneimittelmarkt und -versorgung in Deutschland im europäischen Vergleich -- Die Autorinnen und Autoren.…”
Link to Metadata

Cookies, Coleslaw, and Stoops The Influence of Dutch on the North American Languages by van der Sijs, Nicoline

DOAB: download the publication
DOAB: description of the publication

Platelet-to-Lymphocyte Ratio (PLR) as the Prognostic Factor for Recurrence/Residual Disease in HSIL Patients After LEEP by Huang G, Gao H, Chen Y, Lin W, Shen J, Xu S, Liu D, Wu Z, Lin X, Jiang T, Dong B, Sun P

Connect to this object online.