A timing simulator

A timing simulator, called TIMSIM, has been developed which performs gate level simulation of simple digital logic circuits. TIMSIM has a library of twelve standard TTL gate elements and memory elements. These elements incorporate various features including single outputs, multiple outputs, non-symmetric inputs, and memory states. TIMSIM uses a rise-fall delay model and three values to represent a signal\u27s logic level

Real root finding for equivariant semi-algebraic systems

Let $R$ be a real closed field. We consider basic semi-algebraic sets defined by $n$-variate equations/inequalities of $s$ symmetric polynomials and an equivariant family of polynomials, all of them of degree bounded by $2d < n$. Such a semi-algebraic set is invariant by the action of the symmetric group. We show that such a set is either empty or it contains a point with at most $2d-1$ distinct coordinates. Combining this geometric result with efficient algorithms for real root finding (based on the critical point method), one can decide the emptiness of basic semi-algebraic sets defined by $s$ polynomials of degree $d$ in time $(sn)^{O(d)}$. This improves the state-of-the-art which is exponential in $n$. When the variables $x_1, \ldots, x_n$ are quantified and the coefficients of the input system depend on parameters $y_1, \ldots, y_t$, one also demonstrates that the corresponding one-block quantifier elimination problem can be solved in time $(sn)^{O(dt)}$

Oscillation of linear ordinary differential equations: on a theorem by A. Grigoriev

We give a simplified proof and an improvement of a recent theorem by A. Grigoriev, placing an upper bound for the number of roots of linear combinations of solutions to systems of linear equations with polynomial or rational coefficients.Comment: 16 page

Research with Collaborative Unmanned Aircraft Systems

We provide an overview of ongoing research which targets development of a principled framework for mixed-initiative interaction with unmanned aircraft systems (UAS). UASs are now becoming technologically mature enough to be integrated into civil society. Principled interaction between UASs and human resources is an essential component in their future uses in complex emergency services or bluelight scenarios. In our current research, we have targeted a triad of fundamental, interdependent conceptual issues: delegation, mixed- initiative interaction and adjustable autonomy, that is being used as a basis for developing a principled and well-defined framework for interaction. This can be used to clarify, validate and verify different types of interaction between human operators and UAS systems both theoretically and practically in UAS experimentation with our deployed platforms

The High Angular Resolution Multiplicity of Massive Stars

We present the results of a speckle interferometric survey of Galactic massive stars that complements and expands upon a similar survey made over a decade ago. The speckle observations were made with the KPNO and CTIO 4 m telescopes and USNO speckle camera, and they are sensitive to the detection of binaries in the angular separation regime between 0.03" and 5" with relatively bright companions (Delta V < 3). We report on the discovery of companions to 14 OB stars. In total we resolved companions of 41 of 385 O-stars (11%), 4 of 37 Wolf-Rayet stars (11%), and 89 of 139 B-stars (64%; an enriched visual binary sample that we selected for future orbital determinations). We made a statistical analysis of the binary frequency among the subsample that are listed in the Galactic O Star Catalog by compiling published data on other visual companions detected through adaptive optics studies and/or noted in the Washington Double Star Catalog and by collecting published information on radial velocities and spectroscopic binaries. We find that the binary frequency is much higher among O-stars in clusters and associations compared to the numbers for field and runaway O-stars, consistent with predictions for the ejection processes for runaway stars. We present a first orbit for the O-star Delta Orionis, a linear solution of the close, apparently optical, companion of the O-star Iota Orionis, and an improved orbit of the Be star Delta Scorpii. Finally, we list astrometric data for another 249 resolved and 221 unresolved targets that are lower mass stars that we observed for various other science programs.Comment: 76 pages, 6 figures, 11 table

Speckle observations with PISCO in Merate - V. Astrometric measurements of visual binaries in 2006

International audienceWe present relative astrometric measurements of visual binaries made during the first semester of 2006, with the Pupil Interferometry Speckle camera and COronagraph at the 102-cm Zeiss telescope of the Brera Astronomical Observatory, in Merate. Our sample contains orbital couples as well as binaries whose motion is still uncertain. We obtained 217 new measurements of 194 objects, with angular separations in the range 0.1-4.2arcsec, and an average accuracy of 0.01arcsec. The mean error on the position angles is 0.5°. About half of those angles could be determined without the usual 180° ambiguity by the application of triple-correlation techniques. We also present a revised orbit for ADS 277 for which the previously published orbit resulted in a large residual from our measurements

Epistemic Vigilance

Humans massively depend on communication with others, but this leaves them open to the risk of being accidentally or intentionally misinformed. To ensure that, despite this risk, communication remains advantageous, humans have, we claim, a suite of cognitive mechanisms for epistemic vigilance. Here we outline this claim and consider some of the ways in which epistemic vigilance works in mental and social life by surveying issues, research and theories in different domains of philosophy, linguistics, cognitive psychology and the social sciences

Letter to the Editor

Page et al. appear to have missed our point that the teratogenic effects of oil on fish derive from embryonic exposure to environmentally persistent 3- and 4-ring polycyclic aromatic hydrocarbons (PAHs). They regard our conclusions as incorrect because we failed to demonstrate causality or a clear dose-response relationship. As evidence for lack of causality, they indicate that our data were not replicated. However, our report was a companion paper to a similar one demonstrating PAH-induced teratogenesis in herring embryos, also in the low ppb. Current literature corroborates our data and careful consideration of our conclusion demonstrates that their inclusion of low molecular weight PAHs in their dose-response relationship is counter to their thesis that dose measures should only include toxic compounds. When we published this work 12 years ago, the concept that PAHs with high octanol-partition coefficient (KOW) were teratogenic at concentrations below their solubility was considered novel. Since then, the sensitivity of developing fish embryos to ppb concentrations of PAHs dissolved in water has been confirmed for fish embryos exposed to oiled sediments, dissolved mixtures of PAHs derived from oiled sediments, and specific high molecular weight PAHs dissolved in water; additional references will be found in the Supplemental Data. More recently, experiments involving specific PAHs with partition-controlled delivery systems also have demonstrated toxic effects at levels below aqueous solubility limits. At least eleven reports replicate our findings in seven different fish species and support our conclusion that accumulation of PAHs by embryos depends on the kinetics of the transfer of PAHs from oil to egg rather than PAH solubility

Ages for illustrative field stars using gyrochronology: viability, limitations and errors

We here develop an improved way of using a rotating star as a clock, set it using the Sun, and demonstrate that it keeps time well. This technique, called gyrochronology, permits the derivation of ages for solar- and late-type main sequence stars using only their rotation periods and colors. The technique is clarified and developed here, and used to derive ages for illustrative groups of nearby, late-type field stars with measured rotation periods. We first demonstrate the reality of the interface sequence, the unifying feature of the rotational observations of cluster and field stars that makes the technique possible, and extends it beyond the proposal of Skumanich by specifying the mass dependence of rotation for these stars. We delineate which stars it cannot currently be used on. We then calibrate the age dependence using the Sun. The errors are propagated to understand their dependence on color and period. Representative age errors associated with the technique are estimated at ~15% (plus possible systematic errors) for late-F, G, K, & early-M stars. Ages derived via gyrochronology for the Mt. Wilson stars are shown to be in good agreement with chromospheric ages for all but the bluest stars, and probably superior. Gyro ages are then calculated for each of the active main sequence field stars studied by Strassmeier and collaborators where other ages are not available. These are shown to be mostly younger than 1Gyr, with a median age of 365Myr. The sample of single, late-type main sequence field stars assembled by Pizzolato and collaborators is then assessed, and shown to have gyro ages ranging from under 100Myr to several Gyr, and a median age of 1.2Gyr. Finally, we demonstrate that the individual components of the three wide binaries XiBooAB, 61CygAB, & AlphaCenAB yield substantially the same gyro ages.Comment: 58 pages, 18 color figures, accepted for publication in The Astrophysical Journal; Age uncertainties slightly modified upon correcting an algebraic error in Section