Search results for "interface"
showing 10 items of 2139 documents
HUMAN: Hierarchical Universal Modular ANnotator
2020
A lot of real-world phenomena are complex and cannot be captured by single task annotations. This causes a need for subsequent annotations, with interdependent questions and answers describing the nature of the subject at hand. Even in the case a phenomenon is easily captured by a single task, the high specialisation of most annotation tools can result in having to switch to another tool if the task only slightly changes. We introduce HUMAN, a novel web-based annotation tool that addresses the above problems by a) covering a variety of annotation tasks on both textual and image data, and b) the usage of an internal deterministic state machine, allowing the researcher to chain different anno…
Sequentializing Parameterized Programs
2012
We exhibit assertion-preserving (reachability preserving) transformations from parameterized concurrent shared-memory programs, under a k-round scheduling of processes, to sequential programs. The salient feature of the sequential program is that it tracks the local variables of only one thread at any point, and uses only O(k) copies of shared variables (it does not use extra counters, not even one counter to keep track of the number of threads). Sequentialization is achieved using the concept of a linear interface that captures the effect an unbounded block of processes have on the shared state in a k-round schedule. Our transformation utilizes linear interfaces to sequentialize the progra…
Complete End-To-End Low Cost Solution To a 3D Scanning System with Integrated Turntable
2017
3D reconstruction is a technique used in computer vision which has a wide range of applications in areas like object recognition, city modelling, virtual reality, physical simulations, video games and special effects. Previously, to perform a 3D reconstruction, specialized hardwares were required. Such systems were often very expensive and was only available for industrial or research purpose. With the rise of the availability of high-quality low cost 3D sensors, it is now possible to design inexpensive complete 3D scanning systems. The objective of this work was to design an acquisition and processing system that can perform 3D scanning and reconstruction of objects seamlessly. In addition…
Controlled solution-based fabrication of perovskite thin films directly on conductive substrate
2021
Abstract Organometallic perovskites are one of the most investigated materials for high-efficiency thin-film devices to convert solar energy and supply energy. In particular, methylammonium lead iodide has been used to realize thin-film perovskite solar cells, achieving an efficiency higher than 20%. Different fabrication procedures based on the spin-coating technique have been proposed, which do not ensure homogenous morphologies. In this work, we present a scalable process to fabricate methylammonium lead iodide thin films directly on conductive substrates, consisting of electrodeposition and two subsequent chemical conversions. A thorough investigation of the morphological, structural an…
Configurable low-cost plotter device for fabrication of multi-color sub-cellular scale microarrays.
2014
We report on the construction and operation of a low-cost plotter for fabrication of microarrays for multiplexed single-cell analyses. The printing head consists of polymeric pyramidal pens mounted on a rotation stage installed on an aluminium frame. This construction enables printing of microarrays onto glass substrates mounted on a tilt stage, controlled by a Lab-View operated user interface. The plotter can be assembled by typical academic workshops from components of less than 15 000 Euro. The functionality of the instrument is demonstrated by printing DNA microarrays on the area of 0.5 squared centimeters using up to three different oligonucleotides. Typical feature sizes are 5 μm diam…
Growth and characterization of horizontally suspended CNTs across TiN electrode gaps.
2010
A technique is proposed to grow horizontal carbon nanotubes (CNTs) bridging metal electrodes and to assess their electrical properties. A test structure was utilized that allows for selective electrochemical sidewall catalyst placement. The selectivity of the technique is based on the connection of the desired metal electrodes to the silicon substrate where the potential for electrochemical deposition was applied. Control over the Ni catalyst size (15-30 nm) and density (up to 3 x 10(11) particles cm(-2)) is demonstrated. Horizontal CNTs with controlled diameter and density were obtained by CVD growth perpendicular to the sidewalls of patterned TiN electrode structures. Electrode gaps with …
CMOS-compatible nanoscale gas-sensor based on field effect
2009
The integration of a solid state gas sensor of the metal oxide sensor type into CMOS technology still is a challenge because of the high temperatures during metal oxide annealing and sensor operation that do not comply with silicon device stability. In the presence of an external electric field sensor sensitivity can be controlled through a change of the Fermi energy level and consequently it is possible to reduce the operation temperature. Based in this effect, a novel field effect gas sensor was developed resembling a reversed insulated : gate field effect transistor (IGFET) with the thickness of gas sensing layer in the range of the Debye length (L D ). Under these conditions the control…
ATLAS technical coordination expert system
2019
When planning an intervention on a complex experiment like ATLAS, the detailed knowledge of the system under intervention and of the interconnection with all the other systems is mandatory. In order to improve the understanding of the parties involved in an intervention, a rule-based expert system has been developed. On the one hand this helps to recognise dependencies that are not always evident and on the other hand it facilitates communication between experts with different backgrounds by translating between vocabularies of specific domains. To simulate an event this tool combines information from different areas such as detector control (DCS) and safety (DSS) systems, gas, cooling, vent…
GESTURES AS A COMMUNICATION FEATURE IN CHILDREN WITH DEVELOPMENTAL LANGUAGE DISORDER
2019
Gestures as non-verbal communication allow us to express our attitude, emotional state, and it functions unconsciously. The verbal communication appears in the life of a child about 2 years of age and gradually replaces the non-verbal communication. However, children with DLD (Developmental Language Disorder) at the age of 3 and more do not speak or speak using separate sounds and combinations of sounds in their speech and use gestures broadly; it helps them to communicate with others. The aim of the article is to explore what kind of gestures as non-verbal communication are used by children with DLD in order to communicate with peers and adults. Based on the scientific literature of the re…
The electronic properties of SrTiO3-δ with oxygen vacancies or substitutions
2021
The authors would like to thank R. Dittmann for useful discussions, T. Kocourek, O. Pacherova, S. Cichon, V. Vetokhina, and P. Babor for their contributions to sample preparation and characterization. The authors (M.T., A.D.) acknowledge support from the Czech Science Foundation (Grant No. 19-09671S), the European Structural and Investment Funds and the Ministry of Education, Youth and Sports of the Czech Republic through Programme “Research, Development and Education” (Project No. SOLID21 CZ.02.1.01/0.0/0.0/16-019/0000760). This study was partly supported by FLAG-ERA JTC project To2Dox (L.R. and E.K.). Calculations have been performed on the LASC Cluster in the Institute of Solid State Phy…