Resultados de búsqueda - (precision OR revision) errors

  1. 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
  2. 22

    Framework para diseño de diagramas de bloques funcionales para procesamiento de datos en tiempo real por Odetti, Alessandro

    2018
    Tabla 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
  3. 23

    Framework para diseño de diagramas de bloques funcionales para procesamiento de datos en tiempo real por Odetti, Alessandro

    2018
    Tabla 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
  4. 24
  5. 25

    Compendio de topografía teórico práctica Compendio general de topografía teórico práctica por Müller, Roberto

    Buenos Aires El Ateneo 1940-42
    Tabla 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
  6. 26

    Rust in action : systems programming concepts and techniques por McNamara, Tim

    Shelter Island : Manning, 2021
    Tabla 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
  7. 27

    Rust in action : systems programming concepts and techniques por McNamara, Tim

    Shelter Island : Manning, 2021
    Tabla 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
  8. 28

    Análisis de datos educativos aplicado en el estudio de la incidencia de factores socioeconómicos en el rendimiento escolar por Pincay Ponce, Jorge Iván

    2023
    Tabla 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
  9. 29

    Análisis de datos educativos aplicado en el estudio de la incidencia de factores socioeconómicos en el rendimiento escolar por Pincay Ponce, Jorge Iván

    2023
    Tabla 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
  10. 30

    Mapeo de costas en ambientes extremos, caso Isla Marambio, Antártida Argentina / por Sisti, Jorge Marcelo

    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
  11. 31

    Elementos de cálculo diferencial e integral por Sadosky, Manuel

    Buenos Aires : Alsina , 1958
    Tabla 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
  12. 32
  13. 33
  14. 34

    Normas internacionales de auditoría

    México, D. F. : Instituto Mexicano de Contadores Públicos , 1997
    Tabla 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
  15. 35

    Model-based software testing and analysis with C# por Jacky, Jonathan

    Nueva York : Cambridge University Press, 2008
    Tabla 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
  16. 36

    Modelado e implementación de algoritmos inteligentes de análisis de opinión por Tessore, Juan Pablo

    2023
    Tabla 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
  17. 37

    Modelado e implementación de algoritmos inteligentes de análisis de opinión por Tessore, Juan Pablo

    2023
    Tabla 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
  18. 38

    Model-based software testing and analysis with C# por Jacky, Jonathan

    Nueva York : Cambridge University Press, 2008
    Tabla 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
  19. 39
  20. 40

    ¿Qué es esa cosa llamada ciencia? : Una valoración de la naturaleza y el estatuto de la ciencia y sus métodos por Chalmers, Alan F.

    [S.l.]: [S.n.], 2002
    Tabla 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