Maude: specification and programming in rewriting logic

Maude is a high-level language and a high-performance system supporting executable specification and declarative programming in rewriting logic. Since rewriting logic contains equational logic, Maude also supports equational specification and programming in its sublanguage of functional modules and theories. The underlying equational logic chosen for Maude is membership equational logic, that has sorts, subsorts, operator overloading, and partiality definable by membership and equality conditions. Rewriting logic is reflective, in the sense of being able to express its own metalevel at the object level. Reflection is systematically exploited in Maude endowing the language with powerful metaprogramming capabilities, including both user-definable module operations and declarative strategies to guide the deduction process. This paper explains and illustrates with examples the main concepts of Maude's language design, including its underlying logic, functional, system and object-oriented modules, as well as parameterized modules, theories, and views. We also explain how Maude supports reflection, metaprogramming and internal strategies. The paper outlines the principles underlying the Maude system implementation, including its semicompilation techniques. We conclude with some remarks about applications, work on a formal environment for Maude, and a mobile language extension of Maude

Recovery of Pseudomonas savastanoi pv. savastanoi from symptomless shoots of naturally infected olive trees

Seasonal dynamics of Pseudomonas savastanoi pv. savastanoi (Psv) on stems and leaves from symptomless shoots of naturally infected olive trees was monitored in Spanish olive orchards. Data inferred from the comparison between washing of leaves and dilution-plating versus leaf printing of individual leaves suggested that Psv population sizes varied by over several orders of magnitude, among leaves sampled concurrently from the same shoot. We did not find significant differences between leaves and stems, in respect to the number of samples where Psv was isolated or detected by PCR, showing that Psv colonizes both leaves and stems. The frequencies of Psv isolation and average populations were highly variable among field plots. No correlation between Psv populations and those of non-Psv bacteria in any plant material or field plot was observed. However, where both Psv and yellow Pantoea agglomerans colonies were isolated a positive correlation was found. In a selected field plot, dynamics of Psv over three years showed significant differences between summer and the rest of seasons. The highest Psv population occurred in warm, rainy months, while low numbers were generally found in hot and dry months. [Int Microbiol 2007; 10(2):77-84

Tillage effects on weed seed bank with wheat monoculture and rotational

El banco de semillas de malas hierbas presente en el suelo es una demostración de la existencia de una comunidad de malas hierbas y está vinculado a las fases de crecimiento de un ecosistema. Las prácticas agronómicas pueden ocasionar cambios en el banco de semillas de los suelos agrícolas. Nuestro objetivo fue comparar la influencia del laboreo de conservación (mínimo laboreo y siembra directa) frente al laboreo convencional, sobre la densidad y riqueza específica del banco de semillas persistente de un suelo agrícola, en parcelas con dos sistemas de cultivo: monocultivo y rotación de trigo de invierno. Se tomaron muestras de suelo en parcelas con los tres sistemas de laboreo, a 3 profundidades: 0-7 cm, 7-15 cm y 15-30 cm. Los resultados obtenidos en este estudio mostraron que el efecto acumulativo del laboreo en parcelas con trigo en monocultivo no tuvo efectos en la densidad de semillas, aunque sí en su distribución, cuantificadas mayoritariamente a mayor profundidad (P3). Por otro lado, se observó una clara influencia del laboreo y la profundidad en la densidad y riqueza específica del banco de semillas de tipo persistente del suelo, en las parcelas con rotación de trigo. Nuestros resultados confirman que una variedad de cultivos puede ir asociada a una mayor variedad de especies de malas hierbas presentes en el banco de semillas del suelo.The weed seedbank into the soil is a demonstration of the existence of a weed community and it is linked to ecosystem growth phases. Agronomic practices can cause changes in the seed bank of agricultural soils. Our objective was to compare the influence of conservation tillage (mínimum tillage and direct seeding) with conventional tillage on weed seed density and species richness of persistent seedbank, with two cropping systems: wheat monoculture and wheat rotation. Soil samples were taken in plots with three tillage systems, at 3 depths: P1 (0-7 cm), P2 (7-15cm) and P3 (15-30 cm). The results of this study showed that cumulative effects of tillage systems, in wheat monoculture plots, had no effect on seed density, and the seed species were concentrated in deepest section of soil (P3). On the other hand, we observed a clear influence of tillage and depth on weed density and species richness of the persistent weed seed bank in wheat rotation plots. Our results confirm that a variety of crops could be associated to a variety of weed species present into soil seedbank

A process-specific approach in the study of normal aging deficits in cognitive control: What deteriorates with age?

Bearing in mind that cognitive control is a complex function that includes several processes, it is not clear exactly which ones deteriorate with age. In fact, controversial results have been found. For example, some studies indicate that age-related deficits are observed in proactive and not in reactive control, others show that it is reactive control that is impaired and not proactive control, and some studies find no deficits at all (e.g., Kopp, Lange, Howe, & Wessel, 2014; Xiang et al., 2016). One possible reason is that the contribution of different processes to the deterioration of cognitive control was investigated separately, i.e., without testing all processes within the same paradigm. Therefore, the main goal of the present experiment was to study the impact of normal aging on several processes related to cognitive control within the same task, which included both Simon and Spatial Stroop trials. The study focused on the following processes: generation of conflict measured by automatic response capture (i.e., stronger task-irrelevant information processing compared to task-relevant information processing); conflict detection; and control implementation (which can be reactive control, both within trials and across trials, and proactive control, as a task-set strategy). The results showed larger automatic response capture for older adults when facing a stimulus-response conflict (Simon) but not a stimulus-stimulus conflict (Spatial Stroop). Similarly, older adults also showed larger detection effects for both conflicts. However, regarding control implementation, they only showed difficulties in inhibiting the early automatic response capture (within-trial reactive control) but not reactive control across trials or proactive control. In conclusion, it seems that older adults are more affected by the presence of task-irrelevant information, especially when it comes to resolving stimulus-response conflict. However, they showed no impairments in their ability to implement cognitive control both across trials and as a task-set strategy

A retrospective international study on factors associated with injury, discomfort and pain perception among cyclists

Although cycling has been associated with overuse/fatigue and acute injuries, there is lack of information regarding associated risk factors and prevention factors. The objective of the study was to determine the factors associated with injury, and perceptions of discomfort and pain in cyclists. A total of 739 cyclists completed an online questionnaire between February and October 2016. The questionnaire acquired information on participant demographics, characteristics related to cycling profile and fitness training, bike components and cycling posture, self-reported perceptions of comfort and pain, and injuries sustained in the last 12 months. Logistic regression models estimated odds ratios (OR) and 95% confidence intervals (95%CI) that examined factors associated with reporting overuse/fatigue injury, acute injury, body discomfort, saddle discomfort, and pain while cycling. Odds of reporting an overuse/fatigue injury increased when the cyclists complemented training with running (OR = 1.74; 95%CI = 1.03-2.91) or swimming (OR = 2.17; 95%CI = 1.19-3.88), and with reported pain while cycling (OR = 1.17; 95%CI = 1.05-3.69) and not cycling (OR = 1.76; 95%CI = 1.07-2.90). Odds of reporting an acute injury increased when biking to work (OR = 1.79; 95%CI = 1.07-2.86), and decreased with increased average cycling speed (1-km/h decrease OR = 0.93; 95%CI = 0.88-0.97), and compared to low-end bike, with the use of mid-range (OR = 0.25; 95%CI = 0.09-0.72) and high-end bike (OR = 0.34; 95%CI = 0.13-0.96). Although body discomfort was only associated with saddle discomfort and the presence of pain during cycling, saddle discomfort was also associated with biking to work (OR = 0.46; 95%CI = 0.22-0.88). Finally, pain perception was associated with a number of factors such as ride to work, core training, cycling experience, saddle discomfort, pain while not cycling. Numerous factors are associated with injury, and perceptions of discomfort and pain in cyclists. Such factors should be considered when developing training routines, bicycle maintenance best practices, and injury prevention programs

Experimental setup and procedure for the measurement of the 7Be(n,p)7Li reaction at n_TOF

Following the completion of the second neutron beam line and the related experimental area (EAR2) at the n_TOF spallation neutron source at CERN, several experiments were planned and performed. The high instantaneous neutron flux available in EAR2 allows to investigate neutron induced reactions with charged particles in the exit channel even employing targets made out of small amounts of short-lived radioactive isotopes. After the successful measurement of the 7Be(n,) cross section, the 7Be(n,p)7Li reaction was studied in order to provide still missing cross section data of relevance for Big Bang Nucleosynthesis (BBN), in an attempt to find a solution to the cosmological Lithium abundance problem. This paper describes the experimental setup employed in such a measurement and its characterization.Séptimo Programa Marco de la Comunidad Europea de la Energía Atómica (Euratom)-Proyecto CHANDA (No. 605203)Narodowe Centrum Nauki (NCN)-UMO-2012/04/M/ST2/00700-UMO-2016/22/M/ST2/00183Croatian Science Foundation-HRZZ 168

The competitive ability of weed communities in selected crucifer oilseed crops under different water and nitrogen

Durante los años 2012 y 2013, se llevó a cabo un experimento en el centro de la península cuyo objetivo fue el estudio de la flora arvense en 3 especies de “Brassica” (“B. carinata”, “B. juncea” y “B. nigra”). Las malas hierbas se evaluaron con 2 niveles de riego, con y sin aporte de agua, y con tres dosis de fertilización diferentes: 0, 75 y 150 kg N ha-1. El establecimiento del cultivo de las tres especies de “Brassica” varió en función del año. Las escasas lluvias de 2012 redujeron la densidad y biomasa de la flora arvense en comparación con el año 2013 en el que la pluviometría fue mayor. Los resultados sugieren que la especie “B. nigra” no estaba bien adaptada a nuestras condiciones climáticas continentales, mostrando un rendimiento más bajo que el resto de los cultivares. Por otro lado, la infestación de malas hierbas fue menor en todas las parcelas donde se cultivaba “B. carinata”.A field study was undertaken to examine the interaction and relationships between weeds and three “Brassica” species (“B. carinata”, “B. juncea” and “B. nigra”) grown in 2012 and 2013. We evaluated the weed density, fresh and dry biomass of weeds with 2 water regimes: with and without irrigation, and three different doses of fertilization: 0, 75 and 150 kg N ha-1. Crop establishment of “Brassica” species varied significantly each year. Lower rainfall in 2012 led to lower density, fresh and dry biomass of weeds compared to 2013. The results confirmed that “B. nigra” was not well adapted to our continental climatic conditions, and thus the yield was lower than the other cultivars. The lowest weed infestation occurred in plots where “B. carinata” was grown in all cases