Wyniki wyszukiwania dla: human computer interactions - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: human computer interactions

Filtry

wszystkich: 5095
wybranych: 3716

wyczyść wszystkie filtry


Filtry wybranego katalogu

  • Kategoria

  • Rok

  • Opcje

wyczyść Filtry wybranego katalogu niedostępne

Wyniki wyszukiwania dla: human computer interactions

  • Computer System for Evaluation of Shock Hazard in Circuits with Non-sinusoidal Earth Currents

    Publikacja

    - Rok 2015

    Effects of current on people are mainly considered for 50/60 Hz sinusoidal current and smooth direct current. However, modern low voltage circuits are very often equipped with power electronics converters – rectifiers, frequency converters, therefore non-sinusoidal earth currents (touch currents) occur. For non-sinusoidal currents safety criteria should be modified. This paper presents a computer system, based on LabVIEW environment,...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Computer support of analysis optical spectra measurements

    Publikacja

    Verification of measurement errors has a big impact on assessment of accuracy of conducted measurements and obtained results. In many cases computer simulation results are compared with measurement results in order to evaluate measurement errors. The purpose of our research was to check the accuracy of measurements made with Fabry-Perot interferometer working in the transmission mode. In measurement setup, a 1310 nm superluminescent...

    Pełny tekst do pobrania w portalu

  • Computer Support of Analysis of Optical Spectra Measurements

    Publikacja

    The verification of measurement errors has a big impact on the assessment of the accuracy of conducted measurements and obtained results. In many cases, computer simulation results are compared with measurement results in order to evaluate measurement errors. The purpose of our research was to check the accuracy of measurements made with a Fabry–Perot interferometer working in the transmission mode. In the measurement setup, a...

    Pełny tekst do pobrania w portalu

  • Solubility of carbon dioxide in water: Some useful results for hydrate nucleation

    Publikacja
    • J. Algaba
    • I. M. Zerón
    • J. M. Míguez
    • J. Grabowska
    • S. Blazquez
    • E. Sanz
    • C. Vega
    • F. J. Blas

    - JOURNAL OF CHEMICAL PHYSICS - Rok 2023

    In this paper, the solubility of carbon dioxide (CO2) in water along the isobar of 400 bar is determined by computer simulations using the well-known TIP4P/Ice force field for water and the TraPPE model for CO2. In particular, the solubility of CO2 in water when in contact with the CO2 liquid phase and the solubility of CO2 in water when in contact with the hydrate have been determined. The solubility of CO2 in a liquid–liquid...

    Pełny tekst do pobrania w portalu

  • Numerical Modelling of Structures with Uncertainties

    Publikacja

    The nature of environmental interactions, as well as large dimensions and complex structure of marine offshore objects, make designing, building and operation of these objects a great challenge. This is the reason why a vast majority of investment cases of this type include structural analysis, performed using scaled laboratory models and complemented by extended computer simulations. The present paper focuses on FEM modelling...

    Pełny tekst do pobrania w portalu

  • Computer-aided reconstruction of the railway track axis geometrical shape

    In the paper a method of the railway track axis geometrical shape identification in a horizontal plane, directly from the continuous satellite measurements, is presented. In this method, an algorithm for the design of railway track sections located in the horizontal arc is used. The algorithm uses an analytical description of the layout by means of suitable mathematical formulas. The design procedure has a universal character and...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • How Integration of a Brain-Machine Interface and Obstacle Detection System Can Improve Wheelchair Control via Movement Image

    Publikacja
    • T. Kocejko
    • N. Matuszkiewicz
    • J. Kwiatkowski
    • P. Durawa
    • A. Madajczak

    - SENSORS - Rok 2024

    This study presents a human-computer interaction combined with a brain-machine interface (BMI) and obstacle detection system for remote control of a wheeled robot through movement imagery, providing a potential solution for individuals facing challenges with conventional vehicle operation. The primary focus of this work is the classification of surface EEG signals related to mental activity when envisioning movement and deep relaxation...

    Pełny tekst do pobrania w portalu

  • Optymalizacja strategii sieci inteligentnych agentów za pomocą programowania genetycznego w systemie rozproszonym realizującym paradygmat volunteer computing

    Publikacja

    - Rok 2017

    Dynamicznie rosnąca złożoność i wymagania w odniesieniu do rozproszonych systemów informatycznych utrudnia zarządzanie dostępnymi zasobami sprzętowymi i programistycznymi. Z tego powodu celem rozprawy jest opracowanie wielokryterialnej metody programowania genetycznego, która pozwala na optymalizację strategii zespołu inteligentnych agentów programistycznych w zakresie zarządzania systemem realizującym paradygmat volunteer computing....

    Pełny tekst do pobrania w portalu

  • Computer-Aided Calculations of Earth Potential Rise in High Voltage Overhead Lines

    Publikacja

    - Rok 2015

    High voltage overhead power lines with earth wires comprise towers made of conductive material. Some towers are in locations where people can be expected to be either for a long time or for a short time but very frequently. Evaluation of shock hazard near such towers requires calculation of line-to-earth short-circuit current, earth current and especially earth potential rise. Number of towers in high voltage power lines can exceed...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Keystroke Dynamics Patterns While Writing Positive and Negative Opinions

    Publikacja

    This paper deals with analysis of behavioural patterns in human–computer interaction. In the study, keystroke dynamics were analysed while participants were writing positive and negative opinions. A semi-experiment with 50 participants was performed. The participants were asked to recall the most negative and positive learning experiences (subject and teacher) and write an opinion about it. Keystroke dynamics were captured and...

    Pełny tekst do pobrania w portalu

  • Food analysis using artificial senses.

    Nowadays, consumers are paying great attention to the characteristics of food such as smell, taste, and appearance. This motivates scientists to imitate human senses using devices known as electronic senses. These include electronic noses, electronic tongues, and computer vision. Thanks to the utilization of various sensors and methods of signal analysis, artificial senses are widely applied in food analysis for process monitoring...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Digital Fingerprinting Based on Quaternion Encryption Scheme for Gray-Tone Images

    In this paper a new idea of digital images fingerprinting is proposed. The method is based on quaternion encryption in the Cipher Block Chaining (CBC) mode. Quaternion sare hyper-complex numbers of rank 4 and thus often applied to mechanics in three-dimensional space. The encryption algorithm described in the paper is designed for gray-tone images but can easily be adopted for color ones. For the encryption purpose, the algorithm...

    Pełny tekst do pobrania w portalu

  • PERFORMANCE OF ENDOSCOPIC IMAGE ANALYSIS ALGORITHMS IN LARGE BOWEL VIDEOS PROCESSING

    Publikacja

    Computer-assisted endoscopy is a rapidly developing eld of study. Many image anal- ysis algorithms exist, achieving very high rates of eciency at processing single endoscopic images. However, most of them were never tested in processing real-life endoscopic videos. In the article such tests of 16 endoscopy image analysis algorithms are presented and dis- cussed. Tests were performed on two real-life endoscopic videos of a human...

  • Cognitum Ontorion: Knowledge Representation and Reasoning System

    Publikacja

    At any point of human activity, knowledge and expertise are a key factors in understanding and solving any given problem. In present days, computer systems have the ability to support their users in an efficient and reliable way in gathering and processing knowledge. In this chapter we show how to use Cognitum Ontorion system in this areas. In first section, we identify emerging issues focused on how to represent and inference...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Smart Knowledge Engineering for Cognitive Systems: A Brief Overview

    Publikacja

    - CYBERNETICS AND SYSTEMS - Rok 2022

    Cognition in computer sciences refers to the ability of a system to learn at scale, reason with purpose, and naturally interact with humans and other smart systems, such as humans do. To enhance intelligence, as well as to introduce cognitive functions into machines, recent studies have brought humans into the loop, turning the system into a human–AI hybrid. To effectively integrate and manipulate hybrid knowledge, suitable technologies...

    Pełny tekst do pobrania w portalu

  • Short-range order structure and free volume distribution in liquid bismuth: X-ray diffraction and computer simulations studies

    Publikacja

    The structure of liquid bismuth was studied by X-ray diffraction and computer simulation methods. The contraction of the atomic structure within the first coordination sphere in the temperature interval of 575- 1225 K is reported. The temperature dependencies of the coordination numbers and of the free volume are analysed. On the basis of the temperature dependencies of the free volume, the temperature dependencies of viscosity...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Hybrid Expert System for Computer-Aided Design of Ship Thruster Subsystems

    Publikacja

    The article presents an expert system supporting the design of ship's power subsystems, in particular the thruster subsystem. The proposed hybrid expert system uses the results of simulation tests as the additional source of knowledge. The results of system operation are collated in a report which can be used as part of ship design description. The work oriented on developing the expert system is the continuation of the research...

    Pełny tekst do pobrania w portalu

  • Modelling and computer animation of geodetic field work

    Publikacja

    - Rok 2014

    3D modelling of objects is a way of obtaining information, while the visualization of geospatial data is becoming a production task in the scope of surveying. Visualization of geospatial data provides effective tools for analysis information about the land surface, land cover, its features, properties etc. Computer animations, both 2D images and 3D are becoming additional, expected and clear form for presentation results of geodetic...

  • On local buckling of cold-formed channel members

    The paper deals with local buckling of the compressed flanges of cold-formed thin-walled channel beams subjected to pure bending or axially compressed columns. Arbitrarily shaped flanges of open cross-sections and the web-flange interactions are taken into account. Buckling deformation of a beam flange is described by displacement related to torsion of the flange about the line of its connection with the web. Total potential energy...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Software Tools to Measure the Duplication of Information

    Data stored in average computer system usually is not unique, portions of stored data are duplicated. When duplicated data are stored in separate files containing source code of computer program of student homework, a possibility of cheating should be seriously considered. This paper presents software tools built, in order to detect re-use of pieces of code in supplied text files. Three aspects of information atching are considered:...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Study on VR Application Efficiency of Selected Android OS Mobile Devices

    Publikacja

    Currently, the number of scenarios for using VR (Virtual Reality) technology grows every year. Yet, there are still issues associated with it, related with the performance of the mobile device itself. The aim of this work is to perform an analysis of the effectiveness of virtual reality applications in case of mobile platforms. We put the main emphasis on examining the performance and efficiency of four different hardware and software...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Artificial intelligence for software development — the present and the challenges for the future

    Since the time when first CASE (Computer-Aided Software Engineering) methods and tools were developed, little has been done in the area of automated creation of code. CASE tools support a software engineer in creation the system structure, in defining interfaces and relationships between software modules and, after the code has been written, in performing testing tasks on different levels of detail. Writing code is still the task...

    Pełny tekst do pobrania w portalu

  • Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic

    Publikacja

    - Rok 2010

    The need for formal methods for Object Oriented (OO) systems resulted in methods like UML and Lepus3 that are de-facto graphical languages equipped with formal tools that are able to handle the design of OO systems. However, they lack precise semantics which might lead to problems, such as inconsistencies or redundancies. On the other hand, to our knowledge, there is no approach that allows one to understand and follow the requirements...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Compact global association based adaptive routing framework for personnel behavior understanding

    Personnel behavior understanding under complex scenarios is a challenging task for computer vision. This paper proposes a novel Compact model, which we refer to as CGARPN that incorporates with Global Association relevance and Adaptive Routing Pose estimation Network. Our framework firstly introduces CGAN backbone to facilitate the feature representation by compressing the kernel parameter space compared with typical algorithms,...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Comparison of the exponential thermal transient parameterization methods with the SMTP method in the unipedicled DIEP flap computer modelling and simulation

    Publikacja

    - QIRT Journal - Rok 2018

    The aim of this paper is to compare the spatial contrast of the image descriptors obtained via three different thermal transient parameterization methods in Active Dynamic Thermography. The thermal constants and amplitude values of the one- and two- exponential parametrization are compared to the Simplified Magnitude-Temporal Parametrization method (SMTP). The comparison is performed using the data obtained by simulating the cold...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • The particle method for simulation of self-organization phenomena

    Publikacja

    - Rok 2011

    The aim of the work was to design, implement, and use, in a number of experiments, an abstract software environment (an artificial world)suitable for modelling systems consisting of many moving and interactingobjects distributed in space. The environment, named DigiHive, is directed towards modeling of complex systems manifested by processes of self-organization, self-reproduction and self modifications. The environment is mainly...

  • Computer-Aided Design of Railroad Horizontal Arc Areas in Adapting to Satellite Measurements

    This paper presents a method of designing railway sections located in horizontal arcs. The adopted procedure is universal, i.e., it creates the possibility of varying both the type and the length of the assumed transition curves. This means that the applied analytical formulas apply to the boundary conditions of the transition curves and all of the simplifications widely existing in common algorithms have been eliminated. The presented...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • DevEmo—Software Developers’ Facial Expression Dataset

    The COVID-19 pandemic has increased the relevance of remote activities and digital tools for education, work, and other aspects of daily life. This reality has highlighted the need for emotion recognition technology to better understand the emotions of computer users and provide support in remote environments. Emotion recognition can play a critical role in improving the remote experience and ensuring that individuals are able...

    Pełny tekst do pobrania w portalu

  • Mathematical modelling and computer simulation of activated sludge systems.Second edition

    Publikacja

    Mathematical Modelling and Computer Simulation of Activated Sludge Systems – Second Edition, provides, from the process engineering perspective, a comprehensive and up-to-date overview regarding various aspects of the mechanistic (“white box”) modelling and simulation of advanced activated sludge systems performing biological nutrient removal. In the new edition of the book, a special focus is given to nitrogen removal and an overview...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Artificial intelligence support for disease detection in wireless capsule endoscopy images of human large bowel

    Publikacja

    - Rok 2011

    In the work the chosen algorithms of disease recognition in endoscopy images were described and compared for theirs efficiency. The algorithms were estimated with regard to utility for application in computer system's support for digestive system's diagnostics. Estimations were achieved in an advanced testing environment, which was built with use of the large collection of endoscopy movies received from Medical University in Gdańsk....

  • AUTOMATYCZNA KLASYFIKACJA MOWY PATOLOGICZNEJ

    Publikacja

    Aplikacja przedstawiona w niniejszym rozdziale służy do automatycznego wykrywania mowy patologicznej na podstawie bazy nagrań. W pierwszej kolejności przedstawiono założenia leżące u podstaw przeprowadzonych badan wraz z wyborem bazy mowy patologicznej. Zaprezentowano również zastosowane algorytmy oraz cechy sygnału mowy, które pozwalają odróżnić mowę niezaburzoną od mowy patologicznej. Wytrenowane sieci neuronowe zostały następnie...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Hip endhoprothesis development using rapid prototyping methods

    Publikacja

    Integrated product development based on Rapid Prototyping methods, connected with computer aided 3D design and computer aided engineering enables fast and full new product verification and validation. A case study derived from clinical and technological practice using hip implant construction is also included.

  • Digital fingerprinting for color images based on the quaternion encryption scheme

    In this paper we present a new quaternion-based encryption technique for color images. In the proposed encryption method, images are written as quaternions and are rotated in a three-dimensional space around another quaternion, which is an encryption key. The encryption process uses the cipher block chaining (CBC) mode. Further, this paper shows that our encryption algorithm enables digital fingerprinting as an additional feature....

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Artificial intelligence in architectural education - green campus development research

    The rapid advancement of artificial intelligence (AI) technologies has introduced new possibilities and challenges in design education. This article explores the need for changes and adaptations in the teaching process of design as AI-related technologies, based on image generation, transform the creative process and offer novel opportunities. In a research-by-design studio in an architectural faculty in Poland, students who utilised...

    Pełny tekst do pobrania w portalu

  • Initial Investigation of Wave Interactions During Simultaneous Valve Closures in Hydraulic Piping Systems

    Publikacja

    - WATER RESOURCES MANAGEMENT - Rok 2023

    The effects of interference of pressure waves in simple piping systems were studied. A freeware computer code Allievi developed at the University of Valencia was used to simulate dynamic waveforms in simple and complex networks. The tests were carried out according to three scenarios. No pressure increases significantly exceeding the Joukowsky pressure in simple cases were noticed. When the effects of the simultaneous closing of...

    Pełny tekst do pobrania w portalu

  • Application of Shape From Shading Technique for Side Scan Sonar Images

    Side scan sonar (SSS) is one of the most widely used imaging systems in the underwater environment. It is relatively cheap and easy to deploy in comparison with more powerful sensors like multibeam echosounder or synthetic aperture sonar. Although, the SSS does not provide directly the seafloor bathymetry measurements. Its outputs are usually in a form of grey level acoustic images of seafloor. However, the analysis of such images...

    Pełny tekst do pobrania w portalu

  • Image projection in Immersive 3D Visualization Laboratory

    In recent years, many centers in the world attempted to build a virtual reality laboratory. The main idea of such laboratory is to allow the user to “immerse” into and move in a computer-generated virtual world. In the paper, the underlying principles of the system of virtual reality (VR) are described. The selected implementations constructed by the research centers of the world are also presented. The cave automatic virtual environment...

    Pełny tekst do pobrania w portalu

  • Virtual touchpad - video-based multimodal interface

    A new computer interface named Virtual-Touchpad (VTP) is presented. The Virtual-Touchpad provides a multimodal interface which enables controlling computer applications by hand gestures captured with a typical webcam. The video stream is processed in the software layer of the interface. Hitherto existing video-based interfaces analyzing frames of hand gestures are presented. Then, the hardware configuration and software features...

  • Eye-tracking everywhere - software supporting disabled people in interaction with computers

    Publikacja

    - Rok 2022

    In this paper we present comprehensive system for communication with computer by gaze. One of the main assumptions behind this work was to provide solution that can be used with standard RGB webcam. The proposed comprehensive system included the eye tracking module and user interface for convenient gaze interaction with computer. As a result a fully functional application was developed. The average accuracy of the eye tracking...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Computer vision techniques applied for reconstruction of seafloor 3D images from side scan and synthetic aperture sonars data

    Publikacja

    The Side Scan Sonar and Synthetic Aperture Sonar are well known echo signal processing technologies that produce 2D images of the seafloor. Both systems combines a number of acoustic pings to form a high resolution image of seafloor. It was shown in numerous papers that 2D images acquired by such systems can be transformed into 3D models of seafloor surface by algorithmic approach using intensity information, contained in a grayscaled...

  • IMAGE CORRELATION AS A TOLL FOR TRACKING FACIAL CHANGES CAUSING BY EXTERNAL STIMULI

    Publikacja

    - Rok 2015

    Expressions of the human face bring a lot of information, which are a valuable source in the areas of computer vision, remote sensing and affective computing. For years, by analyzing the movement of the skin and facial muscles scientists are trying to create the perfect tool, based on image analysis, allowing the recognition of emotional states of human beings. To create a reliable algorithm, it is necessary to explore and examine...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Ensembling noisy segmentation masks of blurred sperm images

    Background: Sperm tail morphology and motility have been demonstrated to be important factors in determining sperm quality for in vitro fertilization. However, many existing computer-aided sperm analysis systems leave the sperm tail out of the analysis, as detecting a few tail pixels is challenging. Moreover, some publicly available datasets for classifying morphological defects contain images limited only to the sperm head. This...

    Pełny tekst do pobrania w portalu

  • Intracranial electrophysiological recordings from the human brain during memory tasks with pupillometry

    Publikacja

    - Scientific Data - Rok 2022

    Data comprise intracranial EEG (iEEG) brain activity represented by stereo EEG (sEEG) signals, recorded from over 100 electrode channels implanted in any one patient across various brain regions. The iEEG signals were recorded in epilepsy patients (N=10) undergoing invasive monitoring and localization of seizures when they were performing a battery of four memory tasks lasting approx. 1 hour in total. Gaze tracking on the task...

    Pełny tekst do pobrania w portalu

  • A graphical approach to yield and boundary surfaces of selected hypoplastic constitutive equations

    Publikacja

    - Archives of Civil Engineering - Rok 2011

    The article describes how to identify the boundary and yield surface for hypoplastic constitutive equations proposed by Wu, Gudehus and Bauer. It is shown how to identify and plot the surfaces for any equation in this class. Calculation errors are analyzed characteristic for appleid set of numerical formulas. In the paper there are computer links to the source code prepared in the MATLAB system, based on istructions in the article....

    Pełny tekst do pobrania w portalu

  • Using On-line Measurement by Electronic Nose and Computer Simulations for Real-time Control at WWTP

    Publikacja
    • G. Łukasz
    • J. Drewnowski
    • G. Łagód
    • A. Piotrowicz
    • Z. Suchorab
    • K. Jaromin-Gleń

    - Rok 2016

    Continuous investigation of wastewater quality can be carried out by a device called an e-nose. One important feature of the proposed real-time control system for WWTP is that using on-line measurements by e-nose together (Figure 1) with technological sets picked on this basis by means of computer models, it is possible to change treatment process parameters, depending on the current quality of wastewater. It can be used for the...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • A review on computer‐aided chemogenomics and drug repositioning for rational COVID ‐19 drug discovery

    Publikacja
    • S. Maghsoudi
    • B. Taghavi Shahraki
    • F. Rameh
    • M. Nazarabi
    • Y. Fatahi
    • O. Akhavan
    • M. Rabiee
    • E. Mostafavi
    • E. C. Lima
    • M. Saeb
    • N. Rabiee

    - Chemical Biology & Drug Design - Rok 2022

    Application of materials capable of energy harvesting to increase the efficiency and environmental adaptability is sometimes reflected in the ability of discovery of some traces in an environment―either experimentally or computationally―to enlarge practical application window. The emergence of computational methods, particularly computer-aided drug discovery (CADD), provides ample opportunities for the rapid discovery and development...

    Pełny tekst do pobrania w portalu

  • Detection and Model of Thermal Traces Left after Aggressive Behavior of Laboratory Rodents

    Automation of complex social behavior analysis of experimental animals would allow for faster, more accurate and reliable research results in many biological, pharmacological, and medical fields. However, there are behaviors that are not only difficult to detect for the computer, but also for the human observer. Here, we present an analysis of the method for identifying aggressive behavior in thermal images by detecting traces...

    Pełny tekst do pobrania w portalu

  • X-Ray Computer Tomography Study of Degradation of the Zircaloy-2 Tubes Oxidized at High Temperatures

    Publikacja

    - Advances in Materials Science - Rok 2019

    The investigations of high-temperature oxidation of zirconium alloys, applied for fuel pellets in nuclear power plants, are usually limited to oxidation kinetics, phase transformations and microstructural characterization. The purpose of this research was to characterize the degradation phenomena occurring within oxide layer and at the interface oxide/metal, on internal and external Zircaloy-2 tube...

    Pełny tekst do pobrania w portalu

  • Computer-Aided Detection of Hypertensive Retinopathy Using Depth-Wise Separable CNN

    Publikacja
    • I. Qureshi
    • Q. Abbas
    • J. Yan
    • A. Hussain
    • K. Shaheed
    • A. R. Baig

    - Applied Sciences-Basel - Rok 2022

    Hypertensive retinopathy (HR) is a retinal disorder, linked to high blood pressure. The incidence of HR-eye illness is directly related to the severity and duration of hypertension. It is critical to identify and analyze HR at an early stage to avoid blindness. There are presently only a few computer-aided systems (CADx) designed to recognize HR. Instead, those systems concentrated on collecting features from many retinopathy-related...

    Pełny tekst do pobrania w portalu

  • Semantics for an Interdisciplinary Computation

    Publikacja

    - Rok 2013

    Semantics for an interdisciplinary computation is becoming increasingly difficult to capture while dealing with multi-domain problems. Expertise from Computer Science, Computer Engineering, Electrical Engineering, and other disciplines merges as engineering challenges in modern systems, such as, Cyber-Physical Systems, Smart Cities, and Bionic Systems must be tackled in a methodological manner. In this paper, a paradigm for formalization...

    Pełny tekst do pobrania w serwisie zewnętrznym