Results 221 to 230 of about 55,070 (279)

Is There a Plastic Surgeon on Call? A Population-Based Cross-Sectional Study on Plastic Surgery Call Coverage in Ontario. [PDF]

Plast Surg (Oakv)
Madumere M, Yuen K, Churchill I, Akter F, Liu Y, Thoma A, Sweetman A, Retrouvey H.   +7 more
europepmc   +1 more source

Correlation of Serum Intercellular Adhesion Molecule 1 and Transforming Growth Factor Beta 1 With Diabetic Retinopathy in North Indian Patients With Type 2 Diabetes Mellitus. [PDF]

Cureus
Garg R, Srivastava T, Waris A, Shafiq Siddiqi S.   +3 more
europepmc   +1 more source

Antimicrobial Resistance and Stewardship in Surgical Departments: A Three-Year Single-Center Study. [PDF]

Medicina (Kaunas)
Grindean A, Cîmpianu ME, Domsa EM, Popentiu A.   +3 more
europepmc   +1 more source

Integrated service delivery to improve adolescent health and human papillomavirus (HPV) vaccination in Lao PDR: a quasi-experimental mixed-methods study - study protocol. [PDF]

BMJ Open
Lynn T, Sychareun V, Chaleunvong K, Vongxay V, Thongmixay S, Phimmavong C, Taikeophithoun C, Van Der Kooij J.   +7 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Colorful PDR: Colorizing PDR with shopping context in walking

2017 International Conference on Indoor Positioning and Indoor Navigation (IPIN), 2017
The technology for detection of indoor location information has been attracting much attention in the recent past, since such information can be utilized for navigation and marketing research. The commonly used indoor location detection methods are Wi-Fi positioning, Bluetooth Low Energy (BLE) beacons and Pedestrian Dead-reckoning (PDR).
Kohei Kanagu, Kota Tsubouchi, Nobuhiko Nishio   +2 more
openaire   +1 more source

Combining PDR and reverse PDR for hardware model checking

2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018
In the last few years IC3 resp. PDR attracted a lot of attention as a SAT-based hardware verification approach without needing to unroll the transition relation as in Bounded Model Checking (BMC). Motivated by different strengths of forward and backward traversal already observed in BDD based model checking and by an exponential complexity gap between ...
Tobias Seufert, Christoph Scholl 0001
openaire   +2 more sources

Designing parallel PDR

2017 Formal Methods in Computer Aided Design (FMCAD), 2017
Property Directed Reachability (PDR) is an efficient model checking technique. However, the intrinsic high computational complexity prevents PDR from meeting the challenges of real world verification. To address this problem, this paper introduces the parallel algorithm P3 based on: 1) partitioning of the input problem, 2) exchanging of learned ...
Matteo Marescotti, Arie Gurfinkel, Antti Eero Johannes Hyvärinen, Natasha Sharygina   +3 more
openaire   +2 more sources

Pertussis in Lao PDR: Seroprevalence and disease [PDF]

International Journal of Infectious Diseases, 2020
Objectives Pertussis is a debilitating vaccine-preventable infection. The aim of this study was to determine susceptibility and exposure to pertussis in Lao PDR in different age groups and subpopulations.
Daria Kleine, Antony P Black, Claude P Muller   +2 more
exaly   +2 more sources