Sciweavers

2479 search results - page 455 / 496
» Random Event Structures
Sort
View
ICAD
2004
13 years 9 months ago
Orchestration Within the Sonification of Basic Data Sets
The use of sonification as a means of representing and analysing data has become a growing field of research in recent years and as such has become a far more accepted means of wo...
Charlie Cullen, Eugene Coyle
SIMVIS
2004
13 years 9 months ago
Model-based Approach to Automatic 3D Seismic Horizon Correlation across Faults
Seismic data provide detailed information about subsurface structures. Reflection events visible in the seismic data are known as horizons, and indicate boundaries between differe...
Fitsum Admasu, Klaus D. Tönnies
APLAS
2010
ACM
13 years 7 months ago
Typechecking Higher-Order Security Libraries
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Karthikeyan Bhargavan, Cédric Fournet, Nata...
AES
2008
Springer
182views Cryptology» more  AES 2008»
13 years 7 months ago
Logical product models for automated scripting of process-level construction animations
Animation can add significant value to Discrete-Event Simulation by helping verify, validate, and accredit simulation analyses. This is particularly true in construction where typ...
Vineet R. Kamat
23
Voted
BMCBI
2010
125views more  BMCBI 2010»
13 years 7 months ago
A computational screen for site selective A-to-I editing detects novel sites in neuron specific Hu proteins
Background: Several bioinformatic approaches have previously been used to find novel sites of ADAR mediated A-to-I RNA editing in human. These studies have discovered thousands of...
Mats Ensterö, Örjan Åkerborg, Dani...