We address the problems of identifying malware in network telemetry logs and providing indicators compromise—comprehensible explanations behavioral patterns that identify threat. In our system, an array specialized detectors abstracts network-flow data into comprehensible events a first step. develop neural processes this sequence identifies specific threats, families broad categories malware. ...

Most available tools propose simulation frameworks to study models of biological systems, but simulation only explores a few of the most probable behaviours of the system. On the contrary, techniques such as model checking, coming from IT-systems analysis, explore all the possible behaviours of the modelled systems, thus helping to identify emergent properties. A main drawback from most model c...

Representation of large data sets became a key question of many scientific disciplines in the last decade. Several approaches for network visualization, data ordering and coarse-graining accomplished this goal. However, there was no underlying theoretical framework linking these problems. Here we show an elegant, information theoretic data representation approach as a unified solution of networ...

Some profoundly deaf individuals without conventional linguistic input develop gestures, called “homesign,” to communicate. We examined homesign systems (HSs) used by four deaf Nicaraguan adults (ages 15-27), and evaluated whether homesigners’ mothers are potential sources for these systems. Study One measured mothers’ comprehension of descriptions of events (e.g., “A man taps a woman”) produce...

This paper describes a cost-effective fuzzy control system applied to a small spark-ignition internal-combustion engine to achieve regulation of the fuel injection system. The system determines the amount of fuel required from a fuzzy algorithm that uses the engine speed and manifold air pressure as input values. The parameters of the fuzzy control paradigm were a collection of rules and fuzzy-...

We present R package LIM (Soetaert and van Oevelen 2009) which is designed for reading and solving linear inverse models (LIM). The model problem is formulated in text files in a way that is natural and comprehensible. LIM then converts this input into the required linear equality and inequality conditions, which can be solved either by least squares or by linear programming techniques. By lett...

Chemical and biological systems have similarities with ITsystems as they can be observed as sequences of events. Most available tools propose simulation frameworks to explore biological pathways (i.e., sequences of events). Simulation only explores a few of the most probable pathways in the system. On the contrary, techniques such as model checking, coming from IT-systems analysis, explore all ...

Ventilation process model is important for automatically appropriate ventilation for patients residing in the intensive care unit (ICU). Based on other researchers’ work, we try to build a data driven ventilation model under the framework of dynamic Bayesian networks (DBNs). All the variables in our model are suggested by the doctor in ICU. They are all noninvasive measurements obtained directl...

A methodology for extracting an extended Entity-Relationship (EER) model from a relational database is presented. Through a combination of data schema and data instance analysis, an EER model is derived which is semantically richer and more comprehensible for maintenance and design purposes than the original database. Classification schemes for relations and attributes necessary for the EER mod...