The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In the classical approaches of model checking (explicit and symbolic), the tools encode the state space, as well as the transition relation between the states. This way, when the predecessor of a state is needed, as in the case of CTL formulas evaluation, it can be extracted from the state space in a straightforward manner. Practical experience indicates that renouncing at encoding the transition...
Machine learning has been widely used and achieved considerable results in various research areas. On the other hand, machine learning becomes a big threat when malicious attackers make use it for the wrong purpose. As such a threat, self-evolving botnets have been considered in the past. The self-evolving botnets autonomously predict vulnerabilities by implementing machine learning with computing...
Painful exercises in basic arithmetic are a vivid part of our elementary school memories. A multiplication like 3,752 × 6,901 carried out with just pencil and paper for assistance may well take up to a minute. Of course, today, with a cellphone always at hand, we can quickly check that the result of our little exercise is 25,892,552. Indeed, the processors in modern cellphones can together carry out...
We present a scalable system for high-throughput real-time analysis of heterogeneous data streams. Our architecture enables incremental development of models for predictive analytics and anomaly detection as data arrives into the system. In contrast with batch data-processing systems, such as Hadoop, that can have high latency, our architecture allows for ingest and analysis of data on the fly, thereby...
The paper is introducing an adoption of Industry 4.0 Concept on Smart City theoretic model. Cities are upgraded with latest computing and ICT technologies throughout all systems and infrastructure. New data are collected in big amounts and ability to use them is changing how city subsystems can communicate together, to make cities work better and serve better to their users. Smart Cities are convoluted...
When employed in educational settings, cloud computing applications enable users to create, store, organize, and share divergent artefacts with their peers. As an outcome, they have a large number of users worldwide which makes them vulnerable to a variety of security and privacy related threats. With an aim to examine the extent of the perceived security and privacy in the context of cloud computing...
This study presents a two-course sequence of graduate instructional design courses that were developed and implemented using a flipped classroom model for both online and face-to-face contexts. This model is an instructional strategy that reverses what is traditionally done at home and what is done at school, such as watching video lectures at home and working authentic problems in class. The presentation...
The paper deals with the modeling of computer subsystems, such as the input-output, direct memory access controller, memory of multiprocessor, multicore processor. For each model the input and output data sets are given. The modes of operation and functions of simulation models are described. The screen forms samples for the simulation models are shown.
We give efficient algorithms to solve fundamental data movement problems on mesh-connected computers augmented with limited global bandwidth. Adding a small amount of global bandwidth makes a practical design that combines aspects of mesh and fully connected models to achieve the benefits of each. We give algorithms for sorting, finding the median, finding a spanning tree, and determining various...
Science and technology are progressing with the speed which seems to be unfamiliar to us. What seems to be science-fiction some 30 years ago is now becoming our everyday reality. 3-D printing, O-led technology, modern communication, smart materials, mind recognition etc. How to follow the progress and all novelties and what is more, how to integrate them into the educational systems of high schools...
Mathematical dependencies for calculation of main parameters of vacuum gripping devices have been derived with the purpose of increasing efficiency of devices developed for handling of flexible containers during filling with free-flowing products. Computer modelling of the process of gripping and holding of flexible containers made with air-penetrating materials with the help of vacuum gripping devices...
Nowadays, the total power consumed by data centers is increasing more and more. In particular, the power consumed by data center facilities accounts for about half of total input power. In this paper, a hierarchical control structure is proposed for efficient management of an indirect adiabatic cooling system, which utilizes fresh air. Data center cooling needs can be met with various combinations...
This paper aims to propose and discuss concepts of how users can recognise information seeking behaviour automatically and what implications such an automatic recognition can have. The authors develop the discussion around variables proposed in Wilson's second model of information behaviour and state how they can collect data necessary to recognise information behaviour automatically. The authors...
The models of functioning of distributed computer systems with group and full restorations of failed machines are considered. The models are formalized in the form of a system of differential equations, in which are unknown probabilities of the states. To assess the effectiveness of CS functioning in we used the expectation and variance of the number of working and fault machines in the models. Analytical...
High Performance Computing (HPC) facilities serve as infrastructure for solving demanding computational problems met in various domains. HPC involves expensive resources both material and operational. Therefore, leveraging its operation at his peak capacity is very important from economic efficiency perspective. Nowadays, it is very difficult for a regular researcher that needs HPC services to have...
Internet of Things (IoT) connect different types of devices to control different things or simply read data from then, such as room temperature, location, pressure and others, in a variety of application domains using the World Wide Web. This is a challenge for technology and Information Security (IS). Therefore, this paper surveys advances in IoT-based with an eye towards security, where discusses...
Simulation-based testing has been found to be an effective testing technique for complex systems. One of the prevalent modeling and simulation tools is MATLAB/Simulink, which allows, among other advantages, the integration of software with complex mathematical models and automatic code generation. However, we found a set of limitations with this tool in the vertical transport domain, where different...
In this paper, we present recent progress in the first-principles modeling and quantitative statistical analysis of complex electronics systems. The scientific contributions are twofold: (i) high-performance and scalable algorithms to conquer the computational complexity of extreme-scale simulations on massively parallel computing platforms; (ii) hybrid deterministic and stochastic formulations for...
In recent years, that researchers in psycho-social fields classify the personalities according to different criterias, is one of the most interesting studies. In the viewpoint of the artificial intelligence researches, it is considered that analyzing the personalities will provide achieving realistic character modellings and realizing more intelligent systems via engineering disiplines in future....
IoT (Internet of Things) is acommunication network that connects physical or things to each other or with a group all together. The use is widely popular nowadays and its usage has expanded into interesting subjects. Especially, it is getting more popular to research in cross subjects such as mixing smart systems with computer sciences and engineering applications together. Object detection is one...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.