2,350 research outputs found
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
- …