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 this paper, we consider the energy-efficient coordination of a set of appliances in a smart-building. We introduce a theoretical formulation of the coordination problem and an Integer Linear Programming model for its resolution. Our formalization is complemented by an analysis of the properties and limits of the model. We also define a practical smart-building setting in which our formalization...
We consider the problem of causal structure learning from data with missing values, assumed to be drawn from a Gaussian copula model. First, we extend the 'Rank PC' algorithm, designed for Gaussian copula models with purely continuous data (so-called nonparanormal models), to incomplete data by applying rank correlation to pairwise complete observations and replacing the sample size with an effective...
Cloud services are gaining popularity with times. Service level agreement (SLA) serves a basic understanding between the clients and cloud service providers (CSP). Ensuring secured and adequate service is a basic need of the customers. In this work a set of compliance parameters for cloud service level agreement is identified. A generic rule base is designed to empower the process with an automated...
The methodology of community detection can be divided into two principles: imposing a network model on a given graph, or optimizing a designed objective function. The former provides guarantees on theoretical detectability but falls short when the graph is inconsistent with the underlying model. The latter is model-free but fails to provide quality assurance for the detected communities. In this paper,...
In order to solve the self-localization problem, the Monte-Carlo Localization is proposed as a technique which is able to solve any localization problem. However, the implemented algorithm needs to be adapted to the robot and domain. Thus, this work presents a novel implementation for humanoid robots whose main sensory input is a camera, to be used in the domain of RoboCup Humanoid Soccer League....
We present a deterministic distributed algorithm that computes a (2δ-1)-edge-coloring, or even list-edge-coloring, in any n-node graph with maximum degree δ, in O(log^8 δ ⋅ log n) rounds. This answers one of the long-standing open questions of distributed graph algorithms} from the late 1980s, which asked for a polylogarithmic-time algorithm. See, e.g.,...
In this paper, we initiate the study of garbled protocols — a generalization of Yaos garbled circuits construction to distributed protocols. More specifically, in a garbled protocol construction, each party can independently generate a garbled protocol component along with pairs of input labels. Additionally, it generates an encoding of its input. The evaluation procedure takes as input...
Most view-based modelling approaches are today based on a "synthetic" approach in which the views hold all the information modelled about a system and are kept consistent using explicit, inter-view correspondence rules. The alternative "projective" approach, in which the contents of views are "projected" from a single underlying model on demand, is far less widely used...
Because of the present deep impact of information technology on society, school subjects that deal with topics of computer science or digital literacy gain importance nowadays. Some countries start to teach related topics in primary education and even in kindergarten. The underlying curricula, educational standards and/or competency models have already been developed and established and differ in...
In August 2017 under the auspices of the International Union of Physiological Sciences (IUPS), we will launch a new journal: Physiome. The goal of Physiome is to promote, encourage, and support the wide-spread adoption of technologies and workflows that generally improve the ability of scientists to discover existing computational models which are relevant to their work, reproduce the predictions...
The IEEE 1516-2010 — Standard for Modeling and Simulation High Level Architecture (HLA) range of standards are widely used for distributed simulation, interoperability, reusability and the modeling of large-scale systems in many application domains. Although it provides several advantages, the development of distributed simulations based on the HLA standards remains a challenging task that requires...
Electron Paramagnetic Resonance (EPR) is a method for studying the chemical properties of molecules with unpaired electrons. It is the most accurate method for measuring oxygen and oxidative stress in vitro and in vivo. Its application in clinical contexts is challenging because of the lack of standardized procedures for estimating the measurement quality. Clinically-relevant quantities are extracted...
The aim of this paper is to perform a precise assessment of the misalignment of high-density surface electromyogram (HD-sEMG) grid according to its rotation with the muscle fibers. For this purpose, a generic and quantitative method was used in this study, namely the nonlinear correlation coefficient (h2) that is widely applied in connectivity and directionality of stochastic and complex signals....
Despite the great benefits of cloud computing on businesses, some organizations have had to withdraw from its service due to incomplete compliance to conditions from standards, bodies, or Service Level Agreements which have led to their being penalized. A structured and efficient model is helpful to aid small and medium scale enterprises (SMSEs) utilize cloud services safely and ascertain their fitting...
The complexity of the mechanism brings great difficulty to the calculation of the mechanism motion reliability, and the computer simulation algorithm based on Monte Carlo method needs a great number of simulation. The further-development of LMS Virtual. Lab was carried out, and the least square support vector machine algorithm was used to construct the response surface proxy model. The PSO-GA algorithm...
The paper presents the validation of the implementation made by the user of the standard wall function for the standard k-ε turbulence model against the built-in standard wall function for the standard k-ε turbulence mode, in numerical computation software (ANSYS Fluent). A comparison was made between the results of two flow simulations: the first case consisted in using the built-in standard wall...
Internet of Things (IoT) has become a favored wireless communication concept in many application domains recently. Most of the IoT networks must fulfill the strict quality of service (QoS) requirements such as low latency and high reliability. Besides, low power consumption is essential in those networks due to the use of battery operated devices. Time Slotted Channel Hopping (TSCH), an operating...
We consider the economic and mathematical model of forming unified information Internet space for scientific and educational resources by integration of scientific and educational resources in certain “cloud”, based on the needs of consumers, the possibility of required generation in information sources and the availability of nodes (providers) in the network to organize the process of receiving,...
This design provides a kind of double CPU communication between solution, using PROTUES software structures, basic simulation circuit, the load KEIL software written in HEX file, USES the RS232 interface standard, simple circuit structure, solve the problem of the complicated parallel communication lines, applies to close range, low rate of communication occasions.
This paper proposes optimal background modeling scheme for the cluttered scenes. The background initialization is the first step in the process of segmenting out moving information. Concrete background model ensures the proper segmentation of moving information from the scene. Each pixel is modeled as mixture of Gaussian. Using decision criteria, background/foreground pixels are differentiated. During...
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.