Resultados de búsqueda - (precision OR revision) errors
-
21
Topics in Modal Analysis II, Volume 8 Proceedings of the 32nd IMAC, A Conference and Exposition on Structural Dynamics, 2014 /
Cham : Springer International Publishing : Imprint: Springer, 2014.Tabla de Contenidos: “…Integrating Multiple Algorithms in Autonomous Modal Parameter Estimation -- Effects of Magneto-mechanical Coupling on Structural Modal Parameters -- Extraction of Modal Parameters of Micromachined Resonators in Higher Modes -- Normalization of Experimental Modal Vectors to Remove Modal Vector Contamination -- Effective Use of Scanning Laser Doppler Vibrometers for Modal Testing -- Precise Frequency Domain Algorithm of Half Spectrum and FRF -- Identification of a Time-varying Beam Using Hilbert Vibration Decomposition -- Recovery of Operational Deflection Shapes From Noise-corrupted Measurement Data From CSLDV: Comparison Between Polynomial and Mode Filtering Approaches -- Exploiting Imaging Techniques to Overcome the Limits of Vibration Testing in High Excitation Level Conditions -- An Experimental Modal Channel Reduction Procedure Using a Pareto Chart -- Unique Isolation Systems to Protect Equipment in Navy Shock Tests -- Nonlinear High Fidelity Modeling of Impact Load Response in a Rod -- On The Role of Boundary Conditions in the Nonlinear Dynamic Response of Simple Structures -- Evaluation of On-Line Algebraic Modal Parameter Identification Methods -- Ambient Vibration Test of Granville Street Bridge Before Bearing Replacement -- Vibration Testing and Analysis of A Monumental Stair -- Evaluation of stop bands in periodic and semi-periodic structures by experimental and numerical approaches -- Operating Mode Shapes of Electronic Assemblies Under Shock Input -- Comparison of Modal Parameters Extracted Using MIMO, SIMO, and Impact Hammer Tests on a Three-bladed Wind Turbine -- Modal Test Results of a Ship Under Operational Conditions -- Measuring Effective Mass of a Circuit Board -- Acoustic Cavity Modal Analysis for NVH Development of Road Machinery Cabins -- Strain-based Dynamic Measurements and Modal Testing -- AIRBUS A350 XWB GVT: State-of-the-art Techniques to Perform a Faster and Better GVT Campaign -- Finite Element Model Updating Using the Separable Shadow Hybrid Monte Carlo Technique -- Bayesian System Identification of Dynamical Systems Using Reversible Jump Markov Chain Monte Carlo -- Assessment and Validation of Nonlinear Identification Techniques Using Simulated Numerical and Real Measured Data -- Effects of Errors in Finite Element Models on Component Modal Tests -- Estimating Frequency-Dependent Mechanical Properties of Materials -- Flexible Dynamic Modeling of Turret Systems by Means of Craig-Bampton Method and Experimental Validation -- Material Characterization of Gyroscope Isolator Using Modal Test Data -- Loss Factors Estimation Using FEM in Statistical Energy Analysis -- Investigation of Crossing and Veering Phenomena in an Isogeometric Analysis framework -- Influence of Fan Balancing in Vibration Reduction of a Braking Resistor -- Vibrations of Discretely Layered Structures Using a Continuous Variation Model -- Next-Generation Random Vibration Tests -- Optimal Phasing Combinations for Multiple Input Source Excitation.…”
Enlace del recurso / Disponible en línea
Libro -
22
Framework para diseño de diagramas de bloques funcionales para procesamiento de datos en tiempo real
2018Tabla de Contenidos: “…Capítulo 1: Introducción -- 1.1 Objetivos -- 1.2 Motivación -- 1.3 Desarrollos propuestos -- 1.4 Resultados Esperados -- 1.5 Estructura del trabajo -- Capítulo 2: Marco Teórico -- 2.1 Introducción -- 2.2 Diagramas de bloques -- 2.3 Programación visual -- 2.4 Desventajas de la programación visual -- 2.5 Programación de flujos de datos -- 2.6 Diagramas de bloques funcionales -- 2.7 Microsoft VPL -- 2.8 Frameworks -- 2.9 Revisión del objetivo -- Capítulo 3: Documentación de Flowgramming Framework -- 3.1 Introducción -- 3.2 Requerimientos de software -- 3.3 Instalación y dependencias del framework -- 3.4 Primeros pasos con Flowgramming Framework -- 3.4.1 Integración -- 3.4.2 Obtener Bloques Disponibles y sus Atributos -- 3.4.3 Conectar bloques -- 3.4.4 Persistir Diagramas -- 3.4.5 Obtener Diagramas persistidos -- 3.4.6 Enviar datos a Flowgramming -- 3.4.7 Resumen -- 3.5 Modos de ejecución en Flowgramming Framework -- 3.6 Modos de ejecución y condiciones de los bloques -- 3.7 Ciclos -- 3.7.1 Tipos de ciclos -- 3.7.2 Validación de diagramas e identificación de ciclos -- 3.7.3 Seguimiento de errores en ciclos en tiempo de ejecución -- 3.8 Configuración del framework -- 3.8.1 Instanciación del framework -- 3.8.2 Backends de Persistencia -- 3.8.3 Backends de Debugging -- 3.8.4 Backends de logging de errores -- 3.9 Bloques Provistos por el Framework -- 3.10 Creación de bloques personalizados -- 3.10.1 Introducción -- 3.10.2 Estructura del código de un bloque -- 3.10.3 Desarrollo de bloques personalizados -- 3.10.4 Fields -- 3.10.5 Configuraciones opcionales de los bloques -- 3.10.6 Bloques para notificación/envío de resultados a sistema general -- 3.10.7 Interrupción de ejecución de bloques y diagramas -- 3.10.8 Memorización de estado -- 3.11 Creación de backends de persistencia -- 3.12 Creación de backends de debugging -- 3.13 Creación de backends de logging de errores -- Capítulo 4: Notas de implementación de Flowgramming Framework -- 4.1 Introducción -- 4.2 Variables de Instancia Declarativas -- 4.3 Localización de clases -- 4.4 Ejecución de diagramas -- 4.5 Validación de diagramas -- Capítulo 5: Casos de uso / Casos de ejemplo -- 5.1 Introducción -- 5.2 Ejemplo de la propuesta #1: Calibración de un sensor de sonido -- 5.3 Ejemplo de la propuesta #2: Análisis de Sonido en ciudad eliminando ruidos -- 5.4 Ejemplo de la propuesta #3: Detección de fallas en maquinaria según vibraciones. -- 5.5 Manejo seguro de una cinta industrial o de un sistema de aerosillas -- 5.6 Identificación y conteo de objetos en imágenes -- 5.7 Identificación y resaltado de objetos en imágenes -- Capítulo 6: Conclusiones -- Capítulo 7: Trabajos Futuros -- 7.1 Introducción -- 7.2 Flowgramming como servicio externo -- 7.3 Migraciones de modificaciones y eliminación de tipos de bloques y campos -- 7.4 Evaluación de ejecución de bloques a través de una tabla -- 7.5 Escalabilidad y paralelismo -- 7.6 Desarrollo y extensión dirigida por tests automatizados -- 7.7 Mejoras de Serialización -- 7.8 Señalización de eventos -- 7.9 Migración de un backend de persistencia a otro -- 7.10 Modos de ejecución a nivel bloque -- 7.11 Modo de pruebas aislado -- 7.12 Modo de indicar tipos de entrada y salida de un bloque y sus campos -- 7.13 Mejoras Menores -- Tabla de figuras -- Referencias bibliográficas…”
Enlace del recurso / Disponible en línea
Tesis -
23
Framework para diseño de diagramas de bloques funcionales para procesamiento de datos en tiempo real
2018Tabla de Contenidos: “…Capítulo 1: Introducción -- 1.1 Objetivos -- 1.2 Motivación -- 1.3 Desarrollos propuestos -- 1.4 Resultados Esperados -- 1.5 Estructura del trabajo -- Capítulo 2: Marco Teórico -- 2.1 Introducción -- 2.2 Diagramas de bloques -- 2.3 Programación visual -- 2.4 Desventajas de la programación visual -- 2.5 Programación de flujos de datos -- 2.6 Diagramas de bloques funcionales -- 2.7 Microsoft VPL -- 2.8 Frameworks -- 2.9 Revisión del objetivo -- Capítulo 3: Documentación de Flowgramming Framework -- 3.1 Introducción -- 3.2 Requerimientos de software -- 3.3 Instalación y dependencias del framework -- 3.4 Primeros pasos con Flowgramming Framework -- 3.4.1 Integración -- 3.4.2 Obtener Bloques Disponibles y sus Atributos -- 3.4.3 Conectar bloques -- 3.4.4 Persistir Diagramas -- 3.4.5 Obtener Diagramas persistidos -- 3.4.6 Enviar datos a Flowgramming -- 3.4.7 Resumen -- 3.5 Modos de ejecución en Flowgramming Framework -- 3.6 Modos de ejecución y condiciones de los bloques -- 3.7 Ciclos -- 3.7.1 Tipos de ciclos -- 3.7.2 Validación de diagramas e identificación de ciclos -- 3.7.3 Seguimiento de errores en ciclos en tiempo de ejecución -- 3.8 Configuración del framework -- 3.8.1 Instanciación del framework -- 3.8.2 Backends de Persistencia -- 3.8.3 Backends de Debugging -- 3.8.4 Backends de logging de errores -- 3.9 Bloques Provistos por el Framework -- 3.10 Creación de bloques personalizados -- 3.10.1 Introducción -- 3.10.2 Estructura del código de un bloque -- 3.10.3 Desarrollo de bloques personalizados -- 3.10.4 Fields -- 3.10.5 Configuraciones opcionales de los bloques -- 3.10.6 Bloques para notificación/envío de resultados a sistema general -- 3.10.7 Interrupción de ejecución de bloques y diagramas -- 3.10.8 Memorización de estado -- 3.11 Creación de backends de persistencia -- 3.12 Creación de backends de debugging -- 3.13 Creación de backends de logging de errores -- Capítulo 4: Notas de implementación de Flowgramming Framework -- 4.1 Introducción -- 4.2 Variables de Instancia Declarativas -- 4.3 Localización de clases -- 4.4 Ejecución de diagramas -- 4.5 Validación de diagramas -- Capítulo 5: Casos de uso / Casos de ejemplo -- 5.1 Introducción -- 5.2 Ejemplo de la propuesta #1: Calibración de un sensor de sonido -- 5.3 Ejemplo de la propuesta #2: Análisis de Sonido en ciudad eliminando ruidos -- 5.4 Ejemplo de la propuesta #3: Detección de fallas en maquinaria según vibraciones. -- 5.5 Manejo seguro de una cinta industrial o de un sistema de aerosillas -- 5.6 Identificación y conteo de objetos en imágenes -- 5.7 Identificación y resaltado de objetos en imágenes -- Capítulo 6: Conclusiones -- Capítulo 7: Trabajos Futuros -- 7.1 Introducción -- 7.2 Flowgramming como servicio externo -- 7.3 Migraciones de modificaciones y eliminación de tipos de bloques y campos -- 7.4 Evaluación de ejecución de bloques a través de una tabla -- 7.5 Escalabilidad y paralelismo -- 7.6 Desarrollo y extensión dirigida por tests automatizados -- 7.7 Mejoras de Serialización -- 7.8 Señalización de eventos -- 7.9 Migración de un backend de persistencia a otro -- 7.10 Modos de ejecución a nivel bloque -- 7.11 Modo de pruebas aislado -- 7.12 Modo de indicar tipos de entrada y salida de un bloque y sus campos -- 7.13 Mejoras Menores -- Tabla de figuras -- Referencias bibliográficas…”
Enlace del recurso / Disponible en línea
Tesis -
24
Molecular Computing Towards a Novel Computing Architecture for Complex Problem Solving /
Cham : Springer International Publishing : Imprint: Springer, 2014.Enlace del recurso / Disponible en línea
Libro -
25
Compendio de topografía teórico práctica Compendio general de topografía teórico práctica
Buenos Aires El Ateneo 1940-42Tabla de Contenidos: “…Ejes y cojinete Excentrididad de la alidada y del anteojo. Distanciómetros de precisión Importantes tipos de teodolitos. Rectificación de un teodolito Influencia de los errores instrumentales sobre la medición de ángulos horizontales. …”
Libro -
26
Rust in action : systems programming concepts and techniques
Shelter Island : Manning, 2021Tabla de Contenidos: “…-- 7.2 Creating your own file formats for data storage -- 7.3 Implementing a hexdump clone -- 7.4 File operations in Rust -- 7.5 Implementing a key-value store with a log-structured, append-only storage architecture -- 7.6 Actionkv v1: The front-end code -- 7.7 Understanding the core of actionkv: The libactionkv crate -- 8 Networking -- 8.1 All of networking in seven paragraphs -- 8.2 Generating an HTTP GET request with reqwest -- 8.3 Trait objects -- 8.4 TCP -- 8.5 Ergonomic error handling for libraries -- 8.6 MAC addresses -- 8.7 Implementing state machines with Rust’s enums -- 8.8 Raw TCP -- 8.9 Creating a virtual networking device -- 8.10 "Raw" HTTP -- 9 Time and timekeeping -- 9.1 Background -- 9.2 Sources of time -- 9.3 Definitions -- 9.4 Encoding time -- 9.5 clock v0.1.0: Teaching an application how to tell the time -- 9.6 clock v0.1.1: Formatting timestamps to comply with ISO 8601 and email standards -- 9.7 clock v0.1.2: Setting the time -- 9.8 Improving error handling -- 9.9 clock v0.1.3: Resolving differences between clocks with the Network Time Protocol (NTP) -- 10 Processes, threads, and containers -- 10.1 Anonymous functions -- 10.2 Spawning threads -- 10.3 Differences between closures and functions -- 10.4 Procedurally generated avatars from a multithreaded parser and code generator -- 10.5 Concurrency and task virtualization -- 11 Kernel -- 11.1 A fledgling operating system (FledgeOS) -- 11.2 Fledgeos-0: Getting something working -- 11.3 fledgeos-1: Avoiding a busy loop -- 11.4 fledgeos-2: Custom exception handling -- 11.5 fledgeos-3: Text output -- 11.6 fledgeos-4: Custom panic handling -- 12 Signals, interrupts, and exceptions -- 12.1 Glossary -- 12.2 How interrupts affect applications -- 12.3 Software interrupts -- 12.4 Hardware interrupts -- 12.5 Signal handling -- 12.6 Handling signals with custom actions -- 12.7 Sending application-defined signals -- 12.8 Ignoring signals -- 12.9 Shutting down from deeply nested call stacks -- 12.10 A note on applying these techniques to platforms without signals -- 12.11 Revising exceptions…”
Consultar en el Cátalogo
Libro -
27
Rust in action : systems programming concepts and techniques
Shelter Island : Manning, 2021Tabla de Contenidos: “…-- 7.2 Creating your own file formats for data storage -- 7.3 Implementing a hexdump clone -- 7.4 File operations in Rust -- 7.5 Implementing a key-value store with a log-structured, append-only storage architecture -- 7.6 Actionkv v1: The front-end code -- 7.7 Understanding the core of actionkv: The libactionkv crate -- 8 Networking -- 8.1 All of networking in seven paragraphs -- 8.2 Generating an HTTP GET request with reqwest -- 8.3 Trait objects -- 8.4 TCP -- 8.5 Ergonomic error handling for libraries -- 8.6 MAC addresses -- 8.7 Implementing state machines with Rust’s enums -- 8.8 Raw TCP -- 8.9 Creating a virtual networking device -- 8.10 "Raw" HTTP -- 9 Time and timekeeping -- 9.1 Background -- 9.2 Sources of time -- 9.3 Definitions -- 9.4 Encoding time -- 9.5 clock v0.1.0: Teaching an application how to tell the time -- 9.6 clock v0.1.1: Formatting timestamps to comply with ISO 8601 and email standards -- 9.7 clock v0.1.2: Setting the time -- 9.8 Improving error handling -- 9.9 clock v0.1.3: Resolving differences between clocks with the Network Time Protocol (NTP) -- 10 Processes, threads, and containers -- 10.1 Anonymous functions -- 10.2 Spawning threads -- 10.3 Differences between closures and functions -- 10.4 Procedurally generated avatars from a multithreaded parser and code generator -- 10.5 Concurrency and task virtualization -- 11 Kernel -- 11.1 A fledgling operating system (FledgeOS) -- 11.2 Fledgeos-0: Getting something working -- 11.3 fledgeos-1: Avoiding a busy loop -- 11.4 fledgeos-2: Custom exception handling -- 11.5 fledgeos-3: Text output -- 11.6 fledgeos-4: Custom panic handling -- 12 Signals, interrupts, and exceptions -- 12.1 Glossary -- 12.2 How interrupts affect applications -- 12.3 Software interrupts -- 12.4 Hardware interrupts -- 12.5 Signal handling -- 12.6 Handling signals with custom actions -- 12.7 Sending application-defined signals -- 12.8 Ignoring signals -- 12.9 Shutting down from deeply nested call stacks -- 12.10 A note on applying these techniques to platforms without signals -- 12.11 Revising exceptions…”
Consultar en el Cátalogo
Libro -
28
Análisis de datos educativos aplicado en el estudio de la incidencia de factores socioeconómicos en el rendimiento escolar
2023Tabla de Contenidos: “…Curva ROC -- 2.5.2.11.8. Error cuadrático medio, MSE -- 2.5.2.11.9. Error cuadrático medio de la raíz, RMSE -- 2.5.2.11.10. …”
Enlace del recurso / Disponible en línea
Tesis -
29
Análisis de datos educativos aplicado en el estudio de la incidencia de factores socioeconómicos en el rendimiento escolar
2023Tabla de Contenidos: “…Curva ROC -- 2.5.2.11.8. Error cuadrático medio, MSE -- 2.5.2.11.9. Error cuadrático medio de la raíz, RMSE -- 2.5.2.11.10. …”
Enlace del recurso / Disponible en línea
Tesis -
30
Mapeo de costas en ambientes extremos, caso Isla Marambio, Antártida Argentina /
San Fernando del Valle de Catamarca: Universidad Nacional de Catamarca. Facultad de Tecnología y Ciencias Aplicadas; 2015.Enlace del recurso / Disponible en línea
Libro -
31
Elementos de cálculo diferencial e integral
Buenos Aires : Alsina , 1958Tabla de Contenidos: “…Cálculo diferencial -- Capítulo 1. Introducción -- 1. Revisión del concepto de número -- 2. El principio de inducción completa -- -- Capítulo 2. …”
Consultar en el Cátalogo
Libro -
32
-
33
-
34
Normas internacionales de auditoría
México, D. F. : Instituto Mexicano de Contadores Públicos , 1997Tabla de Contenidos: “…Codificación de Normas Internacionales de Auditoría (NIAs) y Declaraciones Internacionales de Auditoría -- Contenido de esta Sección- Temas -- Número de Tema y Título del Documento -- 100-199 Asuntos introductorios -- 100 Prefacio a NIAs RSs -- 110 Glosario de términos -- 120 Marcos de referencia de NIAs -- -- 200-299 Responsabilidades -- 200 Objetivo y principios generales que gobiernan una auditoría de estados financieros -- 210 Términos de los trabajos de auditoría -- 220 Control de calidad para el trabajo de auditoría -- 230 Documentación -- 240 Fraude y error -- 250 Consideración de leyes y reglamentos en una auditoría de estados financieros -- -- 300-399 Planeación -- 300 Planeación -- 310 Conocimiento del negocio -- 320 La importancia relativa de la auditoría -- 400-499 Control interno -- 400 Evaluación de riesgos y control interno -- 401 Auditoría en un ambiente de sistemas de información por computadora -- 402 Consideraciones de auditoría relativas a entidades que utilizan organizaciones de servicios -- -- 500-599 Evidencia de auditoría -- 500 Evidencia de auditoría -- 501 Evidencia de auditoría - consideraciones adicionales para partidas específicas -- 510 Trabajos iniciales - balances de apertura -- 520 Procedimientos analíticos -- 530 Muestreo de auditoría -- 540 Auditoría de estimaciones contables -- 550 Partes relacionadas -- 560 Hechos posteriores -- 570 Negocio en marcha -- 580 Representaciones de la administración -- -- 600-699 Uso del trabajo de otros -- 600 Uso del trabajo de otro auditor -- 610 Consideración del trabajo de auditoría interna -- 620 Uso del trabajo de un experto -- -- 700-799 Conclusiones y dictamen de auditoría -- 700 El dictamen del auditor sobre los estados financieros -- 710 Comparativos -- 720 Otra información en documentos que contienen estados financieros auditados -- -- 800-899 Áreas especializadas -- 800 El Dictámen del auditor sobre trabajos de auditoría con propósito especial -- 810 El examen de información financiera prospectiva -- -- 900-999 Servicios Relacionados (SRs) -- 910 Trabajos de revisión de estados financieros -- 920 Trabajos para realizar procedimientos convenidos respecto de información financiera -- 930 Trabajos para compilar información financiera -- -- 1000-1100 Declaraciones Internacionales de Auditoría -- 1000 Procedimientos de confirmación inter-bancos. …”
Consultar en el Cátalogo
Libro -
35
Model-based software testing and analysis with C#
Nueva York : Cambridge University Press, 2008Tabla de Contenidos: “…I Overview -- 1 Describe, Analyze, Test -- 1.1 Model programs -- 1.2 Model-based analysis -- 1.3 Model-based testing -- 1.4 Model programs in the software process -- 1.5 Syllabus -- 2 Why We Need Model-Based Testing -- 2.1 Client and server -- 2.2 Protocol -- 2.3 Sockets -- 2.4 Libraries -- 2.5 Applications -- 2.6 Unit testing -- 2.7 Some simple scenarios -- 2.8 A more complex scenario -- 2.9 Failures in the field -- 2.10 Failures explained -- 2.11 Lessons learned -- 2.12 Model-based testing reveals the defect -- 2.13 Exercises -- 3 Why We Need Model-Based Analysis -- 3.1 Reactive system -- 3.2 Implementation -- 3.3 Unit testing -- 3.4 Failures in simulation -- 3.5 Design defects -- 3.6 Reviews and inspections, static analysis -- 3.7 Model-based analysis reveals the design errors -- 3.8 Exercises -- 4 Further Reading -- II Systems with Finite Models -- 5 Model Programs -- 5.1 States, actions, and behavior -- 5.2 Case study: user interface -- 5.3 Preliminary analysis -- 5.4 Coding the model program -- 5.5 Simulation -- 5.6 Case study: client/server -- 5.7 Case study: reactive program -- 5.8 Other languages and tools -- 5.9 Exercises -- 6 Exploring and Analyzing Finite Model -- Programs -- 6.1 Finite state machines -- 6.2 Exploration -- 6.3 Analysis -- 6.4 Exercise -- 7 Structuring Model Programs with Features and -- Composition -- 7.1 Scenario control -- 7.2 Features -- 7.3 Composition -- 7.4 Choosing among options for scenario control -- 7.5 Composition for analysis -- 7.6 Exercises -- 8 Testing Closed Systems -- 8.1 Offline test generation -- 8.2 Traces and terms -- 8.3 Test harness -- 8.4 Test execution -- 8.5 Limitations of offline testing -- 8.6 Exercises -- 9 Further Reading -- III Systems with Complex State -- 10 Modeling Systems with Structured State -- 10.1 "Infinite" model programs -- 10.2 Types for model programs -- 10.3 Compound values -- 10.4 Case study: revision control system -- 10.5 Exercises -- 11 Analyzing Systems with Complex State -- 11.1 Explorable model programs -- 11.2 Pruning techniques -- 11.3 Sampling -- 11.4 Exercises -- 12 Testing Systems with Complex State -- 12.1 On-the-fly testing 1 -- 12.2 Implementation, model and stepper -- 12.3 Strategies 1 -- 12.4 Coverage-directed strategies -- 12.5 Advanced on-the-fly settings -- 12.6 Exercises -- 13 Further Reading -- 14 Compositional Modeling -- 14.1 Modeling protocol features -- 14.2 Motivating example: a client/server protocol -- 14.3 Properties of model program composition -- 14.4 Modeling techniques using composition and features -- 14.5 Exercise -- 15 Modeling Objects -- 15.1 Instance variables as field maps -- 15.2 Creating instances -- 15.3 Object IDs and composition -- 15.4 Harnessing considerations for objects -- 15.5 Abstract values and isomorphic states -- 15.6 Exercises -- 16 Reactive Systems -- 16.1 Observable actions -- 16.2 Nondeterminism -- 16.3 Asynchronous stepping -- 16.4 Partial explorability -- 16.5 Adaptive on-the-fly testing -- 16.6 Partially ordered runs -- 16.7 Exercises -- 17 Further Reading -- V Appendices -- A Modeling Library Reference -- A.1 Attributes -- A.2 Data types -- A.3 Action terms -- B Command Reference -- B.1 Model program viewer, mpv -- B.2 Offline test generator, otg -- B.3 Conformance tester, ct -- C Glossary -- Bibliography…”
Consultar en el Cátalogo
Libro -
36
Modelado e implementación de algoritmos inteligentes de análisis de opinión
2023Tabla de Contenidos: “…Fundamentación teórica -- 2.1 Introducción -- 2.2 Computación Afectiva y Análisis de Sentimientos -- 2.2.1 Definición y tareas involucradas -- 2.2.2 Modelos de representación de emociones existentes -- 2.3 Minería de textos y procesamiento del lenguaje natural -- 2.4 Preprocesamiento del contenido recopilado -- 2.4.1 Filtrado del texto -- 2.4.2 Corrección de errores ortográficos -- 2.4.3 Stemming y lematización -- 2.4.4 Delimitación del texto -- 2.4.5 Etiquetado de las palabras -- 2.5 Esquemas de representación de contenido -- 2.5.1 Esquemas basados en bolsas de palabras/caracteres -- 2.5.2 Esquemas de ponderación del contenido -- 2.5.3 Esquemas basados en neural embeddings -- 2.6 Algoritmos de clasificación de textos basados en ML -- 2.6.1 Máquinas de soporte vectorial -- 2.6.2 Naïve Bayes -- 2.6.3 Redes neuronales -- 3. …”
Enlace del recurso / Disponible en línea
Tesis -
37
Modelado e implementación de algoritmos inteligentes de análisis de opinión
2023Tabla de Contenidos: “…Fundamentación teórica -- 2.1 Introducción -- 2.2 Computación Afectiva y Análisis de Sentimientos -- 2.2.1 Definición y tareas involucradas -- 2.2.2 Modelos de representación de emociones existentes -- 2.3 Minería de textos y procesamiento del lenguaje natural -- 2.4 Preprocesamiento del contenido recopilado -- 2.4.1 Filtrado del texto -- 2.4.2 Corrección de errores ortográficos -- 2.4.3 Stemming y lematización -- 2.4.4 Delimitación del texto -- 2.4.5 Etiquetado de las palabras -- 2.5 Esquemas de representación de contenido -- 2.5.1 Esquemas basados en bolsas de palabras/caracteres -- 2.5.2 Esquemas de ponderación del contenido -- 2.5.3 Esquemas basados en neural embeddings -- 2.6 Algoritmos de clasificación de textos basados en ML -- 2.6.1 Máquinas de soporte vectorial -- 2.6.2 Naïve Bayes -- 2.6.3 Redes neuronales -- 3. …”
Enlace del recurso / Disponible en línea
Tesis -
38
Model-based software testing and analysis with C#
Nueva York : Cambridge University Press, 2008Tabla de Contenidos: “…I Overview -- 1 Describe, Analyze, Test -- 1.1 Model programs -- 1.2 Model-based analysis -- 1.3 Model-based testing -- 1.4 Model programs in the software process -- 1.5 Syllabus -- 2 Why We Need Model-Based Testing -- 2.1 Client and server -- 2.2 Protocol -- 2.3 Sockets -- 2.4 Libraries -- 2.5 Applications -- 2.6 Unit testing -- 2.7 Some simple scenarios -- 2.8 A more complex scenario -- 2.9 Failures in the field -- 2.10 Failures explained -- 2.11 Lessons learned -- 2.12 Model-based testing reveals the defect -- 2.13 Exercises -- 3 Why We Need Model-Based Analysis -- 3.1 Reactive system -- 3.2 Implementation -- 3.3 Unit testing -- 3.4 Failures in simulation -- 3.5 Design defects -- 3.6 Reviews and inspections, static analysis -- 3.7 Model-based analysis reveals the design errors -- 3.8 Exercises -- 4 Further Reading -- II Systems with Finite Models -- 5 Model Programs -- 5.1 States, actions, and behavior -- 5.2 Case study: user interface -- 5.3 Preliminary analysis -- 5.4 Coding the model program -- 5.5 Simulation -- 5.6 Case study: client/server -- 5.7 Case study: reactive program -- 5.8 Other languages and tools -- 5.9 Exercises -- 6 Exploring and Analyzing Finite Model -- Programs -- 6.1 Finite state machines -- 6.2 Exploration -- 6.3 Analysis -- 6.4 Exercise -- 7 Structuring Model Programs with Features and -- Composition -- 7.1 Scenario control -- 7.2 Features -- 7.3 Composition -- 7.4 Choosing among options for scenario control -- 7.5 Composition for analysis -- 7.6 Exercises -- 8 Testing Closed Systems -- 8.1 Offline test generation -- 8.2 Traces and terms -- 8.3 Test harness -- 8.4 Test execution -- 8.5 Limitations of offline testing -- 8.6 Exercises -- 9 Further Reading -- III Systems with Complex State -- 10 Modeling Systems with Structured State -- 10.1 "Infinite" model programs -- 10.2 Types for model programs -- 10.3 Compound values -- 10.4 Case study: revision control system -- 10.5 Exercises -- 11 Analyzing Systems with Complex State -- 11.1 Explorable model programs -- 11.2 Pruning techniques -- 11.3 Sampling -- 11.4 Exercises -- 12 Testing Systems with Complex State -- 12.1 On-the-fly testing 1 -- 12.2 Implementation, model and stepper -- 12.3 Strategies 1 -- 12.4 Coverage-directed strategies -- 12.5 Advanced on-the-fly settings -- 12.6 Exercises -- 13 Further Reading -- 14 Compositional Modeling -- 14.1 Modeling protocol features -- 14.2 Motivating example: a client/server protocol -- 14.3 Properties of model program composition -- 14.4 Modeling techniques using composition and features -- 14.5 Exercise -- 15 Modeling Objects -- 15.1 Instance variables as field maps -- 15.2 Creating instances -- 15.3 Object IDs and composition -- 15.4 Harnessing considerations for objects -- 15.5 Abstract values and isomorphic states -- 15.6 Exercises -- 16 Reactive Systems -- 16.1 Observable actions -- 16.2 Nondeterminism -- 16.3 Asynchronous stepping -- 16.4 Partial explorability -- 16.5 Adaptive on-the-fly testing -- 16.6 Partially ordered runs -- 16.7 Exercises -- 17 Further Reading -- V Appendices -- A Modeling Library Reference -- A.1 Attributes -- A.2 Data types -- A.3 Action terms -- B Command Reference -- B.1 Model program viewer, mpv -- B.2 Offline test generator, otg -- B.3 Conformance tester, ct -- C Glossary -- Bibliography…”
Consultar en el Cátalogo
Libro -
39
-
40
¿Qué es esa cosa llamada ciencia? : Una valoración de la naturaleza y el estatuto de la ciencia y sus métodos
[S.l.]: [S.n.], 2002Tabla de Contenidos: “…INTRODUCCJÓN DEL FALSACIONTSMO -- INTRODUCCIÓN -- UNA CUESTIÓN LÓGICA FAVORABLE AL EALSACIONISMO -- LA FALSABILIDAD COMO CRITERIO DE TEORÍAS -- GRADO DE FALSABILIDAD, CLARIDAD Y PRECISIÓN -- FALSACIONISMO Y PROGRESO -- LECTURAS COMPLEMENTARIAS -- 6. …”
Consultar en el Cátalogo
Libro