Automatic Analysis of the Logical Structure of Programs

This report presents a method for viewing complex programs as built up out of simpler ones. The central idea is that typical programs are built up in a small number of stereotyped ways. The method is designed to make it easier for an automatic system to work with programs. It focuses on how the primitive operations performed by a program are combined together in order to produce the actions of the program as a whole. It does not address the issue of how complex data structures are built up from simpler ones, nor the relationships between data structures and the operations performed on them.

Early clopidogrel versus prasugrel use among contemporary STEMI and NSTEMI patients in the US: insights from the National Cardiovascular Data Registry.

BACKGROUND: P2Y12 antagonist therapy improves outcomes in acute myocardial infarction (MI) patients. Novel agents in this class are now available in the US. We studied the introduction of prasugrel into contemporary MI practice to understand the appropriateness of its use and assess for changes in antiplatelet management practices. METHODS AND RESULTS: Using ACTION Registry-GWTG (Get-with-the-Guidelines), we evaluated patterns of P2Y12 antagonist use within 24 hours of admission in 100 228 ST elevation myocardial infarction (STEMI) and 158 492 Non-ST elevation myocardial infarction (NSTEMI) patients at 548 hospitals between October 2009 and September 2012. Rates of early P2Y12 antagonist use were approximately 90% among STEMI and 57% among NSTEMI patients. From 2009 to 2012, prasugrel use increased significantly from 3% to 18% (5% to 30% in STEMI; 2% to 10% in NSTEMI; P for trend <0.001 for all). During the same period, we observed a decrease in use of early but not discharge P2Y12 antagonist among NSTEMI patients. Although contraindicated, 3.0% of patients with prior stroke received prasugrel. Prasugrel was used in 1.9% of patients ≥75 years and 4.5% of patients with weight <60 kg. In both STEMI and NSTEMI, prasugrel was most frequently used in patients at the lowest predicted risk for bleeding and mortality. Despite lack of supporting evidence, prasugrel was initiated before cardiac catheterization in 18% of NSTEMI patients. CONCLUSIONS: With prasugrel as an antiplatelet treatment option, contemporary practice shows low uptake of prasugrel and delays in P2Y12 antagonist initiation among NSTEMI patients. We also note concerning evidence of inappropriate use of prasugrel, and inadequate targeting of this more potent therapy to maximize the benefit/risk ratio.

Falta de respuesta a la inoculación de Poroto Alubia con cepas de Rhizobium phaseoli en el Noroeste Argentino

p.263-270

El número en la escuela

El artículo “El Número en la Escuela”presenta avances de investigación realizados por estudiantes de la Maestría en Docencia de las Matemáticas de la Universidad Pedagógica Nacional como parte de sus respectivos trabajos de grado. El primero, referido a la formación de docentes de preescolar y primeros grados de educación primaria sobre Estructura Aditiva, expone la forma en que abordar dicha estructura contribuye al proceso de construcción del número Natural en los primeros grados de escolaridad. El segundo, basado en el modelo del profesor Carlo Federici, estudia la construcción de los números racionales como operadores sobre magnitudes, específicamente, sobre longitudes cuya representación son los segmentos. Y el tercero, permite reflexionar sobre el acercamiento al concepto de número real con estudiantes de Secundaria y Media.

Modelling meso-scale diffusion processes in stochastic fluid bio-membranes

The space–time dynamics of rigid inhomogeneities (inclusions) free to move in a randomly fluctuating fluid bio-membrane is derived and numerically simulated as a function of the membrane shape changes. Both vertically placed (embedded) inclusions and horizontally placed (surface) inclusions are considered. The energetics of the membrane, as a two-dimensional (2D) meso-scale continuum sheet, is described by the Canham–Helfrich Hamiltonian, with the membrane height function treated as a stochastic process. The diffusion parameter of this process acts as the link coupling the membrane shape fluctuations to the kinematics of the inclusions. The latter is described via Ito stochastic differential equation. In addition to stochastic forces, the inclusions also experience membrane-induced deterministic forces. Our aim is to simulate the diffusion-driven aggregation of inclusions and show how the external inclusions arrive at the sites of the embedded inclusions. The model has potential use in such emerging fields as designing a targeted drug delivery system.

Proportionate flow shop with controllable processing times

This paper considers a special class of flow-shop problems, known as the proportionate flow shop. In such a shop, each job flows through the machines in the same order and has equal processing times on the machines. The processing times of different jobs may be different. It is assumed that all operations of a job may be compressed by the same amount which will incur an additional cost. The objective is to minimize the makespan of the schedule together with a compression cost function which is non-decreasing with respect to the amount of compression. For a bicriterion problem of minimizing the makespan and a linear cost function, an O(n log n) algorithm is developed to construct the Pareto optimal set. For a single criterion problem, an O(n2) algorithm is developed to minimize the sum of the makespan and compression cost. Copyright © 1999 John Wiley & Sons, Ltd.

Flexible and robust run-time configuration for self-managing systems

This paper describes a methodology for deploying flexible dynamic configuration into embedded systems whilst preserving the reliability advantages of static systems. The methodology is based on the concept of decision points (DP) which are strategically placed to achieve fine-grained distribution of self-management logic to meet application-specific requirements. DP logic can be changed easily, and independently of the host component, enabling self-management behavior to be deferred beyond the point of system deployment. A transparent Dynamic Wrapper mechanism (DW) automatically detects and handles problems arising from the evaluation of self-management logic within each DP and ensures that the dynamic aspects of the system collapse down to statically defined default behavior to ensure safety and correctness despite failures. Dynamic context management contributes to flexibility, and removes the need for design-time binding of context providers and consumers, thus facilitating run-time composition and incremental component upgrade.

Review of models for predicting the discharge rates of bulk particulates from silos and bins

Various models for predicting discharge rates have been developed over the last four decades by many research workers (notably Beverloo [1], Johanson [2], Brown [3], Carleton [4], Crewdson [5], Nedderman [6], Gu [7].). In many cases these models offer comparable approaches to the prediction of discharge rates of bulk particulates from storage equipment when solely gravity is acting to initiate flow (since they invariably consider the use of mass-flow design equipment). The models that have been developed consider a wide range of bulk particulates (coarse, incompressible, fine, cohesive) and most contemporary works have incorporated validation against test programmes. Research currently underway at The Wolfson Centre for Bulk Solids Handling Technology, University of Greenwich, has considered the relative performance of these models with respect to a range of bulk properties and with particular focus upon the flexibility of the models to cater for different geometrical factors for vessels.