Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model theory
7
Model checking
6
Modeling and simulation
5
Stochastic modeling
5
Classical spin models
4
Definability
4
Eco de Loschmidt
4
Electromagnetic wave propagation
4
GPU
4
Irreversibilidad
4
Last Interglacial period
4
Life and medical sciences
4
Mecánica cuántica
4
Microondas
4
Nonequilibrium and irreversible thermodynamics
4
Observation and data reduction techniques; computer modeling and simulation
4
PRISM
4
Parallel algorithms
4
Regla de oro de Fermi
4
Simulaciones numéricas
4
Simulation and modeling
4
Spin chain models
4
Static properties
4
Teoría de modelos
4
Aprendizaje automático
3
Computer modeling and simulation
3
Computing methodologies
3
Dynamics properties
3
Inteligencia artificial
3
Machine learning
3
-
1Materias: “...Statistical model checking...”
Aportado por: Repositorio Digital Universitario (UNC)article -
2Materias: “...Logistic mixed model...”
Aportado por: Repositorio Digital Universitario (UNC)article -
3Materias: “...Econometric model...”
Aportado por: Repositorio Digital Universitario (UNC)conferenceObject -
4
-
5por Testa, Alejandro IvánMaterias: “...Modeling and simulation...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)masterThesis publishedVersion -
6por Ferrer Fioriti, Luis María.Materias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7por Ferrer Fioriti, Luis MaríaMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
8por Zandarin, Nicolás H.Materias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
9
-
10
-
11
-
12por Cattena, Carlos J., Bustos Marún, Raúl A., Fernández Alcázar, Lucas J., Nozaki, Daijiro, Pastawski, Horacio M.Materias: “...D'Amato-Pastawski model...”
Publicado 2022
Aportado por: Repositorio Digital Universitario (UNC)article -
13por Bordenabe, Nicolas EmilioMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
14por Bordenabe, Nicolas EmilioMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
15por Dadam, F.; Caeiro, X.; Cisternas, C.D.; Macchione, A.F.; Cambiasso, M.J.; Vivas, L.Materias: “...sex chromosome; fore core genotype mouse model; sex differences; sodium appetite...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)article -
16por Ventura, Pablo GabrielMaterias: “...Model theory...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
17por Ventura, Pablo GabrielMaterias: “...Model theory...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
18por Kilmurray, Cecilia NoeliaMaterias: “...Verification by model checking...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
19por Pérez Morelo, Diego, Centres, Paulo M., Guzmán Arellano, Robert, Giménez, María CeciliaMaterias: “...SIR model...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)conferenceObject -
20por Moyano Cortéz, Hernán NehuénMaterias: “...Stochastic modeling...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis