Zobrazeno 1 - 10
of 56
pro vyhledávání: '"Strategy language"'
Autor:
Zahra Abolhassani Chimeh
Publikováno v:
Hunar-i zabān, Vol 2, Iss 2, Pp 5-26 (2017)
This paper investigates the effectiveness of those activities which are based on all types of strategies for teaching conversational skills. These strategies are practiced in the form of 17 activities and their effectiveness on the oral language perf
Externí odkaz:
https://doaj.org/article/043c8d1fe745444f9943c6c6ced2feae
Autor:
Galán Pascual, Daniel
Publikováno v:
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
instname
[ES] El objetivo de este trabajo es formalizar un mecanismo general para garantizar la seguridad de las computaciones en lógica de reescritura. La técnica propuesta consiste en una transformación de programas que garantiza que el sistema transform
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::43a5c693fbbcc5786bccb61ce982b884
https://hdl.handle.net/10251/186360
https://hdl.handle.net/10251/186360
Annotation: This article provides insights into reforms, challenges, and solutions in the preschool education system. Preschool education is the primary part of continuing education. It stimulates the child's desire to learn, prepares him for systema
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e50acc2e18c6ddf7123e8d210860002
Autor:
Sitti Fauziah, M., Jaya, Abdul Rahman
In the concept of personality, every child is born unique or different. Even identical twins will not have the same personality and physique. It is important to know and understand each child's personality in the language learning received in his cla
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1562f266fc620d724a19e9f191fbb87b
Autor:
Erik Linden
Publikováno v:
Classroom Companion: Business ISBN: 9783030795481
Organizations can experience environmental shocks that cause significant changes to the environment that a company operates in. An example of this is the COVID-19 pandemic which is possibly changing the aviation system for decades to come. Therefore,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::de2dfa8d2cd0701498f3f00b2be1de58
https://doi.org/10.1007/978-3-030-79549-8_15
https://doi.org/10.1007/978-3-030-79549-8_15
Publikováno v:
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science, 2019, 29 (5), pp.615--662. ⟨10.1017/S0960129518000270⟩
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2019, 29 (5), pp.615--662. ⟨10.1017/S0960129518000270⟩
Fernández, M, Kirchner, H & Pinaud, B 2019, ' Strategic Port Graph Rewriting : An Interactive Modelling Framework ', MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 29, no. 5, pp. 615-662 . https://doi.org/10.1017/S0960129518000270, https://doi.org/10.4204/EPTCS.159.3
Mathematical Structures in Computer Science, 2019, 29 (5), pp.615--662. ⟨10.1017/S0960129518000270⟩
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2019, 29 (5), pp.615--662. ⟨10.1017/S0960129518000270⟩
Fernández, M, Kirchner, H & Pinaud, B 2019, ' Strategic Port Graph Rewriting : An Interactive Modelling Framework ', MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 29, no. 5, pp. 615-662 . https://doi.org/10.1017/S0960129518000270, https://doi.org/10.4204/EPTCS.159.3
We present strategic port graph rewriting as a basis for the implementation of visual modelling tools. The goal is to facilitate the specification and programming tasks associated with the modelling of complex systems. A system is represented by an i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::31c774f0b05b8cd4db48fc7fa7ea9f32
https://doi.org/10.1017/s0960129518000270
https://doi.org/10.1017/s0960129518000270
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
Publikováno v:
International Transactions in Operational Research
International Transactions in Operational Research, Wiley, 2020, pp.1--25. ⟨10.1111/itor.12650⟩
International Transactions in Operational Research, Wiley, 2020, pp.1--25. ⟨10.1111/itor.12650⟩
On line; International audience; Satisfiability modulo theory (SMT) solving strategies are composed of various components and parameters that can dramatically affect the performance of an SMT solver. Each of these elements includes a huge amount of o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::183fecdb8971fe792e5028c259ed8dcc
https://hal.archives-ouvertes.fr/hal-02158110
https://hal.archives-ouvertes.fr/hal-02158110