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.
Networking is an important developing trend in the field of Computer Assisted Instruction (CAI). A remote control system makes it possible to access remote software and hardware resources and consequently users can achieve their intended aims by means of remote operations. Nowadays, mobile terminals are becoming essential in people's lives, so it is meaningful and significant to use them as a remote...
In case of railway disruption, traffic controllers are faced with the challenge of reducing delay propagation. One of the applied measures is to short-turn trains. Currently, predefined plans are used to manage traffic in case of disruption. These manually designed plans may not cover all possible disruption scenarios, and the solutions depend on the experience of the designer and might not be optimal...
Transportation engineering is one of the most popular area of Operations Research in which fractional programming is used. In this study, we present two algorithms to find initial basic feasible solution of a linear fractional transportation problem. Also we present a methodology to find optimal solution of the stated problem. Using simulation experiments on large number of examples we compare the...
Image registration has evolved independently, and occupied many research areas starting from underwater to earth to space. Selecting a most suitable similarity measure from the existing image similarity models is a challenging research activity in the digital image processing area. Even though there are many image registration models, similarity model is selected for this research study, because of...
There is a continuous pressure to make healthcare processes more efficient and effective without sacrificing quality. Conformance checking can be used to improve processes by analyzing event data and directly relating observed behavior and modeled behavior. Conformance checking provides diagnostics that go far beyond measuring traditional key performance indicators. However, current conformance checking...
This paper presents a methodology to determine the optimal path of airplanes in order to avoid weather hazard and reduce pollutant emissions. To this aim, the aircraft movement is modeled as a finite state automaton: the state is a vector describing the space aircraft position, its airspeed and heading; the outputs are the aircraft emissions of CO2 and NOx. In the described framework, the aircraft...
Infrastructure as a Service (IaaS) is a pay-as-you go based cloud provision model which on demand outsources the physical servers, guest virtual machine (VM) instances, storage resources, and networking connections. This article reports the design and development of our proposed innovative symbiotic simulation based system to support the automated management of IaaS-based distributed virtualized data...
In many complex robot applications, such as grasping and manipulation, it is difficult to program desired task solutions beforehand, as robots are within an uncertain and dynamic environment. In such cases, learning tasks from experience can be a useful alternative. To obtain a sound learning and generalization performance, machine learning, especially, reinforcement learning, usually requires sufficient...
Operational processes leave trails in the information systems supporting them. Such event data are the starting point for process mining — an emerging scientific discipline relating modeled and observed behavior. Whereas an event log describes example behavior of the underlying process, a process model aims to describe an abstraction of the same process. Models may be descriptive or normative. Descriptive...
Operational processes leave trails in the information systems supporting them. Such event data are the starting point for process mining - an emerging scientific discipline relating modeled and observed behavior. The relevance of process mining is increasing as more and more event data become available. The increasing volume of such data (“Big Data”) provides both opportunities and challenges for...
Signature Detection modules in IDS/IPS though accurate in pattern matching, yet it leads to false positives. This is due to the incompleteness of the signatures which lacks or has very little information about when, where and how to match these signatures. The signatures enriched with this information significantly brings down the false positives and at the same time enhances the performance of the...
High performance VLSI systems are being built as multi-processor systems-on-chip. The number of processors and their performance is rising rapidly while the change is slower for the memories. The memory system is often a performance bottleneck in terms of either its bandwidth or latency. We propose sensitivity analysis as a means to pin-point the bottleneck. We introduce a novel randomized technique...
We present an overview of an emerging methodology for applying game-theoretic analysis to strategic environments described by a simulator. We first introduce the problem of solving a simulation-based game, and proceed to review convergence results and confidence bounds about game-theoretic equilibrium estimates. Next, we present techniques for approximating equilibria in simulation-based games, and...
Traffic congestion is a source of significant economic and social costs in urban areas. Intelligent Transportation Systems (ITS) are a promising means to help alleviate congestion by utilizing advanced sensing, computing, and communication technologies. This paper investigates a basic ITS framework - Advanced Traveler Information System (ATIS) - using wireless vehicle-to-vehicle and vehicle-to-roadside...
In this paper we consider the property of diagnosability for labeled unbounded Petri nets, namely Petri nets where the number of tokens in one or more places can grow indefinitely. We give necessary and sufficient conditions for diagnosability and we present a test to study diagnosability based on the analysis of the coverability graph of a particular net, called verifier net, that is built starting...
Image processing plays an important role in computer science, making complex image manipulation more feasible. It can be used either in a general manner or in specific domains such as for medical purposes. With the availability of the internet, image processing applications can be distributed to be available for different people, regardless of their geographical location. Although there are a handful...
An observer-based thermal modelling technique suitable for computation on embedded microprocessors to provide system wide prediction and projection of thermal state of function for a minimum increase in part count is proposed. High accuracy 3D finite element simulation is employed to calibrate a low complexity lumped parameter model from which a Luenberger observer is derived. Only a single temperature...
Continuous Petri nets can be viewed as an approximation of the classical discrete models introduced to cope with the state explosion problem typical of discrete event systems. In this paper we consider free-labeled Petri net systems, and assume that certain transitions, including all those modeling faulty behaviors, are unobservable, i.e., they are labeled with the empty word. Based on the notion...
Simulating spiking neural networks is of great interest to scientists wanting to model the functioning of the brain. However, large-scale models are expensive to simulate due to the number and interconnectedness of neurons in the brain. Furthermore, where such simulations are used in an embodied setting, the simulation must be real-time in order to be useful. In this paper we present NeMo, a platform...
An essential requirement for any quantum computing architecture is the existence of a universal set of quantum gates. Examples of such sets are the 2-qubit CNOT gate in combination with arbitrary 1-qubit gates, and the 3-qubit Toffoli gate together with the 1-qubit Hadamard. A third set, which has not been implemented so far, is Valiant's 2-qubit matchgate G(A,B) which is universal with the SWAP operation...
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.