Resultados de la búsqueda
Ir a la navegación
Ir a la búsqueda
Resultados por título de página
- La '''verificación de modelos''' (o '''''Model checking''''') es un método automático de [[verificación… [[Categoría:Verificación de modelos| ]] …3 kB (430 palabras) - 22:16 11 jul 2019
- …dichos lenguajes son también sistemas matemáticos. Por esto, la teoría de modelos es una teoría semántica que pone en relación unos sistemas matemáticos con En ese punto, la teoría de modelos permite definir la semántica de una teoría. Así un modelo <math>\mathfrak{U …10 kB (1730 palabras) - 12:19 19 abr 2024
- Los modelos de generación contemplaban inicialmente una función de ahorro, una función …3 kB (519 palabras) - 16:19 7 oct 2019
- …ra 1. Ejemplos empíricos de la congestión del tráfico reconstruida por los modelos ASDA/FOTO utilizando datos en bruto medidos por detectores en diferentes au Los modelos de congestión del tráfico '''ASDA''' y '''FOTO''',<ref name="KernerPatent19 …20 kB (3163 palabras) - 11:09 25 feb 2025
- {{fusionar|t=20210829112027|Modelos de población matricial}} …ipo específico de modelos de población que utilizan álgebra matricial. Los modelos poblacionales matriciales son herramientas poderosas y útiles para el estud …27 kB (4682 palabras) - 11:05 25 feb 2025
- Los modelos compartimentales constituyen una técnica utilizada para simplificar la mode …=1927 |doi=10.1098/rspa.1927.0118|bibcode=1927RSPSA.115..700K }}</ref> Los modelos suelen investigarse mediante ecuaciones diferenciales ordinarias (las cuale …37 kB (6450 palabras) - 23:50 17 feb 2025
- …de población]] que utiliza [[Álgebra de matrices|álgebra matricial]]. Los modelos de población se utilizan en [[ecología de poblaciones]] para modelar la [[D Aunque los modelos BIDE son conceptualmente simples, las estimaciones confiables de las 5 vari …5 kB (921 palabras) - 22:34 28 ene 2023
- …ución del perfil de las montañas, o la evolución de pendientes) se son los modelos que permiten estimar los cambios en las tasas de erosión, estilos y forma… == Modelos conceptuales == …11 kB (1813 palabras) - 19:59 25 ago 2024
- 7 kB (1115 palabras) - 21:58 16 may 2023
- …os modelos y los individuos afectados por las decisiones basadas en dichos modelos son: todos con razón preocupados por si un modelo y sus resultados son "cor …asta el grado necesario para el propósito o la aplicación previstos de los modelos. …17 kB (2757 palabras) - 17:22 21 nov 2024
Resultados por texto de página
- …a]] porque dos fórmulas lógicamente equivalentes siempre tienen los mismos modelos. [[Categoría:Teoría de modelos]] …2 kB (315 palabras) - 17:27 30 dic 2023
- …ales|conformaciones]] de los [[polímero]]s lineales en [[disolución]]. Los modelos se aplican habitualmente, pero no exclusivamente a los [[polipéptido]]s com La mayor parte de los modelos hélice-ovillo contienen parámetros para la probabilidad de nucleacilón de… …2 kB (340 palabras) - 06:33 13 feb 2023
- …es un resultado central en la teoría de [[Modelo de generaciones solapadas|modelos de generaciones traslapadas]] en [[economía]]. Debe su nombre a [[David Cas Una característica importante que hace que los modelos de generaciones traslapadas en economía se distingan del modelo estándar co …2 kB (248 palabras) - 19:34 9 oct 2019
- …n los modelos de dispersión exponencial y los [[Modelo lineal generalizado|modelos lineales generalizados]], en los que el ajuste se realiza por [[máxima vero …grados de libertad la diferencia en el número de parámetros entre los dos modelos, que es <math>n</math> (el número de observaciones) para el saturado y <mat …5 kB (770 palabras) - 12:28 2 ene 2024
- …odelo autorregresivo]] (AR), es un caso especial y componente clave de los modelos de serie de tiempo más generales [[Modelo autorregresivo de media móvil|ARM Contrariamente a los modelos autorregresivos, el MA es siempre [[Proceso estacionario|estacionario]]. …2 kB (370 palabras) - 18:02 18 ene 2024
- …por lo que es consistente con el resto de axiomas. Por otro lado, existen modelos de ZFC (incluyendo el [[axioma de elección]]) en los que el axioma de unión …2 kB (365 palabras) - 10:48 13 jul 2020
- …de geometría de curvatura constante, siendo la diferencia entre estos tres modelos el valor de la curvatura: …vos sistemas geométricos que incumplieran el quinto postulado. Uno de esos modelos lo constituye la superficie de una [[esfera]], considerada bidimensional. …5 kB (737 palabras) - 04:06 2 feb 2024
- ==Marcas y modelos== …3 kB (432 palabras) - 03:05 12 may 2024
- …elo de Huff se puede generalizar para más de un factor en lo que se llaman modelos MCI (Interacción Competitiva Multiplicativa) [[Categoría:Modelos probabilísticos]] …2 kB (290 palabras) - 11:56 15 ene 2022
- == Modelos relacionados == …3 kB (433 palabras) - 14:25 14 jul 2024
- …las tecnologías de fabricación submicrónicas. Como ventaja frente a otros modelos como el [[BSIM]], podemos citar su reducido número de parámetros, y que per * [[Transistor|Modelos de transistores]] …3 kB (411 palabras) - 01:45 28 ago 2024
- …s de los modelos estadísticos son lo que distinguen a los modelos de otros modelos matemáticos deterministas. …estimadores estadísticos]] proceden de modelos estadísticos. De hecho, los modelos estadísticos son una parte fundamentalmente de la [[inferencia estadística] …7 kB (1020 palabras) - 11:10 14 ene 2025
- …e en sí mismo es [[estocástico]]. Sin embargo, también es posible utilizar modelos econométricos que no estén vinculados a ninguna teoría económica específica …nometría es el estudio de métodos para [[Selección de modelo|seleccionar]] modelos, [[Estimación estadística|estimarlos]] y realizar [[Estadística inferencial …6 kB (925 palabras) - 11:18 20 may 2024
- …si tienen el mismo [[valor de verdad]] en todos los [[Estructura (lógica)|modelos]] (Mendelson 1979:56). La equivalencia lógica de ''p'' y ''q'' algunas vece …ción]]. Semánticamente, (1) y (2) son verdaderas en exactamente los mismos modelos (interpretaciones, valuaciones); a saber, aquellos en que ''Lisa está en Fr …4 kB (745 palabras) - 14:28 5 ago 2024
- …e que el experimentador manipule puede denominarse variable independiente. Modelos y experimentos prueban los efectos que las variables independientes tienen === Modelos === …5 kB (701 palabras) - 10:44 28 oct 2024
- …a en un cociente modificado de la suma de cuadrados de residuos de los dos modelos como sigue: …2 kB (334 palabras) - 01:03 23 ago 2022
- …dichos lenguajes son también sistemas matemáticos. Por esto, la teoría de modelos es una teoría semántica que pone en relación unos sistemas matemáticos con En ese punto, la teoría de modelos permite definir la semántica de una teoría. Así un modelo <math>\mathfrak{U …10 kB (1730 palabras) - 12:19 19 abr 2024
- …ramétricos son un tipo particular del modelado semiparamétrico, ya que los modelos semiparamétricos contienen un componente paramétrico. …e regresión semiparamétricos diferentes. Los métodos más conocidos son los modelos parcialmente lineales, índices y de coeficientes variables. …8 kB (1185 palabras) - 11:21 6 nov 2022
- …La última definición es usada frecuentemente en la comparación empírica de modelos probabilísticos. Los buenos modelos ''q'' de la distribución desconocida ''p'' tienden a asignar altas probabil …5 kB (777 palabras) - 01:43 27 may 2023
- …mal]] que es semánticamente completo en el sentido de que todo [[Teoría de modelos|modelo]] que satisface todas las proposiciones de la teoría también satisfa …uaje formal]] y sea <math>\mathcal{M}</math> la clase de [[modelo (lógica)|modelos]] para dicha teoría. Sea <math>\mathrm{Sent}(\mathcal{L})</math> el conjunt …9 kB (1467 palabras) - 00:43 6 ene 2025