Juvenile–adult tree associations in a continental Mediterranean ecosystem: no evidence for sustained and general facilitation at increased aridity

Question: How do tree species identity, microhabitat and water availability affect inter- and intra-specific interactions between juvenile and adult woody plants? Location: Continental Mediterranean forests in Alto Tajo Natural Park, Guadalajara, Spain. Methods: A total of 2066 juveniles and adults of four co-occurring tree species were mapped in 17 plots. The frequency of juveniles at different microhabitats and water availability levels was analysed using log-linear models. We used nearest-neighbour contingency table analysis of spatial segregation and J-functions to describe the spatial patterns. Results: We found a complex spatial pattern that varied according to species identity and microhabitat. Recruitment was more frequent in gaps for Quercus ilex, while the other three species recruited preferentially under shrubs or trees depending on the water availability level. Juveniles were not spatially associated to conspecific adults, experiencing segregation from them inmany cases. Spatial associations, both positive and negative, were more common at higher water availability levels. Conclusions: Our results do not agree with expectations from the stressgradient hypothesis, suggesting that positive interactions do not increase in importance with increasing aridity in the study ecosystem. Regeneration patterns are species-specific and depend on microhabitat characteristics and dispersal strategies. In general, juveniles do not look for conspecific adult protection. This work contributes to the understanding of species co-existence, proving the importance of considering a multispecies approach at several plots to overcome limitations of simple pair-wise comparisons in a limited number of sites.

Asymptotically Optimum Estimation of a Probability in Inverse Binomial Sampling under General Loss Functions

The optimum quality that can be asymptotically achieved in the estimation of a probability p using inverse binomial sampling is addressed. A general definition of quality is used in terms of the risk associated with a loss function that satisfies certain assumptions. It is shown that the limit superior of the risk for p asymptotically small has a minimum over all (possibly randomized) estimators. This minimum is achieved by certain non-randomized estimators. The model includes commonly used quality criteria as particular cases. Applications to the non-asymptotic regime are discussed considering specific loss functions, for which minimax estimators are derived.

Relational and Allegorical Semantics for Constraint Logic Programming

El cálculo de relaciones binarias fue creado por De Morgan en 1860 para ser posteriormente desarrollado en gran medida por Peirce y Schröder. Tarski, Givant, Freyd y Scedrov demostraron que las álgebras relacionales son capaces de formalizar la lógica de primer orden, la lógica de orden superior así como la teoría de conjuntos. A partir de los resultados matemáticos de Tarski y Freyd, esta tesis desarrolla semánticas denotacionales y operacionales para la programación lógica con restricciones usando el álgebra relacional como base. La idea principal es la utilización del concepto de semántica ejecutable, semánticas cuya característica principal es el que la ejecución es posible utilizando el razonamiento estándar del universo semántico, este caso, razonamiento ecuacional. En el caso de este trabajo, se muestra que las álgebras relacionales distributivas con un operador de punto fijo capturan toda la teoría y metateoría estándar de la programación lógica con restricciones incluyendo los árboles utilizados en la búsqueda de demostraciones. La mayor parte de técnicas de optimización de programas, evaluación parcial e interpretación abstracta pueden ser llevadas a cabo utilizando las semánticas aquí presentadas. La demostración de la corrección de la implementación resulta extremadamente sencilla. En la primera parte de la tesis, un programa lógico con restricciones es traducido a un conjunto de términos relacionales. La interpretación estándar en la teoría de conjuntos de dichas relaciones coincide con la semántica estándar para CLP. Las consultas contra el programa traducido son llevadas a cabo mediante la reescritura de relaciones. Para concluir la primera parte, se demuestra la corrección y equivalencia operacional de esta nueva semántica, así como se define un algoritmo de unificación mediante la reescritura de relaciones. La segunda parte de la tesis desarrolla una semántica para la programación lógica con restricciones usando la teoría de alegorías—versión categórica del álgebra de relaciones—de Freyd. Para ello, se definen dos nuevos conceptos de Categoría Regular de Lawvere y _-Alegoría, en las cuales es posible interpretar un programa lógico. La ventaja fundamental que el enfoque categórico aporta es la definición de una máquina categórica que mejora e sistema de reescritura presentado en la primera parte. Gracias al uso de relaciones tabulares, la máquina modela la ejecución eficiente sin salir de un marco estrictamente formal. Utilizando la reescritura de diagramas, se define un algoritmo para el cálculo de pullbacks en Categorías Regulares de Lawvere. Los dominios de las tabulaciones aportan información sobre la utilización de memoria y variable libres, mientras que el estado compartido queda capturado por los diagramas. La especificación de la máquina induce la derivación formal de un juego de instrucciones eficiente. El marco categórico aporta otras importantes ventajas, como la posibilidad de incorporar tipos de datos algebraicos, funciones y otras extensiones a Prolog, a la vez que se conserva el carácter 100% declarativo de nuestra semántica. ABSTRACT The calculus of binary relations was introduced by De Morgan in 1860, to be greatly developed by Peirce and Schröder, as well as many others in the twentieth century. Using different formulations of relational structures, Tarski, Givant, Freyd, and Scedrov have shown how relation algebras can provide a variable-free way of formalizing first order logic, higher order logic and set theory, among other formal systems. Building on those mathematical results, we develop denotational and operational semantics for Constraint Logic Programming using relation algebra. The idea of executable semantics plays a fundamental role in this work, both as a philosophical and technical foundation. We call a semantics executable when program execution can be carried out using the regular theory and tools that define the semantic universe. Throughout this work, the use of pure algebraic reasoning is the basis of denotational and operational results, eliminating all the classical non-equational meta-theory associated to traditional semantics for Logic Programming. All algebraic reasoning, including execution, is performed in an algebraic way, to the point we could state that the denotational semantics of a CLP program is directly executable. Techniques like optimization, partial evaluation and abstract interpretation find a natural place in our algebraic models. Other properties, like correctness of the implementation or program transformation are easy to check, as they are carried out using instances of the general equational theory. In the first part of the work, we translate Constraint Logic Programs to binary relations in a modified version of the distributive relation algebras used by Tarski. Execution is carried out by a rewriting system. We prove adequacy and operational equivalence of the semantics. In the second part of the work, the relation algebraic approach is improved by using allegory theory, a categorical version of the algebra of relations developed by Freyd and Scedrov. The use of allegories lifts the semantics to typed relations, which capture the number of logical variables used by a predicate or program state in a declarative way. A logic program is interpreted in a _-allegory, which is in turn generated from a new notion of Regular Lawvere Category. As in the untyped case, program translation coincides with program interpretation. Thus, we develop a categorical machine directly from the semantics. The machine is based on relation composition, with a pullback calculation algorithm at its core. The algorithm is defined with the help of a notion of diagram rewriting. In this operational interpretation, types represent information about memory allocation and the execution mechanism is more efficient, thanks to the faithful representation of shared state by categorical projections. We finish the work by illustrating how the categorical semantics allows the incorporation into Prolog of constructs typical of Functional Programming, like abstract data types, and strict and lazy functions.

Análisis legislativo de la Educación Física en Educación General Básica

La práctica de la Educación Física en las primeras edades es uno de los problemas que más me han preocupado. Esta Inquietud, quizás, ha sido adquirida por contagio de la misma preocupación que tienen sobre el tema bastantes personalidades dedicadas al campo de la Educación Física y que no han dejado de manifestar en sus trabajos, como por ejemplo: Konracl Paschen, "El desenvolvimiento de las fuerzas personales y la adquisición de habilidades fundamentales tiene que iniciarse tan tempranamente como sea posible

Estudio general de la sierra de Espuña : proyecto de ordenación del monte núm. 28, "Huerta de Espuña"

En este trabajo hacemos un estudio general de toda la Sierra de España, así como de la masa que la cubre. Ahora bien, respecto a la Ordenación propiamente dicha y valoración, solo hemos hecho el Proyecto de uno de sus Montes, catalogado con el número 28 y denominado «Huerta de Espuña»», ya que ante la premura del tiempo, empezamos la elaboración de este trabajo sin tener los; datos completos de las existencias de los demás Montes que con el anterior constituyen esta Sierra; no obstante, en todos los apartados del Capítulo de Ordenación que podemos hacerlo, nos referimos a la totalidad del Grupo de Montes que componen la mencionada Sierra de Espuña.

Efficient implementation of general negation using abstract interpretation

While negation has been a very active área of research in logic programming, comparatively few papers have been devoted to implementation issues. Furthermore, the negation-related capabilities of current Prolog systems are limited. We recently presented a novel method for incorporating negation in a Prolog compiler which takes a number of existing methods (some modified and improved) and uses them in a combined fashion. The method makes use of information provided by a global analysis of the source code. Our previous work focused on the systematic description of the techniques and the reasoning about correctness and completeness of the method, but provided no experimental evidence to evalúate the proposal. In this paper, after proposing some extensions to the method, we provide experimental data which indicates that the method is not only feasible but also quite promising from the efficiency point of view. In addition, the tests have provided new insight as to how to improve the proposal further. Abstract interpretation techniques (in particular those included in the Ciao Prolog system preprocessor) have had a significant role in the success of the technique.

Memoria general del proyecto : ordenación y mejora del arboreto de la Escuela

Los fines del arboreto de la Escuela son,a mi entender, el tener una muestra práctica de la flora española y exótica que pueda resistir el clima de Madrid y al mismo tiempo sirva de ornato de la zona en qoe está enclavado

Encuadre histórico general: cultura, ciencia y tecnología de las aguas subterráneas

El hombre inicialmente se acerca al recurso hídrico para su aprovechamiento, pero no comprende su origen. También se asombra ante las catástrofes generadas por el temporal o por el efecto vivificante del agua sobre los cultivos. Surgen cosmogonías acuáticas y con frecuencia, dioses de las fuentes o de los manantiales, así como de la lluvia; tal es el caso de Kon, entre los incas, o Tlaloc entre los aztecas, y Chac entre los mayas, por poner algún ejemplo

Analysis of the "European Charter on General Principles for Protection of the Environment and Sustainable Development" The Council of Europe Document CO-DBP (2003) 2

Analysis of the "European Charter on General Principles for Protection of the Environment and Sustainable Development" The Council of Europe Document CO-DBP (2003) 2

El Reglamento de Valoraciones de la Ley del Suelo una visión general

El Reglamento de valoraciones desarrolla el texto refundido de la Ley de Suelo estatal y articula los procedimientos técnicos necesarios para la aplicación de los métodos de que la Ley regula. Este trabajo expone los criterios de valoración en cada situación básica de suelo, realizando una discusión de las soluciones adoptadas, así como un análisis crítico de los problemas que plantea su aplicación práctica

Estudio de reconocimiento general de la cuenca de la rambla de Valdelobos y proyecto de correccion de la cuenca de la rambla de los Aguanaces y resto del monte del Mismo nombre

Latente en el ánimo del Ingeniero que suscribe, como en el de la Jefatura de esta División, la excepcional importancia, que "tiene dentro de la economía valenciana» y aun nacional, el debido aprovechamiento y regulación de las aguas del Rio Turia» figuraba en sus proyectos de Trabajos» como de los más destacados» el correspondiente al debido tratamiento y corrección de la cuenca de dicho Rio»

A general implementation framework for tabled CLP

This paper describes a framework to combine tabling evalua- tion and constraint logic programming (TCLP). While this combination has been studied previously from a theoretical point of view and some implementations exist, they either suffer from a lack of efficiency, flex- ibility, or generality, or have inherent limitations with respect to the programs they can execute to completion (either with success or fail- ure). Our framework addresses these issues directly, including the ability to check for answer / call entailment, which allows it to terminate in more cases than other approaches. The proposed framework is experimentally compared with existing solutions in order to provide evidence of the mentioned advantages.

General Report on Main Session 4: Embankments and dams, slope stability and landslides

The General Reporter presents the papers from the Authors, along with some personal contributions on the subjects discussed. Embankments are classified by their use. Different kinds of slope failure and remedial measures are dealt with, as well as investigations for material characterisation and selection.

Metalurgia general: curso de 1870 a 1871

Cribas en cascada para el tratamiento de zanjas finas en un aparato de conos.

Una casa para Einstein: Konrad Wachsmann y la evolucion de un modelo prefabricado desde las casas "Christoph & Unmack A.G." al "General Panel System"

Este artículo estudia la evolución de un modelo de vivienda prefabricada en madera, ejemplificada en la casita de verano que construye Konrad Wachsmann para Albert Einstein en 1929 en Caputh, cerca de Potsdam. El físico deseaba construirse un "lugar de descanso", eligiendo la construcción en madera por su facilidad y rapidez de montaje, adaptabilidad, calidez y para que armonizara mejor con el medio ambiente en el paraje donde se insertaba. Konrad Wachsmann, que trabajaba para la firma de viviendas prefabricadas en madera "Christoph&Unmack A.G." le presentará un modelo prefabricado moderno. Esta tipología, que había evolucionado desde los diseños iniciales "nórdico escandinavos", pasando por el "jugendstil", hasta introducir un nuevo lenguaje de líneas puras, cubierta plana, y grandes ventanales iniciado por Poelzig, será ligeramente modificada por Einstein, que finalmente adjudica el encargo. Ayudado por Einstein a trasladarse a EEUU, Konrad Wachsmann continuará allí la labor de investigación sobre vivienda prefabricada junto con Walter Gropius, que dará como resultado el "General Panel System" y sus conocidas "Packaged Houses". A HOUSE FOR EINSTEIN: KONRAD WACHSMANN AND THE EVOLUTION OF A PREFABRICATED WOODEN HOUSING MODEL FROM " CHRISTOPH & UNMACK A.G." TO "GENERAL PANEL SYSTEM". This article studies the evolution of a prefabricated wooden housing model, exemplified in the summer house built by Konrad Wachsmann for Albert Einstein in 1929, in Caputh, near Potsdam. The Physician wanted to build a "resting house", choosing a wood construction because of its easy and fast assembly, adaptability, warmth and harmony with the environment where it would be inserted. Konrad Wachsmann, who worked for the wooden prefabricated houses firm "Christoph & Unmack AG", proposed Einstein a modern prefabricated wood model. This typology, which had evolved from the initial "Nordic Scandinavian" and "Jugendstil" designs to a new modern language initiated by Poelzig (with clean lines, flat roof, and large windows) will be slightly modified by Einstein, that finally hired the construction of the house. Aided by Einstein to move to USA, Konrad Wachsmann continued there his research work about prefabricated houses with Walter Gropius, giving as a results the "General Panel System" and the popular "Packaged Houses".