Chromosome aberrations are a sensitive indicator of genetic change, and the measurement of chromosome aberration frequency in peripheral blood lymphocytes is often used as a biological dosimeter of exposure (1,4). The length of time that cells are maintained in culture before cytogenetic analysis is probably the most important in vitro factor that influences both the frequency and types of aber...

The speed of a divider based on a digit-recurrence algorithm depends mainly on the latency of the quotient digit generation function. In this paper we present an analytical approach that extends the theory developed for standard SRT division and permits to implement division schemes where a simpler function speculates the quotient digit. This leads to division units with shorter cycle time and ...

1 Computer Science Department, University of Wisconsin Parkside, 900 Wood Road, P.O. Box 2000, Kenosha, WI 53141-2000 [mccann at uwp.edu] Abstract Division is the most intellectually challenging of the basic operators of relational algebra. Although its utility is unquestioned, its presentation by many textbooks, and therefore by many instructors, leaves much to be desired. This paper examines ...

Division of Nephrology, Department of Internal Medicine, Taichung Veterans General Hospital, Taichung, Taiwan* Division of Nephrology, Chung Shan Medical University Hospital, Taichung, Taiwan** Department of Biotechnology, Hung Kuang University***, Department of Life Science, Tunghai University**** Received: July, 2004 Revised: April, 2005 Accepted: June, 2005 Address reprint requests to Dr. Ku...

‎Here‎, ‎we investigate a conjecture posed by Amiri and Ariannejad claiming‎ ‎that if every maximal subfield of a division ring $D$ has trivial normalizer‎, ‎then $D$ is commutative‎. ‎Using Amitsur classification of‎ ‎finite subgroups of division rings‎, ‎it is essentially shown that if‎ ‎$D$ is finite dimensional over its center then it contains a maximal‎ ‎subfield with non-trivial normalize...

We extend the Leon verification system for Scala with support for bitvector reasoning, thus addressing one of its fundamental soundness limitation with respect to the treatment of integers primitives. We leverage significant progresses recently achieved in SMT solving by developing a solver-independent interface to easily configure the back-end of Leon. Our interface is based on the emerging SM...

Extremely large medical images, like ones of virtual slide microscopy, are beyond some limitations of the DICOM standard (e.g., a 4 Gbyte barrier, caused by 32-bit architecture). Some solutions and trade-offs have been already proposed and included in the DICOM standard (e.g., usage of JPEG2000 image compression standard, JPEG2000 interactive protocol [JPIP] and division of the images into smal...

Abstract. In this paper we study standard bases for submodules of K[[t1, . . . , tm]][x1, . . . , xn] s respectively of their localisation with respect to a t-local monomial ordering. The main step is to prove the existence of a division with remainder generalising and combining the division theorems of Grauert and Mora. Everything else then translates naturally. Setting either m = 0 or n = 0 w...

This paper presents integer multiplication and division operators dedicated to Virtex-II FPGAs from Xilinx. Those operators are based on small 18×18 multiplier blocks available in the Virtex-II device family. Various trade-offs are explored (computation decomposition, radix, digit sets . . . ) using specific VHDL generators. The obtained operators lead to speed improvements up to 18% for multip...

Timing and frequency synchronizationsare the important tasks in receiver. In this paper, an efficient timing and carrier frequency offset (CFO) estimation algorithm for orthogonal frequency division multiple access/ time division duplexing (OFDMA/TDD) mode in IEEE 802.16-2004 standard (WiMAX) is represented. This method has high performance and jointly estimates timing error and CFO. The perfor...