Zobrazeno 1 - 10
of 19 818
pro vyhledávání: '"De Groot, A. P."'
Automated security protocol verifiers such as ProVerif and Tamarin have been increasingly applied to verify large scale complex real-world protocols. While their ability to automate difficult reasoning processes required to handle protocols at that s
Externí odkaz:
http://arxiv.org/abs/2408.13138
Autor:
Deakin, Jonte, de Groot, Jim
Sub-sub-intuitionistic logic is obtained from intuitionistic logic by weakening the implication and removing distributivity. It can alternatively be viewed as conditional weak positive logic. We provide semantics for sub-sub-intuitionistic logic by m
Externí odkaz:
http://arxiv.org/abs/2408.12030
The intuitionistic modal logics considered between Constructive K (CK) and Intuitionistic K (IK) differ in their treatment of the possibility (diamond) connective. It was recently rediscovered that some logics between CK and IK also disagree on their
Externí odkaz:
http://arxiv.org/abs/2408.00262
Autor:
Amaro, Rommie, Åqvist, Johan, Bahar, Ivet, Battistini, Federica, Bellaiche, Adam, Beltran, Daniel, Biggin, Philip C., Bonomi, Massimiliano, Bowman, Gregory R., Bryce, Richard, Bussi, Giovanni, Carloni, Paolo, Case, David, Cavalli, Andrea, Chang, Chie-En A., Cheatham III, Thomas E., Cheung, Margaret S., Chipot, Cris, Chong, Lillian T., Choudhary, Preeti, Cisneros, Gerardo Andres, Clementi, Cecilia, Collepardo-Guevara, Rosana, Coveney, Peter, Covino, Roberto, Crawford, T. Daniel, Peraro, Matteo Dal, de Groot, Bert, Delemotte, Lucie, De Vivo, Marco, Essex, Jonathan, Fraternali, Franca, Gao, Jiali, Gelpí, Josep Lluís, Gervasio, Francesco Luigi, Gonzalez-Nilo, Fernando Danilo, Grubmüller, Helmut, Guenza, Marina, Guzman, Horacio V., Harris, Sarah, Head-Gordon, Teresa, Hernandez, Rigoberto, Hospital, Adam, Huang, Niu, Huang, Xuhui, Hummer, Gerhard, Iglesias-Fernández, Javier, Jensen, Jan H., Jha, Shantenu, Jiao, Wanting, Jorgensen, William L., Kamerlin, Shina Caroline Lynn, Khalid, Syma, Laughton, Charles, Levitt, Michael, Limongelli, Vittorio, Lindahl, Erik, Lindorff-Larsen, Kresten, Loverde, Sharon, Lundborg, Magnus, Luo, Yun Lyna, Luque, Francisco Javier, Lynch, Charlotte I., MacKerell, Alexander, Magistrato, Alessandra, Marrink, Siewert J., Martin, Hugh, McCammon, J. Andrew, Merz, Kenneth, Moliner, Vicent, Mulholland, Adrian, Murad, Sohail, Naganathan, Athi N., Nangia, Shikha, Noe, Frank, Noy, Agnes, Oláh, Julianna, O'Mara, Megan, Ondrechen, Mary Jo, Onuchic, José N., Onufriev, Alexey, Osuna, Silvia, Panchenko, Anna R., Pantano, Sergio, Parish, Carol, Parrinello, Michele, Perez, Alberto, Perez-Acle, Tomas, Perilla, Juan R., Pettitt, B. Montgomery, Pietropalo, Adriana, Piquemal, Jean-Philip, Poma, Adolfo, Praprotnik, Matej, Ramos, Maria J., Ren, Pengyu, Reuter, Nathalie, Roitberg, Adrian, Rosta, Edina, Rovira, Carme, Roux, Benoit, Röthlisberger, Ursula, Sanbonmatsu, Karissa Y., Schlick, Tamar, Shaytan, Alexey K., Simmerling, Carlos, Smith, Jeremy C., Sugita, Yuji, Świderek, Katarzyna, Taiji, Makoto, Tao, Peng, Tikhonova, Irina G., Tirado-Rives, Julian, Tunón, Inaki, Van Der Kamp, Marc W., Van der Spoel, David, Velankar, Sameer, Voth, Gregory A., Wade, Rebecca, Warshel, Ariel, Welborn, Valerie Vaissier, Wetmore, Stacey, Wong, Chung F., Yang, Lee-Wei, Zacharias, Martin, Orozco, Modesto
This letter illustrates the opinion of the molecular dynamics (MD) community on the need to adopt a new FAIR paradigm for the use of molecular simulations. It highlights the necessity of a collaborative effort to create, establish, and sustain a data
Externí odkaz:
http://arxiv.org/abs/2407.16584
Autor:
Wei, Yuan, Tseng, Yi, Elnaggar, Hebatalla, Zhang, Wenliang, Asmara, Teguh Citra, Paris, Eugenio, Domaine, Gabriele, Strocov, Vladimir N., Testa, Luc, Favre, Virgile, Di Luca, Mario, Banerjee, Mitali, Wildes, Andrew R., de Groot, Frank M. F., Ronnow, Henrik M., Schmitt, Thorsten
In the rich phases of van der Waals (vdW) materials featuring intertwined electronic order and collective phenomena, characterizing elementary dynamics that entail the low-energy Hamiltonian and electronic degrees of freedom is of paramount importanc
Externí odkaz:
http://arxiv.org/abs/2405.13720
Autor:
Martinez-Baselga, Diego, de Groot, Oscar, Knoedler, Luzia, Riazuelo, Luis, Alonso-Mora, Javier, Montano, Luis
Navigating mobile robots in social environments remains a challenging task due to the intricacies of human-robot interactions. Most of the motion planners designed for crowded and dynamic environments focus on choosing the best velocity to reach the
Externí odkaz:
http://arxiv.org/abs/2404.16705
Autor:
Occhialini, Connor A., Tseng, Yi, Elnaggar, Hebatalla, Song, Qian, Blei, Mark, Tongay, Seth Ariel, Bisogni, Valentina, de Groot, Frank M. F., Pelliciari, Jonathan, Comin, Riccardo
The fundamental optical excitations of correlated transition-metal compounds are typically identified with multielectronic transitions localized at the transition-metal site, such as $dd$ transitions. In this vein, intense interest has surrounded the
Externí odkaz:
http://arxiv.org/abs/2404.10818
Autor:
Yamaguchi, Tatsuya, Higashi, Keisuke, Regoutz, Anna, Takahashi, Yoshihiro, Lazemi, Masoud, Che, Qijun, de Groot, Frank M. F., Hariki, Atsushi
Publikováno v:
Physical Review B 109, 205143 (2024)
We present a comparative analysis of 1$s$ and 2$p$ core-level hard X-ray photoelectron spectroscopy (HAXPES) spectra in metallic VO$_2$ and CrO$_2$. Even though the V 1$s$ and 2$p$ spectra in VO$_2$ display similar line shapes except the absence or p
Externí odkaz:
http://arxiv.org/abs/2401.13951
Ground robots navigating in complex, dynamic environments must compute collision-free trajectories to avoid obstacles safely and efficiently. Nonconvex optimization is a popular method to compute a trajectory in real-time. However, these methods ofte
Externí odkaz:
http://arxiv.org/abs/2401.06021
Allostery, the phenomenon by which the perturbation of a molecule at one site alters its behavior at a remote functional site, enables control over biomolecular function. Allosteric modulation is a promising avenue for drug discovery and is employed
Externí odkaz:
http://arxiv.org/abs/2311.12025