Interactive Tools: Making UIMS Usable

The earliest UIMS provided primarily run-time facilities for interface management and a set of programming tools for the development of application from the implementation requirements with which many tool designers have approached UIMS design, there are also methodological requirements that have been seriously neglected. One reason is that interface design methodology is poorly understood and rarely axiomatic. Nevertheless, it is important that we formulate methodological theories and provide UIMS with tools that support them. This paper proposes a storyboard metaphor for the conceptual design of human-computer interfaces

On the theory of specification, implementation, and parametrization of abstract data types

ABSTRACT. In the framework of a category spec of equational speoficatlons of abstract data types, tmplementations are defined to be certain pairs of morphlsms with a common target Th~s concept covers, among others, arbitrary recurslon schemes for defining the derived operations It is shown that for given single steps of a multilevel tmplementatlon, there is always a multtlevel tmplementatlon composed of these steps, but there ts no effective construction of th~s overall implementauon Some suggestions are gtven for practtcal composition of tmplementat~ons Utdlzmg pushouts Parametric specifications and parameter assignments are defined to be spectal morphlsms in spec, and parameter substitution ~s made precise by means of pushouts Since actual parameters can agam be parametrtc, parameter subsututton can be tterated. Thts tterauon ts shown to be assoctatwe Whtle the subject is being treated on a syntactical level in terms of speclfieauons, the imtlal algebra approach ts adopted as providing an appropriate semantics for spec~ficauons, and the effects of the present concepts and results on the initial algebras are studie

Interspecific and interploidal gene flow in Central European Arabidopsis (Brassicaceae)

Background Effects of polyploidisation on gene flow between natural populations are little known. Central European diploid and tetraploid populations of Arabidopsis arenosa and A. lyrata are here used to study interspecific and interploidal gene flow, using a combination of nuclear and plastid markers. Results Ploidal levels were confirmed by flow cytometry. Network analyses clearly separated diploids according to species. Tetraploids and diploids were highly intermingled within species, and some tetraploids intermingled with the other species, as well. Isolation with migration analyses suggested interspecific introgression from tetraploid A. arenosa to tetraploid A. lyrata and vice versa, and some interploidal gene flow, which was unidirectional from diploid to tetraploid in A. arenosa and bidirectional in A. lyrata. Conclusions Interspecific genetic isolation at diploid level combined with introgression at tetraploid level indicates that polyploidy may buffer against negative consequences of interspecific hybridisation. The role of introgression in polyploid systems may, however, differ between plant species, and even within the small genus Arabidopsis, we find very different evolutionary fates when it comes to introgression

Automated Identification and Tracking of Deformation Twin Structures in Molecular Dynamics Simulations

Deformation twinning significantly influences the microstructure, texture, and mechanical properties of metals, necessitating comprehensive studies of twin formation and interactions. While experimental methods excel at analyzing individual samples, they often lack the capability for temporal analysis of twinned structures. Molecular dynamics simulations offer a temporal dimension, yet the absence of suitable tools for automated crystal twin identification has been a significant limitation. In this article, we introduce a novel computational tool integrated into the visualization and analysis software OVITO. Our tool automates the identification of coherent twin boundaries, links related twin boundaries, validates twin structures through orientation analysis, and tracks twins over time, providing quantifiable data and enabling in-depth investigations. Validation on a copper single crystal under shear loading demonstrates successful tracking of various twins, revealing their genesis and growth over multiple timesteps. This innovative approach promises to advance the computational materials science domain by facilitating the study of deformation twinning, offering profound insights into the behavior and mechanical performance of materials

CONTEXTUAL BOUNDARY FORMATION BY ONE-DIMENSIONAL EDGE DETECTION AND SCAN LINE MATCHING

No abstract available

CONTEXTUAL BOUNDARY FORMATION BY SCAN LINE MATCHING

In this paper an algorithm is given for generating linked edge boundaries between adjacent regions of different gray levels. In contrast with peak following algorithms, edges are treated as variable width regions, and the edge linking procedure is really a region grower. Edge linking is a parallel process on all the edges in pairs of adjacent scan lines, and contextual information in the direction of the scan lines is used to resolve ambiguous linking situations. The procedure relies heavily upon a one- dimensional edge detector that defers the formation of local edge interpretations until more informed decisions can be made by the edge linking procedure

Case Control Study on Dialysis Arthropathy: The Influence of Two Different Dialysis Membranes: Data from the EDTA Registry

In a retrospective case control study the prevalence of signs and symptoms of dialysis osteoarthropathy was analysed. Cases and controls had received over 9 years of maintenance haemodialysis uninterrupted by peritoneal dialysis or transplantation. The cases comprised 55 patients treated predominantly with polyacrylonitrile (AN69) dialysers. They were compared to a matched group dialysed exclusively with cellulosic membranes. Over 60% of all patients, cases and controls, showed one or more signs of disabling osteoarthropathy, with joint pains occurring more frequently in the older age groups. Twenty-seven of the 55 cases who had received less than 2 years of cellulosic membrane dialysis followed by 7-12 years of AN69 dialysis tended to have a lower prevalence of joint pains, carpal-tunnel syndrome and bone cysts. However, no statistically significant differences were obtained compared to the matched control group dialysed exclusively on cellulosic membranes (mostly cuprophane). The remaining 28 cases, who had been treated for more than 2 years with cellulosic membranes preceding the longer treatment period with polyacrylonitrile dialysers, showed a prevalence similar to that of their cellulosic controls. This study thus shows little, if any, influence of the two types of membranes on the prevalence of signs and symptoms of β2-microglobulin amyloidosi

Thermoionic Vacuum Arc (TVA) - one of the best suitable method for high purity compact smooth thin films deposition

Описан метод термоионной вакуумной дуги (ТВД) как новый наиболее подходящий метод для осаждения тонких пленок высокой чистоты с компактной структурой и очень гладких, удобный для получения пленок с наноструктурой. ТВД может производить источник плазмы чистых металлов внутри вакуумной камеры (включая высоковольтные условия), обеспечивая эффективную ионную бомбардировку наносимой пленки атомами напыляемого материала. Энергия ионов полностью контролируется и даже может изменяться в течение осаждения. Описана также возможность нанесения тонких пленок углерода, эти пленки полностью свободны от водорода.Описаний метод термойонної вакуумної дуги (ТВД) як новий найбільш придатний метод для осадження тонких плівок високої чистоти з компактною структурою та дуже гладких, який зручний для отримання плівок із наноструктурою. ТВД може генерувати джерело плазми чистих металів всередині вакуумної камери (включаючи високовольтні умови), забезпечуючи ефективне іонне бомбардування плівки, що наноситься, атомами матеріалу, який наноситься. Енергія іонів повністю контролюється і навіть може змінюватися протягом осадження. Описана також можливість нанесення тонких плівок вуглецю, ці плівки цілком вільні від водню.Thermionic Vacuum Arc (TVA) is described as a new very suitable for deposition of high purity thin films with compact structure and extremely smooth, just convenient for nanostructure film realization. TVA can generate pure metal vapor plasma source inside of a vacuumed vessel (including H. V. conditions), ensuring energetic ions bombardment of the just depositing material own atoms of the condensing film. The energy of ions can be fully controlled and changed even during deposition. Possibility of condense the carbon thin films is also described, these films being completely hydrogen free