Results 231 to 240 of about 133,892 (288)
Some of the next articles are maybe not open access.
Combining PDR and reverse PDR for hardware model checking
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2018In 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 +1 more source
Colorful PDR: Colorizing PDR with shopping context in walking
2017 International Conference on Indoor Positioning and Indoor Navigation (IPIN), 2017The 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 +2 more
openaire +1 more source
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 +3 more
openaire +1 more source
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 +3 more
openaire +1 more source
Archives of Internal Medicine, 1997
Two concerns came to mind as I read "The Physicians' Desk Reference [ PDR ]: Problems and Possible Improvements" by Cohen and Insel. 1 The PDR 2 must be viewed as a form of advertising (in a reference format) in which pharmaceutical manufacturers present information on medications that they pick and choose by presenting package insert information ...
openaire +2 more sources
Two concerns came to mind as I read "The Physicians' Desk Reference [ PDR ]: Problems and Possible Improvements" by Cohen and Insel. 1 The PDR 2 must be viewed as a form of advertising (in a reference format) in which pharmaceutical manufacturers present information on medications that they pick and choose by presenting package insert information ...
openaire +2 more sources
Results of PDR Treatments: The AMC PDR Experience
2013Pulsed-dose-rate (PDR) brachytherapy has been introduced for the treatment of intermediate-/high-risk prostate cancer. A dose of 28–35 Gy PDR brachytherapy is given as a boost to external beam radiotherapy of 46–50 Gy. The reported 5-year biochemical-free survival is 85.6–89.5 %. The incidence of grade 2–3 rectal complications is limited (12–15 %). The
B. R. Pieters, E. D. Geijsen
openaire +1 more source
1999
Shock waves, generated in various environments by supersonic motions, are common in interstellar space. The mechanical compression and heating caused by shocks produce distinctive signatures. Similar signatures are generated also by the radiative heating effect of hard UV photons in photodissociation regions.
openaire +1 more source
Shock waves, generated in various environments by supersonic motions, are common in interstellar space. The mechanical compression and heating caused by shocks produce distinctive signatures. Similar signatures are generated also by the radiative heating effect of hard UV photons in photodissociation regions.
openaire +1 more source
PDR Models – Radiative properties
EAS Publications Series, 2008Some recent results on radiative transfer in standard PDR models (1D, stationary) are presented and illustrated with the Meudon PDR code. It is shown that current modeling capacities are sufficient to go beyond the usual (mostly escape probabilities) approximations. A few more sophisticated works adapted to more complex physical
openaire +2 more sources