Results 71 to 80 of about 18,507,454 (305)
Automated Podcasting System for Universities
International Journal of Emerging Technologies in Learning (iJET), 2012 This paper presents the results achieved at Graz University of Technology (TU Graz) in the field of automating the process of recording and publishing university lectures in a very new way. It outlines cornerstones of the development and integration of an automated recording system such as the lecture hall setup, the recording hardware and software ...
Ypatios Grigoriadis +4 more
openaire +5 more sources
, 2011 Biennial; Report by: William T. Winsley, M.S., R.Ph., Executive Director; and, Danna E. Droz, R.Ph., J.D., PMP Administrator.; Lacks chronological designation.; Harvested from the web on 2/23 ...
Ohio Automated Rx Reporting System.
core
An object model development for the UK automated compliance checking [PDF]
, 2013 Approving building designs against existing UK building regulations manually is a time consuming and tedious process. As the architecture engineering construction (AEC) industry moves from 2D CAD drawings to more semantically rich building information ...
Malsane, S. +4 more
core
FEBS Open Bio, EarlyView.This protocol paper outlines methods to establish the success of a time‐resolved serial crystallographic experiment, by means of statistical analysis of timepoint data in reciprocal space and models in real space. We show how to amplify the signal from excited states to visualise structural changes in successful experiments.
Jake Hill +4 more
wiley +1 more source
Other title: Title from Reports home page: Annual report ...
, 2016 Annual; Began with ...
Ohio Automated Rx Reporting System.
core
A Case Based Reasoning System for Automated Forensic Examinations [PDF]
, 2011 While still relatively young the use of digital forensics in criminal investigations is increasing. This hasprompted law enforcement agencies to look at developing more efficient techniques for investigating digital media.
Vickers, Paul +3 more
core
Adapting Land Use and Infrastructure for Automated Driving: Part A [PDF]
69A3551747105This project is concerned with adapting land use and transportation infrastructure for automated driving. Autonomous vehicles will likely yield a transformation of urban form, its land use and mobility system.
University of Michigan, Ann Arbor +2 more
core +1 more source
FEBS Open Bio, EarlyView.The dFoCC pipeline starts with observed DED and resting‐state coordinates, which are then used to generate a library of triggered states. Correlation analysis of the calculated DED features of each candidate vs observed DED permits quantitative evaluation of candidate structural quality.
Meng Iao Fong +3 more
wiley +1 more source
Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software
, 2004 We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP)
Schumann, Johann +2 more
core +1 more source
piers-ch-allen/Automated-Modelling-System: Initial Release of The Automated Modelling System Code
<p><strong>Full Changelog</strong>: https://github.com/piers-ch-allen/Automated-Modelling-System/commits/V1.0</p ...
Piers Allen
core +1 more source