Search Results - Handwara~

Proposing a Local "Technology Readiness Assessment" Model for Biopharmaceutical Industries of Iran by Masoud Faramarzi, Javad Noori, Abbas Kebriaeezadeh, Meysam Seyedifar

Connect to this object online.

A variant of a type V lateral clavicle fracture involving a posteriorly displaced medial segment. A case report by Goss Thomas P, Li Xinning

Connect to this object online.

The influence of socio-demographic characteristics on respondents' perceptions of healthcare service quality by Stanisław Manulik, Piotr Karniej, Joanna Rosińczuk

Connect to this object online.

Analytical Performance Evaluation of New DESI Enhancements for Targeted Drug Quantification in Tissue Sections by Margaux Fresnais, Siwen Liang, Marius Breitkopf, Joshua Raoul Lindner, Emmanuelle Claude, Steven Pringle, Pavel A. Levkin, Konstantin Demir, Julia Benzel, Julia Sundheimer, Britta Statz, Kristian W. Pajtler, Stefan M. Pfister, Walter E. Haefeli, Jürgen Burhenne, Rémi Longuespée

Connect to this object online.

The role of e-learning in Medical Sciences Universities by H Dargahi, M Ghazi Saidi, M Ghasemi

Connect to this object online.

Leaf To Uplift Mindoro: Rehabilitation And Propagation Of Nipa (Nypa Fruticans Wurmb) In Occidental Mindoro by Leah Veloria Cadiao, Leticia C. Espiritu

Connect to this object online.

Paediatric Thoracic Imaging in Cystic Fibrosis in the Era of Cystic Fibrosis Transmembrane Conductance Regulator Modulation by Patrick W. O'Regan, Niamh E. Stevens, Niamh Logan, David J. Ryan, Michael M. Maher

Connect to this object online.

Integrated Outreach: Increasing Engagement in Computer Science and Cybersecurity by Shaya Wolf, Andrea Carneal Burrows, Mike Borowczak, Mason Johnson, Rafer Cooley, Kyle Mogenson

Connect to this object online.

Å forske på eiga speling by Njål Ølnes

Connect to this object online.

Formation of informational and digital competence of secondary school students in laboratory work in physics by Oleksandr O. Martyniuk, Oleksandr S. Martyniuk, Ivan O. Muzyka

Connect to this object online.

From Density Functional Theory to Conceptual Density Functional Theory and Biosystems by Paul Geerlings

Connect to this object online.

Urinary Ultrasound and Other Imaging for Ureteropelvic Junction Type Hydronephrosis (UPJHN) by Ayse Kalyoncu Ucar, Sebuh Kurugoglu

Connect to this object online.

Chapter Tree-Network Overrun Model Associated with Pilots' Actions and Flight Operational Procedures by Ramos Martins, Marcelo

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

Bio-Inspired Information Pathways From Neuroscience to Neurotronics

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

Development of a low cost planar interdigital ammonia sensor for water quality sensing application - prototype / Norfarah Amira Jalal ... [et al.] by Jalal, Norfarah Amira, Othman, Nor Azlan, Damanhuri, Nor Salwa, Ibrahim, Intan Rahayu, Abd Rahman, Mohamad Faizal, Ahmad, Anita

Link Metadata

Development of a low cost planar interdigital ammonia sensor for water quality sensing application - prototype / Norfarah Amira Jalal ...[et al.] by Jalal, Norfarah Amira, Othman, Nor Azlan, Damanhuri, Nor Salwa, Ibrahim, Intan Rahayu, Abd Rahman, Mohamad Faizal, Ahmad, Anita

Link Metadata

Enhancing security and privacy in local area network (LAN) with TORVPN using raspberry PI as access point: a design and implementation / Mohd Nizam Osman ... [et al.] by Osman, Mohd Nizam, Sedek, Khairul Anwar, Othman, Nor Arzami, Rosli, Muhammad Afiqhakimi, Maghribi, Mushahadah

Link Metadata

Open and distance learning: investigation on quality of experience among final year computer science students in UiTM Cawangan Pahang / Mohd Norafizal Abd Aziz ... [et al.] by Abd Aziz, Mohd Norafizal, Noradzan, Haslinda, Zakariah, Zazaleena, Ismail, Juhaida, Abdul Rahman, Rozeleenda

Link Metadata

Accessing and delivering online education in the time of COVID-19: challenges for visually impaired people in Malaysia / Andy Hickson ... [et al.] by Hickson, Andy, Tajer, Leyla H., Alobaedy, Mustafa Muwafak, Joo Vin Oh, Edmund

Link Metadata

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