Grid and Simulation of Digital Communication Systems

The purpose of this paper is to turn researchers' attention to the use of grid computing for simulating digital communications and its large potential for decreasing significantly the duration of the experiments and for improving the statistical representativeness and reliability of the obtained results.

Comparison between Numerical and Simulation Methods for Age-dependent Branching Models with Immigration

2000 Mathematics Subject Classification: primary: 60J80, 60J85, secondary: 62M09, 92D40

Fractal Analysis for Cancer Research: Case Study and Simulation of Fractals

2010 Mathematics Subject Classification: 65D18.

On modeling and satisfaction of non-functional requirements using cloud computing

Specification of the non-functional requirements of applications and determining the required resources for their execution are activities that demand a great deal of technical knowledge, frequently resulting in an inefficient use of resources. Cloud computing is an alternative for provisioning of resources, which can be done using either the provider's own infrastructure or the infrastructure of one or more public clouds, or even a combination of both. It enables more flexibly/elastic use of resources, but does not solve the specification problem. In this paper we present an approach that uses models at runtime to facilitate the specification of non-functional requirements and resources, aiming to facilitate dynamic support for application execution in cloud computing environments with shared resources. © 2013 IEEE.

Human brain slices for epilepsy research:pitfalls, solutions and future challenges

Increasingly, neuroscientists are taking the opportunity to use live human tissue obtained from elective neurosurgical procedures for electrophysiological studies in vitro. Access to this valuable resource permits unique studies into the network dynamics that contribute to the generation of pathological electrical activity in the human epileptic brain. Whilst this approach has provided insights into the mechanistic features of electrophysiological patterns associated with human epilepsy, it is not without technical and methodological challenges. This review outlines the main difficulties associated with working with epileptic human brain slices from the point of collection, through the stages of preparation, storage and recording. Moreover, it outlines the limitations, in terms of the nature of epileptic activity that can be observed in such tissue, in particular, the rarity of spontaneous ictal discharges, we discuss manipulations that can be utilised to induce such activity. In addition to discussing conventional electrophysiological techniques that are routinely employed in epileptic human brain slices, we review how imaging and multielectrode array recordings could provide novel insights into the network dynamics of human epileptogenesis. Acute studies in human brain slices are ultimately limited by the lifetime of the tissue so overcoming this issue provides increased opportunity for information gain. We review the literature with respect to organotypic culture techniques that may hold the key to prolonging the viability of this material. A combination of long-term culture techniques, viral transduction approaches and electrophysiology in human brain slices promotes the possibility of large scale monitoring and manipulation of neuronal activity in epileptic microcircuits.

Guest editors’ introduction: is the HRM process important? Past, current, and future challenges

Ten years ago, Bowen and Ostroff (2004) criticized the one-sided focus on the content-based approach, where researchers take into account the inherent virtues (or vices) associated with the content of HR practices to explain performance. They explicitly highlight the role of the psychological processes through which employees attach meaning to HRM. In this first article of the special section entitled “Is the HRM Process Important?” we present an overview of past, current, and future challenges. For past challenges, we attempt to categorize the various research streams that originated from the seminal piece. To outline current challenges, we present the results of a content analysis of the original 15 articles put forward for the special section. In addition, we provide the overview of a caucus focused on this theme that was held at the Academy of Management annual meeting in Boston in 2012. In conclusion, we discuss future challenges relating to the HRM process approach and review the contributions that have been selected—against a competitive field—for this special issue

Intenzitásalapú modellezés és a mértékcsere (Intensity-based modeling and thje change of measure)

A dolgozatban a hitelderivatívák intenzitásalapú modellezésének néhány kérdését vizsgáljuk meg. Megmutatjuk, hogy alkalmas mértékcserével nemcsak a duplán sztochasztikus folyamatok, hanem tetszőleges intenzitással rendelkező pontfolyamat esetén is kiszámolható az összetett kár- és csődfolyamat eloszlásának Laplace-transzformáltja. _____ The paper addresses questions concerning the use of intensity based modeling in the pricing of credit derivatives. As the specification of the distribution of the lossprocess is a non-trivial exercise, the well-know technique for this task utilizes the inversion of the Laplace-transform. A popular choice for the model is the class of doubly stochastic processes given that their Laplace-transforms can be determined easily. Unfortunately these processes lack several key features supported by the empirical observations, e.g. they cannot replicate the self-exciting nature of defaults. The aim of the paper is to show that by using an appropriate change of measure the Laplace-transform can be calculated not only for a doubly stochastic process, but for an arbitrary point process with intensity as well. To support the application of the technique, we investigate the e®ect of the change of measure on the stochastic nature of the underlying process.

The East-Central European new donors: mapping capacity building and remaining challenges

In the past decade, the East-Central European countries were provided significant external capacity building assistance in order to help their emergence as donors of foreign aid. This paper aims to map these capacity development programs and identify where they have helped and what challenges remain for the new donors. The main conclusion is that while capacity building has been instrumental in building organizational structures, working procedures and training staff, deeper underlying problems such as low levels of financing, lacking political will, the need for visibility and low staff numbers continue to hinder the new international development policies.

Seasonal dynamic pattern analysis in service of climate change research. A methodical case-study - monitoring and simulation based on an aquatic insect community

Our aim was to approach an important and well-investigable phenomenon – connected to a relatively simple but real field situation – in such a way, that the results of field observations could be directly comparable with the predictions of a simulation model-system which uses a simple mathematical apparatus and to simultaneously gain such a hypothesis-system, which creates the theoretical opportunity for a later experimental series of studies. As a phenomenon of the study, we chose the seasonal coenological changes of aquatic and semiaquatic Heteroptera community. Based on the observed data, we developed such an ecological model-system, which is suitable for generating realistic patterns highly resembling to the observed temporal patterns, and by the help of which predictions can be given to alternative situations of climatic circumstances not experienced before (e.g. climate changes), and furthermore; which can simulate experimental circumstances. The stable coenological state-plane, which was constructed based on the principle of indirect ordination is suitable for unified handling of data series of monitoring and simulation, and also fits for their comparison. On the state-plane, such deviations of empirical and model-generated data can be observed and analysed, which could otherwise remain hidden.

Technology Policy, R&D, and Innovation in China Traditional Approaches, and New Challenges

China’s long term development path has always been strongly infl uenced by its own ways of innovation and invention. Though around one thousand years ago China had been undoubtedly the most advanced country in the world, by the 17th century Europe had surpassed it. And when the PRC was founded in 1949, it was only a poor, severely underdeveloped country without adequate, modern technologies. In the last three decades, however, the country has achieved remarkable success in economic terms: China has become the second largest economy in the world, and its new economic, fi nancial and trading power has made it clear that the dominance of the USA and Europe has passed. At the same time China is still lagging behind technologically. Though there are huge efforts to narrow the gap, it is extremely diffi cult to build up a new technological and innovation system without deep, organic foundations. China, however, has rich experience of innovations from the past, and the question is whether it is possible to use them to formulate a new technology policy. In this paper I will try to examine China’s technology system, its functioning and its prospects, while comparing it with the traditional ways of innovations in China. I would like to show that current technology policy is, at least partly, based upon traditional values, and that high tech research, R&D, and state of the art innovations can be reconcilable with several thousand-year-old approaches.

How much is corporate cash-pooling worth? Modelling and simulation

The paper analyzes a special corporate banking product, the so called cash-pool, which gained remarkable popularity in the recent years as firms try to centralize and manage their liquidity more efficiently. The novelty of this paper is the formalization of a valuation model which can serve as a basis for a Monte Carlo simulation to assess the most important benefits of the firms arising from the pooling of their cash holdings. The literature emphasizes several benefits of cash-pooling such as interest rate savings, economy of scale and reduced cash-flow volatility. The presented model focuses on the interest rate savings complemented with a new aspect: the reduced counterparty risk toward the bank. The main conclusion of the analysis is that the value of a cash-pool is higher in case of firms with large, diverse and volatile cash-flows having less access to the capital markets especially if the partner bank is risky and offers a high interest spread. It is also shown that cash-pooling is not the privilege of large multinational firms any more as the initial direct costs can be easily regained within a year even in the case of SMEs.

ASIC microcontroller design of a radiation monitoring system using VHDL modeling and FPGA implementation

Three new technologies have been brought together to develop a miniaturized radiation monitoring system. The research involved (1) Investigation a new HgI$\sb2$ detector. (2) VHDL modeling. (3) FPGA implementation. (4) In-circuit Verification. The packages used included an EG&G's crystal(HgI$\sb2$) manufactured at zero gravity, the Viewlogic's VHDL and Synthesis, Xilinx's technology library, its FPGA implementation tool, and a high density device (XC4003A). The results show: (1) Reduced cycle-time between Design and Hardware implementation; (2) Unlimited Re-design and implementation using the static RAM technology; (3) Customer based design, verification, and system construction; (4) Well suited for intelligent systems. These advantages excelled conventional chip design technologies and methods in easiness, short cycle time, and price in medium sized VLSI applications. It is also expected that the density of these devices will improve radically in the near future. ^

A methodology for formally modeling and analyzing software architecture of mobile agent systems

A methodology for formally modeling and analyzing software architecture of mobile agent systems provides a solid basis to develop high quality mobile agent systems, and the methodology is helpful to study other distributed and concurrent systems as well. However, it is a challenge to provide the methodology because of the agent mobility in mobile agent systems.^ The methodology was defined from two essential parts of software architecture: a formalism to define the architectural models and an analysis method to formally verify system properties. The formalism is two-layer Predicate/Transition (PrT) nets extended with dynamic channels, and the analysis method is a hierarchical approach to verify models on different levels. The two-layer modeling formalism smoothly transforms physical models of mobile agent systems into their architectural models. Dynamic channels facilitate the synchronous communication between nets, and they naturally capture the dynamic architecture configuration and agent mobility of mobile agent systems. Component properties are verified based on transformed individual components, system properties are checked in a simplified system model, and interaction properties are analyzed on models composing from involved nets. Based on the formalism and the analysis method, this researcher formally modeled and analyzed a software architecture of mobile agent systems, and designed an architectural model of a medical information processing system based on mobile agents. The model checking tool SPIN was used to verify system properties such as reachability, concurrency and safety of the medical information processing system. ^ From successful modeling and analyzing the software architecture of mobile agent systems, the conclusion is that PrT nets extended with channels are a powerful tool to model mobile agent systems, and the hierarchical analysis method provides a rigorous foundation for the modeling tool. The hierarchical analysis method not only reduces the complexity of the analysis, but also expands the application scope of model checking techniques. The results of formally modeling and analyzing the software architecture of the medical information processing system show that model checking is an effective and an efficient way to verify software architecture. Moreover, this system shows a high level of flexibility, efficiency and low cost of mobile agent technologies. ^

The construction and optimization of an ion mobility spectrometer for the analysis of explosives and drugs

Today, over 15,000 Ion Mobility Spectrometry (IMS) analyzers are employed at worldwide security checkpoints to detect explosives and illicit drugs. Current portal IMS instruments and other electronic nose technologies detect explosives and drugs by analyzing samples containing the headspace air and loose particles residing on a surface. Canines can outperform these systems at sampling and detecting the low vapor pressure explosives and drugs, such as RDX, PETN, cocaine, and MDMA, because these biological detectors target the volatile signature compounds available in the headspace rather than the non-volatile parent compounds of explosives and drugs.^ In this dissertation research volatile signature compounds available in the headspace over explosive and drug samples were detected using SPME as a headspace sampling tool coupled to an IMS analyzer. A Genetic Algorithm (GA) technique was developed to optimize the operating conditions of a commercial IMS (GE Itemizer 2), leading to the successful detection of plastic explosives (Detasheet, Semtex H, and C-4) and illicit drugs (cocaine, MDMA, and marijuana). Short sampling times (between 10 sec to 5 min) were adequate to extract and preconcentrate sufficient analytes (> 20 ng) representing the volatile signatures in the headspace of a 15 mL glass vial or a quart-sized can containing ≤ 1 g of the bulk explosive or drug.^ Furthermore, a research grade IMS with flexibility for changing operating conditions and physical configurations was designed and fabricated to accommodate future research into different analytes or physical configurations. The design and construction of the FIU-IMS were facilitated by computer modeling and simulation of ion’s behavior within an IMS. The simulation method developed uses SIMION/SDS and was evaluated with experimental data collected using a commercial IMS (PCP Phemto Chem 110). The FIU-IMS instrument has comparable performance to the GE Itemizer 2 (average resolving power of 14, resolution of 3 between two drugs and two explosives, and LODs range from 0.7 to 9 ng). ^ The results from this dissertation further advance the concept of targeting volatile components to presumptively detect the presence of concealed bulk explosives and drugs by SPME-IMS, and the new FIU-IMS provides a flexible platform for future IMS research projects.^