Search results for "computer.software_genre"

Interactively Learning the Preferences of a Decision Maker in Multi-objective Optimization Utilizing Belief-rules

2020

Many real life problems can be modelled as multiobjective optimization problems. Such problems often consist of multiple conflicting objectives to be optimized simultaneously. Multiple optimal solutions exist to these problems, and a single solution cannot be said to be the best without preferences given by a domain expert. Preferences can be used to find satisfying solutions: optimal solutions, which best match the expert’s preferences. To model the preferences of the expert, and aid him/her in finding satisfying solutions, a novel method is proposed. The method utilizes machine learning combined with belief-rule based systems to adaptively train a belief rule based system to learn a domai…

Detecting Kernel Vulnerabilities During the Development Phase

2015

Testing is one of the major problems in Linux kernel development cycle. Security analysis and ensuring no new vulnerabilities has been introduced is one of the toughest issues of testing. Kernel developers attempt to find as many security issues as possible before merging with the mainline branch. Failure to detect vulnerabilities will result in vulnerable kernel shipped by distribution and vulnerable systems. The kernel developers can choose between several industrial and open source tools to assist in the development process and shorten the development cycle. (Though not as many as user space developers. Kernel tools are limited and rare compared to user space tools) Some of these tools a…

System for Executing Encrypted Java Programs

2017

An Automatic Ontology-Based Approach to Support Logical Representation of Observable and Measurable Data for Healthy Lifestyle Management: Proof-of-C…

2020

Background Lifestyle diseases, because of adverse health behavior, are the foremost cause of death worldwide. An eCoach system may encourage individuals to lead a healthy lifestyle with early health risk prediction, personalized recommendation generation, and goal evaluation. Such an eCoach system needs to collect and transform distributed heterogenous health and wellness data into meaningful information to train an artificially intelligent health risk prediction model. However, it may produce a data compatibility dilemma. Our proposed eHealth ontology can increase interoperability between different heterogeneous networks, provide situation awareness, help in data integration, and discover…

TISSBERT: A benchmark for the validation and comparison of NDVI time series reconstruction methods

2018

[EN] This paper introduces the Time Series Simulation for Benchmarking of Reconstruction Techniques (TISSBERT) dataset, intended to provide a benchmark for the validation and comparison of time series reconstruction methods. Such methods are routinely used to estimate vegetation characteristics from optical remotely sensed data, where the presence of clouds decreases the usefulness of the data. As for their validation, these methods have been compared with previously published ones, although with different approaches, which sometimes lead to contradictory results. We designed the TISSBERT dataset to be generic so that it could simulate realistic reference and cloud-contaminated time series …

Modeling ontologies for robotic environments

2002

On the basis of a multiple abstraction levels specification process, we developed a representational model for environmental robotic knowledge through the definition of a set of ontologies using a multi perspective approach. A general ontological model for typical indoor environments has been first developed, followed by its specialization using an implementation perspective. Actual software implementation of the ontology has been obtained via a XML-based markup language, used to build a repository for robotic environmental knowledge. Copyright 2002 ACM.

N,N-Dimethyl-N-propylpropan-1-aminium chloride monohydrate

2008

The title compound, C8H20N+·Cl−·H2O, has been prepared by a simple one-pot synthesis route followed by anion exchange using resin. In the crystal structure, the cations are packed in such a way that channels exist parallel to the b axis. These channels are filled by the anions and water molecules, which interact via O—H...Cl hydrogen bonds [O...Cl = 3.285 (3) and 3.239 (3) Å] to form helical chains. The cations are involved in weak intermolecular C—H...Cl and C—H...O hydrogen bonds. The title compound is not isomorphous with the bromo or iodo analogues.

Towards CCTV-aware Routing and Navigation for Privacy, Anonymity, and Safety - Feasibility Study in Jyväskylä

2021

AbstractIn order to withstand the ever-increasing invasion of privacy by CCTV cameras and technologies, on par CCTV-aware solutions must exist that provide privacy, safety, and cybersecurity features. We argue that a first important step towards such CCTV-aware solutions must be a mapping system (e.g., Google Maps, OpenStreetMap) that provides both privacy and safety routing and navigation options. Unfortunately, to the best of our knowledge, there are no mapping nor navigation systems that support CCTV-privacy and CCTV-safety routing options. At the same time, in order to move the privacy vs. safety debate related to CCTV surveillance cameras from purely subjective to data-driven and evide…

Why Use Interactive Multi-Objective Optimization in Chemical Process Design?

2008

Problems in chemical engineering, like most real-world optimization problems, typically, have several conflicting performance criteria or objectives and they often are computationally demanding, which sets special requirements on the optimization methods used. In this chapter, we point out some shortcomings of some widely used basic methods of multi-objective optimization. As an alternative, we suggest using interactive approaches where the role of a decision maker or a designer is emphasized. Interactive multi-objective optimization has been shown to suit well for chemical process design problems because it takes the preferences of the decision maker into account in an iterative manner tha…

The Joint Distribution Criterion and the Distance Tests for Selective Probabilistic Causality

2010

A general definition and a criterion (a necessary and sufficient condition) are formulated for an arbitrary set of external factors to selectively influence a corresponding set of random entities (generalized random variables, with values in arbitrary observation spaces), jointly distributed at every treatment (a set of factor values containing precisely one value of each factor). The random entities are selectively influenced by the corresponding factors if and only if the following condition, called the joint distribution criterion, is satisfied : there is a jointly distributed set of random entities, one entity for every value of every factor, such that every subset of this set that corr…