An aspect-oriented and model-driven approach for managing dynamic variability

Constructing and executing distributed systems that can adapt to their operating context in order to sustain provided services and the service qualities are complex tasks. Managing adaptation of multiple, interacting services is particularly difficult since these services tend to be distributed across the system, interdependent and sometimes tangled with other services. Furthermore, the exponential growth of the number of potential system configurations derived from the variabilities of each service need to be handled. Current practices of writing low-level reconfiguration scripts as part of the system code to handle run time adaptation are both error prone and time consuming and make adaptive systems difficult to validate and evolve. In this paper, we propose to combine model driven and aspect oriented techniques to better cope with the complexities of adaptive systems construction and execution, and to handle the problem of exponential growth of the number of possible configurations. Combining these techniques allows us to use high level domain abstractions, simplify the representation of variants and limit the problem pertaining to the combinatorial explosion of possible configurations. In our approach we also use models at runtime to generate the adaptation logic by comparing the current configuration of the system to a composed model representing the configuration we want to reach. © 2008 Springer-Verlag Berlin Heidelberg.

Run-time model evaluation for requirements model-driven self-adaptation

A self-adaptive system adjusts its configuration to tolerate changes in its operating environment. To date, requirements modeling methodologies for self-adaptive systems have necessitated analysis of all potential system configurations, and the circumstances under which each is to be adopted. We argue that, by explicitly capturing and modelling uncertainty in the operating environment, and by verifying and analysing this model at runtime, it is possible for a system to adapt to tolerate some conditions that were not fully considered at design time. We showcase in this paper our tools and research results. © 2012 IEEE.

Generalized mean field approximation for parallel dynamics of the Ising model

The dynamics of the non-equilibrium Ising model with parallel updates is investigated using a generalized mean field approximation that incorporates multiple two-site correlations at any two time steps, which can be obtained recursively. The proposed method shows significant improvement in predicting local system properties compared to other mean field approximation techniques, particularly in systems with symmetric interactions. Results are also evaluated against those obtained from Monte Carlo simulations. The method is also employed to obtain parameter values for the kinetic inverse Ising modeling problem, where couplings and local field values of a fully connected spin system are inferred from data. © 2014 IOP Publishing Ltd and SISSA Medialab srl.

Quasi-lossless optical links for broad-band transmission and data processing

We present the first experimental implementation of a recently designed quasi-lossless fiber span with strongly reduced signal power excursion. The resulting fiber waveguide medium can be advantageously used both in lightwave communications and in all-optical nonlinear data processing. © 2005 IEEE.

Quasi-lossless spans for broadband transmission and data processing

We present the first experimental implementation of a recently designed quasi-lossless fibre span with strongly reduced signal power excursion. The resulting fibre waveguide medium can be advantageously used both in lightwave communications and in all-optical nonlinear data processing.

Dynamics of pulsed flow in an elastic tube

Internal haemorrhage, often leading to cardio-vascular arrest happens to be one of the prime sources of high fatality rates in mammals. We propose a simplistic model of fluid flow in our attempt to specify the location of the haemorrhagic spot, which, if located accurately, could possibly be operated leading to an instant cure. The model we employ for the purpose is basically fluid mechanical in origin and consists of a viscous fluid, pumped by a periodic force and flowing through an elastic tube. The analogy is with that of blood, pumped from the heart and flowing through an artery or vein. Our results, aided by graphical illustrations, match reasonably well with experimental observations.

Impact of high-performance work systems on individual- and branch-level performance:test of a multilevel model of intermediate linkages

We proposed and tested a multilevel model, underpinned by empowerment theory, that examines the processes linking high-performance work systems (HPWS) and performance outcomes at the individual and organizational levels of analyses. Data were obtained from 37 branches of 2 banking institutions in Ghana. Results of hierarchical regression analysis revealed that branch-level HPWS relates to empowerment climate. Additionally, results of hierarchical linear modeling that examined the hypothesized cross-level relationships revealed 3 salient findings. First, experienced HPWS and empowerment climate partially mediate the influence of branch-level HPWS on psychological empowerment. Second, psychological empowerment partially mediates the influence of empowerment climate and experienced HPWS on service performance. Third, service orientation moderates the psychological empowerment-service performance relationship such that the relationship is stronger for those high rather than low in service orientation. Last, ordinary least squares regression results revealed that branch-level HPWS influences branch-level market performance through cross-level and individual-level influences on service performance that emerges at the branch level as aggregated service performance. © 2011 American Psychological Association.

About Methods of Mathematical Modelling in the Development of Information Systems

This article describes the approach, which allows to develop information systems without taking into consideration details of physical storage of the relational model and type database management system. Described in terms of graph model, this approach allows to construct several algorithms, for example, for verification application domain. This theory was introduced into operation testing as a part of CASE-system METAS.

Development, Annotation and Protection of Digital Archive “Bulgarian Folklore Heritage”

The key to prosperity in today's world is access to digital content and skills to create new content. Investigations of folklore artifacts is the topic of this article, presenting research related to the national program „Knowledge Technologies for Creation of Digital Presentation and Significant Repositories of Folklore Heritage” (FolkKnow). FolkKnow aims to build a digital multimedia archive "Bulgarian Folklore Heritage” (BFH) and virtual information portal with folk media library of digitized multimedia objects from a selected collection of the fund of Institute of Ethnology and Folklore Studies with Ethnographic Museum (IEFSEM) of the Bulgarian Academy of Science (BAS). The realization of the project FolkKnow gives opportunity for wide social applications of the multimedia collections, for the purposes of Interactive distance learning/self-learning, research activities in the field of Bulgarian traditional culture and for the cultural and ethno-tourism. We study, analyze and implement techniques and methods for digitization of multimedia objects and their annotation. In the paper are discussed specifics approaches used to building and protect a digital archive with multimedia content. Tasks can be systematized in the following guidelines: * Digitization of the selected samples * Analysis of the objects in order to determine the metadata of selected artifacts from selected collections and problem areas * Digital multimedia archive * Socially-oriented applications and virtual exhibitions artery * Frequency dictionary tool for texts with folklore themes * A method of modern technologies of protecting intellectual property and copyrights on digital content developed for use in digital exposures.

Em Algorithm for MLE of a Probit Model for Multiple Ordinal Outcomes

The correlated probit model is frequently used for multiple ordered data since it allows to incorporate seamlessly different correlation structures. The estimation of the probit model parameters based on direct maximization of the limited information maximum likelihood is a numerically intensive procedure. We propose an extension of the EM algorithm for obtaining maximum likelihood estimates for a correlated probit model for multiple ordinal outcomes. The algorithm is implemented in the free software environment for statistical computing and graphics R. We present two simulation studies to examine the performance of the developed algorithm. We apply the model to data on 121 women with cervical or endometrial cancer. Patients developed normal tissue reactions as a result of post-operative external beam pelvic radiotherapy. In this work we focused on modeling the effects of a genetic factor on early skin and early urogenital tissue reactions and on assessing the strength of association between the two types of reactions. We established that there was an association between skin reactions and polymorphism XRCC3 codon 241 (C>T) (rs861539) and that skin and urogenital reactions were positively correlated. ACM Computing Classification System (1998): G.3.

Data Mining for Software Development Life Cycle Quality Management

Computer software plays an important role in business, government, society and sciences. To solve real-world problems, it is very important to measure the quality and reliability in the software development life cycle (SDLC). Software Engineering (SE) is the computing field concerned with designing, developing, implementing, maintaining and modifying software. The present paper gives an overview of the Data Mining (DM) techniques that can be applied to various types of SE data in order to solve the challenges posed by SE tasks such as programming, bug detection, debugging and maintenance. A specific DM software is discussed, namely one of the analytical tools for analyzing data and summarizing the relationships that have been identified. The paper concludes that the proposed techniques of DM within the domain of SE could be well applied in fields such as Customer Relationship Management (CRM), eCommerce and eGovernment. ACM Computing Classification System (1998): H.2.8.

Application and use of isothermal calorimetry in pharmaceutical development

There are many steps involved in developing a drug candidate into a formulated medicine and many involve analysis of chemical interaction or physical change. Calorimetry is particularly suited to such analyses as it offers the capacity to observe and quantify both chemical and physical changes in virtually any sample. Differential scanning calorimetry (DSC) is ubiquitous in pharmaceutical development, but the related technique of isothermal calorimetry (IC) is complementary and can be used to investigate a range of processes not amenable to analysis by DSC. Typically, IC is used for longer-term stability indicating or excipient compatibility assays because both the temperature and relative humidity (RH) in the sample ampoule can be controlled. However, instrument design and configuration, such as titration, gas perfusion or ampoule-breaking (solution) calorimetry, allow quantification of more specific values, such as binding enthalpies, heats of solution and quantification of amorphous content. As ever, instrument selection, experiment design and sample preparation are critical to ensuring the relevance of any data recorded. This article reviews the use of isothermal, titration, gas-perfusion and solution calorimetry in the context of pharmaceutical development, with a focus on instrument and experimental design factors, highlighted with examples from the recent literature. © 2011 Elsevier B.V.

Measuring employee innovation:a review of existing scales and the development of the innovative behavior and innovation support inventories across cultures

Purpose - The paper develops a model of employee innovative behavior conceptualizing it as distinct from innovation outputs and as a multi-faceted behavior rather than a simple count of ‘innovative acts’ by employees. It understands individual employee innovative behaviors as a micro-foundation of firm intrapreneurship that is embedded in and influenced by contextual factors such as managerial, organizational and cultural support for innovation. Building from a review of existing employee innovative behavior scales and theoretical considerations we develop and validate the Innovative Behavior Inventory (IBI) and the Innovation Support Inventory (ISI). Design/methodology/approach – Two pilot studies, a third validation study in the Czech Republic and a fourth cross-cultural validation study using population representative samples from Switzerland, Germany, Italy and the Czech Republic (N=2812 employees and 450 entrepreneurs) were conducted. Findings - Both inventories were reliable and showed factorial, criterion, convergent and discriminant validity as well as cross-cultural equivalence. Employee innovative behavior was supported as comprising of idea generation, idea search, idea communication, implementation starting activities, involving others and overcoming obstacles. Managerial support was the most proximal contextual influence on innovative behavior and mediated the effect of organizational support and national culture. Originality/value - The paper advances our understanding of employee innovative behavior as a multi-faceted phenomenon and the contextual factors influencing it. Where past research typically focuses on convenience samples within a particular country, we offer first robust evidence that our model of employee innovative behavior generalizes across cultures and types of samples. Our model and the IBI and ISI inventories enable researchers to build a deeper understanding of the important micro-foundation underpinning intrapreneurial behavior in organizations and allow practitioners to identify their organizations’ strengths and weaknesses related to intrapreneurship.

The efficacy of the Ellison model as a retention initiative for first semester freshmen

The freshman year is the most critical year of matriculation for students in higher education. One in four freshman students drops out of higher education after the first year. In fact, the first two to six weeks of college represent a very critical transition period when students make the decision to persist or depart from the institution. Many students leave because they are unable to make a connection with the institution. Retention is often profoundly affected by student involvement in the academic environment, satisfaction with the campus climate and the institution's response to diversity. Therefore, the purpose of this study was to examine and evaluate an effective institutional response that promotes freshman retention and academic success. The tenets (diversity training, conflict management, and community building) of a mentoring model were applied to the freshman experience seminar class (experimental group) as a pedagogical method of instruction to determine its efficacy as a retention initiative when compared with the traditional freshman experience seminar class (comparison group). ^ The quantitative study employed a quasi-experimental research design based on Astin's (1993) I-E-O model. The model examined the relationships between the characteristics students bring with them to college, called inputs, their experiences in the environment during college, and the outcomes students achieved during matriculation. Fifty-two students enrolled in the freshman seminar class participated in the study. ^ Demographic data and input variables between groups were analyzed using chi-square, t-tests and multivariate analyses. Overall, students in the experimental group had significantly higher satisfaction (campus climate) scores than the comparison group. An analysis of the students' willingness to interact with others from diverse groups indicated a significant difference between groups, with the experimental group scoring higher than the comparison group. Students in the experimental group were significantly more involved in campus activities than students in the comparison group. No significant differences were found between groups relative to the mean grade point average and re-enrollment for fall semester 2001. ^ While the mentoring model did not directly affect re-enrollment of students, the model did promote student satisfaction with the institution, an appreciation for diversity of contact and it encouraged involvement in the campus community. These are all essential outcomes of a quality retention program. ^

The role of temporal synchrony in the facilitation of perceptual learning during prenatal development

This study explored the critical features of temporal synchrony for the facilitation of prenatal perceptual learning with respect to unimodal stimulation using an animal model, the bobwhite quail. The following related hypotheses were examined: (1) the availability of temporal synchrony is a critical feature to facilitate prenatal perceptual learning, (2) a single temporally synchronous note is sufficient to facilitate prenatal perceptual learning, with respect to unimodal stimulation, and (3) in situations where embryos are exposed to a single temporally synchronous note, facilitated perceptual learning, with respect to unimodal stimulation, will be optimal when the temporally synchronous note occurs at the onset of the stimulation bout. To assess these hypotheses, two experiments were conducted in which quail embryos were exposed to various audio-visual configurations of a bobwhite maternal call and tested at 24 hr after hatching for evidence of facilitated prenatal perceptual learning with respect to unimodal stimulation. Experiment 1 explored if intermodal equivalence was sufficient to facilitate prenatal perceptual learning with respect to unimodal stimulation. A Bimodal Sequential Temporal Equivalence (BSTE) condition was created that provided embryos with sequential auditory and visual stimulation in which the same amodal properties (rate, duration, rhythm) were made available across modalities. Experiment 2 assessed: (a) whether a limited number of temporally synchronous notes are sufficient for facilitated prenatal perceptual learning with respect to unimodal stimulation, and (b) whether there is a relationship between timing of occurrence of a temporally synchronous note and the facilitation of prenatal perceptual learning. Results revealed that prenatal exposure to BSTE was not sufficient to facilitate perceptual learning. In contrast, a maternal call that contained a single temporally synchronous note was sufficient to facilitate embryos’ prenatal perceptual learning with respect to unimodal stimulation. Furthermore, the most salient prenatal condition was that which contained the synchronous note at the onset of the call burst. Embryos’ prenatal perceptual learning of the call was four times faster in this condition than when exposed to a unimodal call. Taken together, bobwhite quail embryos’ remarkable sensitivity to temporal synchrony suggests that this amodal property plays a key role in attention and learning during prenatal development.