:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Ana Martínez Pérez
Formato:	Artículo científico
Lenguaje:	en
Publicado:	Universidad Rey Juan Carlos 2015
Materias:	Sociología Ethnograms Cultural (Global) Values Formal and non Formal education
Acceso en línea:	https://www.redalyc.org/articulo.oa?id=441542973006
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Possible Readings of 'Simplesmente (simply)' in Brazilian Portuguese
por: Lopes Rodrigues, Adriano, et al.
Publicado: (2025)

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
Publicado: (2023)

A INSTITUIÇÃO FORMAL E A NÃO-FORMAL NA CONSTRUÇÃO DO CURRÍCULO DE UMA ESCOLA DE TEMPO INTEGRAL
por: Helena Maria dos Santos Felício
Publicado: (2011)

Finite-valued Streaming String Transducers
por: Filiot, Emmanuel, et al.
Publicado: (2024)

Modeling and specification of distributed timed systems
por: James J. Ortiz
Publicado: (2013)

The Aims of Education—Alfred North Whitehead's Ideas on Education and Learning Revisited After 100 Years
por: Kraler, Christian
Publicado: (2025)

Inform: From Compartmental Models to Stochastic Bounded Counter Machines
por: Leys, Tim, et al.
Publicado: (2024)

THE GRAMMATICAL ASPECT IN THE MEBÊNGÔKRE (KAYAPÓ) LANGUAGE: AN INVESTIGATION IN THE FRAMEWORK OF FORMAL SEMANTICS
por: Mendonça Junior, Cledson
Publicado: (2024)

Efficient Construction of Reachability Graphs for Petri Net Product Lines
por: Gómez-Martínez, Elena, et al.
Publicado: (2026)

Information-flow Interfaces and Security Lattices
por: Bartocci, Ezio, et al.
Publicado: (2024)

(IM)PERFECTIVITY, ACTIONALITY AND TEACHING: USING NOTIONS OF FORMAL SEMANTICS IN BASIC EDUCATION
por: Souza, Érica Azevedo de
Publicado: (2024)

A DICOTOMIA DO SABER NA ESCOLA DO CAMPO: APORTES EPISTEMOLÓGICOS DA SOCIOLOGIA RURAL
por: Manoel Valquer Oliveira Melo
Publicado: (2020)

Desempeño académico, habilidades de pensamiento y docencia: análisis de un programa de inducción a la vida universitaria
por: Bernardo Barragán Castrillón
Publicado: (2012)

Data-driven verification and synthesis of stochastic systems via barrier certificates
por: Ali Salamati, et al.
Publicado: (2025)

Behaviorally Correct Learning from Informants
por: Mohrin, Niklas
Publicado: (2025)

Synthesising Asynchronous Automata from Fair Specifications
por: Bérard, Béatrice, et al.
Publicado: (2025)

Passive Learning of Lattice Automata from Recurrent Neural Networks
por: Slimi, Jaouhar, et al.
Publicado: (2025)

Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments
por: Raskin, Jean-François, et al.
Publicado: (2024)

Constructing Deterministic Parity Automata from Positive and Negative Examples
por: Bohn, León, et al.
Publicado: (2023)

$ω$-regular Expression Synthesis from Transition-Based Büchi Automata
por: Pert, Charles, et al.
Publicado: (2024)

Synthesizing Petri Nets from Labelled Petri Nets using Token Trail Regions
por: Bergenthum, Robin, et al.
Publicado: (2026)

Networks of Moore Machines
por: Yodaiken, Victor
Publicado: (2015)

WEX: Formal Specifications for Windows in Stream Processing
por: Hitarth, S, et al.
Publicado: (2022)

The Expansion Problem for Infinite Trees
por: Blumensath, Achim
Publicado: (2023)

A General Information Extraction Framework Based on Formal Languages
por: Schmid, Markus L.
Publicado: (2025)

Finite Automata for Efficient Graph Recognition
por: Drewes, Frank, et al.
Publicado: (2024)

Statistical process discovery
por: Cry, Pierre, et al.
Publicado: (2025)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
por: Jeppson, Joshua, et al.
Publicado: (2025)

Hyper pattern matching
por: Waga, Masaki, et al.
Publicado: (2025)

Input-Driven Pushdown Automata with Translucent Input Letters
por: Kutrib, Martin, et al.
Publicado: (2025)

MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm
por: Akshay, S., et al.
Publicado: (2024)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
por: Kan, Shuanglong, et al.
Publicado: (2025)

Componentwise Automata Learning for System Integration (Extended Version)
por: Fujinami, Hiroya, et al.
Publicado: (2025)

Universality Frontier for Asynchronous Cellular Automata
por: Baburin, Ivan, et al.
Publicado: (2025)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
por: Lehaut, Mathieu, et al.
Publicado: (2026)

One-clock synthesis problems
por: Lasota, Sławomir, et al.
Publicado: (2026)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
por: Mazowiecki, Filip, et al.
Publicado: (2025)

Infinite-state Games with Energy Objectives Beyond Counters
por: Sağlam, Irmak, et al.
Publicado: (2026)

Nondeterministic state complexity of square root
por: Onishchenko, Sergey
Publicado: (2026)

Forgetting Event Order in Higher-Dimensional Automata
por: Zouari, Safa
Publicado: (2026)