Active rc networks of low sensitivity for integrated circuit transfer function

Active RC network is capable of extremely high Q performance with exceptional stability and has independently adjustable zeros and poles. The circuit consists of two integrators and two summers that are interconnected to produce a complete second-order numerator and a second-order denominator

On model checking data-independent systems with arrays without reset

A system is data-independent with respect to a data type X iff the operations it can perform on values of type X are restricted to just equality testing. The system may also store, input and output values of type X. We study model checking of systems which are data-independent with respect to two distinct type variables X and Y, and may in addition use arrays with indices from X and values from Y . Our main interest is the following parameterised model-checking problem: whether a given program satisfies a given temporal-logic formula for all non-empty nite instances of X and Y . Initially, we consider instead the abstraction where X and Y are infinite and where partial functions with finite domains are used to model arrays. Using a translation to data-independent systems without arrays, we show that the u-calculus model-checking problem is decidable for these systems. From this result, we can deduce properties of all systems with finite instances of X and Y . We show that there is a procedure for the above parameterised model-checking problem of the universal fragment of the u-calculus, such that it always terminates but may give false negatives. We also deduce that the parameterised model-checking problem of the universal disjunction-free fragment of the u-calculus is decidable. Practical motivations for model checking data-independent systems with arrays include verification of memory and cache systems, where X is the type of memory addresses, and Y the type of storable values. As an example we verify a fault-tolerant memory interface over a set of unreliable memories.Comment: Appeared in Theory and Practice of Logic Programming, vol. 4, no. 5&6, 200

Mini-Conference on Hamiltonian and Lagrangian Methods in Fluid and Plasma Physics

A mini-conference on Hamiltonian and Lagrangian methods in fluid and plasma physics was held on November 14, 2002, as part of the 44th meeting of the Division of Plasma Physics of the American Physical Society. This paper summarizes the material presented during the talks scheduled during the Mini-Conference, which was held to honor Allan Kaufman on the occasion of his 75th birthday.Comment: 14 pages, conference summar

The automation of a stellar proper motion measuring system Annual report, 1 Jul. 1966 - 30 Jun. 1967

Design and operation of automated stellar proper motion measuring syste

Spotlights on Success: Traits and Strategies of Five High-Growth Schools in Arkansas

Successful schools are those which best educate the students, regardless of background. They are not those with students who come in well-educated but show only slight improvement, nor are they schools which use the disadvantage as an excuse for continued low levels of achievement. Instead, successful schools are those which advance the learning of all their children beyond what is expected

Anisotropy in the Cosmic Microwave Background at Degree Angular Scales: Python V Results

Observations of the microwave sky using the Python telescope in its fifth season of operation at the Amundsen-Scott South Pole Station in Antarctica are presented. The system consists of a 0.75 m off-axis telescope instrumented with a HEMT amplifier-based radiometer having continuum sensitivity from 37-45 GHz in two frequency bands. With a 0.91 deg x 1.02 deg beam the instrument fully sampled 598 deg^2 of sky, including fields measured during the previous four seasons of Python observations. Interpreting the observed fluctuations as anisotropy in the cosmic microwave background, we place constraints on the angular power spectrum of fluctuations in eight multipole bands up to l ~ 260. The observed spectrum is consistent with both the COBE experiment and previous Python results. There is no significant contamination from known foregrounds. The results show a discernible rise in the angular power spectrum from large (l ~ 40) to small (l ~ 200) angular scales. The shape of the observed power spectrum is not a simple linear rise but has a sharply increasing slope starting at l ~ 150.Comment: 5 page

Dynamics of Social Balance on Networks

We study the evolution of social networks that contain both friendly and unfriendly pairwise links between individual nodes. The network is endowed with dynamics in which the sense of a link in an imbalanced triad--a triangular loop with 1 or 3 unfriendly links--is reversed to make the triad balanced. With this dynamics, an infinite network undergoes a dynamic phase transition from a steady state to "paradise"--all links are friendly--as the propensity p for friendly links in an update event passes through 1/2. A finite network always falls into a socially-balanced absorbing state where no imbalanced triads remain. If the additional constraint that the number of imbalanced triads in the network does not increase in an update is imposed, then the network quickly reaches a balanced final state.Comment: 10 pages, 7 figures, 2-column revtex4 forma

Performance of PCA3 and TMPRSS2:ERG urinary biomarkers in prediction of biopsy outcome in the Canary Prostate Active Surveillance Study (PASS).

BackgroundFor men on active surveillance for prostate cancer, biomarkers may improve prediction of reclassification to higher grade or volume cancer. This study examined the association of urinary PCA3 and TMPRSS2:ERG (T2:ERG) with biopsy-based reclassification.MethodsUrine was collected at baseline, 6, 12, and 24 months in the multi-institutional Canary Prostate Active Surveillance Study (PASS), and PCA3 and T2:ERG levels were quantitated. Reclassification was an increase in Gleason score or ratio of biopsy cores with cancer to ≥34%. The association of biomarker scores, adjusted for common clinical variables, with short- and long-term reclassification was evaluated. Discriminatory capacity of models with clinical variables alone or with biomarkers was assessed using receiver operating characteristic (ROC) curves and decision curve analysis (DCA).ResultsSeven hundred and eighty-two men contributed 2069 urine specimens. After adjusting for PSA, prostate size, and ratio of biopsy cores with cancer, PCA3 but not T2:ERG was associated with short-term reclassification at the first surveillance biopsy (OR = 1.3; 95% CI 1.0-1.7, p = 0.02). The addition of PCA3 to a model with clinical variables improved area under the curve from 0.743 to 0.753 and increased net benefit minimally. After adjusting for clinical variables, neither marker nor marker kinetics was associated with time to reclassification in subsequent biopsies.ConclusionsPCA3 but not T2:ERG was associated with cancer reclassification in the first surveillance biopsy but has negligible improvement over clinical variables alone in ROC or DCA analyses. Neither marker was associated with reclassification in subsequent biopsies