A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Effect of formal advanced cardiovascular life support training with high-fidelity mannequins on knowledge and confidence of third-year PharmD students
2020
MedEdPublish
Preserved Fulltext
ACLS in a simulated code setting. ...
Methods At the University of Georgia (UGA) College of Pharmacy, two modes of ACLS instruction were assessed through two different groups/courses: core curriculum (group 1) and AHA certification (group ...
., et al. (2019) 'Improving skills retention after advanced structured resuscitation training: A systematic review of randomized controlled trials ', Resuscitation, 138, https://doi.org/10.1016/j.resuscitation ...
doi:10.15694/mep.2020.000259.1
fatcat:7pn3flcierh4df3radwydpmwja
Analysis and RTL correlation of instruction set simulators for automotive microcontroller robustness verification
2015
Proceedings of the 52nd Annual Design Automation Conference on - DAC '15
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this context, simulation-based verification using instruction set simulators (ISS) arises as a promising approach to partially cope with the increasing cost of the verification process as it allows ...
In particular, costs associated to the certification against the ISO26262 safety standard must be kept low for economical reasons. ...
This work has also been funded by the Ministry of Science and Technology of Spain under contract TIN2012-34557 and HiPEAC. ...
doi:10.1145/2744769.2744798
dblp:conf/dac/EspinosaHAAR15
fatcat:krtbe3btzngytcawlhuxdl3ski
Simulation Teaching: Developing Instructor Confidence
2014
International Journal of Nursing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Data Sources An online search of the literature was carried out via Texas Woman's University library. ...
In order to prepare and develop competence among undergraduate nurses, nurse educators support the use of incorporating high fidelity simulation in the laboratory setting. ...
Morris University, and University of San Francisco.The post master's certificate from Bryan College of Health Sciences is comprised of nine credit hours which consist of: setting the stage for simulation ...
doi:10.15640/ijn.v1n2a5
fatcat:ezvdgcl5sbhopopgukfi5nuryi
Advanced Cardiac Life Support (ACLS) Certification: An Innovative Course for Pharmacy Students
2004
American Journal of Pharmaceutical Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
To date, 176 of 178 students have successfully achieved certification. Of the 86 colleges of pharmacy surveyed, only one other college offers an ACLS certification course. Conclusions. ...
Midwestern University College of Pharmacy-Glendale in Glendale, Arizona, offers an elective course in advanced cardiac life support (ACLS), allowing students to obtain certification. ...
Midwestern University College of Pharmacy-Glendale (MWU-CPG) offers an innovative course titled, "Patient Care Issues in Critical Care Settings and Advanced Cardiac Life Support (ACLS) Certification." ...
doi:10.5688/aj680101
fatcat:kwsv2jaxo5b2fllc6ygz46z7am
A Certifying Code Generation Phase
2007
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
It turns out that the checking of the certificates is the actual bottleneck of certifying compilation. We present a proof schema to overcome this bottleneck. ...
This paper reports on the construction of a certifying code generation phase for a compiler. It is part of a larger project aimed at guaranteeing the correctness of a complete compiler. ...
The verification of an optimization algorithm is described in [2] ; it uses a simulation proof for showing semantical equivalence. ...
doi:10.1016/j.entcs.2007.09.008
fatcat:nlupz6t4zvdqtouwp23l2m72wq
Page 4433 of Psychological Abstracts Vol. 87, Issue 11
[page]
2000
Psychological Abstracts
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The certification models include academic accreditation, professional licensure/certification, aircraft simulator and training device certification, and trainer certification and verification. ...
workload * Subjective measures of workload * Simulation of workload * Measures of situational awareness * Performance measures of SA Subjective measures of SA * Simulation * Glossary of Terms ¢ Author ...
A package for exact kinetic data structures and sweepline algorithms
2007
Computational geometry
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
The package consists of three main parts, the kinetic data structure framework support code, an algebraic kernel which implements the set of algebraic operations required for kinetic data structure processing ...
Due to the similarity between the operations involved, the software can also be used to compute arrangements of polynomial objects using a sweepline approach. ...
Each certificate generator takes a number of primitives as arguments, but, instead of producing an element from a discrete set, it produces a set of discrete failure times for the certificate. ...
doi:10.1016/j.comgeo.2006.11.006
pmid:21165159
pmcid:PMC3001684
fatcat:yh7erwcavbbzbgj3a6ygnvffdq
Security certificate revocation list distribution for vanet
2008
Proceedings of the fifth ACM international workshop on VehiculAr Inter-NETworking - VANET '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
If the certificate authority needs to revoke a certificate (e.g. due to a breach of trust), it universally distributes a certificate revocation list. ...
We propose a method for car-to-car epidemic distribution of certificate revocation lists which is quick and efficient. ...
Typically, the CA adds the identification of the revoked certificate(s) to a Certificate Revocation List (CRL). 2 The CA then publishes the updated CRL to all VANET participants, instructing them not to ...
doi:10.1145/1410043.1410063
dblp:conf/mobicom/LaberteauxHH08
fatcat:yvobvlxs5jg5zpqfji5mej7xxy
Implementation of an Opioid Overdose and Naloxone Distribution Training in a Pharmacist Laboratory Course
2020
American Journal of Pharmaceutical Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
To describe the instructional design, implementation, and evaluation of an opioid overdose response program (ORP) and opioid overdose education and naloxone distribution (OEND) training program to third-year ...
The class ended with an evaluation exercise that involved completing post-OOKS and post-OOAS. Results. Fifty-six students participated in the ORP certification and OEND training. ...
ACKNOWLEDGMENTS We thank Megan Cook, Regine Beliard, Mamta Parikh, and Sherry Moore for assisting with implementing the ORP certification and OEND training program. ...
doi:10.5688/ajpe7179
pmid:32226065
pmcid:PMC7092781
fatcat:n3kv6mxrg5dxjo5egk3vvarcr4
The complexity of dynamic languages and dynamic optimization problems
1981
Proceedings of the thirteenth annual ACM symposium on Theory of computing - STOC '81
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
A non-deterministic turing machine (NDTM) consists of a tape, an alphabet , a set of instruction labels A, and a set of instructions of the following form: where ciEA, aoiE, and oic{-l,O,l}. ...
Thus the NDTM stops once it executes the instruction Ali. For bounded tapes, an NDTM also halts if an instruction tells it to move off of the tape. ...
doi:10.1145/800076.802475
dblp:conf/stoc/Orlin81
fatcat:xvgjpbvxs5atvmqmhanp6pynrm
Certifying Polynomial Time and Linear/Polynomial Space for Imperative Programs
2006
SIAM journal on computing (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The certificate for a program P with variables among X 1 , . . . , X n will be an (n + 1) × (n + 1) matrix M (P) over the finite set {0, 1, ∞}. ...
. , X n , each of which may represent any data structure such as stacks, registers, trees or graphs, and is equipped implicitly with a notion of size of an object stored in X i , denoted by |X i |. ...
Acknowledgements We would like to thank Martin Dietzfelbinger for both his precious comments and suggestions concerning the presentation of the material. ...
doi:10.1137/s0097539704445597
fatcat:3unwggjgv5ajdlu3uqzlhnhtsm
An Integrated, Module Based, Flight Training Program
1983
Collegiate Aviation Review International
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Individual modules combine the use of classroom instruction, texts and other professional reading, video learning labs, advanced computer managed flight simulators, ana intensive aircraft flight instruction ...
( 2) computer aided instruction with technologically advanced visual aids, (3)computer managed flight simulator instruction and (4)tlight training in a mix of aircratt not heretotore used in primary training.The ...
doi:10.22488/okstate.18.100205
fatcat:vu42ieku4jajtbtobrdy2x2oey
Fast cycle-accurate simulation and instruction set generation for constraint-based descriptions of programmable architectures
2004
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis - CODES+ISSS '04
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Results show that our simulators are up to an order of magnitude faster than other reported simulators of this type and two orders of magnitude faster than equivalent Verilog simulations. ...
The framework exploits the fact that designers are often only concerned with data paths, not the instruction set and control. ...
For each cycle, we run a statically-scheduled instruction. An instruction is defined as an unordered set of operations that has been checked for conflicts. ...
doi:10.1145/1016720.1016728
dblp:conf/codes/WeberMGSK04
fatcat:algglewnu5evnpskkzbb7vg23a
Application of Anchored Instruction in Higher Vocational ESP Course
2018
DEStech Transactions on Social Science Education and Human Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Taking the ESP course of International Shipping Agency as an example to create a real problem situation, students are encouraged to learn actively, solve problems collaboratively, and evaluate and reflect ...
In order to improve students' English application ability, the anchored instruction method is applied to ESP course in higher vocational colleges. ...
Take the "Conducting import formalities for a ship" unit in ISA ESP as an example, the application of anchored instruction is as follows:
Design the Real Situation Teachers can set a real problem situation ...
doi:10.12783/dtssehs/icaem2017/19088
fatcat:z5mmtsjl3neihciqvzkrn4q6vi
Medium Altitude Long Endurance Remotely Piloted Aircraft Training: a Pilot Study in Blended Learning
2016
Journal of unmanned aerial systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Since April of 2011, research and development efforts between the Air Force Research Laboratory (AFRL) and the University of North Dakota (UND) have progressed through the "Science and Technology for Warfighter ...
Designed to familiarize students with the layout and manipulation of the HDD menus for either the MQ-1 or MQ-9, a parallel pretest/posttest design was designed to examine the efficacy of this HDD menu ...
No significant effect of pilot certification was found in an analysis of the post test scores. ...
doi:10.31356/avi-fac0002
fatcat:o7n4q6kco5cvdawhu3acpig7em
« Previous
Showing results 1 — 15 out of 35,834 results