Výsledky vyhľadávania - Computing methodologies Modeling and simulation Simulation support systems

Modeling, Computing and Data Handling Methodologies for Maritime Transportation

New Perspectives on Applied Industrial Tools and Techniques

Advances in Dependability Engineering of Complex Systems Proceedings of the Twelfth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, July 2 - 6, 2017,...

Obsah: “…1.Detection of network attacks using hybrid ARIMA-GARCH model- 2.Towards mixed-mode risk management - a concept; Andrzej Bialas and Barbara Flisiuk -- 3.Software support of the Common Criteria vulnerability assessment -- 4.On the performance of some C# constructions -- 5.Deep Stacking Convex Neuro-Fuzzy System and its On-line Learning -- 6.Fault tolerant ASIC/ULA-based computing systems testing via FPGA prototyping with fault injection -- 7.Critical Energy Infrastructure Safety Assurance Strategies Considering Emergent Interaction Risk -- 8.Modelling an Optimal Capital Structure of the Telecommunication Company -- 9.Specification of constraints in a System-of-Systems configuration; Dariusz Caban and Tomasz Walkowiak -- 10.A Methodological Framework for Model-based Self-Management of Services and Components in Dependable Cyber-Physical Systems -- 11.Maintenance of wind turbine scheduling based on output power data and wind forecast -- 12.Deadlock detection in distributed systems using the IMDS formalism and Petri nets.- -- 13.Scheduling tasks in embedded systems based on NoC architecture using Simulated Annealing -- 14.Adaptation of Ant Colony Algorithm for CAD of complex systems with higher degree of dependability -- 15.Context-Aware Anomaly Detection in Embedded Systems;Fatemeh Ehsani-Besheli and Hamid R. …”

Multibody Mechatronic Systems Proceedings of the MUSME Conference held in Florianópolis, Brazil, October 24-28, 2017 /

Obsah: “…Synthesis of Mechanisms and Robots -- Synthesis of precision flexible mechanisms using screw theory with a finite elements validation, by Martín Pucheta, Alejandro Gallardo -- Enumeration of kinematic chains with zero variety for epicyclic gear trains with one and two degrees of freedom, by Marina Baldissera de Souza, Rodrigo de Souza Vieira, Daniel Martins -- Mechanism Design and Kinematics Analysis of a Bat Robot, by Deming Kong, Jingshan Zhao -- Vector Analysis of the Cable Tension Conditions, by Thaís Muraro, Daniel Martins, Leonardo Sacht -- Actuated degree-of-control: a new approach for mechanisms design, by Estevan Hideki Murai, Roberto Simoni, Daniel Martins -- Analysis of self-aligning mechanisms by means of matroid theory, by Andrea Piga Carboni, Henrique Simas, Daniel Martins -- Review and classification of workpiece toggle clamping devices, by Mateus Viana de Oliveira Costa, Estevan Hideki Murai, Fabíola Rosa, Daniel Martins -- Supporting the laminated ferromagnetic pole pieces in a magnetic gear: a structure behaviour analysis from a multibody model, by Melaine Desvaux, Bernard Multon, Hamid Ben Ahmed, Stéphane Sire -- Kinematic Analysis -- Kinematic Analysis for a Planar Redundant Serial Manipulator, by Zijia Li, Mathias Brandstötter, Michael Hofbaur -- Workspace Analysis of a Parallel Manipulator Using Multi-Objective Optimization and Bio-Inspired Methods, by Rogério Sales Gonçalves, Joao Carvalho, Fran Sergio Lobato -- Modeling of a four-legged robot with variable center of mass as a cooperative multirobot system, by Cristiane Tonetto, Antônio Bento Filho, Altamir Dias -- Assembly sequence planning for shape heterogeneous modular robot systems, by Anelize Zomkowski Salvi, Roberto Simoni, Henrique Simas -- Static Analysis -- Kinetostatics and Optimal Design of a 2PRPU Shoenflies-Motion Generator, by Henrique Simas, Raffaele Di Gregorio -- Influence of the working mode on the maximum isotropic force capability maps for a 3RRR planar parallel manipulator, by Leonardo Mejia Rincon, Daniel Ponce, Juan Camilo Herrera Pineda, Henrique Simas, Daniel Martins -- Maximum isotropic force capability maps in planar cooperative systems: A practical case study, by Juan Camilo Herrera Pineda, Leonardo Mejia Rincon, Roberto Simoni, Henrique Simas -- Balancing conditions of the RSS'P spatial mechanism An alternative method using Natural Coordinates, by Mario Acevedo -- Dynamic Analysis -- Elastodynamic Performance of a Planar Parallel Mechanism under Uncertainties, by Fabian Andres Lara-Molina, Edson Hideki Koroishi, Thamiris Costa -- Complex modelling and dynamical analysis of parallel cable mechanisms, by Radek Bulín, Michal Hajžman, Pavel Polach -- A new methodology for the balancing of mechanisms using the Davies' method, by Julio Frantz, Leonardo Mejia Rincon, Henrique Simas, Daniel Martins -- The Dynamic Synthesis of an Energy-Efficient Watt-II-Mechanism, by Ferdinand Schwarzfischer, Mathias Hüsing, Burkhard Corves -- Multibody dynamic analysis of a High-Altitude Long-Endurance aircraft concept, by Luciano Nitardi, Bruno Roccia, Sergio Preidikman, Fernando Flores -- Control of Mechatronic Systems -- High-Order Sliding Mode Control for Solar Tracker Manipulator, by Irandi Gutiérrez, Eusebio Eduardo Hernández Martínez, Armando Oropeza, Sajjad Keshtkar -- Towards a Servovision based Control of a Planar Parallel Manipulator, by Fernanda Colombo, Maíra da Silva -- Multibody Model of the VVER 1000 Nuclear Reactor Control Assembly and Simulation of Its Moving Parts Drop, by Pavel Polach, Michal Hajžman -- Single-state friction model for control purposes, by Fernando Villegas, Rogelio Hecker, Gustavo Flores -- Design and Optimal Control of a Robotic Speech-to-Sign Language Transliterating System, by Maykol Jiampiers Campos Trinidad, Erwin Daniel López Zapata, Renzo Sebastián Salazar Arévalo, Juan José Acostupa del Carpio -- Modelling and Simulation -- Robust Critical Inverse Condition Number for a 3RRR Robot Using Failure, by Hiparco Lins Vieira, João Fontes, Maíra da Silva, Andre Teofilo Beck -- Simulation of a Serial Robot Calibration through Screw Theory, by Lucas Kato, Tiago Pinto, Henrique Simas, Daniel Martins -- Comparative study of autonomous aerial navigation methods oriented to environmental monitoring, by Jorge Roberto López Cáceres, Manasses Antoni Mauricio Condori, Luis Alvaro -- Rojas Machado, Erwin Dianderas, Juan Pablo Vargas Machuca Bueno, Ricardo Raul Rodriguez Bustinza -- Simulation and experimental verification of a global redundancy resolution for a 3PRRR prototype, by João Fontes, Maíra da Silva -- A computational aeroelastic framework for studying non-conventional aeronautical systems, by Sergio Preidikman, Bruno Roccia, Marcos Verstraete, Luis Ceballos, Balakumar Balachandran -- ILQG Planner Applied to Dynamic Systems with Intermittent Contact, by Henrique Garcia, Leonardo Luna, Gustavo Jose Giardini Lahr, Glauco Caurin -- Cost Effective Provisioning of Electricity in Smart Nano-Grid Using GA and Optimized Heuristic, by Nabila Ahmad -- Prototypes and Experimental Validations Mathematical Modeling and Prototype Development of a Pneumatically-Actuated Bench for Sloping Terrain Simulation, by Marcia Regina Maboni Porsch, Nivia Maria Kinalski, Roberta Goergen, Andrei Fiegenbaum, Luiz Antônio Rasia, Antonio Carlos Valdiero -- An experimental characterization of roll hemming process, by José Eduardo Esquivel González, Giuseppe Carbone, Marco Ceccarelli, Juan Carlos Jauregui -- Experimental Characterization of a Feedforward Control for the Replication of Moving Resistances on a Chassis Dynamometer, by Elvis Bertoti, Jony Eckert, Rodrigo Yamashita, Ludmila Silva, Franco Giuseppe Dedini -- Experimental Setup of a Novel Four DOF Parallel Manipulator, by Marina Vallés, Pedro Araujo-Gómez, Vicente Mata, Angel Valera, Miguel Díaz-Rodríguez, Alvaro Page, Nidal Farhat -- Behaviour comparison between mechanical epicyclic gears and magnetic gears, by Melaine Desvaux, Bernard Multon, Hamid Ben Ahmed, Stéphane Sire -- Mechatronic Systems for Assistive Technology Design Optimization of a Cable-driven Parallel Robot in Upper Arm Training-Rehabilitation Processes, by Eusebio Eduardo Hernández Martínez, S.…”

Proceedings of the International Conference on Information Technology & Systems (ICITS 2018)

Enhancing CBRNE Safety & Security: Proceedings of the SICC 2017 Conference Science as the first countermeasure for CBRNE and Cyber threats /

Information Technology - New Generations 15th International Conference on Information Technology /

Obsah: “…Part I Cybersecurity -- Safeguarding Personal Health Information: Case Study -- Cybersecurity as People Powered Perpetual Innovation -- Performance Study of the Impact of Security on 802.11ac Networks -- Training Neural Tensor Networks with the Never Ending Language Learner -- PERIA-Framework: A Prediction Extension Revision Image Annotation Framework -- The Modern State and the Further Development Prospects of Information Security in the Republic of Kazakhstan -- Evaluating Cyber Threats to the United Kingdom's National Health Service (NHS) Spine Network -- A Virtual Animated Commentator Architecture for Cybersecurity Competitions -- Malicious Software Classification using VGG16 Deep Neural Network's Bottleneck Features -- Cybersecurity Vulnerabilities Assessment (A Systematic Review Approach) -- A Self Proxy Signature Scheme over NTRU Lattices -- Towards an Ontology of Security Assessment: a core model proposal -- Integration of Mobile Forensic Tool Capabilities -- Deep Packet Inspection: A Key Issue for Network Security -- What Petya/NotPetya Ransomware is and What its Remidiations are -- Analysis of Security Vulnerability and Analytics of Internet of Things (IOT) Platform -- New Techniques for Public Key Encryption with Sender Recovery -- Cloud Intrusion Detection and Prevention system for M-voting application in South Africa -- Protecting Personal Data with Blockchain Technology -- The Role of CAE-CDE in Cybersecurity Education for Workforce Development -- Software Optimizations for DES -- Part II Networking and Wireless Communications -- Design and Development of VXLAN based Cloud Overlay Network Monitoring System and Environment -- End to End Delay Analysis in a Two Tier Cluster Hierarchical Wireless Sensor Networks -- Tools to Support SMEs to Migrate to the Cloud: Opportunities and Challenges -- A Dual canister medicine IoT Dispenser -- Local Clock Synchronization without Transmission Delay Estimation of Control Messages in Wireless Sensor Networks -- Denial of service attacks in wireless sensor networks with proposed countermeasures -- Part III Education and Technology -- Internet-Based Education: A New Milestone for Formal Language and Automata Courses -- Teaching Communication Management in Software Projects through Serious Educational Games -- Gamification applied in the teaching of agile Scrum methodology -- An Experience of Using a Board Serious Virtual Game for Teaching the SCRUM Framework -- Part IV Agile Software Testing and Development -- Teaching Scrum by Doing Scrum in Internships in South Africa to Prepare Interns for Agile Projects -- Alignment of Requirements and Testing in Agile: an Industrial Experience -- Health Care Information Systems: A Crisis Approach -- Using Correct-by-Construction Software Agile Development -- Service-Centered Operation Methodology (MOCA) application supported by computer science to improve continuously care quality in public services -- Improving Agile Software Development with Domain Ontologies -- A Stratified Sampling Algorithm for Artificial Neural Networks -- Part V Data Mining/Machine Learning -- Mining ENADE Data from the Ulbra Network Institution -- Fault diagnostic of variance shifts in clinical monitoring using an Artificial Neural Network Input Gain Measurement Approximation (ANNIGMA) -- Investigating Attribute Assessment for Credit Granting on a Brazilian Retail Enterprise -- Cross-language approach for sentiment classification in Brazilian Portuguese with ConvNets -- Thematic Spatiotemporal Association Rules to Track the Evolving of Visual Features and their Meaning in Satellite Image Time Series -- DeRis: Information system supporting the prediction of default risk in companies -- Taking a Steppe towards optimizing Note-Taking Software by creation of a Note Classification Algorithm -- Pattern Recognition for Time Series Forecasting: A Case Study of a Helicopter's Flight Dynamics -- A model for hour-wise prediction of mobile device energy availability -- Enhancing Lipstick Try-On with Augmented Reality and Color Prediction Model -- A Traffic Light Recognition Device -- An Approach to Prepare Data to Feed Visual Metaphors in a Multiple View Interactive Environment -- Reproducible Research in Document Analysis and Recognition -- Music Genre Classification using Data Mining and Machine Learning -- Improving word representations using Paraphrase dataset -- A Initial Experimental Evaluation of the NeuroMessenger: A Collaborative Tool to Improve the Empathy of Text Interactions -- Dual Long Short-Term Memory Networks for Sub-Character Representation Learning -- Business Intelligence Dashboard Application for Insurance Cross Selling -- Speech Features Analysis for Tone Language Speaker Discrimination Systems -- Selection of Transformations of Continuous Predictors in Logistic Regression -- Part VI Software Engineering -- A Generic Approach to Efficiently Parallelize Legacy Sequential Software -- Clustering and Combinatorial Methods for Test Suite Prioritization of GUI and Web Applications -- A Timed Petri Net Model to Specify Scenarios of Video Games -- Survey of Biometric Techniques for Automotive Applications -- A Survey on adoption Good Practices for ICT Governance at Enhanced Organizations -- Budget and User Feedback Control Strategy-based PRMS Scenario Web Application -- A Controlled Natural Language Editor for Semantic of Business Vocabulary and Rules -- An Approach Based on Possibilistic WorkFlow Nets to Model Multiplayer Video Games -- A Requirements Engineering-based Approach for evaluating Security Requirements Engineering Methodologies -- Increasing the prediction quality of software defective modules with automatic feature engineering -- Part VII High Performance Computing Architectures -- NSF Noyce Recruitment and Mentorship -- Mining Associations between Two Categories using Unstructured Text Data in Cloud -- A Note on Computational Science Curriculum -- Development of a Local Cloud-Based Bioinformatics Architecture -- Part VIII Computer Vision, Image Processing/Analysis -- A Computer Vision Based Algorithm for Obstacle Avoidance -- The ST-Vis tool for SpatioTemporal Visualization -- Detection of early gastric cancer from endoscopic images using Wavelet Transform Modulus Maxima -- Detection method of early esophageal cancer from endoscopic image using dyadic wavelet transform and four-layer neural network -- Study of Specific Location of Exhaustive Matching in Order to Improve the Optical Flow Estimation -- Solarpowered UAV Platform System: a Case Study for Ground Change Detection in BRIC Countries -- Part IX Health, Bioinformatics, Pattern Detection and Optimization -- Benefits of Establishing Makerspaces in Distributed Development Environment -- Semantic Description of Healthcare Devices to Enable Data Integration -- Applying transfer learning to QSAR regression models -- Investigating the Recognition of Non-Articulatory Sounds by using Statistical Tests and Support Vector Machine -- A Complete Diabetes Management and Care System -- On the use of van der Pauw Technique to Monitor Skin Burning in Patients Undergoing Interferential Current Therapy (IFC) with Extension to Other E-Stim Monitoring -- Part X Potpourri -- Smart Lighting Controlling System: Case Study of Yarmouk University Museum -- Incremental Topology Generated for ANN A Case Study on a Helicopter's Flight Simulation -- Degree Aware Triangulation of Annular Regions -- Heuristic Approaches for the Open-Shop Scheduling Problem -- Continuous State Power-down Systems for Renewable Energy Management -- Extracting Timing Models from Component-based Multi-criticality Vehicular Embedded Systems -- Part XI Short Papers -- Customer services management and satisfaction of Internet-related banking of First National Bank -- BIG IoT - Interconnecting IoT Platforms from different domains - First success story -- Cross-Cultural Perspective of E-Commerce -- Website Usability Requirements: Through the Lens of…”