skip to main content

Search for: All records

Creators/Authors contains: "Wang, M."

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.

  1. Free, publicly-accessible full text available June 9, 2022
  2. 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.
  3. 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 »in which potential correlations between the processes can be assessed. Asymptotic properties of the proposed estimators are investigated, and the effectiveness of our procedures is illustrated through a simulation study and an application to a stock trading dataset.« less
  4. 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 »checks this certificate, and intervenes only if the check fails. Because generating such a certificate is usually much harder than checking one, the interlock can be smaller and simpler than the main controller, and thus assuring its correctness is more feasible.« less
  5. 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 »Model is observed, and the upper limits on the branching fractions, $$ \mathcal{B} $$ B ( τ ± → μ ± γ ) ≤ 4 . 2 × 10 − 8 and $$ \mathcal{B} $$ B ( τ ± → e ± γ ) ≤ 5 . 6 × 10 − 8 , are set at 90% confidence level.« less
    Free, publicly-accessible full text available October 1, 2022
  6. Free, publicly-accessible full text available October 1, 2022