Free, publicly-accessible full text available June 9, 2022
Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher.
Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?
Some links on this page may take you to non-federal websites. Their policies may differ from this site.
-
-
Anderson, Douglas R ; Eloe, P ; Goodrich, C ; Peterson, A (Ed.)In this paper, a discrete Markov chain model is developed to describe the inventory at a bike share station. The uniqueness of solutions is first studied. Then the model calibration is considered by investigating a constrained optimization problem. Numerical simulations involving real data are conducted to demonstrate the model effectiveness as well.
-
We propose a general framework of using a multi-level log-Gaussian Cox process to model repeatedly observed point processes with complex structures; such type of data have become increasingly available in various areas including medical research, social sciences, economics, and finance due to technological advances. A novel nonparametric approach is developed to efficiently and consistently estimate the covariance functions of the latent Gaussian processes at all levels. To predict the functional principal component scores, we propose a consistent estimation procedure by maximizing the conditional likelihood of super-positions of point processes. We further extend our procedure to the bivariate point process casemore »
-
Certified control is a new architectural pattern for achieving high assurance of safety in autonomous cars. As with a traditional safety controller or interlock, a separate component oversees safety and intervenes to prevent safety violations. This component (along with sensors and actuators) comprises a trusted base that can ensure safety even if the main controller fails. But in certified control, the interlock does not use the sensors directly to determine when to intervene. Instead, the main controller is given the responsibility of presenting the interlock with a certificate that provides evidence that the proposed next action is safe. The interlockmore »
-
A bstract Charged lepton flavor violation is forbidden in the Standard Model but possible in several new physics scenarios. In many of these models, the radiative decays τ ± → ℓ ± γ ( ℓ = e, μ ) are predicted to have a sizeable probability, making them particularly interesting channels to search at various experiments. An updated search via τ ± → ℓ ± γ using full data of the Belle experiment, corresponding to an integrated luminosity of 988 fb − 1 , is reported for charged lepton flavor violation. No significant excess over background predictions from the Standardmore »Free, publicly-accessible full text available October 1, 2022
-
Free, publicly-accessible full text available October 1, 2022
Full Text Available