1,181 research outputs found
Computationally Sound Mechanized Proofs for Basic and Public-key Kerberos
We present a computationally sound mechanized analysis of Kerberos 5, both with and without its public-key extension PKINIT. We prove authentication and key secrecy properties using the prover CryptoVerif, which works directly in the computational model; these are the first mechanical proofs of a full industrial protocol at the computational level. We also generalize the notion of key usability and use CryptoVerif to prove that this definition is satisfied by keys in Kerberos
Don't bleach chaotic data
A common first step in time series signal analysis involves digitally
filtering the data to remove linear correlations. The residual data is
spectrally white (it is ``bleached''), but in principle retains the nonlinear
structure of the original time series. It is well known that simple linear
autocorrelation can give rise to spurious results in algorithms for estimating
nonlinear invariants, such as fractal dimension and Lyapunov exponents. In
theory, bleached data avoids these pitfalls. But in practice, bleaching
obscures the underlying deterministic structure of a low-dimensional chaotic
process. This appears to be a property of the chaos itself, since nonchaotic
data are not similarly affected. The adverse effects of bleaching are
demonstrated in a series of numerical experiments on known chaotic data. Some
theoretical aspects are also discussed.Comment: 12 dense pages (82K) of ordinary LaTeX; uses macro psfig.tex for
inclusion of figures in text; figures are uufile'd into a single file of size
306K; the final dvips'd postscript file is about 1.3mb Replaced 9/30/93 to
incorporate final changes in the proofs and to make the LaTeX more portable;
the paper will appear in CHAOS 4 (Dec, 1993
Recommended from our members
The Distance To The Hyades Cluster Based On Hubble Space Telescope Fine Guidance Sensor Parallaxes
Trigonometric parallax observations made with the Hubble Space Telescope (HST) Fine Guidance Sensor (FGS) 3 of seven Hyades members in six fields of view have been analyzed along with their proper motions to determine the distance to the cluster. Knowledge of the convergent point and mean proper motion of the Hyades is critical to the derivation of the distance to the center of the cluster. Depending on the choice of the proper-motion system, the derived cluster center distance varies by 9%. Adopting a reference distance of 46.1 pc or m - M = 3.32, which is derived from the ground-based parallaxes in the General Catalogue of Trigonometric Stellar Parallaxes (1995 edition), the FK5/PPM proper-motion system yields a distance 4% larger, while the Hanson system yields a distance 2% smaller. The HST FGS parallaxes reported here yield either a 14% or 5% larger distance, depending on the choice of the proper-motion system. Orbital parallaxes (Torres et al.) yield an average distance 4% larger than the reference distance. The variation in the distance derived from the HST data illustrates the importance of the proper-motion system and the individual proper motions to the derivation of the distance to the Hyades center; therefore, a full utilization of the HST FGS parallaxes awaits the establishment of an accurate and consistent proper-motion system.NASA HST GTO, HF-1042.01-93A, HF-1046.01-93A, NAS526555Astronom
Spatially resolved Spectro-photometry of M81: Age, Metallicity and Reddening Maps
In this paper, we present a multi-color photometric study of the nearby
spiral galaxy M81, using images obtained with the Beijing Astronomical
Observatory 60/90 cm Schmidt Telescope in 13 intermediate-band filters from
3800 to 10000{\AA}. The observations cover the whole area of M81 with a total
integration of 51 hours from February 1995 to February 1997. This provides a
multi-color map of M81 in pixels of 1\arcsec.7 \times 1\arcsec.7. Using
theoretical stellar population synthesis models, we demonstrate that some BATC
colors and color indices can be used to disentangle the age and metallicity
effect. We compare in detail the observed properties of M81 with the
predictions from population synthesis models and quantify the relative chemical
abundance, age and reddening distributions for different components of M81. We
find that the metallicity of M81 is about with no significant
difference over the whole galaxy. In contrast, an age gradient is found between
stellar populations of the central regions and of the bulge and disk regions of
M81: the stellar population in its central regions is older than 8 Gyr while
the disk stars are considerably younger, Gyr. We also give the
reddening distribution in M81. Some dust lanes are found in the galaxy bulge
region and the reddening in the outer disk is higher than that in the central
regions.Comment: Accepted for publication in AJ (May 2000 issue). 27 pages including 6
figures. Uses AASTeX aasms4 styl
No positive effect of autologous platelet gel after total knee arthroplasty: A double-blind randomized controlled trial: 102 patients with a 3-month follow-up
Background and purpose Activated platelets release a cocktail of growth factors, some of which are thought to stimulate repair. We investigated whether the use of autologous platelet gel (PG) in total knee arthroplasty (TKA) would improve wound healing and knee function, and reduce blood loss and the use of analgesics. Patients and methods 102 patients undergoing TKA were randomly assigned to a PG group (n 50) or to a control (C) group (n 52). The primary analysis was based on 73 participants (PG: 32; C: 41) with comparison of postoperative wound scores, VAS, WOMAC, knee function, use of analgesics, and the pre- and postoperative hemoglobin values after a follow-up of 3 months. 29 participants were excluded due to insufficient data. Results The characteristics of the protocol-compliant patients were similar to those of the patients who w
Bahadur Representation for the Nonparametric M-Estimator Under alpha-mixing Dependence
Refining value-at-risk estimates using a Bayesian Markov-switching GJR-GARCH copula-EVT model
In this paper, we propose a model for forecasting Value-at-Risk (VaR) using a Bayesian Markov-switching GJR-GARCH(1,1) model with skewed Student’s-t innovation, copula functions and extreme value theory. A Bayesian Markov-switching GJR-GARCH(1,1) model that identifies non-constant volatility over time and allows the GARCH parameters to vary over time following a Markov process, is combined with copula functions and EVT to formulate the Bayesian Markov-switching GJR-GARCH(1,1) copula-EVT VaR model, which is then used to forecast the level of risk on financial asset returns. We further propose a new method for threshold selection in EVT analysis, which we term the hybrid method. Empirical and back-testing results show that the proposed VaR models capture VaR reasonably well in periods of calm and in periods of crisis
- …