This article presents an approach for the veriication of communication properties in large-scale real-world embedded systems by means of formal methods. It is illustrated by examples and results obtained during an industrial veriication project performed for a fault-tolerant system designed and implemented by Daimler-Benz Aerospace for the International Space Station ISS. The approach is based ...

Background Furosine (ɛ-N-2-furoylmethyl-L-lysine, FML) is an amino acid derivative, which is considered to be an important indicator of the extent of damage (deteriorating the quality of amino acid and proteins due to a blockage of lysine and a decrease in the digestibility of proteins) during the early stages of the Maillard reaction. In addition, FML has been proven to be harmful because it i...

The SAIBA framework proposes two interface languages to represent separately an intelligent agent’s communicative functions (or intents) and the multimodal behavior determining how the functions are accomplished with a particular multimodal realization. For the functional level, the Function Markup Language (FML) has been proposed. In this paper we summarize the current status of FML as discuss...

The purpose of the study was to evaluate the efficacy of an ophthalmic solution containing 0.1% fluorometholone (FML) and 0.1% sodium hyaluronate (HA) for the treatment of ocular dryness in Sjögren syndrome (SS) patients.Forty SS patients were randomly assigned to the FML or cyclosporin A (CsA) treatment groups. The FML group was treated with 0.1% FML and 0.1% HA, and the CsA group was treated ...

The potential effect of the fucose mannose ligand (FML)-vaccine on immunotherapy of canine visceral leishmaniasis was assayed on five mongrel dogs experimentally infected with Leishmania donovani and on 21 Leishmania chagasi naturally infected dogs when seropositive to FML but completely asymptomatic. The clinical signs of the experimentally infected, symptomatic dogs only disappeared after the...

The Fucose-Mannose Ligand (FML) of Leishmania donovani is a complex glycoproteic fraction. Its potential use as a tool for diagnosis of human visceral leishmaniasis was tested with human sera from Natal, Rio Grande do Norte, Brazil. The FML-ELISA test, showed 100% sensitivity and 96% specificity, identifying patients with overt kala-azar (p < 0.001, when compared to normal sera), and subjects w...

In order to enable collaboration and exchange of modules for generating multimodal communicative behaviours of robots and virtual agents, the SAIBA initiative envisions the definition of two representation languages. One of these is the Function Markup Language (FML). This language specifies the communicative intent behind an agent’s behaviour. Currently, several research groups have contribute...

In order to enable collaboration and exchange of modules for generating multimodal communicative behaviours of robots and virtual agents, the SAIBA initiative envisions the definition of two representation languages. One of these is the Functional Markup Language (FML). This language specifies the communicative intent behind an agent’s behaviour. Currently, several research groups have contribu...

PURPOSE To compare the outcome of photorefractive keratectomy (PRK) and complications in patients treated with either loteprednol etabonate 0.5% gel or prednisolone acetate 1% suspension and fluorometholone (fml) 0.1% suspension. SETTING John A Moran Eye Center, University of Utah, Salt Lake City, UT, USA. DESIGN Prospective, randomized, partially masked trial. METHODS PRK was performed o...

Notice that this is a much simpler function (e.g., no logs), and it is clear that the discrepancy between the obtained covariance matrix and the covariance matrix implied by the model (S-Σ) is minimized after weighting it by W. Although any W can be chosen for the weight matrix, most commonly, the inverse of the covariance matrix, S, is used in SEM packages. FGLS is asymptotically equivalent to...