Search results for " computing"
showing 10 items of 2075 documents
LynxNet: Wild Animal Monitoring Using Sensor Networks
2010
Monitoring wild animals, especially those that are becoming endangered (for example, lynxes and wolves) is important for biology researchers. Solutions for the monitoring already exist; however, they all have drawbacks, such as limited range or lifetime, sensing modality, reporting delays, unreliability of operation. In this work we describe our experiences in designing an improved animal monitoring sensor system and low-level software for sensor node control and communication. The target animals for this particular research are wild lynxes or canines, however it can be extended to other animal species. The LynxNet system is based on tracking collars, built around TMote Mini sensor nodes, s…
Weighted-average least squares (WALS): A survey
2016
Model averaging has become a popular method of estimation, following increasing evidence that model selection and estimation should be treated as one joint procedure. Weighted-average least squares (WALS) is a recent model-average approach, which takes an intermediate position between frequentist and Bayesian methods, allows a credible treatment of ignorance, and is extremely fast to compute. We review the theory of WALS and discuss extensions and applications.
Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles
2017
International audience; The paper presents a formal approach to model, analyze, and verify a variant of Message Queue Telemetry Transport protocol (MQtt), dedicated to communicating vehicles (MQtt-CV) that send collected data to automotive infrastructures(subscribers). Our formal approach is based on Promela language and its system verification tool, the model checker SPIN. We propose a slight modification of MQtt protocol to reduce the big volume of data collected and sent by vehicles to infrastructures. Indeed, in the original version of MQtt protocol, when a broker receives data from publishers, it sends them directly to its subscribers without any filtration. As consequence, subscribers…
ATL model checking in the cloud
2015
This paper gives an overview of our recent work on implementing a new interactive ATL model checker for verification of open systems. In verification based on model checking, we need to provide a model of the system and also write down the properties (ATL formulas) that we require the system to satisfy. Traditionally, the semantics of ATL is given in terms of concurrent game structures. In contrast to previous approaches, our tool permits an interactive design of the ATL models as state-transition graphs, and is based on client/server architecture. The server part, published as Web service in OpenShift cloud platform, embeds the core of the ATL model checker, and the client provides an intu…
Reengineering an Approach to Model-Driven Development of Business Apps
2015
Despite a perceived convergence in mobile application development, platforms such as Android and iOS remain largely incompatible. Supporting multiple platforms currently requires either separate native development (for each system) or utilization of a cross-platform development framework. While many such frameworks have been developed, only few are mature and even less are used widely, let alone commercially. Moreover, they typically are limited with regard to performance and to preserving a native look & feel. Worst of all, their usefulness for business apps is limited due to their low level of abstraction. In this paper, we take a closer look at an academic prototype that employs model-dr…
Concept of Client-Server Environment for Agent-Based Modeling and Simulation of Living Systems
2015
In the paper a concept for integrated and simple-to-use agent-based modeling and simulation environment is presented. The modeling environment allows simulating massive agent-based systems. Modeling environment itself is not domain specific, but it is expandable and allows creating domain-specific models. Hierarchical environment structure is supported. Individual agents could evolve by its individual path and pace. We use the General Living Systems theory as a reference model to check whether proposed modeling and simulation environment may also be used to describe models of living systems that are most complex systems around. The main concepts of proposed modeling environment such as agen…
Pyrophosphate-mediated magnetic interactions in Cu(II) coordination complexes.
2010
The reaction in water of Cu(NO(3))(2)·2.5H(2)O with 2,2'-bipyridine (bipy), 1,10-phenanthroline (phen), or 1,10-phenanthroline-5-amine (phenam), and sodium pyrophosphate (Na(4)P(2)O(7)), at various pHs, afforded three new copper(II)-pyrophosphate complexes, namely, {[Cu(bipy)(cis-H(2)P(2)O(7))](2)}·3H(2)O (1a), {[Cu(phen)(H(2)O)](4)(HP(2)O(7))(2)}(ClO(4))(2)·4H(2)O (2), and {[Cu(2)(phenam)(2)(P(2)O(7))](2)·25H(2)O}(n) (3). A solvent free crystalline phase of 1a was also isolated with formula {[Cu(bipy)(trans-H(2)P(2)O(7))](2)} (1b), which can be regarded as a pseudo-polymorph of 1a. Single crystal X-ray analyses revealed these compounds to have uncommon molecular architectures, with 3 being…
Learning From Errors: Detecting Cross-Technology Interference in WiFi Networks
2018
In this paper, we show that inter-technology interference can be recognized using commodity WiFi devices by monitoring the statistics of receiver errors. Indeed, while for WiFi standard frames the error probability varies during the frame reception in different frame fields (PHY, MAC headers, and payloads) protected with heterogeneous coding, errors may appear randomly at any point during the time the demodulator is trying to receive an exogenous interfering signal. We thus detect and identify cross-technology interference on off-the-shelf WiFi cards by monitoring the sequence of receiver errors (bad PLCP, bad FCS, invalid headers, etc.) and propose two methods to recognize the source of in…
Automatic Assessment of Depression Based on Visual Cues: A Systematic Review
2019
International audience; Automatic depression assessment based on visual cues is a rapidly growing research domain. The present exhaustive review of existing approaches as reported in over sixty publications during the last ten years focuses on image processing and machine learning algorithms. Visual manifestations of depression, various procedures used for data collection, and existing datasets are summarized. The review outlines methods and algorithms for visual feature extraction, dimensionality reduction, decision methods for classification and regression approaches, as well as different fusion strategies. A quantitative meta-analysis of reported results, relying on performance metrics r…
Real-Time Monocular Segmentation and Pose Tracking of Multiple Objects
2016
We present a real-time system capable of segmenting multiple 3D objects and tracking their pose using a single RGB camera, based on prior shape knowledge. The proposed method uses twist-coordinates for pose parametrization and a pixel-wise second-order optimization approach which lead to major improvements in terms of tracking robustness, especially in cases of fast motion and scale changes, compared to previous region-based approaches. Our implementation runs at about 50–100 Hz on a commodity laptop when tracking a single object without relying on GPGPU computations. We compare our method to the current state of the art in various experiments involving challenging motion sequences and diff…