Results 71 to 80 of about 561,919 (235)
Towards structuring contextual information for workflow-driven surgical assistance functionalities
A workflow-driven cooperative working environment needs to be established in order to successfully unburden the surgeon and the OR staff from technical configuration and information-seeking tasks.
Franke Stefan, Neumuth Thomas
doaj +1 more source
A Supplemental computer-assisted intervention to prevent early reading difficulties in spanish learners: a randomised controlled trial [PDF]
Difficulties implementing effective instruction for at-risk students arise from two challenges: evidence-based knowledge transfer and lack of economic resources. Computer-assisted programs can offer a suitable solution, providing quality instruction with
Bordoy Castro, Soraya+4 more
core
An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
We propose a new algorithm for computing validated bounds for the solutions to the first order variational equations associated to ODEs. These validated solutions are the kernel of numerics computer-assisted proofs in dynamical systems literature.
Walawska, Irmina, Wilczak, Daniel
core +1 more source
Lina Lee Professor Spanish; Languages, Literature, & Culture, College of Liberal Arts (COLA) travels to Italy [PDF]
In August 2015, I traveled to Padova, Italy to attend the European Association for Computer Assisted Language Learning (EUROCALL) annual conference. The conference took place at the University of Padova, 45 minutes outside of Venice.
Lee, Lina
core +2 more sources
Gholami Bajestani Denis+4 more
doaj +1 more source
An essential aspect for workflow management support in operating room environments is the description and visualization of the underlying processes and activities in a machine readable format as Surgical Process Models (SPM).
Neumann Juliane, Neumuth Thomas
doaj +1 more source
Computer assisted thermal-vacuum testing [PDF]
In testing complex systems and components under dynamic thermal-vacuum environments, it is desirable to optimize the environment control sequence in order to reduce test duration and cost.
Mikk, G., Petrie, W.
core +1 more source
RFCs, MOOs, LMSs: Assorted Educational Devices\ud [PDF]
This paper discusses implicit social consequences of four basic internet protocols. The results are then related to the field of computer-assisted teaching.
Hrachovec, Herbert
core
ELECTRONIC AND COMPUTER-ASSISTED STUDIES OF BIOMEDICAL PROBLEMS [PDF]
F V Flynn
openalex +1 more source
Computer-assisted method for compiling a blood group register [PDF]
L. A. Bellchambers+2 more
openalex +1 more source