Intel is applying formal veriication to various pieces of mathematical software used in Merced, the rst implementation of the new IA-64 architecture. This paper discusses the development of a generic oating point library giving deenitions of the fundamental terms and containing formal proofs of important lemmas. We also brieey describe how this has been used in the veriication eeort so far.

This paper describes an investigation of potential advantages and risks of applying an aggressive asynchronous design methodology to Intel Architecture. RAPPID (“Revolving Asynchronous Pentium® Processor Instruction Decoder”), a prototype IA32 instruction length decoding and steering unit, was implemented using self-timed techniques. RAPPID chip was fabricated on a 0.25μ CMOS process and tested...

Comparison of the Expectation Maximization Algorithm and an Artificial Neural Network for Automated Bone Segmentation Austin Ramme4, Vincent Magnotta1,2, Nicole M. Grosland2,3 1Radiology, University of Iowa, Iowa City, IA; 2Biomedical Engineering, University of Iowa, Iowa City, IA; 3Center for Computer Aided Design, The University of Iowa, Iowa City, IA; 4Carver College of Medicine, The Univers...

This study examined the unique associations between big five personality traits and adolescent Internet addiction (IA), as well as the mediating role of coping style underlying these relations. Our theoretical model was tested with 998 adolescents. Participants provided self-report data on demographic variables, big five personality traits, coping style, and IA. After controlling for demographi...

GABRIEL OLVEIRA, PHD MAR IA JOSÉ TAPIA, MD JULIA OCÓN, PHD CARMEN CABREJAS-GÓMEZ, MD MAR IA D. BALLESTEROS-POMAR, PHD ALFONSO VIDAL-CASARIEGO, MD CARMEN ARRAIZA-IRIGOYEN, MD JOSEFINA OLIVARES, MD MARIA DEL CARMEN CONDE-GARC IA, PHD ALVARO GARC IA-MANZANARES, MD FRANCISCO BOTELLA-ROMERO, PHD ROSA P. QU ILEZ-TOBOSO, MD LUCIO CABRERIZO, PHD PILAR MATIA, MD LUISA CHICHARRO, MD ROSA BURGOS, PHD PEDR...

IA-2 is a major autoantigen in type 1 diabetes. Autoantibodies to IA-2 appear years before the development of clinical disease and are being widely used as predictive markers to identify individuals at risk for developing type 1 diabetes. IA-2 is an enzymatically inactive member of the transmembrane protein tyrosine phosphatase family and is an integral component of secretory granules in neuroe...