Search results for "LESS"
showing 10 items of 2452 documents
Knowledge-based verification of concatenative programming patterns inspired by natural language for resource-constrained embedded devices
2020
We propose a methodology to verify applications developed following programming patterns inspired by natural language that interact with physical environments and run on resource-constrained interconnected devices. Natural language patterns allow for the reduction of intermediate abstraction layers to map physical domain concepts into executable code avoiding the recourse to ontologies, which would need to be shared, kept up to date, and synchronized across a set of devices. Moreover, the computational paradigm we use for effective distributed execution of symbolic code on resource-constrained devices encourages the adoption of such patterns. The methodology is supported by a rule-based sys…
Managing sensor data streams in a smart home application
2020
A challenge in developing an ambient activity recognition system for use in elder care is finding a balance between the sophistication of the system and a cost structure that fits within the budgets of public and private sector healthcare organisations. Much activity recognition research in the context of elder care is based on dense networks of sensors and advanced methods, such as supervised machine learning algorithms. This paper presents the data processing aspects of an activity recognition system based on a simpler, knowledge-based unsupervised approach, designed for a sparse network of sensors. By structuring sensor data management as a streaming system, we provide a simple programmi…
Morse Description and Geometric Encoding of Digital Elevation Maps
2004
Two complementary geometric structures for the topographic representation of an image are developed in this work. The first one computes a description of the Morse-topological structure of the image, while the second one computes a simplified version of its drainage structure. The topographic significance of the Morse and drainage structures of digital elevation maps (DEMs) suggests that they can been used as the basis of an efficient encoding scheme. As an application, we combine this geometric representation with an interpolation algorithm and lossless data compression schemes to develop a compression scheme for DEMs. This algorithm achieves high compression while controlling the maximum …
The advantage of errorless learning for the acquisition of new concepts' labels in alcoholics
2009
BackgroundPrevious findings revealed that the acquisition of new semantic concepts' labels was impaired in uncomplicated alcoholic patients. The use of errorless learning may therefore allow them to improve learning performance. However, the flexibility of the new knowledge and the memory processes involved in errorless learning remain unclear.MethodNew concepts' labels acquisition was examined in 15 alcoholic patients and 15 control participants in an errorless learning condition compared with 19 alcoholic patients and 19 control subjects in a trial-and-error learning condition. The flexibility of the new information was evaluated using different photographs from those used in the learning…
Search for a Charged Higgs Boson Produced in the Vector-Boson Fusion Mode with DecayH±→W±ZusingppCollisions ats=8 TeVwith the ATLAS Experiment
2015
A search for a charged Higgs boson, H-+/-, decaying to a W-+/- boson and a Z boson is presented. The search is based on 20.3 fb(-1) of proton-proton collision data at a center-of-mass energy of 8 TeV recorded with the ATLAS detector at the LHC. The H-+/- boson is assumed to be produced via vector-boson fusion and the decays W-+/- -> q (q') over bar and Z -> e(+)e(-)/mu(+)mu(-) are considered. The search is performed in a range of charged Higgs boson masses from 200 to 1000 GeV. No evidence for the production of an H+ boson is observed. Upper limits of 31-1020 fb at 95% C.L. are placed on the cross section for vector-boson fusion production of an H-+/- boson times its branching fraction to W…
Flat-band superconductivity in periodically strained graphene: mean-field and Berezinskii–Kosterlitz–Thouless transition
2019
In the search of high-temperature superconductivity one option is to focus on increasing the density of electronic states. Here we study both the normal and $s$-wave superconducting state properties of periodically strained graphene, which exhibits approximate flat bands with a high density of states, with the flatness tunable by the strain profile. We generalize earlier results regarding a one-dimensional harmonic strain to arbitrary periodic strain fields, and further extend the results by calculating the superfluid weight and the Berezinskii-Kosterlitz-Thouless (BKT) transition temperature $T_\text{BKT}$ to determine the true transition point. By numerically solving the self-consistency …
Intrinsic electrical conductivity of nanostructured metal-organic polymer chains
2012
One-dimensional conductive polymers are attractive materials because of their potential in flexible and transparent electronics. Despite years of research, on the macro- and nano-scale, structural disorder represents the major hurdle in achieving high conductivities. Here we report measurements of highly ordered metal-organic nanoribbons, whose intrinsic (defect-free) conductivity is found to be 104 S m−1, three orders of magnitude higher than that of our macroscopic crystals. This magnitude is preserved for distances as large as 300 nm. Above this length, the presence of structural defects (~ 0.5%) gives rise to an inter-fibre-mediated charge transport similar to that of macroscopic crysta…
UML-Based Reliability Modeling of Network Services, a UDP Echo Service Case Study
2009
In the paper, we discuss state space reliability modeling formalism of distributed systems and services compliant with UML metamodel. Behavior of modeled application system we describe in terms of states. Service generation process we represent as a sequence of application system states. State space approach allows us to define dependence between application system components via dependence between components states and states input, output parameters. Reliability of application system component we define for each simply action state. Reliability of a service we express by components reliability in states determined by service generation process. As an example, we analyze reliability of cli…
Optimization of flat area coverage under connectivity constraint in wireless sensor networks
2022
A wireless sensor network consists of a set of small autonomous units that interact via a network built by their communication modules. They observe their environment, capture information, then manage this information according to their computing and/or storage capacity. To effectively accomplish their task(s), they need to cover as much of the area of interest as possible. It is therefore essential to quantify the quality of their coverage. In this thesis, we therefore seek to best cover an area of interest, with a precise number of sensors. While taking into account the possible overlaps between sensors, we first deploy in a zone of regular dimensions and evaluate the exact coverage using…
A greedy perturbation approach to accelerating consensus algorithms and reducing its power consumption
2011
The average consensus is part of a family of algorithms that are able to compute global statistics by only using local data. This capability makes these algorithms interesting for applications in which these distributed philosophy is necessary. However, its iterative nature usually leads to a large power consumption due to the repetitive communications among the iterations. This drawback highlights the necessity of minimizing the power consumption until consensus is reached. In this work, we propose a greedy approach to perturbing the connectivity graph, in order to improve the convergence time of the consensus algorithm while keeping bounded the power consumption per iteration step. These …