Search Results - Handwara~

Association of Sociodemographic Factors with Trends of Self-Medication Practice and Its Hazard Perception for Oral Health Problems among Patient by Hira Butt, Samra Liaqat, Aqsa, Amna Nauman Khan, Nauman Rauf Khan, Fizza Tahir

Connect to this object online.

Frequency of Anxiety and Its Risk Factors Among Working & Non-Working Women of Peshawar by Nighat Musa, Yasir Mehmood, Asghar Khan

Connect to this object online.

Diagnostic Accuracy of Chest X-Ray in Interstitial Lung Diseases, Keeping High Resolution Computed Tomography Scan as Gold Standard by Khadeeja Anwar, Ummara Siddique, Irfanullah Khan, Abdullah Safi, Hadia Abid, Ayesha Anwar, Karishma Israr

Connect to this object online.

Ray Tracing Gems High-Quality and Real-Time Rendering with DXR and Other APIs

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

Gameworlds Virtual Media and Children's Everyday Play by Giddings, Seth

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

Concepciones de las maestras de preescolar sobre la enseñanza, el aprendizaje y la evaluación de las matemáticas// Conceptions of preschool teachers about teaching, learning and... by Oleg Gustavo Vásquez Arrieta

Connect to this object online.

EDUCAÇÃO INFORMAL, PRÁTICAS EDUCATIVAS E PROSTITUIÇÃO by Camila Saraiva de Matos, José Gerardo Vasconcelos, Tânia Gorayeb Sucupira

Connect to this object online.

Polymer Membranes for Gas Separation

DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
Link to Metadata

Mengenali mikrokomputer dengan lebih dekat: bagaimana mikrokomputer bekerja untuk memenuhi kehendak pengguna / Mazidah Puteh by Puteh, Mazidah

Link Metadata

The Datacenter as a Computer Designing Warehouse-Scale Machines, Third Edition / by Barroso, Luiz André, Hölzle, Urs, Ranganathan, Parthasarathy

Table of Contents: “…Acknowlegements -- Introduction -- Workloads and Software Infrastructure -- WSC Hardware Building Blocks -- Data Center Basics: Building, Power, and Cooling -- Energy and Power Efficiency -- Modeling Costs -- Dealing with Failures and Repairs -- Closing Remarks -- Bibliography -- Author Biographies.…”
Link to Metadata

Construction, Operation and Maintenance of Network System(Junior Level) by Huawei Technologies Co., Ltd

Table of Contents: “…Cabling Engineering -- Chapter 3. Hardware Installation in Network Systems -- Chapter 4. …”
Link to Metadata

Cyber Security 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers /

Table of Contents: “…Access Control -- Cryptography -- Denial-of-Service Attacks -- Hardware Security Implementation -- Intrusion/Anomaly Detection and Malware Mitigation -- Social Network Security and Privacy.…”
Link to 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

Engineering Haptic Devices

DOAB: download the publication
DOAB: description of the publication

Building the Hyperconnected Society- Internet of Things Research and Innovation Value Chains, Ecosystems and Markets

DOAB: download the publication
DOAB: description of the publication

Gestational Weight Gain and Its Relation to Maternal, Fetal and Neonatal Sequelae: A Future Dilemma by Hina Gul, Shahazadi Saima Hussain, Aiman Munir, Shandana Bawar

Connect to this object online.

Efficacy and Safety of Empagliflozin as Add-On Therapy in Patients of Type-2 Diabetes Mellitus by Nauman Wazir, Shafqat Ur Rehman

Connect to this object online.

Evaluating Impact of Empagliflozin on Lipid Profile of Patients of Type 2 Diabetes Mellitus by Nauman Wazir, Shafqat Ur Rehman

Connect to this object online.

The Clinical Profile of Oral Lichen Planus by Syed Murad Ali Shah, Muhammad Ilyas, Jawad Ahmad Kundi

Connect to this object online.