A key problem in designing information retrieval systems is making the information contained in the system available quickly and easily, with a minimum of training or preparation required by the user. New lisers may be experts in their fields and have no problems with the mechanics of using the computer; yet they may still have diflicu1ty in retrieving information because they are not familiar ...

The real time in vivo detection of dopamine and other neurotransmitters in awake behaving animals is a long-standing goal. Carbon nanomaterials have emerged as promising candidates for electrochemical detection of dopamine. Diamond-like carbon films have wide water window, low capacitive background current and high chemical stability. By combining ultrathin tetrahedral amorphous carbon (ta-C) w...

In current literature, the degrading performances of iris recognition systems is put in user’s responsibility (Biometric Menagerie -BM), or exp lained through a vague mix of t ime-related changes in biometric pattern, its presentation and the acquisition sensor (Template Ageing-TA). Actually, BM and TA are annoying symptoms illustrating intrinsic limitations of the statistical model of iris rec...

This paper reviews the influence of alloying elements Mo, Nb, Ta and Ni on glass formation and corrosion resistance of Cu-based bulk metallic glasses (BMGs). In order to obtain basic knowledge for application to the industry, corrosion resistance of the Cu-Hf-Ti-(Mo, Nb, Ta, Ni) and Cu-Zr-Ag-Al-(Nb) bulk glassy alloy systems in various solutions are reported in this work. Moreover, X-ray photoe...

There is increasing evidence that androgens play a significant role in the development and progression of breast cancer. 5alpha-Reductase (SRD5A2) is an enzyme that is expressed in androgen-dependent tissues, and it catalyzes the reduction of testosterone to its more bioactive form, dihydrotestosterone, which then transactivates a number of genes. One of these genes encodes for prostate-specifi...

This article proposes two approaches to tool-supported automatic verification of dense real-time systems against scenario-based requirements, where a system is modeled as a network of timed automata (TAs) or as a set of driving live sequence charts (LSCs), and a requirement is specified as a separate monitored LSC chart. We make timed extensions to a kernel subset of the LSC language and define...

The competitive inclusion complexations in the ternary phenacetin/competitors/beta-cyclodextrin (beta-CyD) systems were investigated by the solubility method, where m-bromobenzoic acid (m-BBA) and o-toluic acid (o-TA) were used as competitors. The solubility changes of the drug and competitors as a function of beta-CyD concentration in the ternary systems were formulated using their stability c...

Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability properties. Though diagonal constraints do not add expressive power to classical TA, the standard forward analysis algorithm is not correct for this model. In this paper we survey several approaches to handle diagona...

We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA), and a scenario-based requirement is specified as a Live Sequence Chart (LSC). We define a trace-based semantics for a kernel subset of the LSC language. By equivalently translating an LSC chart into an observer TA and then n...