Descripción: In this work we present the on-the-fly workload prediction and redistribution techniques used in Zeus [12, 13], a Distributed Model Checker that evolves from the tool Kronos [14]. After reviewing why it is so hard to have good speedups in distributed timed model checking, we present the methods used to get promising results when verifying reachability properties over timed automata [3]. © 2005 Elsevier B.V.

Descripción: A simple model that employs a periodic, planar array of parallel cylinders representing the nanotubes is presented. Using this method, the existence of several phase transitions in the film is demonstrated. These include both two-dimensional (2D) transitions and quasi-1D transitions.

Descripción: In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTL-reachability properties [1] over timed-automata [2]. Zeus was developed following a software architecture centric approach. It introduces some interesting features such as a priori graph partitioning, a sophisticated machinery to reach optimum performance (communication piggybacking and delayed messaging) and dead-time utilization, where every processor uses time intervals of inactivity to perform auxiliary, time-consuming tasks that will later speed up the rest of the computation. Although some good results have been obtained, early experiments pinpointed the difficulties of getting speedups using a parallel asynchronous version. We also propose some paths to overcome those obstacles. We would like to thank Sergio Yovine for making Kronos libraries available to us. © 2002 Published by Elsevier Science B.V.

Descripción: An atomistic model for Cu electrodeposition under nonequilibrium conditions is presented. Cu electrodeposition takes place with a height-dependent deposition rate that accounts for fluctuations in the local [formula presented] ions concentration at the interface, followed by surface diffusion. This model leads to an unstable interface with the development of protrusions and grooves. Subsequently the model is extended to account for the presence of organic additives, which compete with [formula presented] for adsorption at protrusions, leading to a stable interface with scaling exponents consistent with those of the Edwards-Wilkinson equation. The model reproduces the interface evolution experimentally observed for Cu electrodeposition in the absence and in the presence of organic additives. © 2002 The American Physical Society.

Descripción: We investigate the ideal and incompressible magnetohydrodynamic (MHD) equations in three space dimensions for the development of potentially singular structures. The methodology consists in implementing the fourfold symmetries of the Taylor-Green vortex generalized to MHD, leading to substantial computer time and memory savings at a given resolution; we also use a regridding method that allows for lower-resolution runs at early times, with no loss of spectral accuracy. One magnetic configuration is examined at an equivalent resolution of 61443 points and three different configurations on grids of 40963 points. At the highest resolution, two different current and vorticity sheet systems are found to collide, producing two successive accelerations in the development of small scales. At the latest time, a convergence of magnetic field lines to the location of maximum current is probably leading locally to a strong bending and directional variability of such lines. A novel analytical method, based on sharp analysis inequalities, is used to assess the validity of the finite-time singularity scenario. This method allows one to rule out spurious singularities by evaluating the rate at which the logarithmic decrement of the analyticity-strip method goes to zero. The result is that the finite-time singularity scenario cannot be ruled out, and the singularity time could be somewhere between t=2.33 and t=2.70. More robust conclusions will require higher resolution runs and grid-point interpolation measurements of maximum current and vorticity. © 2013 American Physical Society.

Descripción: A recently reported symmetry breaking of density profiles of fluid argon confined by two parallel solid walls of carbon dioxide is studied. The calculations are performed in the framework of a nonlocal density functional theory. It is shown that the existence of such asymmetrical solutions is restricted to a special choice for the adsorption potential, where the attraction of the solid-fluid interaction is reduced by the introduction of a hard-wall repulsion. The behavior as a function of the slit's width is also discussed. All the results are placed in the context of the current knowledge on this matter. © 2008 American Institute of Physics.

Descripción: Synthetic Aperture Radar (SAR) images are dificult to segment due to their characteristic noise, called speckle, which is multiplicative, non-gaussian and has a low signal to noise ratio. In this work we use the GH distribution to model the SAR data from the different regions of the image. We estimate their statistical parameters and use them in a segmentation algorithm based on multiregion competition. We then apply this algorithm to segment simulated as well as real SAR images and evaluate the accuracy of the segmentation results obtained. © 2009 Springer-Verlag Berlin Heidelberg.

Descripción: Multilevel resistance states in silver-manganite interfaces are studied both experimentally and through a realistic model that includes as a main ingredient the oxygen vacancies diffusion under applied electric fields. The switching threshold and amplitude studied through hysteresis switching loops are found to depend critically on the initial state. The associated vacancy profiles further unveil the prominent role of the effective electric field acting at the interfaces. While experimental results validate main assumptions of the model, the simulations allow to disentangle the microscopic mechanisms behind the resistive switching in metal-transition metal oxide interfaces. © 2010 American Institute of Physics.

Descripción: We present 3D, gasdynamic simulations of jet/cloud collisions, with the purpose of modelling the HH 270/110 system. From the models, we obtain predictions of Hα and H2 1-0 s(1) emission line maps, which qualitatively reproduce some of the main features of the corresponding observations of HH 110. We find that the model that better reproduces the observed structures corresponds to a jet that was deflected at the surface of the cloud ∼ 1000 yr ago, but is now boring a tunnel directly into the cloud. This model removes the apparent contradiction between the jet/cloud collision model and the lack of detection of molecular emission in the crossing region of the HH 270 and HH 110 axes.

Descripción: Calcium signals participate in a large variety of physiological processes. In many instances, they involve calcium entry through inositol 1,4,5-trisphosphate (IP3) receptors (IP3Rs), which are usually organized in clusters. Recent high-resolution optical experiments by Smith & Parker have provided new information on Ca2+ release from clustered IP3Rs. In the present paper, we use the model recently introduced by Solovey & Ponce Dawson to determine how the distribution of the number of IP3Rs that become open during a localized release event may change by the presence of Ca2+ buffers, substances that react with Ca2+, altering its concentration and transport properties. We then discuss how buffer properties could be extracted from the observation of local signals. © 2010 The Royal Society.

Descripción: We introduce the notion of Timed I/O Components as Timed Automata "á la" Alur & Dill where an "admissible" I/O interface is declared. That notion has, what we consider, a key modeling property: non-zeno preservation under syntactically-checkable "I/O compatibility" among interacting components. Also a reduced parallel composition is posssible based on the ability of statically detect influence of behavior between components [8,10,11]. On the other hand, with some simple extra conditions, modular assume-guarantee style of reasoning like [15,19] is valid in our model. © 2002 Published by Elsevier Science B. V.

Descripción: Fil:Mocskos, E. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.

Descripción: Landscape simulators are widely applied in landscape ecology for generating landscape patterns. These models can be divided into two categories: pattern-based models that generate spatial patterns irrespective of the processes that shape them, and process-based models that attempt to generate patterns based on the processes that shape them. The latter often tend toward complexity in an attempt to obtain high predictive precision, but are rarely used for generic or theoretical purposes. Here we show that a simple process-based simulator can generate a variety of spatial patterns including realistic ones, typifying landscapes fragmented by anthropogenic activities. The model "G-RaFFe" generates roads and fields to reproduce the processes in which forests are converted into arable lands. For a selected level of habitat cover, three factors dominate its outcomes: the number of roads (accessibility), maximum field size (accounting for land ownership patterns), and maximum field disconnection (which enables field to be detached from roads). We compared the performance of G-RaFFe to three other models: Simmap (neutral model), Qrule (fractal-based) and Dinamica EGO (with 4 model versions differing in complexity). A PCA-based analysis indicated G-RaFFe and Dinamica version 4 (most complex) to perform best in matching realistic spatial patterns, but an alternative analysis which considers model variability identified G-RaFFe and Qrule as performing best. We also found model performance to be affected by habitat cover and the actual land-uses, the latter reflecting on land ownership patterns. We suggest that simple process-based generators such as G-RaFFe can be used to generate spatial patterns as templates for theoretical analyses, as well as for gaining better understanding of the relation between spatial processes and patterns. We suggest caution in applying neutral or fractal-based approaches, since spatial patterns that typify anthropogenic landscapes are often non-fractal in nature. © 2013 Pe'er et al.

Descripción: We study a cost function for the aggregate behavior of all the agents involved in the minority game (MG) or the bar attendance model (BAM). The cost function allows us to define a deterministic, synchronous dynamic that yields results that have the main relevant features than those of the probabilistic, sequential dynamics used for the MG or the BAM. We define a temperature through a Langevin approach in terms of the fluctuations of the average attendance. We prove that the cost function is an extensive quantity that can play the role of an internal energy of the many-agent system while the temperature so defined is an intensive parameter. We compare the results of the thermal perturbation to the deterministic dynamics and prove that they agree with those obtained with the MG or BAM in the limit of very low temperature. © 2002 The American Physical Society.

Descripción: [i] This work presents results, over the South American region, from the CSIRO Division of Atmospheric Research limited area model (DARLAM) and from the ninelevel general circulation model (GCM) of CSIRO (CSIRO Mk 2), within which it was nested in a one-way mode. Ten separate 30-day DARLAM simulations were performed for both January and July with a resolution of 125 km and were averaged to obtain a climatology for those months. This paper presents for the first time simulations of the January South American climate using a limited area model; previous similar studies simulated only the July climate. The goal of this study was to examine the capability of the CSIRO Mk 2 - DARLAM nested modeling system for simulating the climate in the South American region. Further, it was desired to investigate whether the higher resolution of DARLAM improves the simulated climate over various subregions, compared with the GCM and observations. With this purpose, a representative set of variables was analyzed and statistically compared. Overall, the fields simulated by the nesting system provide a better representation of the South American climate than the GCM. In particular, significant improvements are found in the nested model climatology for near-surface temperature and mean sea level pressure. Comparison of the January and July simulations shows a better wintertime performance. Some significant summertime features, like the Bolivian High, are reasonably well simulated by DARLAM, but not by the GCM. Copyright 2002 by the American Geophysical Union.

Descripción: The horizontal averaging of global positioning system radio occultation retrievals produces an amplitude attenuation and phase shift in any plane gravity wave, which may lead to significant discrepancies with respect to the original values. In addition, wavelengths cannot be straightforwardly inferred due to the observational characteristics. If the waves produce small departures from spherical symmetry in the background atmosphere and under the assumption that the refractivity kernel may be represented by a delta function, an analytical expression may be derived in order to find how the retrieved amplitudes become weakened (against the original ones). In Particular, we study the range of waves that may be detected and the consequent reduction in variance calculation, which is found to be around 19%. A larger discrepancy was obtained when comparing an occultation variance with the one computed from a numerical simulation of that case. Wave amplitudes can be better resolved when the fronts are nearly horizontal or when the angle between the occultation line of sight and the horizontal component of the wave vector approaches π/2. Short horizontal scale waves have a high probability of becoming attenuated or of not being detected at all. We then find geometrical relations in terms of the relative orientation between waves and sounding, so, as to appropriately interpret wavelengths extracted from the acquired data. Only inertio-gravity waves, which exhibit nearly horizontal fronts, will show small differences between detected and original vertical wavelengths. Last, we analyze the retrieval effect on wave phase and find a shift between original and detected wave that generally is nonzero and approaches π /4 for the largest horizontal wavelengths. Copyright 2008 by the American Geophysical Union.

Descripción: Gliomas are the most common primary brain tumors and yet almost incurable due mainly to their great invasion capability. This represents a challenge to present clinical oncology. Here, we introduce a mathematical model aiming to improve tumor spreading capability definition. The model consists in a time dependent reaction-diffusion equation in a three-dimensional spatial domain that distinguishes between different brain topological structures. The model uses a series of digitized images from brain slices covering the whole human brain. The Talairach atlas included in the model describes brain structures at different levels. Also, the inclusion of the Brodmann areas allows prediction of the brain functions affected during tumor evolution and the estimation of correlated symptoms. The model is solved numerically using patient-specific parametrization and finite differences. Simulations consider an initial state with cellular proliferation alone (benign tumor), and an advanced state when infiltration starts (malign tumor). Survival time is estimated on the basis of tumor size and location. The model is used to predict tumor evolution in two clinical cases. In the first case, predictions show that real infiltrative areas are underestimated by current diagnostic imaging. In the second case, tumor spreading predictions were shown to be more accurate than those derived from previous models in the literature. Our results suggest that the inclusion of differential migration in glioma growth models constitutes another step towards a better prediction of tumor infiltration at the moment of surgical or radiosurgical target definition. Also, the addition of physiological/psychological considerations to classical anatomical models will provide a better and integral understanding of the patient disease at the moment of deciding therapeutic options, taking into account not only survival but also life quality. © 2012 Suarez et al.

Descripción: This paper evaluates a present climate simulation over southern South America performed with the Meteorological Research Institute/Japanese Meteorological Agency (MRI/JMA) high resolution global model. Main patterns of low and upper-level atmospheric circulation were analysed in a 25-year simulation as well as climate means, interannual variability, trends and bias of temperature and precipitation. The model is able to reproduce the main atmospheric circulation patterns and mean surface variables, although some deficiencies were found such as an overestimation of temperature over central Argentina in most of seasons, an overestimation of austral winter precipitation over northeastern and central Argentina, an underestimation of precipitation in all the seasons over southeast of Brazil, an underestimation of the amplitude of the annual cycle temperature in some regions and an overestimation of the amplitude of the annual cycle of precipitation over mountainous areas. Model interannual variability was also assessed. In general, temperature variability is overestimated, whereas precipitation is underestimated. The spatial structure of the year-to-year variability of precipitation is correctly simulated by the model, although some patterns were misplaced. Most of regions present a cold seasonal bias reaching values of - 2 °C in some regions. It was found that precipitation biases are between 3 and - 1 mm day-1. In some regions and seasons observed and simulated temperature trends coincide, as in austral summer or spring, where the model and the observations show positive trends in most of regions. However, there is no agreement between observed and simulated precipitation trends in almost all the regions and seasons. © 2012 Royal Meteorological Society.