Autor Ferreira, Pedro
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, Costa de Caparica, Portugal, July 7–9, 2021, Proceedings / Camarinha-Matos, Luis M. ; Ferreira, Pedro ; Brito, Guilherme
Título : 12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, Costa de Caparica, Portugal, July 7–9, 2021, Proceedings Tipo de documento: documento electrónico Autores: Camarinha-Matos, Luis M., ; Ferreira, Pedro, ; Brito, Guilherme, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIV, 360 p. 121 ilustraciones, 74 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-78288-7 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería Informática Red de computadoras Inteligencia artificial Software de la aplicacion Ingeniería de software Ingeniería Informática y Redes Aplicaciones informáticas y de sistemas de información Índice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Los capítulos "Características del control adaptable de los sistemas de producción y el papel de la autoorganización hacia la fabricación inteligente" y "Fabricación predictiva: tecnologías, marcos y aplicaciones habilitantes" están disponibles en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com . Nota de contenido: Collaborative Networks -- AI and Simulation for Performance Assessment in Collaborative Business Ecosystems -- The Benefits of Applying Social Network Analysis to Identify Collaborative Risks -- A Mixed Method for Assessing the Reliability of Shared Knowledge in Mass Collaborative Learning Community -- Smart Manufacturing -- Characteristics of Adaptable Control of Production Systems and the Role of Self-Organization To-wards Smart Manufacturing -- Predictive Manufacturing: Enabling Technologies, Frameworks and Applications -- Control of Manufacturing Systems by HMS / EPS Paradigms Orchestrating I4.0 Components Based on Capabilities -- A Framework for Self-Configuration in Manufacturing Production Systems -- Cyber-Physical Systems and Digital Twins -- Verification of the Boundedness Property in a Petri Net-based Specification of the Control Part of Cyber-Physical Systems -- Collaborative Cyber-Physical Systems Design Approach: Smart Home Use Case -- Digital Twin for Supply Chain Master Planning in Zero-Defect Manufacturing -- Intelligent Decision Making -- Matheuristic Algorithms for Production Planning in Manufacturing Enterprises -- Assessment of Sentinel-2 Spectral Features to Estimate Forest Height with the New GEDI Data -- Assessing Normalization Techniques for TOPSIS Method -- How Can e-grocers Use Artificial Intelligence Based on Technology Innovation to Improve Supply Chain Management? -- A Conceptual Framework of Human-System Interaction Under Uncertainty-Based on Shadow System Perspective -- A New Challenge for Machine Ethics Regarding Decision-Making in Manufacturing Systems -- Smart Energy Management -- Towards a Hybrid Model for The Diffusion of Innovation in Energy Communities -- Towards Extension of Data Centre Modelling Toolbox with Parameters Estimation -- Power Transformer Design Resorting to Metaheuristics Techniques -- Communications and Electronics -- Detection of Signaling Vulnerabilities in Session Initiation Protocol -- Interference Power Characterization in Directional Networks and Full-Duplex Systems -- FEM-parameterized Sensorless Vector Control of PMSM Using High-Frequency Voltage Injection -- Classification Systems -- Deep Learning-Based Automated Detection of Inappropriate Face Image Attributes for ID Documents -- Automatic Cognitive Workload Classification Using Biosignals for Distance Learning Applications -- Design of an Attention Tool Using HCI and Work-Related Variables -- Smart Healthcare Systems -- Assessment of Visuomotor and Visual Perception Skills in Children: A New Proposal Based on a Systematic Review -- Benefits, Implications and Ethical Concerns of Machine Learning Tools serving Mental Health Purposes -- Multi-agent System Architecture for Distributed Home Health Care Information Systems -- Medical Devices -- Analysis of Electromyography Signals for Control Models of Power-Assisted Stroke Rehabilitation Devices of Upper Limb System -- AI-based Classification Algorithm of Infrared Images of Patients with Spinal Disorders -- Improvements on Signal Processing Algorithm for the VOPITB Equipment -- Pilot Study for Validation and Differentiation of Alveolar and Esophageal Air -- Application of Machine Learning Methods to Ra-man Spectroscopy Technique in Dentistry -- Gas Chromatography-Ion Mobility Spectrometry Instrument for Medical Applications: A Calibration Protocol for ppb and ppt Concentration Range. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, Costa de Caparica, Portugal, July 7–9, 2021, Proceedings [documento electrónico] / Camarinha-Matos, Luis M., ; Ferreira, Pedro, ; Brito, Guilherme, . - 1 ed. . - [s.l.] : Springer, 2021 . - XIV, 360 p. 121 ilustraciones, 74 ilustraciones en color.
ISBN : 978-3-030-78288-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ingeniería Informática Red de computadoras Inteligencia artificial Software de la aplicacion Ingeniería de software Ingeniería Informática y Redes Aplicaciones informáticas y de sistemas de información Índice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Los capítulos "Características del control adaptable de los sistemas de producción y el papel de la autoorganización hacia la fabricación inteligente" y "Fabricación predictiva: tecnologías, marcos y aplicaciones habilitantes" están disponibles en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com . Nota de contenido: Collaborative Networks -- AI and Simulation for Performance Assessment in Collaborative Business Ecosystems -- The Benefits of Applying Social Network Analysis to Identify Collaborative Risks -- A Mixed Method for Assessing the Reliability of Shared Knowledge in Mass Collaborative Learning Community -- Smart Manufacturing -- Characteristics of Adaptable Control of Production Systems and the Role of Self-Organization To-wards Smart Manufacturing -- Predictive Manufacturing: Enabling Technologies, Frameworks and Applications -- Control of Manufacturing Systems by HMS / EPS Paradigms Orchestrating I4.0 Components Based on Capabilities -- A Framework for Self-Configuration in Manufacturing Production Systems -- Cyber-Physical Systems and Digital Twins -- Verification of the Boundedness Property in a Petri Net-based Specification of the Control Part of Cyber-Physical Systems -- Collaborative Cyber-Physical Systems Design Approach: Smart Home Use Case -- Digital Twin for Supply Chain Master Planning in Zero-Defect Manufacturing -- Intelligent Decision Making -- Matheuristic Algorithms for Production Planning in Manufacturing Enterprises -- Assessment of Sentinel-2 Spectral Features to Estimate Forest Height with the New GEDI Data -- Assessing Normalization Techniques for TOPSIS Method -- How Can e-grocers Use Artificial Intelligence Based on Technology Innovation to Improve Supply Chain Management? -- A Conceptual Framework of Human-System Interaction Under Uncertainty-Based on Shadow System Perspective -- A New Challenge for Machine Ethics Regarding Decision-Making in Manufacturing Systems -- Smart Energy Management -- Towards a Hybrid Model for The Diffusion of Innovation in Energy Communities -- Towards Extension of Data Centre Modelling Toolbox with Parameters Estimation -- Power Transformer Design Resorting to Metaheuristics Techniques -- Communications and Electronics -- Detection of Signaling Vulnerabilities in Session Initiation Protocol -- Interference Power Characterization in Directional Networks and Full-Duplex Systems -- FEM-parameterized Sensorless Vector Control of PMSM Using High-Frequency Voltage Injection -- Classification Systems -- Deep Learning-Based Automated Detection of Inappropriate Face Image Attributes for ID Documents -- Automatic Cognitive Workload Classification Using Biosignals for Distance Learning Applications -- Design of an Attention Tool Using HCI and Work-Related Variables -- Smart Healthcare Systems -- Assessment of Visuomotor and Visual Perception Skills in Children: A New Proposal Based on a Systematic Review -- Benefits, Implications and Ethical Concerns of Machine Learning Tools serving Mental Health Purposes -- Multi-agent System Architecture for Distributed Home Health Care Information Systems -- Medical Devices -- Analysis of Electromyography Signals for Control Models of Power-Assisted Stroke Rehabilitation Devices of Upper Limb System -- AI-based Classification Algorithm of Infrared Images of Patients with Spinal Disorders -- Improvements on Signal Processing Algorithm for the VOPITB Equipment -- Pilot Study for Validation and Differentiation of Alveolar and Esophageal Air -- Application of Machine Learning Methods to Ra-man Spectroscopy Technique in Dentistry -- Gas Chromatography-Ion Mobility Spectrometry Instrument for Medical Applications: A Calibration Protocol for ppb and ppt Concentration Range. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings Tipo de documento: documento electrónico Autores: Casimiro, António, ; Ortmeier, Frank, ; Bitsch, Friedemann, ; Ferreira, Pedro, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XXIII, 450 p. 251 ilustraciones, 78 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-54549-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería Informática Red de computadoras Inteligencia artificial Ingeniería de software Microprogramación Criptografía Cifrado de datos (Informática) Protección de datos Ingeniería Informática y Redes Estructuras de control y microprogramación Criptología Seguridad de datos e información Índice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 39.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2020, celebrada en Lisboa, Portugal, en septiembre de 2020.* Los 27 artículos completos y 2 artículos breves incluidos en este volumen fueron cuidadosamente revisados y seleccionados entre 116 presentaciones. Fueron organizados en secciones temáticas denominadas: casos de seguridad y argumentación; verificación y análisis formal; modelos y métodos de seguridad; garantía de sistemas habilitados para el aprendizaje; experiencia práctica y herramientas; análisis de amenazas y mitigación de riesgos; seguridad de sistemas ciberfísicos; e inyección de fallas y tolerancia a fallas. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. El capítulo ''Elementos de argumentos de garantía para hardware computacional complejo disponible en el mercado'' está disponible en acceso abierto bajo una licencia de gobierno abierto 3.0 a través de link.springer.com. Nota de contenido: Safety Cases and Argumentation -- Synthesis of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities -- Systematic Evaluation of (Safety) Assurance Cases -- Just Enough Formality in Assurance Argument Structures -- Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems -- Formal Verification and Analysis -- A functional verification methodology for highly configurable, continuously operating safety-critical FPGA designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME) -- A Compositional Semantics for Repairable BDMPs -- Model-Based Safety Analysis of Mode Transitions -- Efficient Translation of Safety LTL to DFA using Symbolic Automata Learning and Inductive Inference -- Security Modelling and Methods -- Automated Attacker Synthesis for Distributed Protocols -- An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security -- Predicting Railway Signalling Commands using Neural Networks for Anomaly Detection -- Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach -- Assurance of Learning-enabled Systems -- Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings -- Safety-Aware Hardening of 3D Object Detection Neural Network Systems -- Model-Centered Assurance for Autonomous Systems -- A Safety Framework for Critical Systems Utilising Deep Neural Networks -- Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware -- Quantifying Assurance in Learning-enabled Systems -- Practical Experience and Tools -- Cyber Security of Neural Networks in Medical Devices -- FASTEN.Safe: A Model-driven Engineering Tool to Experiment with Checkable Assurance Cases -- Threat Analysis and Risk Mitigation -- On Validating Attack Trees with Attack Effects -- Safety meets Security: Using ISA-62443 for a Highly Automated Road Vehicle -- Threat Analysis Framework for Safety Architectures in SCDL -- Cyber-Physical Systems Security -- Efficient Load-Time Diversity for an Embedded Real-Time Operating System -- Towards an Automated Exploration of Secure IoT/CPS Design-Variants -- Securing Electric Vehicle Charging Systems through Component Binding -- Fault Injection and Fault Tolerance -- Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs -- On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study -- A Classification of Faults Covering the Human-Computer Interaction Loop. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings [documento electrónico] / Casimiro, António, ; Ortmeier, Frank, ; Bitsch, Friedemann, ; Ferreira, Pedro, . - 1 ed. . - [s.l.] : Springer, 2020 . - XXIII, 450 p. 251 ilustraciones, 78 ilustraciones en color.
ISBN : 978-3-030-54549-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ingeniería Informática Red de computadoras Inteligencia artificial Ingeniería de software Microprogramación Criptografía Cifrado de datos (Informática) Protección de datos Ingeniería Informática y Redes Estructuras de control y microprogramación Criptología Seguridad de datos e información Índice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de la 39.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, SAFECOMP 2020, celebrada en Lisboa, Portugal, en septiembre de 2020.* Los 27 artículos completos y 2 artículos breves incluidos en este volumen fueron cuidadosamente revisados y seleccionados entre 116 presentaciones. Fueron organizados en secciones temáticas denominadas: casos de seguridad y argumentación; verificación y análisis formal; modelos y métodos de seguridad; garantía de sistemas habilitados para el aprendizaje; experiencia práctica y herramientas; análisis de amenazas y mitigación de riesgos; seguridad de sistemas ciberfísicos; e inyección de fallas y tolerancia a fallas. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. El capítulo ''Elementos de argumentos de garantía para hardware computacional complejo disponible en el mercado'' está disponible en acceso abierto bajo una licencia de gobierno abierto 3.0 a través de link.springer.com. Nota de contenido: Safety Cases and Argumentation -- Synthesis of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities -- Systematic Evaluation of (Safety) Assurance Cases -- Just Enough Formality in Assurance Argument Structures -- Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems -- Formal Verification and Analysis -- A functional verification methodology for highly configurable, continuously operating safety-critical FPGA designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME) -- A Compositional Semantics for Repairable BDMPs -- Model-Based Safety Analysis of Mode Transitions -- Efficient Translation of Safety LTL to DFA using Symbolic Automata Learning and Inductive Inference -- Security Modelling and Methods -- Automated Attacker Synthesis for Distributed Protocols -- An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security -- Predicting Railway Signalling Commands using Neural Networks for Anomaly Detection -- Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach -- Assurance of Learning-enabled Systems -- Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings -- Safety-Aware Hardening of 3D Object Detection Neural Network Systems -- Model-Centered Assurance for Autonomous Systems -- A Safety Framework for Critical Systems Utilising Deep Neural Networks -- Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware -- Quantifying Assurance in Learning-enabled Systems -- Practical Experience and Tools -- Cyber Security of Neural Networks in Medical Devices -- FASTEN.Safe: A Model-driven Engineering Tool to Experiment with Checkable Assurance Cases -- Threat Analysis and Risk Mitigation -- On Validating Attack Trees with Attack Effects -- Safety meets Security: Using ISA-62443 for a Highly Automated Road Vehicle -- Threat Analysis Framework for Safety Architectures in SCDL -- Cyber-Physical Systems Security -- Efficient Load-Time Diversity for an Embedded Real-Time Operating System -- Towards an Automated Exploration of Secure IoT/CPS Design-Variants -- Securing Electric Vehicle Charging Systems through Component Binding -- Fault Injection and Fault Tolerance -- Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs -- On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study -- A Classification of Faults Covering the Human-Computer Interaction Loop. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings Tipo de documento: documento electrónico Autores: Casimiro, António, ; Ortmeier, Frank, ; Schoitsch, Erwin, ; Bitsch, Friedemann, ; Ferreira, Pedro, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVI, 416 p. 46 ilustraciones ISBN/ISSN/DL: 978-3-030-55583-2 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería Informática Red de computadoras Inteligencia artificial Software de la aplicacion Criptografía Cifrado de datos (Informática) Sistemas expertos (Informática) Ingeniería Informática y Redes Aplicaciones informáticas y de sistemas de información Criptología Sistemas basados en el conocimiento Índice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de los talleres celebrados en conjunto con SAFECOMP 2020, 39.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, Lisboa, Portugal, septiembre de 2020. Los 26 artículos regulares incluidos en este volumen fueron cuidadosamente revisados y seleccionados de 45 presentaciones; el libro también contiene un artículo invitado. Los talleres incluidos en este volumen son: DECSoS 2020: 15.º Taller sobre sistemas inteligentes, integrados y ciberfísicos confiables y sistemas de sistemas. DepDevOps 2020: Primer Taller Internacional sobre Métodos Continuos de Desarrollo-Operación Confiables para Sistemas Ciberfísicos Confiables. USDAI 2020: Primer Taller Internacional sobre Fundamentos de una IA Distribuida Segura. WAISE 2020: Tercer Taller Internacional sobre Ingeniería de Seguridad de Inteligencia Artificial. Los talleres se llevaron a cabo de forma virtual debido a la pandemia de COVID-19. Nota de contenido: DECSoS 2020: 15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems -- DepDevOps 2020: First International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems -- USDAI 2020: First International Workshop on Underpinnings for Safe Distributed AI -- WAISE 2020: Third International Workshop on Artificial Intelligence Safety Engineering. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings [documento electrónico] / Casimiro, António, ; Ortmeier, Frank, ; Schoitsch, Erwin, ; Bitsch, Friedemann, ; Ferreira, Pedro, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVI, 416 p. 46 ilustraciones.
ISBN : 978-3-030-55583-2
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Ingeniería Informática Red de computadoras Inteligencia artificial Software de la aplicacion Criptografía Cifrado de datos (Informática) Sistemas expertos (Informática) Ingeniería Informática y Redes Aplicaciones informáticas y de sistemas de información Criptología Sistemas basados en el conocimiento Índice Dewey: 621.39 Ciencia de los computadores (Ingenieria de computadores) Resumen: Este libro constituye las actas de los talleres celebrados en conjunto con SAFECOMP 2020, 39.ª Conferencia Internacional sobre Seguridad, Confiabilidad y Protección Informática, Lisboa, Portugal, septiembre de 2020. Los 26 artículos regulares incluidos en este volumen fueron cuidadosamente revisados y seleccionados de 45 presentaciones; el libro también contiene un artículo invitado. Los talleres incluidos en este volumen son: DECSoS 2020: 15.º Taller sobre sistemas inteligentes, integrados y ciberfísicos confiables y sistemas de sistemas. DepDevOps 2020: Primer Taller Internacional sobre Métodos Continuos de Desarrollo-Operación Confiables para Sistemas Ciberfísicos Confiables. USDAI 2020: Primer Taller Internacional sobre Fundamentos de una IA Distribuida Segura. WAISE 2020: Tercer Taller Internacional sobre Ingeniería de Seguridad de Inteligencia Artificial. Los talleres se llevaron a cabo de forma virtual debido a la pandemia de COVID-19. Nota de contenido: DECSoS 2020: 15th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems -- DepDevOps 2020: First International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical Systems -- USDAI 2020: First International Workshop on Underpinnings for Safe Distributed AI -- WAISE 2020: Third International Workshop on Artificial Intelligence Safety Engineering. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
