Zobrazeno 1 - 10
of 12 246
pro vyhledávání: '"JOHNSON, P. J."'
Autor:
Sangiovanni, D. G., Kjellén, A., Trybel, F., Johnson, L. J. S., Odén, M., Tasnádi, F., Abrikosov, I. A.
From nanoscale devices including sensors, electronics, or biocompatible coatings to macroscale structural, automotive or aerospace components, fundamental understanding of plasticity and fracture can guide the realization of materials that ensure saf
Externí odkaz:
http://arxiv.org/abs/2412.15874
In top-down enumeration for program synthesis, abstraction-based pruning uses an abstract domain to approximate the set of possible values that a partial program, when completed, can output on a given input. If the set does not contain the desired ou
Externí odkaz:
http://arxiv.org/abs/2408.15822
Autor:
Liu, Jiangyi, Murphy, Charlie, Grover, Anvay, Johnson, Keith J. C., Reps, Thomas, D'Antoni, Loris
Program verification and synthesis frameworks that allow one to customize the language in which one is interested typically require the user to provide a formally defined semantics for the language. Because writing a formal semantics can be a dauntin
Externí odkaz:
http://arxiv.org/abs/2408.14668
Semantics-Guided Synthesis (SemGuS) is a programmable framework for defining synthesis problems in a domain- and solver-agnostic way. This paper presents the standardized SemGuS format, together with an open-source toolkit that provides a parser, a v
Externí odkaz:
http://arxiv.org/abs/2406.01792
Decision trees are commonly used predictive models due to their flexibility and interpretability. This paper is directed at quantifying the uncertainty of decision tree predictions by employing a Bayesian inference approach. This is challenging becau
Externí odkaz:
http://arxiv.org/abs/2403.18147
Autor:
Bangale, P., Bhattacharyya, B., Camilo, F., Clark, C. J., Cognard, I., DeCesar, M. E., Ferrara, E. C., Gentile, P., Guillemot, L., Hessels, J. W. T., Johnson, T. J., Kerr, M., McLaughlin, M. A., Nieder, L., Ransom, S. M., Ray, P. S., Roberts, M. S. E., Roy, J., Sanpa-Arsa, S., Theureau, G., Wolff, M. T.
Publikováno v:
ApJ, Vol 966, 20 pp. (2024)
We have searched for radio pulsations towards 49 Fermi Large Area Telescope (LAT) 1FGL Catalog $\gamma$-ray sources using the Green Bank Telescope at 350 MHz. We detected 18 millisecond pulsars (MSPs) in blind searches of the data; 10 of these were d
Externí odkaz:
http://arxiv.org/abs/2402.09366
Autor:
Hou, X., Zhang, W., Freire, P. C. C., Torres, D. F., Ballet, J., Smith, D. A., Johnson, T. J., Kerr, M., Cheung, C. C., Guillemot, L., Li, J., Zhang, L., Ridolfi, A., Wang, P., Li, D., Yuan, J., Wang, N.
We analyzed the globular cluster M5 (NGC 5904) using 15 years of gamma-ray data from the Fermi Large Area Telescope (LAT). Using rotation ephemerides generated from Arecibo and FAST radio telescope observations, we searched for gamma-ray pulsations f
Externí odkaz:
http://arxiv.org/abs/2401.08231
Decision trees have found widespread application within the machine learning community due to their flexibility and interpretability. This paper is directed towards learning decision trees from data using a Bayesian approach, which is challenging due
Externí odkaz:
http://arxiv.org/abs/2312.01577
Publikováno v:
2023 IEEE-RAS 22nd International Conference on Humanoid Robots (Humanoids), 2023, pp. 1-8
A realistic human kinematic model that satisfies anatomical constraints is essential for human-robot interaction, biomechanics and robot-assisted rehabilitation. Modeling realistic joint constraints, however, is challenging as human arm motion is con
Externí odkaz:
http://arxiv.org/abs/2311.10653
Constrained robot motion planning is a ubiquitous need for robots interacting with everyday environments, but it is a notoriously difficult problem to solve. Many sampled points in a sample-based planner need to be rejected as they fall outside the c
Externí odkaz:
http://arxiv.org/abs/2309.15272