Search Results - Omloop~

A Novel PD-L1-targeting Antagonistic DNA Aptamer With Antitumor Effects by Wei-Yun Lai, Bo-Tsang Huang, Jen-Wei Wang, Pei-Ying Lin, Pan-Chyr Yang

Connect to this object online.

Neuropsychiatric Manifestations, Reduced Self-Esteem and Poor Quality of Life in Children and Adolescents with Neurofibromatosis Type 1 (NF1): The Impact of Symptom Visibility and... by Nicola Davide Cavallo, Gianpaolo Maggi, Francesco Ferraiuolo, Anna Sorrentino, Silverio Perrotta, Marco Carotenuto, Gabriella Santangelo, Claudia Santoro

Connect to this object online.

Molecular and functional characterization of a Trypanosoma cruzi nuclear adenylate kinase isoform. by María de los Milagros Cámara, León A Bouvier, Gaspar E Canepa, Mariana R Miranda, Claudio A Pereira

Connect to this object online.

Network Propaganda Manipulation, Disinformation, and Radicalization in American Politics by Benkler, Yochai

OAPEN Library: download the publication
OAPEN Library: description of the publication

Dertig jaar privatisering, verzelfstandiging en marktwerking by Stellinga, Bart

OAPEN Library: download the publication
OAPEN Library: description of the publication

Steunberen van de samenleving Sociologische essays by Schuyt, Kees

OAPEN Library: download the publication
OAPEN Library: description of the publication

Global Indian Diasporas Exploring Trajectories of Migration and Theory

OAPEN Library: download the publication
OAPEN Library: description of the publication

Parametric study for optimizing winglet efficiency and comparative analysis of aerodynamic performance of a wing with no winglet and with different types of winglets for lighter ai... by Parametric study for optimizing winglet efficiency, comparative analysis of aerodynamic performance of a wing with no winglet, with different types of winglets for lighter aircraft

Connect to this object online.

Prevalência das lesões intra-epiteliais de alto grau em pacientes com citologia com diagnóstico persistente de ASCUS Prevalence of high-grade squamous intraepithelial lesions in... by Fernanda Rangel da Veiga, Fábio Russomano, Maria José de Camargo, Aparecida Cristina Sampaio Monteiro, Aldo Reis, Maria Aparecida Tristão

Connect to this object online.

The effect of psychological violence in the workplace on health: A holistic eco-system approach by Helena W. Meyer, Tiaan G.J.C. Kirsten

Connect to this object online.

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 o...

Table of Contents: “…Theorem Proving -- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning -- Efficient verification of imperative programs using auto2 -- Frame Inference for Inductive Entailment Proofs in Separation Logic -- Verified Model Checking of Timed Automata -- SAT and SMT I -- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams -- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving -- Automatic Generation of Precise and Useful Commutativity Conditions -- Bit-Vector Model Counting using Statistical Estimation -- Deductive Verification -- Hoare Logics for Time Bounds -- A Verified Implementation of the Bounded List Container -- Automating Deductive Verification for Weak-Memory Programs -- Software Verification and Optimisation -- Property Checking Array Programs Using Loop Shrinking -- Invariant Synthesis for Incomplete Verification Engines -- Accelerating Syntax-Guided Invariant Synthesis -- Daisy - Framework for Analysis and Optimization of Numerical Programs -- Model Checking -- Oink: an Implementation and Evaluation of Modern Parity Game Solvers -- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) -- Generation of Minimum Tree-like Witnesses for Existential CTL -- From Natural Projection to Partial Model Checking and Back -- Machine Learning -- ICE-based Refinement Type Discovery for Higher-Order Functional Programs -- Strategy Representation by Decision Trees in Reactive Synthesis -- Feature-Guided Black-Box Safety Testing of Deep Neural Networks. .…”
Link to Metadata

Open Design Systems by Wolfert, Rogier

DOAB: download the publication
DOAB: description of the publication

European Guide to Power System Testing The ERIGrid Holistic Approach for Evaluating Complex Smart Grid Configurations

DOAB: download the publication
DOAB: description of the publication

Sub- and Supra-Second Timing: Brain, Learning and Development by Marc Wittmann

DOAB: download the publication
DOAB: description of the publication

Towards embodied artificial cognition: TIME is on my side by Marc Wittmann

DOAB: download the publication
DOAB: description of the publication

Chapter 5 The 'hell of modern sound' A history of urban noise in modern Japan by Smith, Martyn David

DOAB: download the publication
DOAB: description of the publication

Identifying research particiaption effects through qualitative methods: Feedback from Research Engagement Consultants involved in a pediatric mental health comparative effectivenes... by Elisabeth A. Stelson, Mallory Bolenbaugh, Briana Woods-Jaeger, Cassidy Branch, Marizen Ramirez

Connect to this object online.

Implementation and quality assessment of a clinical orthopaedic registry in a public hospital department by Binglong Lee, Milad Ebrahimi, Nalan Ektas, Chee Han Ting, MacDougal Cowley, Corey Scholes, Christopher Bell

Connect to this object online.

Participatory modeling for local and regional collaboration on climate change adaptation and health by Sarah Harrison, Alexandra Macmillan, Sophie Bond, Janet Stephenson

Connect to this object online.

The Assessment of Calcium and Bleomycin Cytotoxic Efficiency in Relation to Cavitation Dosimetry by Martynas Maciulevičius, Renaldas Raišutis, Baltramiejus Jakštys, Linas Svilainis, Andrius Chaziachmetovas, Saulius Šatkauskas

Connect to this object online.