Composite Distributive Lattices as Annotation Domains for Mediators

In a mediator system based on annotated logics it is a suitable requirement to allow annotations from different lattices in one program on a per-predicate basis. These lattices however may be related through common sublattices, hence demanding predicates which are able to carry combinations of annotations, or access to components of annotations. We show both demands to be satisifiable by using various composition operations on the domain of complete bounded distributive lattices or bilattices, most importantly the free distributive product. An implementation of the presented concepts, based on the KOMET implementation of SLG-AL with constraints, is briefly introduced.     

How to hit scylla without avoiding charybdis: Comment on Perruchet, Tyler, Galland, and Peereman (2004).

M. Pe?a, L. L. Bonatti, M. Nespor, and J. Mehler (see record 2002-06215-001) argued that humans compute nonadjacent statistical relations among syllables in a continuous artificial speech stream to extract words, but they use other computations to determine the structural properties of words. Instead, when participants are familiarized with a segmented stream, structural generalizations about words are quickly established. P. Perruchet, M. D. Tyler, N. Galland, and R. Peereman (see record 2004-21166-008) criticized M. Pe?a et al.'s work and dismissed their results. In this article, the authors show that P. Perruchet et al.'s criticisms are groundless. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Detecting feature interaction in CPL

This article addresses the problem of detecting feature interactions in the area of telephony systems design. The proposed approach consists of two phases: filtering and testing. The filtering phase detects possible interactions by identifying incoherencies in a logic specification of the main elements of the features, consisting of preconditions, triggers, results and constraints. If incoherencies are identified, then an interaction is suspected, test cases corresponding to the suspected interaction are generated and testing is applied to see if the interaction actually exists. Two case studies, carried out on established benchmarks, show that this approach gives good results in practice. Nicolas Gorse received a Master of Computer Science from the University of Ottawa, School of Information Technology and Engineering in 2001.He is currently a Ph.D. candidate in the Département d'Informatique et Recherche Opérationnelle of the Université de Montréal. His research interests relate to formal methods and their application in the design and verification of complex electronic systems at high levels of abstraction. Luigi Logrippo received a degree in law from the University of Rome (Italy) in 1961, and in the same year he started a career in computing. He worked for several computer companies and in 1969 he obtained a Master of Computer Science from the University of Manitoba, followed by a Ph.D. of Computer Science from the University of Waterloo in 1974.He was with the University of Ottawa for 29 years, where he was Chair of the Computer Science Department for 7 years. In 2002 he moved to the Université du Québec en Outaouais, Département d'Informatique et Ingénierie, while remaining associated with the University of Ottawa as an Adjunct Professor.His interest area is formal and logic-based methods and their applications in the design of communications systems. For a number of years he worked on the development of tools and methods for the language LOTOS. Current research deals with the formal analysis of advanced communications services made possible by internet telephony, of the policies that govern them, and of their interactions, in application areas such as presence features and e-commerce contracts. Jacques Sincennes is a research programmer/systems analyst at the University of Ottawa, School of Information Technology and Engineering. He has held this position for the past 17 years. He is coauthor of a number of papers and a patent application.An erratum to this article is available at .     

Source of error in calculation of optical diffuse reflectance from turbid media using diffusion theory

Diffusion theory and similarity relations were used to calculate the optical diffuse reflectance of an infinitely narrow laser beam incident upon a semi-infinite turbid medium. The results were analyzed by comparison with the accurate results from Monte Carlo simulations. Because a large number of photon packets were traced, the variance of the results from Monte Carlo simulations was small enough to reveal the detailed defects of the diffusion theory and the similarity relations, which are broadly used in photomedicine. We demonstrated that both diffusion theory and similarity relations provide very accurate results when the photon sources are isotropic and buried more deeply than one transport mean free path in turbid media. We found that the key factor affecting the accuracy of the diffusion theory application was the conversion from the infinitely narrow laser beam to an isotropic point source in turbid media.     

Predicting Addiction Severity Index (ASI) interviewer severity ratings for a computer-administered ASI.

The Addiction Severity Index (ASI) is a reliable and valid measure of problem severity among addicted patients. Concerns have been raised about the reliability of the Interviewer Severity Rating (ISR), a summary score for each of 7 domains. As part of an effort to build a computer-administered ASI, regression equations were developed to predict the ISR. Repeated resampling of a large dataset, consisting of 1,124 ASIs conducted by trained interviewers, permitted derivation of stable regression equations predicting the ISR for each ASI domain from patients' answers to preselected interview items. The resulting 7 Predicted Severity Ratings (PSRs) were tested on 8, standardized vignettes, with "gold standard," expert-generated ISRs. Reliabilities compared well with those of intensively trained interviewers. The PSRs could provide an alternative to potentially unreliable interviewer ratings, enhancing the ASI's role in treatment planning and treatment matching and make possible a computer-administered version of the ASI. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

The mannose 6-phosphate/insulin-like growth factor II receptor is a nanomolar affinity receptor for glycosylated human leukemia inhibitory factor

Comparison of the binding properties of non-glycosylated, glycosylated human leukemia inhibitory factor (LIF) and monoclonal antibodies (mAbs) directed at gp190/LIF-receptor beta subunit showed that most of the low affinity (nanomolar) receptors expressed by a variety of cell lines are not due to gp190. These receptors bind glycosylated LIF produced in Chinese hamster ovary cells (CHO LIF) (Kd = 6.9 nM) but not Escherichia coli-derived LIF or CHO LIF treated with endoglycosidase F. CHO LIF binding to these receptors is neither affected by anti-gp190 mAbs nor by anti-gp130 mAbs and is specifically inhibited by low concentrations of mannose 6-phosphate (Man-6-P) (IC50 = 40 microM), suggesting that they could be related to Man-6-P receptors. The identity of this LIF binding component with the Man-6-P/insulin-like growth factor-II receptor (Man-6-P/IGFII-R) was supported by several findings. (i) It has a molecular mass very similar to that of the Man-6-P/IGFII-R (270 kDa); (ii) the complex of LIF cross-linked to this receptor is immunoprecipitated by a polyclonal anti-Man-6-P/IGFII-R antibody; (iii) this antibody inhibits LIF and IGFII binding to the receptor with comparable efficiencies; (iv) soluble Man-6-P/IGFII-R purified from serum binds glycosylated LIF (Kd = 4.3 nM) but not E. coli LIF. The potential role of Man-6-P/IGFII-R in LIF processing and biological activity is discussed.     

Théorie de la propagation dans les fibres multimodales déformées aléatoirement. II. Application aux fibres à saut d’indice

The paraxial ray theory applied to randomly distorted multimode optical fibers in Part I is applied here to step-index fibers with microbending. This technique provides a stationary microbending loss equal to 6,27 λ/Δ dB/unit length, where γ denotes the spectral density of the curvature process and Δthe relative index change. The product of the square of the bandwidth improvement factor by the loss in dB is equal to 0,74 dB. The role of the distortion on bandwidth is illustrated for a 10 km long fiber, excited by a lambertian source.     

Verres formes dans les systemes Ga2S3La2X3MnS (X = S,O)

Preparation of glasses. Glass forming domains in the ternary systems [Ga₂S₃, (La₂S₃, La₂O₂S or La₂O₃), MnS]. Thermal behaviour. U.V. and visible spectroscopy. E.P.R. spectra. Manganese has an octahedral environment of sulfur.     

Etude longitudinale des inférences cinématiques chez le préadolescent et l'adolescent: evolution ou régression.

Investigated kinematic reasoning, the equation of the dimensions of time, space, and velocity. 282 students, aged 8–17 yrs, made judgments about a spatial representation of duration (the mark made by a vibrator on moving tape) and about the velocity of the tape. Results indicate 2 types of errors: (a) errors concerning the inverse relationship between velocity and space (VE errors) and (b) errors regarding the differentiation of duration relative to kinematic frame (T errors). VE type errors were mostly observed at 8–9 yrs of age, while T errors were observed between 10 and 17 yrs of age. An important result was an observed "return" to the T type error (after a time lapse of 1 yr) with Ss producing correct response patterns. Errors are analyzed within the context of a theoretical model of kinematic reasoning. (29 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)