A model for inter-module analysis and optimizing compilation

Recent research into the implementation of logic programming languages has demonstrated that global program analysis can be used to speed up execution by an order of magnitude. However, currently such global program analysis requires the program to be analysed as a whole: sepárate compilation of modules is not supported. We describe and empirically evalúate a simple model for extending global program analysis to support sepárate compilation of modules. Importantly, our model supports context-sensitive program analysis and multi-variant specialization of procedures in the modules.

Combined static and dynamic assertion-based debugging of constraint logic programs

We propose a general framework for assertion-based debugging of constraint logic programs. Assertions are linguistic constructions for expressing properties of programs. We define several assertion schemas for writing (partial) specifications for constraint logic programs using quite general properties, including user-defined programs. The framework is aimed at detecting deviations of the program behavior (symptoms) with respect to the given assertions, either at compile-time (i.e., statically) or run-time (i.e., dynamically). We provide techniques for using information from global analysis both to detect at compile-time assertions which do not hold in at least one of the possible executions (i.e., static symptoms) and assertions which hold for all possible executions (i.e., statically proved assertions). We also provide program transformations which introduce tests in the program for checking at run-time those assertions whose status cannot be determined at compile-time. Both the static and the dynamic checking are provably safe in the sense that all errors flagged are definite violations of the pecifications. Finally, we report briefly on the currently implemented instances of the generic framework.

Automatic exploitation of non-determinate independent and-parallelism in the basic andorra model

Andorra-I is the first implementation of a language based on the Andorra Principie, which states that determinate goals can (and shonld) be run before other goals, and even in a parallel fashion. This principie has materialized in a framework called the Basic Andorra model, which allows or-parallelism as well as (dependent) and-parallelism for determinate goals. In this report we show that it is possible to further extend this model in order to allow general independent and-parallelism for nondeterminate goals, withont greatly modifying the underlying implementation machinery. A simple an easy way to realize such an extensión is to make each (nondeterminate) independent goal determinate, by using a special "bagof" constract. We also show that this can be achieved antomatically by compile-time translation from original Prolog programs. A transformation that fulfüls this objective and which can be easily antomated is presented in this report.

Derivación deductiva de programas funcionales con patrones

Una de las dificultades principales en el desarrollo de software es la ausencia de un marco conceptual adecuado para su estudio. Una propuesta la constituye el modelo transformativo, que entiende el desarrollo de software como un proceso iterativo de transformación de especificaciones: se parte de una especificación inicial que va transformándose sucesivamente hasta obtener una especificación final que se toma como programa. Este modelo básico puede llevarse a la práctica de varias maneras. En concreto, la aproximación deductiva toma una sentencia lógica como especificación inicial y su proceso transformador consiste en la demostración de la sentencia; como producto secundario de la demostración se deriva un programa que satisface la especificación inicial. La tesis desarrolla un método deductivo para la derivación de programas funcionales con patrones, escritos en un lenguaje similar a Hope. El método utiliza una lógica multigénero, cuya relación con el lenguaje de programación es estudiada. También se identifican los esquemas de demostración necesarios para la derivación de funciones con patrones, basados en la demostración independiente de varias subsentencias. Cada subsentencia proporciona una subespecificación de una ecuación del futuro programa a derivar. Nuestro método deductivo está inspirado en uno previo de Zohar Manna y Richard Waldinger, conocido como el cuadro deductivo, que deriva programas en un lenguaje similar a Lisp. El nuevo método es una modificación del cuadro de estos autores, que incorpora géneros y permite demostrar una especificación mediante varios cuadros. Cada cuadro demuestra una subespecificación y por tanto deriva una ecuación del programa. Se prevén mecanismos para que los programas derivados puedan contener definiciones locales con patrones y variables anónimas y sinónimas y para que las funciones auxiliares derivadas no usen variables de las funciones principales. La tesis se completa con varios ejemplos de aplicación, un mecanismo que independentiza el método del lenguaje de programación y un prototipo de entorno interactivo de derivación deductiva. Categorías y descriptores de materia CR D.l.l [Técnicas de programación]: Programación funcional; D.2.10 [Ingeniería de software]: Diseño - métodos; F.3.1 [Lógica y significado de los programas]: Especificación, verificación y razonamiento sobre programas - lógica de programas; F.3.3 [Lógica y significado de los programas]: Estudios de construcciones de programas - construcciones funcionales; esquemas de programa y de recursion; 1.2.2 [Inteligencia artificial]: Programación automática - síntesis de programas; 1.2.3 [Inteligencia artificial]: Deducción y demostración de teoremas]: extracción de respuesta/razón; inducción matemática. Términos generales Programación funcional, síntesis de programas, demostración de teoremas. Otras palabras claves y expresiones Funciones con patrones, cuadro deductivo, especificación parcial, inducción estructural, teorema de descomposición.---ABSTRACT---One of the main difficulties in software development is the lack of an adequate conceptual framework of study. The transformational model is one such proposal that conceives software development as an iterative process of specifications transformation: an initial specification is developed and successively transformed until a final specification is obtained and taken as a program. This basic model can be implemented in several ways. The deductive approach takes a logical sentence as the initial specification and its proof constitutes the transformational process; as a byproduct of the proof, a program which satisfies the initial specification is derived. In the thesis, a deductive method for the derivation of Hope-like functional programs with patterns is developed. The method uses a many-sorted logic, whose relation to the programming language is studied. Also the proof schemes necessary for the derivation of functional programs with patterns, based on the independent proof of several subsentences, are identified. Each subsentence provides a subspecification of one equation of the future program to be derived. Our deductive method is inspired on a previous one by Zohar Manna and Richard Waldinger, known as the deductive tableau, which derives Lisp-like programs. The new method incorporates sorts in the tableau and allows to prove a sentence with several tableaux. Each tableau proves a subspecification and therefore derives an equation of the program. Mechanisms are included to allow the derived programs to contain local definitions with patterns and anonymous and synonymous variables; also, the derived auxiliary functions cannot reference parameters of their main functions. The thesis is completed with several application examples, i mechanism to make the method independent from the programming language and an interactive environment prototype for deductive derivation. CR categories and subject descriptors D.l.l [Programming techniques]: Functional programming; D.2.10 [Software engineering]: Design - methodologies; F.3.1 [Logics and meanings of programa]: Specifying and verifying and reasoning about programs - logics of programs; F.3.3 [Logics and meanings of programs]: Studies of program constructs - functional constructs; program and recursion schemes; 1.2.2 [Artificial intelligence]: Automatic programming - program synthesis; 1.2.3 [Artificial intelligence]: Deduction and theorem proving - answer/reason extraction; mathematical induction. General tenas Functional programming, program synthesis, theorem proving. Additional key words and phrases Functions with patterns, deductive tableau, structural induction, partial specification, descomposition theorem.

Results of the synthesis of optimal networks of AND and OR gates for four-variable switching functions by a branch-and-bound computer program /

Bibliography: p. 39 (2d group)

Chesapeake Bay program technical studies : a synthesis /

Mode of access: Internet.

Monthly streamflow synthesis program : Hydrologic Engineering Center computer program 24-J2-L243.

At head of cover title: Generalized computer program.

A synthesis of long-term research by the Florida Coastal Everglades LTER Program

This paper synthesizes research conducted during the first 5–6 years of the Florida Coastal Everglades Long-Term Ecological Research Program (FCE LTER). My objectives are to review our research to date, and to present a new central theme and conceptual approach for future research. Our research has focused on understanding how dissolved organic matter (DOM) from upstream oligotrophic marshes interacted with a marine source of the limiting nutrient, phosphorus (P), to control productivity in the oligohaline estuarine ecotone. We have been working along freshwater to marine transects in two drainage basins located in Everglades National Park (ENP). The Shark River Slough transect (SRS) has a direct connection to the Gulf of Mexico, providing this estuarine ecotone with a source of marine P. The oligohaline ecotone along our southern Everglades transect (TS/Ph), however, is separated from this marine P source by the Florida Bay estuary. We originally hypothesized an ecosystem productivity peak in the SRS ecotone, driven by the interaction of marine P and Everglades DOM, but no such productivity peak in the TS/Ph ecotone because of this lack of marine P. Our research to date has tended to show the opposite pattern, however, with many ecosystem components showing enhanced productivity in the TS/Ph ecotone, but not in the SRS ecotone. Water column P concentrations followed a similar pattern, with unexpectedly high P in the TS/Ph ecotone during the dry season. Our organic geochemical research has shown that Everglades DOM is more refractory than originally hypothesized. We have also begun to understand the importance of detrital organic matter production and transport to ecotone dynamics and as the base of aquatic food webs. Our future research will build on this substantial body of knowledge about these oligotrophic estuaries. We will direct our efforts more strongly on biophysical dynamics in the oligohaline ecotone regions. Specifically, we will be focusing on inputs to these regions from four primary water sources: freshwater Everglades runoff, net precipitation, marine inputs, and groundwater. We are hypothesizing that dry season groundwater inputs of P will be particularly important to TS/Ph ecotone dynamics because of longer water residence times in this area. Our organic geochemical, biogeochemical, and ecosystem energetics work will focus more strongly on the importance of detrital organics and will take advantage of a key Everglades Restoration project, scheduled for 2008 or 2009, that will increase freshwater inputs to our SRS transect only. Finally, we will also begin to investigate the human dimensions of restoration, and of a growing population in south Florida that will become increasingly dependent on the Everglades for critical ecosystem services (including fresh water) even as its growth presents challenges to Everglades sustainability.

A subset-oriented algorithm for minimizing the number of steps required for synthesis of cyclic-peptide libraries

Libraries of cyclic peptides are being synthesized using combinatorial chemistry for high throughput screening in the drug discovery process. This paper describes the min_syn_steps.cpp program (available at http://www.imb.uq.edu.au/groups/smythe/tran), which after inputting a list of cyclic peptides to be synthesized, removes cyclic redundant sequences and calculates synthetic strategies which minimize the synthetic steps as well as the reagent requirements. The synthetic steps and reagent requirements could be minimized by finding common subsets within the sequences for block synthesis. Since a brute-force approach to search for optimum synthetic strategies is impractically large, a subset-orientated approach is utilized here to limit the size of the search. (C) 2002 Elsevier Science Ltd. All rights reserved.

A new strategy for the synthesis of 3-cinnamoyl-2-styrylchromones and their transformation into new xanthenodiones derivatives

23rd ISHC Congress will be held in Glasgow, Scotland from July 31 August 4, 2011.

Synthesis of new 1,8-dihydroxy-9h-xanthen-9-ones

XXVth European Colloquium on Heterocyclic Chemistry, Reading, UK, 13 – 17 Agosto de 2012.

Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models

Conferência: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON), Vienna, Austria, Nov 10-14, 2013

Synthesis, physical and magnetic properties of BaFe12O19/P(VDF-TrFE) multifunctional composites

Composite films with filler microparticles of Barium ferrite dispersed within P(VDF-TrFE) as polymeric matrix have been prepared by solvent evaporation. The lowest BaFO content of 1% wt acts as a small defect within the polymeric matrix, reducing the values of the dielectric and mechanical properties of the pure P(VDF-TrFE). For filler contents up to a 20%, the BaFO filler reinforces the matrix and measured properties increase their values. This trend is not followed by the electrical conductivity. We extended the study to fibers composed by BaFe12O19 microparticles in a PVDF matrix. Due to the big size of BaFO particles (1 micron in diameter), proper fabrication of the fiber shaped composites has not been achieved. We found that true BaFO content are always lower than nominal ones. Results are discussed in terms of the influence of size and morphology of the BaFO particles on the initial properties of the polymeric matrix.

One-step in situ synthesis of polyamide microcapsules with inorganic payload and their transformation into responsive thermoplastic composite materials

Well-dispersed loads of finely powdered metals, metal oxides, several carbon allotropes or nanoclays are incorporated into highly porous polyamide 6 microcapsules in controllable amounts via an original one-step in situ fabrication technique. It is based on activated anionic polymerization (AAP) of ε-caprolactam in a hydrocarbon solvent performed in the presence of the respective micro- or nanosized loads. The forming microcapsules with typical diameters of 25-50 µm entrap up to 40 wt% of load. Their melt processing produces hybrid thermoplastic composites. Mechanical, electric conductivity and magnetic response measurements show that transforming of in situ loaded microcapsules into composites by melt processing (MP) is a facile and rapid method to fabricate materials with high mechanical resistance and electro-magnetic characteristics sufficient for many industrial applications. This novel concept requires low polymerization temperatures, no functionalization or compatibilization of the loads and it is easy to scale up at industrial production levels.

Adaptations des recommandations pour la pratique clinique: l'exemple du Programme cantonal Diabète de Vaud [Adaptation of clinical practice guidelines--the example of cantonal Diabetes Program].

With the growing number of scientific publications, practitioners can use scientific knowledge synthesis, including Clinical Practice Guidelines (CPG). The practical use of a CPG implies considering the context, that is the local healthcare system and the patient. Thus, the CPG can never replace the expertise of the practitioner! Diabetes is a wide public health issue and the canton of Vaud established the cantonal Diabetes Program (cDP), to optimize the care of diabetic patients. The cDP has many projects including the adaptation of reliable CPG to local needs. We present the pros and cons of the CPG in the cDP and the methods to adapt it to the regional healthcare context, and also at an individual level.