Zobrazeno 1 - 10
of 46 081
pro vyhledávání: '"Rand, A."'
As we move into an era of more sensitive pulsar timing array data sets, we may be able to resolve individual gravitational wave sources from the stochastic gravitational wave background. While some of these sources, like orbiting massive black hole b
Externí odkaz:
http://arxiv.org/abs/2408.07864
We address online estimation of microbial growth dynamics in bioreactors from measurements of a fluorescent reporter protein synthesized along with microbial growth. We consider an extended version of standard growth models that accounts for the dyna
Externí odkaz:
http://arxiv.org/abs/2404.16649
Autor:
Shah, Bhakti, Spencer, William, Zielinski, Laura, Caldwell, Ben, Lehmann, Adrian, Rand, Robert
We present ViCAR, a library for working with monoidal categories in the Coq proof assistant. ViCAR provides definitions for categorical structures that users can instantiate with their own verification projects. Upon verifying relevant coherence cond
Externí odkaz:
http://arxiv.org/abs/2404.08163
Autor:
Li, Jiang-Tao, Lu, Li-Yuan, Qu, Zhijie, Benjamin, Robert A., Bregman, Joel N., Dettmar, Ralf-Jurgen, English, Jayanne, Fang, Taotao, Irwin, Judith A., Jiang, Yan, Li, Hui, Liu, Guilin, Martini, Paul, Rand, Richard J., Stein, Yelena, Strong, Andrew W., Vargas, Carlos J., Wang, Q. Daniel, Wang, Jing, Wiegert, Theresa, Xu, Jianghui, Yang, Yang
The extraplanar diffuse ionized gas (eDIG) represents ionized gases traced by optical/UV lines beyond the stellar extent of galaxies. We herein introduce a novel multi-slit narrow-band spectroscopy method to conduct spatially resolved spectroscopy of
Externí odkaz:
http://arxiv.org/abs/2404.05628
Mathematical representations of graphs often resemble adjacency matrices or lists, representations that facilitate whiteboard reasoning and algorithm design. In the realm of proof assistants, inductive representations effectively define semantics for
Externí odkaz:
http://arxiv.org/abs/2311.11571
Autor:
Chen, Ziming, Hoye, Robert L. Z., Yip, Hin-Lap, Fiuza-Maneiro, Nadesh, López-Fernández, Iago, Otero-Martínez, Clara, Polavarapu, Lakshminarayana, Mondal, Navendu, Mirabelli, Alessandro, Anaya, Miguel, Stranks, Samuel D., Liu, Hui, Shi, Guangyi, Xiao, Zhengguo, Kim, Nakyung, Kim, Yunna, Shin, Byungha, Shi, Jinquan, Liu, Mengxia, Zhang, Qianpeng, Fan, Zhiyong, Loy, James C., Zhao, Lianfeng, Rand, Barry P., Arfin, Habibul, Saikia, Sajid, Nag, Angshuman, Zou, Chen, Lin, Lih Y., Xiang, Hengyang, Zeng, Haibo, Liu, Denghui, Su, Shi-Jian, Wang, Chenhui, Zhong, Haizheng, Xuan, Tong-Tong, Xie, Rong-Jun, Bao, Chunxiong, Gao, Feng, Gao, Xiang, Qin, Chuanjiang, Kim, Young-Hoon, Beard, Matthew C.
In recent years, the field of metal-halide perovskite emitters has rapidly emerged as a new community in solid-state lighting. Their exceptional optoelectronic properties have contributed to the rapid rise in external quantum efficiencies (EQEs) in p
Externí odkaz:
http://arxiv.org/abs/2311.11232
We present COGNAC, a novel strategy for compiling quantum circuits based on numerical optimization algorithms from scientific computing. Using a simple noise model informed by the duration of entangling gates, our gradient-based method can quickly co
Externí odkaz:
http://arxiv.org/abs/2311.02769
The prediction of crystal properties plays a crucial role in the crystal design process. Current methods for predicting crystal properties focus on modeling crystal structures using graph neural networks (GNNs). Although GNNs are powerful, accurately
Externí odkaz:
http://arxiv.org/abs/2310.14029
Autor:
Agazie, Gabriella, Anumarlapudi, Akash, Archibald, Anne M., Arzoumanian, Zaven, Baier, Jeremy, Baker, Paul T., Bécsy, Bence, Blecha, Laura, Brazier, Adam, Brook, Paul R., Burke-Spolaor, Sarah, Burnette, Rand, Case, Robin, Casey-Clyde, J. Andrew, Charisi, Maria, Chatterjee, Shami, Cohen, Tyler, Cordes, James M., Cornish, Neil J., Crawford, Fronefield, Cromartie, H. Thankful, Crowter, Kathryn, DeCesar, Megan E., DeGan, Dallas, Demorest, Paul B., Dolch, Timothy, Drachler, Brendan, Ferrara, Elizabeth C., Fiore, William, Fonseca, Emmanuel, Freedman, Gabriel E., Garver-Daniels, Nate, Gentile, Peter A., Glaser, Joseph, Good, Deborah C., Gültekin, Kayhan, Hazboun, Jeffrey S., Jennings, Ross J., Johnson, Aaron D., Jones, Megan L., Kaiser, Andrew R., Kaplan, David L., Kelley, Luke Zoltan, Kerr, Matthew, Key, Joey S., Laal, Nima, Lam, Michael T., Lamb, William G., Lazio, T. Joseph W., Lewandowska, Natalia, Liu, Tingting, Lorimer, Duncan R., Luo, Jing, Lynch, Ryan S., Ma, Chung-Pei, Madison, Dustin R., McEwen, Alexander, McKee, James W., McLaughlin, Maura A., McMann, Natasha, Meyers, Bradley W., Mingarelli, Chiara M. F., Mitridate, Andrea, Natarajan, Priyamvada, Ng, Cherry, Nice, David J., Ocker, Stella Koch, Olum, Ken D., Pennucci, Timothy T., Perera, Benetge B. P., Pol, Nihan S., Radovan, Henri A., Ransom, Scott M., Ray, Paul S., Romano, Joseph D., Saffer, Alexander, Sardesai, Shashwat C., Schmiedekamp, Ann, Schmiedekamp, Carl, Schmitz, Kai, Shapiro-Albert, Brent J., Siemens, Xavier, Simon, Joseph, Siwek, Magdalena S., Stairs, Ingrid H., Stinebring, Daniel R., Stovall, Kevin, Sun, Jerry P., Susobhanan, Abhimanyu, Swiggum, Joseph K., Taylor, Jacob A., Taylor, Stephen R., Turner, E., Unal, Caner, Vallisneri, Michele, Vigeland, Sarah J., Wahl, Haley M., Witt, Caitlin A., Young, Olivia
Recently we found compelling evidence for a gravitational wave background with Hellings and Downs (HD) correlations in our 15-year data set. These correlations describe gravitational waves as predicted by general relativity, which has two transverse
Externí odkaz:
http://arxiv.org/abs/2310.12138
Autor:
Rand, David A, Saez, Meritxell
We consider generic families of gradient-like dynamical systems with a parameter space $P$ which is a 2-dimensional simply connected domain. We prove that if over the boundary of $P$ there is a S or Z shaped bifurcation graph containing two opposing
Externí odkaz:
http://arxiv.org/abs/2309.12246