Search results for "Gram"
showing 10 items of 9069 documents
Debates with Small Transparent Quantum Verifiers
2014
We study a model where two opposing provers debate over the membership status of a given string in a language, trying to convince a weak verifier whose coins are visible to all. We show that the incorporation of just two qubits to an otherwise classical constant-space verifier raises the class of debatable languages from at most NP to the collection of all Turing-decidable languages (recursive languages). When the verifier is further constrained to make the correct decision with probability 1, the corresponding class goes up from the regular languages up to at least E.
The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal
2005
A great number of processes for multi-agent systems design have been presented in last years to support the different approaches to agent-oriented design; each process is specific for a particular class of problems and it instantiates a specific MAS meta-model. These differences produce inconsistences and overlaps: a MAS meta-model may define a term not referred by another, or the same term can be used with a different meaning. We think that the lack of a standardization may cause a significant delay to the diffusion of the agent paradigm outside research context. Working for this unification goal, it is also necessary to define in unambiguous way the terms of the agent model and their rela…
A Methodology to Detect Temporal Regularities in User Behavior for Anomaly Detection
2001
Network security, and intrusion detection in particular, represents an area of increased in security community over last several years. However, the majority of work in this area has been concentrated upon implementation of misuse detection systems for intrusion patterns monitoring among network traffic. In anomaly detection the classification was mainly based on statistical or sequential analysis of data often neglect ion temporal events' information as well as existing relations between them. In this paper we consider an anomaly detection problem as one of classification of user behavior in terms of incoming multiple discrete sequences. We present and approach that allows creating and mai…
Visual literacy practices in higher education: what, why and how?
2019
A bilingual five-year-old girl is trying to explain to her mother what she was doing at gymnastics class. Despite her best efforts to overcome the excitement, speaking a mixture of two languages an...
Methods of Digital Hilbert Optics in the Analysis and Objects’ Recognition
2016
This paper describes methods on how to increase the effectiveness of objects’ pictures identification based on correlation methods. The main concept of increasing the discriminant effectiveness is based on highlighting of characteristic points of recognized objects by applying Hilbert transformations. Study of the effectiveness of Digital Hilber Optics (DHO) have been performed on a set of aircrafts, whose models rendered first as binary images, and then as grayscale. It has been performed a very detailed analysis of requirements on resources of information system’s which would in a real world support the discriminatory decision of objects’ class for which the sample database has been creat…
One-Sided Prototype Selection on Class Imbalanced Dissimilarity Matrices
2012
In the dissimilarity representation paradigm, several prototype selection methods have been used to cope with the topic of how to select a small representation set for generating a low-dimensional dissimilarity space. In addition, these methods have also been used to reduce the size of the dissimilarity matrix. However, these approaches assume a relatively balanced class distribution, which is grossly violated in many real-life problems. Often, the ratios of prior probabilities between classes are extremely skewed. In this paper, we study the use of renowned prototype selection methods adapted to the case of learning from an imbalanced dissimilarity matrix. More specifically, we propose the…
On Duality in Learning and the Selection of Learning Teams
1996
AbstractPrevious work in inductive inference dealt mostly with finding one or several machines (IIMs) that successfully learn collections of functions. Herein we start with a class of functions and considerthe learner setof all IIMs that are successful at learning the given class. Applying this perspective to the case of team inference leads to the notion ofdiversificationfor a class of functions. This enable us to distinguish between several flavours of IIMs all of which must be represented in a team learning the given class.
A family of experiments to generate graphical user interfaces from BPMN models with stereotypes
2021
Abstract Context: A significant gap separates Business Process Model and Notation (BPMN) models representing processes from the design of Graphical User Interfaces (GUIs). Objective: This paper reports on a family of experiments to validate a method to automatically generate GUIs from BPMN models using stereotypes complemented with UML class primitives, and transformation rules. Method: We conducted two replications (23 and 31 subjects respectively) in which we compared two methods to generate GUIs from BPMN models; one automatic (using Stereotyped BPMN models) and one manual (using Non-stereotyped BPMN models). The study focuses on comparing effort, accuracy, and satisfaction (in terms of …
Applications of xylochemistry from laboratory to industrial scale
2020
Xylochemicals and their utilisation in total synthesis and industrial applications are highlighted in this review. This class of chemicals consists of bio-based molecules or building blocks derived from renewable feedstocks like plant-biomass, lignocellulose as well as waste-streams. The advantages over petroleum-based chemicals are presented with the aid of specific examples ranging from the total synthesis of natural products, relevant industrial applications to the exploitation of CO2 as a C1 feedstock. This review contributes to the trend of a “greener” and a more sustainable chemistry.
What distance do university students walk and bike daily to class in Spain
2016
Abstract Introduction Physical activity levels are low in the general population and these levels decrease from childhood to adolescence, as well as from adolescence to adulthood. Active commuting (AC) is an opportunity to increase the physical activity levels. The distance between home and destinations is a main correlate of AC; however, the distance that university students walk or cycle to university is unknown. Methods Participants self-reported their modes and time of commuting to and from university in a questionnaire, and the main mode of commuting was identified. Moreover, they reported their home address, and the Spanish version of Mapquest software was used to measure street-netwo…