Capturing crossings: Convex hulls of segment and plane intersections

We give a simple O(nlogn) algorithm to compute the convex hull of the (possibly Θ(n²)) intersection points in an arrangement of n line segments in the plane. We also show an arrangement of dn hyperplanes in d-dimensions whose arrangement has Θ(nd−1) intersection points on the convex hull.     

A UML/OCL framework for the analysis of graph transformation rules

In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, together with the properties of interest (like rule applicability, conflicts or independence). The intermediate representation serves three purposes: (1) it allows the seamless integration of graph transformation rules with the MOF and OCL standards, and enables taking the meta-model and its OCL constraints (i.e. well-formedness rules) into account when verifying the correctness of the rules; (2) it permits the interoperability of graph transformation concepts with a number of standards-based model-driven development tools; and (3) it makes available a plethora of OCL tools to actually perform the rule analysis. This approach is especially useful to analyse the operational semantics of Domain Specific Visual Languages. We have automated these ideas by providing designers with tools for the graphical specification and analysis of graph transformation rules, including a back-annotation mechanism that presents the analysis results in terms of the original language notation.     

Best position algorithms for efficient top-k query processing

The general problem of answering top-k queries can be modeled using lists of data items sorted by their local scores. The main algorithm proposed so far for answering top-k queries over sorted lists is the Threshold Algorithm (TA). However, TA may still incur a lot of useless accesses to the lists. In this paper, we propose two algorithms that are much more efficient than TA. First, we propose the best position algorithm (BPA). For any database instance (i.e. set of sorted lists), we prove that BPA stops as early as TA, and that its execution cost is never higher than TA. We show that there are databases over which BPA executes top-k queries O(m) times faster than that of TA, where m is the number of lists. We also show that the execution cost of our algorithm can be (m−1) times lower than that of TA. Second, we propose the BPA2 algorithm, which is much more efficient than BPA. We show that the number of accesses to the lists done by BPA2 can be about (m−1) times lower than that of BPA. We evaluated the performance of our algorithms through extensive experimental tests. The results show that over our test databases, BPA and BPA2 achieve significant performance gains in comparison with TA.     

Visual specification of measurements and redesigns for domain specific visual languages

Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven software development. Tool support for measurements and redesigns becomes essential to help developers improve the quality of their models. However, developing such helper tools for the wide variety of (frequently domain specific) visual notations used by software engineers is a hard and repetitive task that does not take advantage from previous developments, thus being frequently forgotten.In this paper we present our approach for the visual specification of measurements and redesigns for Domain Specific Visual Languages (DSVLs). With this purpose, we introduce a novel DSVL called SLAMMER that contains generalisations of some of the more used types of internal product measurements and redesigns. The goal is to facilitate the task of defining measurements and redesigns for any DSVL, as well as the generation of tools from such specification reducing or eliminating the necessity of coding. We rely on the use of visual patterns for the specification of the relevant elements for each measurement and redesign type. In addition, SLAMMER allows the specification of redesigns either procedurally or by means of graph transformation rules. These redesigns can be triggered when the measurements reach a certain threshold.These concepts have been implemented in the meta-modelling tool AToM³. In this way, when a DSVL is designed, it is possible to specify measurements and redesigns that will become available in the final modelling environment generated for the language. As an example, we show a case study in the web modelling domain.     

Stepwise dissection and visualization of the catalytic mechanism of haloalkane dehalogenase LinB using molecular dynamics simulations and computer graphics

The different steps of the dehalogenation reaction carried out by LinB on three different substrates have been characterized using a combination of quantum mechanical calculations and molecular dynamics simulations. This has allowed us to obtain information in atomic detail about each step of the reaction mechanism, that is, substrate entrance and achievement of the near-attack conformation, transition state stabilization within the active site, halide stabilization, water molecule activation and subsequent hydrolytic attack on the ester intermediate with formation of alcohol, and finally product release. Importantly, no bias or external forces were applied during the whole procedure so that both intermediates and products were completely free to sample configuration space in order to adapt to the plasticity of the active site and/or search for an exit. Differences in substrate reactivity were found to be correlated with the ease of adopting the near-attack conformation and two different exit pathways were found for product release that do not interfere with substrate entrance. Additional support for the different entry and exit pathways was independently obtained from an examination of the enzyme's normal modes.     

A Java simulator of Rescorla and Wagner's prediction error model and configural cue extensions

In this paper we present the "R&W Simulator" (version 3.0), a Java simulator of Rescorla and Wagner's prediction error model of learning. It is able to run whole experimental designs, and compute and display the associative values of elemental and compound stimuli simultaneously, as well as use extra configural cues in generating compound values; it also permits change of the US parameters across phases. The simulator produces both numerical and graphical outputs, and includes a functionality to export the results to a data processor spreadsheet. It is user-friendly, and built with a graphical interface designed to allow neuroscience researchers to input the data in their own "language". It is a cross-platform simulator, so it does not require any special equipment, operative system or support program, and does not need installation. The "R&W Simulator" (version 3.0) is available free.     

Mental Health of Lesbian, Gay, Bisexual, and Heterosexual Siblings: Effects of Gender, Sexual Orientation, and Family.

Self-identified lesbian, gay male, and bisexual (LGB) individuals were recruited via convenience sampling, and they in turn recruited their siblings (79% heterosexual, 19% LGB). The resulting sample of 533 heterosexual, 558 lesbian or gay male, and 163 bisexual participants was compared on mental health variables and their use of mental health services. Multilevel modeling analyses revealed that sexual orientation predicted suicidal ideation, suicide attempts, self-injurious behavior, use of psychotherapy, and use of psychiatric medications over and above the effects of family adjustment. Sexual orientation was unrelated to current psychological distress, psychiatric hospitalizations, and self-esteem. This is the 1st study to model family effects on the mental health of LGB participants and their siblings. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Opposing Effects of D? and D? Receptor Activation on Odor Discrimination Learning.

Dopaminergic modulation of cortical activity has been implicated in the formation of reward associations. There is abundant evidence for dopaminergic effects on olfactory processing. Using an olfactory discrimination task, the authors show that D? and D? dopamine receptors can regulate rats' olfactory discrimination capacities and that the effects of receptor activation functionally oppose one another. Injection of either the D? agonist SKF 38393 (10 mg/kg) or the D? antagonist spiperone (0.62 mg/kg) facilitated the discrimination of similar odorants but had no effect on the discrimination of dissimilar odorants, whereas both the D, antagonist SCH 23390 (0.025 mg/kg) and the D? agonist quinpirole (0.2 mg/kg) significantly impaired rats' ability to discriminate similar and dissimilar odorants. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Creation of Faceted Polyhedral Microgels from Compressed Emulsions

Compressed monodisperse emulsions in confined space exhibit highly ordered structures. The influence of the volume fraction and the confinement geometry on the organized structures is investigated and the mechanism by which structural transition occurs is studied. Based on the understanding of ordering behavior of compressed emulsions, a simple and high‐throughput method to fabricate monodisperse polyhedral microgels using the emulsions as the template is developed. By controlling the geometry of the confined spaces, a variety of shapes such as hexagonal prism, Fejes Toth honeycomb prism, truncated octahedron, pyritohedron, and truncated hexagonal trapezohedron are implemented. Moreover, the edge sharpness of each shape is controllable by adjusting the drop volume fraction. This design principle can be readily extended to other shapes and materials, and therefore provides a useful means to create polyhedral microparticles for both fundamental study and practical applications.