Results 11 to 20 of about 494,000 (315)

Bounded Variability of Metric Temporal Logic [PDF]

2014 21st International Symposium on Temporal Representation and Reasoning, 2014
Previous work has shown that reasoning with real-time temporal logics is often simpler when restricted to models with bounded variability---where no more than v events may occur every V time units, for given v, V. When reasoning about formulas with intrinsic bounded variability, one can employ the simpler techniques that rely on bounded variability ...
Carlo A. Furia, Paola Spoletini
openaire   +6 more sources

Soil multifunctionality and temporal variability of nutrients across vigor classes in wild apple trees (Malus sieversii) [PDF]

Frontiers in Plant Science
Malus sieversii, a Tertiary relict and primary progenitor of the cultivated apple, is experiencing severe habitat degradation in China’s Tianshan Mountains.
Chen-Quan Gu, Chen-Quan Gu, Chen-Quan Gu, Chen-Quan Gu, Jia-Qi Xu, Jia-Qi Xu, Jia-Qi Xu, Xiao-Bing Zhou, Xiao-Bing Zhou, Xiao-Bing Zhou, Mekhrovar Okhonniyozov, Yue-Wei Tong, Ye Tao, Ye Tao, Ye Tao   +14 more
doaj   +2 more sources

Understanding temporal variability across trophic levels and spatial scales in freshwater ecosystems [PDF]

, 2023
A tenet of ecology is that temporal variability in ecological structure and processes tends to decrease with increasing spatial scales (from locales to regions) and levels of biological organization (from populations to communities). However, patterns in
Comte, Lise, Saito, Victor S., Bonecker, Claudia C., Ruhi, A., Fortuño, Pau, Paril, Petr, Olden, J. D., Jeffries, Michael J., Saito, V. S., Paterson, Michael J., Anderson, Thomas L., Siqueira, Tadeu [UNESP], Paterson, M. J., Haase, P., Flinn, Michael B., Perbiche-Neves, G., Siqueira, Tadeu, Schneider, Susanne C., Jeffries, M. J., Anderson, T. L., Gerrish, Gretchen A., Huttunen, Kaisa-Leena, Haase, Peter, Gerrish, G. A., Rodrigues, L. C., Comte, L., Flinn, M. B., Muotka, T., Tonkin, J., Rodrigues, Luzia C, Muotka, Timo, Rodrigues, Luzia C., Straka, Michal, Bonecker, C. C., Bonada, Núria, Hawkins, C. P., Datry, T., O'Donnell, Daniel R., Fortuño, P., Bonada, N., Paril, P., Barbosa, Gedimar P. [UNESP], Barbosa, G. P., Huttunen, K-L., O'Donnell, D. R., Paavola, R., Schneider, Susanne Claudia, Perbiche-Neves, Gilmar, Cañedo-Argüelles, M., Barbosa, Gedimar P., Tonkin, Jonathan, Datry, Thibault, Hill, Matthew J., Siqueira, T., Hood, J. M., Straka, M., Cañedo-Argüelles, Miguel, Patrick, C. J., Olden, Julian D., Ruhi, Albert, Paavola, Riku, Schneider, S. C., Hawkins, Charles P., Patrick, Christopher J., Hood, James M.   +64 more
core   +2 more sources

Spatial and Temporal Variability of Mixed Layer Depth (MLD) in Eastern Indian Ocean (EIO): 1998-2020

Jurnal Ilmiah Perikanan dan Kelautan, 2023
Mixed Layer Depth (MLD) plays an important role in various aspects of oceanography. MLD has a characteristic parameter value that is uniform with depth. MLD has an important role for local, regional, and global phenomena.
Amir Yarkhasy Yuliardi, Randi Firdaus
doaj   +1 more source

WYBRANE CHARAKTERYSTYKI STATYSTYCZNE ZMIENNOŚCI WSKAŹNIKA NAO WEDŁUG HURELLA (1864-2019) [PDF]

Przegląd Geofizyczny, 2023
This article presents the results of several attempts to statistically characterize the short-term (year-to-year) and long-term (>10-year) variability of the NAO Hurrell index in the period 1864 – 2019 and is a complementary continuation of their ...
Krzysztof Kożuchowski, Joanna Wibig
doaj   +1 more source

Temporal logic programs with variables [PDF]

Theory and Practice of Logic Programming, 2016
AbstractIn this note, we consider the problem of introducing variables in temporal logic programs under the formalism of Temporal Equilibrium Logic, an extension of Answer Set Programming for dealing with linear-time modal operators. To this aim, we provide a definition of a first-order version of Temporal Equilibrium Logic that shares the syntax of ...
Felicidad Aguado, Pedro Cabalar, Gilberto Pérez 0001, Concepción Vidal, Martín Diéguez   +4 more
openaire   +3 more sources

Effects of Fertilizers and Manures on Temporal Yield Variability of Winter Rye [PDF]

, 2021
The anticipated increases in environmental variability associated with climate change may lead to enhanced abiotic plant stresses (e.g., heat stress, drought stress, etc.) resulting in greater inter-annual yield fluctuations and higher crop production ...
Studnicki, Marcin, Macholdt, Janna, Studnicki, M., Stepien, Wojciech, Macholdt, J., Marcin Studnicki, Wojciech Stępień, Stepien, W., Andy Macdonald, Janna Macholdt, Macdonald, A. J., Macdonald, Andy   +11 more
core   +1 more source

Acoustic Mapping of Gas Stored in Sediments of Shallow Aquatic Systems Linked to Methane Production and Ebullition Patterns

Frontiers in Environmental Science, 2022
Bubble-mediated transport is the predominant pathway of methane emissions from inland waters, which are a globally significant sources of the potent greenhouse gas to the atmosphere.
Lediane Marcon, Lediane Marcon, Klajdi Sotiri, Tobias Bleninger, Tobias Bleninger, Andreas Lorke, Michael Männich, Stephan Hilgert   +7 more
doaj   +1 more source

Temporal Variability of Oceanic Mesoscale Events in the Gulf of California

Remote Sensing, 2021
Oceanic mesoscale events such as eddies, coastal upwelling, filaments and fronts created by water mass intrusion present properties allowing them to concentrate, transport and disperse salt, nutrients and plankton, among other important constituents in ...
Edgardo Basilio Farach-Espinoza, Juana López-Martínez, Ricardo García-Morales, Manuel Otilio Nevárez-Martínez, Daniel Bernardo Lluch-Cota, Sofia Ortega-García   +5 more
doaj   +1 more source

Solar Ultraviolet Radiation Temporal Variability Analysis from 2-Year of Continuous Observation in an Amazonian City of Brazil

Atmosphere, 2022
Solar ultraviolet radiation (UVR) is a highly energetic component of the solar spectrum that needs to be monitored because of the effects on human health and on the ecosystems.
Gabriela Reis, Samuel Souza, Helvécio Neto, Rardiles Branches, Rodrigo Silva, Lucas Peres, Damaris Pinheiro, Kevin Lamy, Hassan Bencherif, Thierry Portafaix   +9 more
doaj   +1 more source