Zobrazeno 1 - 10
of 1 263
pro vyhledávání: '"Warren, P S"'
Autor:
Warren, David S., Liu, Yanhong A.
This proceedings contains abstracts and position papers for the work presented at the third Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, using zoom, at stonybrook.zoom.us, on December 13, 2022. The workshop focused
Externí odkaz:
http://arxiv.org/abs/2409.19211
Autor:
Warren, David S.
This paper describes a semantics for pure Prolog programs with negation that provides meaning to metaprograms. Metaprograms are programs that construct and use data structures as programs. In Prolog a primary mataprogramming construct is the use of a
Externí odkaz:
http://arxiv.org/abs/2408.07652
Autor:
Kastenholz, Heidi V., Topper, Michael I., Warren, Warren S., Fischer, Martin C., Grass, David
Carbon-based black pigments, a widely used class of pigments, are difficult to differentiate with the noninvasive techniques currently used in cultural heritage science. We utilize pump-probe microscopy to distinguish four common carbon-based black p
Externí odkaz:
http://arxiv.org/abs/2403.08897
Autor:
Lindale, Jacob R., Smith, Loren L., Mammen, Mathew W., Eriksson, Shannon L., Everhart, Lucas, Warren, Warren S.
The inherently low signal-to-noise ratio of NMR and MRI is now being addressed by hyperpolarization methods. For example, iridium-based catalysts that reversibly bind both parahydrogen and ligands in solution can hyperpolarize protons (SABRE) or hete
Externí odkaz:
http://arxiv.org/abs/2311.01417
Cadmium sulfide (CdS) pigments have degraded in several well-known paintings, but the mechanisms of degradation have yet to be fully understood. Traditional non-destructive analysis techniques primarily focus on macroscopic degradation, whereas micro
Externí odkaz:
http://arxiv.org/abs/2310.15126
Harnessing the power of complex light propagation in multimode fibers for spatially resolved sensing
Autor:
Smith, D. L., Nguyen, L. V., Reja, M. I., Schartner, E. P., Ebendorff-Heidepriem, H., Ottaway, D. J., Warren-Smith, S. C.
Publikováno v:
Photon. Res. 12, 411-422 (2024)
The propagation of coherent light in multimode optical fibers results in a speckled output that is both complex and sensitive to environmental effects. These properties can be a powerful tool for sensing, as small perturbations lead to significant ch
Externí odkaz:
http://arxiv.org/abs/2308.05926
Autor:
Denecker, Marc, Warren, David S.
Our position is that logic programming is not programming in the Horn clause sublogic of classical logic, but programming in a logic of (inductive) definitions. Thus, the similarity between prototypical Prolog programs (e.g., member, append, ...) and
Externí odkaz:
http://arxiv.org/abs/2304.13430
This proceedings contains abstracts and position papers for the work presented at the second Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, virtually in place of Chicago, USA, on November 15, 2010, in conjunction wit
Externí odkaz:
http://arxiv.org/abs/2211.09923
Autor:
Grass, David, Beasley, Georgia M., Fischer, Martin C., Selim, M. Angelica, Zhou, Yue, Warren, Warren S.
Pump-probe microscopy of melanin in tumors has been proposed to improve diagnosis of malignant melanoma, based on the hypothesis that aggressive cancers disaggregate melanin structure. However, measured signals of melanin are complex superpositions o
Externí odkaz:
http://arxiv.org/abs/2207.01491
The theoretical description of the interplay between coherent evolution and chemical exchange, originally developed for magnetic resonance and later applied to other spectroscopic regimes, was derived under incorrect statistical assumptions. Correcti
Externí odkaz:
http://arxiv.org/abs/2205.05146