Search results for "Information Systems."
showing 10 items of 1545 documents
Theorising about barriers to open e-learning systems in public administrations
2018
Abstract Barriers to the general use of e-learning technology are known across various contexts. Despite increasing efforts to clarify the range of these barriers, few efforts have been made to advance the theorising about them and, thus, to answer why and how they unfold. This study is motivated to overcome this unaddressed problem and develops a process model based on adaptive structuration theory (AST) and the punctuated socio-technical change model (PSIC). It represents how barriers unfold between actors, technology, and organisational properties in public administrations. The PaSIC model provides a new perspective on how critical incidents drive the emergence and progress of barriers t…
Soft computing-based aggregation methods for human resource management
2008
Abstract We are interested in the personnel selection problem. We have developed a flexible decision support system to help managers in their decision-making functions. This DSS simulates experts’ evaluations using ordered weighted average (OWA) aggregation operators, which assign different weights to different selection criteria. Moreover, we show an aggregation model based on efficiency analysis to put the candidates into an order.
An Expert System for the Design of Agents
2007
The growing interest for the design and development of multi-agent systems has brought to the creation of a specific research area called Agent-Oriented Software Engineering (AOSE), specifically conceived for the development of complex systems. The development of such systems needs the support of appropriate tools that could help the designer in producing the design artefacts. We developed a tool called Metameth that may be used to define a new (agent-oriented) design process as well as to apply it. In this paper, we describe only a slice of this complex tool, specifically addressing the interaction with human actors (the designers). This subsystem is conceived as a collaborative multi-agen…
Too many passwords? How understanding our memory can increase password memorability
2018
Abstract Passwords are the most common authentication mechanism, that are only increasing with time. Previous research suggests that users cannot remember multiple passwords. Therefore, users adopt insecure password practices, such as password reuse in response to their perceived memory limitations. The critical question not currently examined is whether users’ memory capabilities for password recall are actually related to having a poor memory. This issue is imperative: if insecure password practices result from having a poor memory, then future password research and practice should focus on increasing the memorability of passwords. If, on the other hand, the problem is not solely related …
Sound and reusable components for abstract interpretation
2019
Abstract interpretation is a methodology for defining sound static analysis. Yet, building sound static analyses for modern programming languages is difficult, because these static analyses need to combine sophisticated abstractions for values, environments, stores, etc. However, static analyses often tightly couple these abstractions in the implementation, which not only complicates the implementation, but also makes it hard to decide which parts of the analyses can be proven sound independently from each other. Furthermore, this coupling makes it hard to combine soundness lemmas for parts of the analysis to a soundness proof of the complete analysis. To solve this problem, we propose to c…
AMUN: An Object Oriented Model For Cooperative Spatial Information Systems
1997
International audience; The diversity of spatial information systems promote the need to integrate heterogeneous spatial or geographic information systems (GIS) in a cooperative environment. We present an on going research project, called ISIS (Interoperable Spatial Information System), which aims to build an environment to support interoperability of GIS by interconnecting spatial data repositories and spatial processing resources. Our solution combines techniques from traditional interoperable information systems, spatial data modeling and distributed object oriented databases. While object oriented data modeling impact has been studied in spatial databases, research in model for distribu…
Shaded-Mask Filtering for Extended Depth-of-Field Microscopy
2013
This paper proposes a new spatial filtering approach for increasing the depth-of-field (DOF) of imaging systems, which is very useful for obtaining sharp images for a wide range of axial positions of the object. Many different techniques have been reported to increase the depth of field. However the main advantage in our method is its simplicity, since we propose the use of purely absorbing beam-shaping elements, which allows a high focal depth with a minimum modification of the optical architecture. In the filter design, we have used the analogy between the axial behavior of a system with spherical aberration and the transverse impulse response of a 1D defocused system. This allowed us the…
Spectral moments of the edge adjacency matrix in molecular graphs. 3. Molecules containing cycles
1998
A substructural approach to quantitative structure−property relationships based on the spectral moments of the edge adjacency matrix is extended to molecules containing cycles. Spectral moments are expressed as linear combinations of structural fragments of any kind of nonweighted graphs. The boiling points of a series of 80 cycloalkanes was well-described by the present approach. The predictive power of the model was proved by using a test set of another 26 compounds. An equation that expresses the contribution of the different fragments of the molecules to the boiling point was obtained.
cuBool: Bit-Parallel Boolean Matrix Factorization on CUDA-Enabled Accelerators
2018
Boolean Matrix Factorization (BMF) is a commonly used technique in the field of unsupervised data analytics. The goal is to decompose a ground truth matrix C into a product of two matrices A and $B$ being either an exact or approximate rank k factorization of C. Both exact and approximate factorization are time-consuming tasks due to their combinatorial complexity. In this paper, we introduce a massively parallel implementation of BMF - namely cuBool - in order to significantly speed up factorization of huge Boolean matrices. Our approach is based on alternately adjusting rows and columns of A and B using thousands of lightweight CUDA threads. The massively parallel manipulation of entries …
Simplified spiking neural network architecture and STDP learning algorithm applied to image classification
2015
Spiking neural networks (SNN) have gained popularity in embedded applications such as robotics and computer vision. The main advantages of SNN are the temporal plasticity, ease of use in neural interface circuits and reduced computation complexity. SNN have been successfully used for image classification. They provide a model for the mammalian visual cortex, image segmentation and pattern recognition. Different spiking neuron mathematical models exist, but their computational complexity makes them ill-suited for hardware implementation. In this paper, a novel, simplified and computationally efficient model of spike response model (SRM) neuron with spike-time dependent plasticity (STDP) lear…