Results 21 to 30 of about 11,795 (112)

Identifying metabolites by integrating metabolome databases with mass spectrometry cheminformatics. [PDF]

, 2018
Novel metabolites distinct from canonical pathways can be identified through the integration of three cheminformatics tools: BinVestigate, which queries the BinBase gas chromatography-mass spectrometry (GC-MS) metabolome database to match unknowns with ...
A El-Tayeb, AD Hanson, AL Hartman, Atsushi Ogiwara, C Fattuoni, C Ruttkies, CL Linster, DY Lee, F Allen, Gert Wohlgemuth, GJ Patti, H Sperber, H Tsugawa, H Tsugawa, H Tsugawa, HD Flosadóttir, Hiroshi Tsugawa, I Yamamoto, J Budczies, JG Jeffryes, John Meissen, K Haug, Kohei Takeuchi, M Sud, Masanori Arita, Matthew Mueller, Megan Showalter, MP Styczynski, MR Showalter, O Fiehn, O Fiehn, O Fiehn, O Khersonsky, Oliver Fiehn, Peter Beal, RR da Silva, S Kim, S Kumari, Sajjan Mehta, SE Stein, SM Rappaport, T Kind, Tobias Kind, WR Wikoff, Yuxuan Zheng, Zijuan Lai   +45 more
core   +1 more source

Galaxy Gas Fractions at High-Redshift: The Tension between Observations and Cosmological Simulations

, 2012
CO measurements of z~1-4 galaxies have found that their baryonic gas fractions are significantly higher than galaxies at z=0, with values ranging from 20-80 %. Here, we suggest that the gas fractions inferred from observations of star-forming galaxies at
Blitz, Blitz, Bolatto, Bothwell, Carilli, Casey, Casey, Ceverino, Coppin, Daddi, Daddi, Daddi, Daddi, Dannerbauer, Davé, Desika Narayanan, Downes, Engel, Erb, Feldmann, Fukui, Förster Schreiber, Geach, Genzel, Genzel, Greve, Hainline, Hayward, Hayward, Hopkins, Keres, Lagos, Leroy, Magdis, Matt Bothwell, Michałowski, Narayanan, Narayanan, Narayanan, Narayanan, Narayanan, Narayanan, Neri, Ostriker, Papadopoulos, Riechers, Riechers, Riechers, Riechers, Romeel Davé, Shetty, Shetty, Solomon, Springel, Tacconi, Tacconi, Tacconi, Wagg, Wang   +58 more
core   +1 more source

Model Checking Probabilistic Pushdown Automata [PDF]

, 2006
We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be formulated as instances of a generalized random walk problem. We prove that
Andrei Voronkov, Antonín Kučera, C. Courcoubetis and M. Yannakakis, Javier Esparza, Richard Mayr   +4 more
core   +8 more sources

A Dynamic Epistemic Framework for Conformant Planning

, 2016
In this paper, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We reduce plan verification and conformant planning to model checking problems of our logic.
Li, Yanjun, Wang, Yanjing, Yu, Quan
core   +2 more sources

Counter Simulations via Higher Order Quantifier Elimination: a preliminary report [PDF]

, 2017
Quite often, verification tasks for distributed systems are accomplished via counter abstractions. Such abstractions can sometimes be justified via simulations and bisimulations.
Ghilardi, Silvio, Pagani, Elena
core   +2 more sources

Tropically convex constraint satisfaction

, 2017
A semilinear relation S is max-closed if it is preserved by taking the componentwise maximum. The constraint satisfaction problem for max-closed semilinear constraints is at least as hard as determining the winner in Mean Payoff Games, a notorious ...
A Atserias, AA Bulatov, D Gillette, J Ferrante, J Filar, JW Helton, L Barto, L Dries van den, L Khachiyan, M Akian, M Develin, M Garey, Manuel Bodirsky, Marcello Mamino, P Jeavons, P Jonsson, P Jonsson, P Jonsson, P Scowcroft, PG Jeavons, RH Möhring, T Feder, TM Liggett, U Zwick, W Hodges   +24 more
core   +1 more source

An Algorithm for Probabilistic Alternating Simulation [PDF]

, 2012
In probabilistic game structures, probabilistic alternating simulation (PA-simulation) relations preserve formulas defined in probabilistic alternating-time temporal logic with respect to the behaviour of a subset of players. We propose a partition based
C. Baier, C. Zhang, D. Bustan, E.M. Clarke, K. Chatterjee, L. Alfaro de, L. Alfaro de, L. de Alfaro, L. Tan, L. Zhang, L. Zhang, L.S. Shapley, N. Karmakar, O. Grumberg, R. Alur, R. Alur, R. Gentilini, R. Segala, R.J. Glabbeek van, S. Cattani   +19 more
core   +3 more sources

Characterising Probabilistic Processes Logically

, 2009
In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the modal mu-calculus and show how to derive characteristic formulae for various ...
A. Parma, A. Tarski, B. Jonsson, B. Steffen, D. Kozen, E. Bandini, G. Lowe, H. Hansson, H. Hansson, I. Christoff, J. Desharnais, K.G. Larsen, M. Hennessy, M. Huth, M. Müller-Olm, M.L. Puterman, M.W. Mislove, P.R. D’Argenio, R. Cleaveland, R. Milner, R. Segala, R. Tix, Y. Deng, Y. Deng, Y. Deng, Y. Deng, Y. Deng, Y.S. Ramakrishna   +27 more
core   +2 more sources

Coverage dependence of the 1-propanol adsorption on the Si(001) surface and fragmentation dynamics

, 2006
The geometric, electronic, energetic, and dynamic properties of 1-propanol adsorbed on the Si(001)-2x1 surface are studied from first principles by use of a slab approach.
C. Duke, Chuanyun Xiao, Frank Hagelberg, G. Kresse, H. Jonsson, Jian-Ge Zhou, M. Carbone, W. Monch   +7 more
core   +1 more source

In situ measurements of tropical cloud properties in the West African Monsoon: upper tropospheric ice clouds, Mesoscale Convective System outflow, and subvisual cirrus [PDF]

, 2011
In situ measurements of ice crystal size distributions in tropical upper troposphere/lower stratosphere (UT/LS) clouds were performed during the SCOUT-AMMA campaign over West Africa in August 2006.
Belyaev, Gennady, Borrmann, Stephan, Cairo, Francesco, Curtius, Joachim, D'Amato, F., Di Donfrancesco, Guido, Fierli, Federico, Frey, Wiebke, Homan, Carine Dorianne, Hoor, Peter, Krämer, Martina, Kunkel, Daniel, Law, Kathy S., Ravegnani, Fabrizio, Reus, Marian de, Roiger, Anke, Schiller, Cornelius, Schlager, Hans, Shur, Genrikh N., Sitnikov, Nicolay M., Ulanovsky, Alexey, Viciani, Silvia, Voigt, Christiane, Volk, C.-Michael, Weigel, Ralf   +24 more
core   +5 more sources