Zobrazeno 1 - 10
of 55
pro vyhledávání: '"Alberto Verdejo"'
Autor:
Ana Belén Peinado-Rubia, Alberto Verdejo-Herrero, Esteban Obrero-Gaitán, María Catalina Osuna-Pérez, Irene Cortés-Pérez, Héctor García-López
Publikováno v:
Sensors, Vol 24, Iss 3, p 903 (2024)
Background: The aim of this systematic review with meta-analysis was to assess the effectiveness of non-immersive virtual reality (niVR) active videogames in patients who underwent cardiac rehabilitation (CR). Methods: A systematic review with meta-a
Externí odkaz:
https://doaj.org/article/5c9acdf1a78b4052bdbb9785abcc9d57
Autor:
Alberto Verdejo, Narciso Martí-Oliet
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 82, Iss Proc. WRS 2011, Pp 17-36 (2012)
The two levels of data and actions on those data provided by the separation between equations and rules in rewriting logic are completed by a third level of strategies to control the application of those actions. This level is implemented on top of M
Externí odkaz:
https://doaj.org/article/170e135ece794ae6a6105d006f1965d6
Publikováno v:
Formal Methods ISBN: 9783031274800
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6a9b9e688a4161ff3b4e744d90329d7e
https://doi.org/10.1007/978-3-031-27481-7_15
https://doi.org/10.1007/978-3-031-27481-7_15
Publikováno v:
Automated Software Engineering. 29
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e6c177de9efe744654f7db7b867d2469
https://doi.org/10.1007/s10515-021-00307-9
https://doi.org/10.1007/s10515-021-00307-9
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 124:100727
Membrane systems are a biologically-inspired computational model based on the structure of biological cells and the way chemicals interact and traverse their membranes. Although their dynamics are described by rules, encoding membrane systems into re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::93a0a351af7e0125f91b6d291e67479c
https://doi.org/10.1016/j.jlamp.2021.100727
https://doi.org/10.1016/j.jlamp.2021.100727
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 124:100728
In the reflective Maude specification language, based on rewriting logic, a strategy language has been introduced to control rule rewriting while avoiding complex and verbose metalevel programs. However, just as multiple levels of reflection are requ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b04bbd30486284fa39eb779167702822
https://doi.org/10.1016/j.jlamp.2021.100728
https://doi.org/10.1016/j.jlamp.2021.100728
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 123:100700
Rewriting logic and its implementation Maude are a natural and expressive framework for the specification of concurrent systems and logics. Its nondeterministic local transformations are described by rewriting rules, which can be controlled at a high
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ab99a9d384a030add5fd4072edaf8be4
https://doi.org/10.1016/j.jlamp.2021.100700
https://doi.org/10.1016/j.jlamp.2021.100700
Publikováno v:
Rewriting Logic and Its Applications ISBN: 9783030635947
WRLA@ETAPS
WRLA@ETAPS
Maude 3 includes as a new feature an object-level strategy language. Rewriting strategies can now be used to easily control how rules are applied, restricting the rewriting systems behavior. This new specification layer would not be useful if there w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd1aee432726f5948c667c2dd5b8f805
https://doi.org/10.1007/978-3-030-63595-4_9
https://doi.org/10.1007/978-3-030-63595-4_9
Rewriting logic is naturally concurrent: several subterms of the state term can be rewritten simultaneously. But state terms are global, which makes compositionality difficult to achieve. Compositionality here means being able to decompose a complex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c39a48465df62ae7525c8ac711a00522
Publikováno v:
Recent Trends in Algebraic Development Techniques ISBN: 9783030232191
WADT
Lecture Notes in Computer Science
24th International Workshop on Algebraic Development Techniques (WADT)
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.27-44, ⟨10.1007/978-3-030-23220-7_2⟩
WADT
Lecture Notes in Computer Science
24th International Workshop on Algebraic Development Techniques (WADT)
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.27-44, ⟨10.1007/978-3-030-23220-7_2⟩
Part 2: Survey Papers; International audience; Strategies and parameterization are two convenient tools for building clear and easily configurable specifications of complex computational systems, compositionally. Parameterization is a widely used fea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::31162398aae9152992045fc7f76b33d9
https://doi.org/10.1007/978-3-030-23220-7_2
https://doi.org/10.1007/978-3-030-23220-7_2