Research on High-Quality Development Evaluation and Regulation Model: A Case Study of the Yellow River Water Supply Area in Henan Province

Autor: Xiuyu Zhang, Ying Zhou, Chunhui Han

Publikováno v: Water, Vol 15, Iss 2, p 261 (2023)

Unbalanced and inadequate development has led to challenges such as resource shortage, ecological fragility, and economic backwardness in the water-receiving area of Henan Province, which has hindered the high-quality development of the region. This

Externí odkaz: https://doaj.org/article/134ac41d24d54679ba3da3f0b73cc845

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

PG-Keys: Keys for Property Graphs

Autor: Keith W. Hare, George H. L. Fletcher, Sławek Staworko, Michael Schmidt, Leonid Libkin, Jan Hidders, Stefania Dumbrava, Angela Bonifati, Victor E. Lee, Bei Li, Filip Murlak, Juan F. Sequeda, Wim Martens, Ognjen Savkovic, Dominik Tomaszuk, Renzo Angles, Josh Perryman

Publikováno v: ACM Special Interest Group on Management of Data (SIGMOD)
ACM Special Interest Group on Management of Data (SIGMOD), Jun 2021, Xi'an, China. ⟨10.1145/3448016.3457561⟩
Angles, R, Bonifati, A, Dumbrava, S, Fletcher, G, Hare, K W, Hidders, J, Lee, V E, Li, B, Libkin, L, Martens, W, Murlak, F, Perryman, J, Savković, O, Schmidt, M, Sequeda, J, Staworko, S & Tomaszuk, D 2021, PG-Keys: Keys for Property Graphs . in Proceedings of the 2021 International Conference on Management of Data (SIGMOD ’21) . pp. 2423-2436, ACM SIGMOD/PODS International Conference on Management Data, Xi'an, China, 20/06/21 . https://doi.org/10.1145/3448016.3457561
SIGMOD Conference

International audience; We report on a community effort between industry and academia to shape the future of property graph constraints. The standardization for a property graph query language is currently underway through the ISO Graph Query Languag

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::df18458f47b9c9961f4b621a570b207f
https://inria.hal.science/hal-03189192/document

Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting

Autor: Kourtis, Georgios, Pratt-Hartmann, Ian

Publikováno v: Pratt-Hartmann, I & Kourtis, G 2017, ' Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting ', Logical Methods in Computer Science, vol. 13, no. 4, 4, pp. 1-39 . https://doi.org/10.23638/LMCS-13(4:4)2017

The satisfiability and finite satisfiability problems for the two-variable guarded fragment of first-order logic with counting quantifiers, a database, and path-functional dependencies are both ExpTime-complete.
Logical Methods in Computer Scien

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::595dc40330a786cebf7521615d4b84e7
https://doi.org/10.23638/LMCS-13(4:4)2017

The limitations of mathematical modeling in high school physics education

Autor: Forjan, Matej

Publikováno v: Maribor

Tema doktorske disertacije sodi na področje didaktike fizike. Predstavljena je teoretična analiza ključnih omejitev, ki se pojavljajo pri prenosu matematičnega modeliranja dinamičnih sistemov v pouk fizike v srednjih šolah. V želji raziskati,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1857::75d7cbd413081ccd164591d9f4eaef17
https://plus.si.cobiss.net/opac7/bib/21513480?lang=sl