Object oriented regular expressions

Regular expressions are used to parse textual data to match patterns and extract variables. They have been implemented in a vast number of programming languages with a significant quantity of research devoted to improving their operational efficiency. However, regular expressions are limited to finding linear matches. Little research has been done in the field of object-oriented results which would allow textual or binary data to be converted to multi-layered objects. This is significantly relevant as many of todaypsilas data formats are object-based. This paper extends our previous work by detailing an algorithmic approach to perform object-oriented parsing, and provides an initial study of benchmarks of the algorithms of our contributio

RankPL: A Qualitative Probabilistic Programming Language

In this paper we introduce RankPL, a modeling language that can be thought of as a qualitative variant of a probabilistic programming language with a semantics based on Spohn's ranking theory. Broadly speaking, RankPL can be used to represent and reason about processes that exhibit uncertainty expressible by distinguishing "normal" from" surprising" events. RankPL allows (iterated) revision of rankings over alternative program states and supports various types of reasoning, including abduction and causal inference. We present the language, its denotational semantics, and a number of practical examples. We also discuss an implementation of RankPL that is available for download

Three Lectures: Nemd, Spam, and Shockwaves

We discuss three related subjects well suited to graduate research. The first, Nonequilibrium molecular dynamics or "NEMD", makes possible the simulation of atomistic systems driven by external fields, subject to dynamic constraints, and thermostated so as to yield stationary nonequilibrium states. The second subject, Smooth Particle Applied Mechanics or "SPAM", provides a particle method, resembling molecular dynamics, but designed to solve continuum problems. The numerical work is simplified because the SPAM particles obey ordinary, rather than partial, differential equations. The interpolation method used with SPAM is a powerful interpretive tool converting point particle variables to twice-differentiable field variables. This interpolation method is vital to the study and understanding of the third research topic we discuss, strong shockwaves in dense fluids. Such shockwaves exhibit stationary far-from-equilibrium states obtained with purely reversible Hamiltonian mechanics. The SPAM interpolation method, applied to this molecular dynamics problem, clearly demonstrates both the tensor character of kinetic temperature and the time-delayed response of stress and heat flux to the strain rate and temperature gradients. The dynamic Lyapunov instability of the shockwave problem can be analyzed in a variety of ways, both with and without symmetry in time. These three subjects suggest many topics suitable for graduate research in nonlinear nonequilibrium problems.Comment: 40 pages, with 21 figures, as presented at the Granada Seminar on the Foundations of Nonequilibrium Statistical Physics, 13-17 September, as three lecture

Reversible Computation: Extending Horizons of Computing

This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first

A full Eulerian finite difference approach for solving fluid-structure coupling problems

A new simulation method for solving fluid-structure coupling problems has been developed. All the basic equations are numerically solved on a fixed Cartesian grid using a finite difference scheme. A volume-of-fluid formulation (Hirt and Nichols (1981, J. Comput. Phys., 39, 201)), which has been widely used for multiphase flow simulations, is applied to describing the multi-component geometry. The temporal change in the solid deformation is described in the Eulerian frame by updating a left Cauchy-Green deformation tensor, which is used to express constitutive equations for nonlinear Mooney-Rivlin materials. In this paper, various verifications and validations of the present full Eulerian method, which solves the fluid and solid motions on a fixed grid, are demonstrated, and the numerical accuracy involved in the fluid-structure coupling problems is examined.Comment: 38 pages, 27 figures, accepted for publication in J. Comput. Phy

Méthodologie pour lídentification des fonctions potentielles dans la réutilisation des bâtiments vacants du patrimoine industriel. Etude des cas: les industries de long de la Rivière Almendares, La Havane

The problematic of the reuse of vacant industrial building is a topic relevant for the current society. It lays its regard over the vacant industrial heritage building looking for a possibility of recuperation or repurpose of their spaces. Though the number of examples overtakes the capacity of the decision markers. This together with a lack of tools for the definition of new function leave the spaces to interventions that no always correspond with the context and the object. Nevertheless, there is a large path already done in term of reuse of vacant industrial buildings. Some authors characterize this as a culture of the exploitation. This scenario is also present in Havana, Cuba. There is a vast representation of vacant industrial heritage buildings not correct exploited according their capacities. In this frame, the thesis is supported on the determination of a methodology for the identification of potential uses for the vacant industrial heritage building, taking as a relevant resource, the experience gained in the world in term of reuse that could be applied to the case of the industrial building along the Almendares River. The research is divided in three chapters, the first concerning to the identification of the variables that model the problematic, the second focus in the learning by the experience and the design of the methodology and the third in the application of this methodology to the study case of the vacant industrial heritage buildings along the Almendares River of Havana. The application to the study case serves from the test of pertinence of the methodology. The thesis has as result the Methodology for identification of potential use for vacant industrial heritage building, a database of experience of reuse and a proposal of potential use to be applied in the case of the Almendares River; Résumé: La problématique de la réutilisation des bâtiments industriels vacants est un sujet pertinent pour la société actuelle, qui fixe son regard sur le bâtiment du patrimoine industriel vacant à la recherche d'une possibilité de récupération ou reproposé de leurs espaces. Cependant, le nombre d'exemples dépasse la capacité des décideurs. Ceci, combiné avec un manque d'outils pour la définition d'une nouvelle fonction, laisse les espaces pour les interventions qui ne correspondent toujours avec le contexte et l'objet. Néanmoins, il y a un grand chemin déjà fait en question de réutilisation des bâtiments industriels vacants. Certains auteurs qualifient cela comme une culture de l'exploitation. Ce scénario est également présent à La Havane, Cuba. Il y a une vaste représentation des bâtiments vacants du patrimoine industriel qui ne sont pas exploitées de manière adéquate selon leurs capacités. Dans ce cadre, la thèse est soutenue sur la détermination d'une méthodologie pour l'identification des utilisations potentielles pour le bâtiment industriel vacant du patrimoine, en prenant comme une ressource pertinente, des expériences acquises dans le monde en questions de réutilisation qui pourrait être appliquée au cas du bâtiment industriel le long de la rivière Almendares. La recherche est divisée en trois chapitres, le premier concernant à l'identification des variables qui modélisent la problématique, le deuxième dans l'apprentissage par l'expérience et la conception de la méthodologie et la troisième a l'application de cette méthodologie à l'étude de cas de les bâtiments industriel vacants de patrimoine le long de la rivière Almendares de la Havane. L'application à l'étude de cas permet pour le test de pertinence de la méthodologie. La thèse a pour résultat la méthodologie pour l'identification des utilisations potentielles pour vacants bâtiment industriel du patrimoine, une base de données de l'expérience de la réutilisation et une proposition des utilisations potentielles à appliquer dans le cas de la rivière Almendares