A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

The first SEPServer event catalogue 68-MeV solar proton events observed at 1 AU in 1996-2010

SEPServer is a three-year collaborative project funded by the seventh framework programme (FP7-SPACE) of the European Union. The objective of the project is to provide access to state-of-the-art observations and analysis tools for the scientific community on solar energetic particle (SEP) events and related electromagnetic (EM) emissions. The project will eventually lead to better understanding of the particle acceleration and transport processes at the Sun and in the inner heliosphere. These processes lead to SEP events that form one of the key elements of space weather. In this paper we present the first results from the systematic analysis work performed on the following datasets: SOHO/ERNE, SOHO/EPHIN, ACE/EPAM, Wind/WAVES and GOES X-rays. A catalogue of SEP events at 1 AU, with complete coverage over solar cycle 23, based on high-energy (~68-MeV) protons from SOHO/ERNE and electron recordings of the events by SOHO/EPHIN and ACE/EPAM are presented. A total of 115 energetic particle events have been identified and analysed using velocity dispersion analysis (VDA) for protons and time-shifting analysis (TSA) for electrons and protons in order to infer the SEP release times at the Sun. EM observations during the times of the SEP event onset have been gathered and compared to the release time estimates of particles. Data from those events that occurred during the European day-time, i.e., those that also have observations from ground-based observatories included in SEPServer, are listed and a preliminary analysis of their associations is presented. We find that VDA results for protons can be a useful tool for the analysis of proton release times, but if the derived proton path length is out of a range of 1 AU < s[3 AU, the result of the analysis may be compromised, as indicated by the anti-correlation of the derived path length and release time delay from the asso ciated X-ray flare. The average path length derived from VDA is about 1.9 times the nominal length of the spiral magnetic field line. This implies that the path length of first-arriving MeV to deka-MeV protons is affected by interplanetary scattering. TSA of near-relativistic electrons results in a release time that shows significant scatter with respect to the EM emissions but with a trend of being delayed more with increasing distance between the flare and the nominal footpoint of the Earth-connected field line.

Spontaneous Emergence of Chirality in the Limited Enantioselectivity Model: Autocatalytic Cycle Driven by an External Reagent

The emergence of chirality in enantioselective autocatalysis for compounds unable to transform according to the Frank-like reaction network is discussed with respect to the controversial limited enantioselectivity (LES) model composed of coupled enantioselective and non-enantioselective autocatalyses. The LES model cannot lead to spontaneous mirror symmetry breaking (SMSB) either in closed systems with a homogeneous temperature distribution or in closed systems with a stationary non-uniform temperature distribution. However, simulations of chemical kinetics in a two-compartment model demonstrate that SMSB may occur if both autocatalytic reactions are spatially separated at different temperatures in different compartments but coupled under the action of a continuous internal flow. In such conditions, the system can evolve, for certain reaction and system parameters, toward a chiral stationary state; that is, the system is able to reach a bifurcation point leading to SMSB. Numerical simulations in which reasonable chemical parameters have been used suggest that an adequate scenario for such a SMSB would be that of abyssal hydrothermal vents, by virtue of the typical temperature gradients found there and the role of inorganic solids mediating chemical reactions in an enzyme-like role.

Loanword Phonology, Lexical Exceptions, Morphologically Driven Underapplication, and the Nature of Positionally Biased Constraints

In this paper we provide a formal account for underapplication of vowel reduction to schwa in Majorcan Catalan loanwords and learned words. On the basis of the comparison of these data with those concerning productive derivation and verbal inflection, which show analogous patterns, in this paper we also explore the existing and not yet acknowledged correlation between those processes that exhibit a particular behaviour in the loanword phonology with respect to the native phonology of the language, those processes that show lexical exceptions and those processes that underapply due to morphological reasons. In light of the analysis of the very same data and taking into account the aforementioned correlation, we show how there might exist a natural diachronic relation between two kinds of Optimality Theory constraints which are commonly used but, in principle, mutually exclusive: positional faithfulness and contextual markedness constraints. Overall, phonological productivity is proven to be crucial in three respects: first, as a context of the grammar, given that «underapplication» is systematically found in what we call the productive phonology of the dialect (including loanwords, learned words, productive derivation and verbal inflection); second, as a trigger or blocker of processes, in that the productivity or the lack of productivity of a specific process or constraint in the language is what explains whether it is challenged or not in any of the depicted situations, and, third, as a guiding principle which can explain the transition from the historical to the synchronic phonology of a linguistic variety.

Anticipating linear stochastic differential equations driven by a Lévy process

In this paper we study the existence of a unique solution for linear stochastic differential equations driven by a Lévy process, where the initial condition and the coefficients are random and not necessarily adapted to the underlying filtration. Towards this end, we extend the method based on Girsanov transformations on Wiener space and developped by Buckdahn [7] to the canonical Lévy space, which is introduced in [25].

Glassy magnetic phase driven by short range charge and magnetic ordering in nanocrystalline La1/3Sr2/3FeO3-δ: Magnetization, Mössbauer, and polarized neutron studies

The charge ordered La1/3Sr2/3FeO3−δ (LSFO) in bulk and nanocrystalline forms are investigated using ac and dc magnetization, M¨ossbauer, and polarized neutron studies. A complex scenario of short-range charge and magnetic ordering is realized from the polarized neutron studies in nanocrystalline specimen. This short-range ordering does not involve any change in spin state and modification in the charge disproportion between Fe3+ and Fe5+ compared to bulk counterpart as evident in the M¨ossbauer results. The refinement of magnetic diffraction peaks provides magnetic moments of Fe3+ and Fe5+ are about 3.15 μB and 1.57 μB for bulk, and 2.7 μB and 0.53 μB for nanocrystalline specimen, respectively. The destabilization of charge ordering leads to magnetic phase separation, giving rise to the robust exchange bias (EB) effect. Strikingly, EB field at 5 K attains a value as high as 4.4 kOe for average size ∼70 nm, which is zero for the bulk counterpart. A strong frequency dependence of ac susceptibility reveals cluster-glass-like transition around ∼65 K, below which EB appears. Overall results propose that finite-size effect directs the complex glassy magnetic behavior driven by unconventional short-range charge and magnetic ordering, and magnetic phase separation appears in nanocrystalline LSFO.

Quantification of environment-driven changes in epiphytic macroinvertebrate communities associated to Phragmites australis

The epiphytic macroinvertebrate communities associated with the Common Reed, Phragmites australis (Cav.) Trin. ex Steudel, were examined seasonally from summer 2004 to spring 2005 in eleven coastal lagoons of the Llobregat Delta (NE Spain) following the method proposed by Kornijów & Kairesalo (1994). The aims of the study were to: 1) characterise and quantify changes in epiphytic macroinvertebrate communities along environmental gradients; 2) assess the contribution of elements of the epiphytic compartment to structuring the community; 3) define the optima and tolerances of selected epiphytic macroinvertebrate taxa for the most relevant ecological factors responsible for assemblage composition; and 4) identify possible epiphytic species assemblages that would allow a lagoon"s typology to be established, as well as their representative indicator species. Communities showed statistically significant seasonal variation, with two faunal peaks: one in summer, with high chironomid densities, and the other in winter, with high naidid densities. These peaks showed a clear response to the influence of environmental factors. Salinity explained the highest percentage of total variance (36%), while trophic variables (nutrients, phytoplanktonic chlorophyll-a, and total organic carbon) and epiphyton biomass (19.2 and 4% of total variance explained, respectively) were secondary. Three different epiphytic macroinvertebrate species assemblages could be defined. These assemblages were directly linked to conductivity conditions, which determined the rate of survival of certain taxa, and to the existence of a direct connection with the sea, which permitted the establishment of 'brackish-water' species. In spite of the existence of these species assemblages, the species composition and biomass of epiphytic macroinvertebrates and epiphyton differed substantially between lagoons; both elements were subject to changes in the environment, which finally determined the site-to-site variation in the density and composition of the macroinvertebrate population

Asymmetric stochastic switching driven by intrinsic molecular noise

Low-copy-number molecules are involved in many functions in cells. The intrinsic fluctuations of these numbers can enable stochastic switching between multiple steady states, inducing phenotypic variability. Herein we present a theoretical and computational study based on Master Equations and Fokker-Planck and Langevin descriptions of stochastic switching for a genetic circuit of autoactivation. We show that in this circuit the intrinsic fluctuations arising from low-copy numbers, which are inherently state-dependent, drive asymmetric switching. These theoretical results are consistent with experimental data that have been reported for the bistable system of the gallactose signaling network in yeast. Our study unravels that intrinsic fluctuations, while not required to describe bistability, are fundamental to understand stochastic switching and the dynamical relative stability of multiple states.

Mesoscale numerical analysis of the historical November 1982 heavy precipitation event over Andorra (Eastern Pyrenees)

From 6 to 8 November 1982 one of the most catastrophic flash-flood events was recorded in the Eastern Pyrenees affecting Andorra and also France and Spain with rainfall accumulations exceeding 400 mm in 24 h, 44 fatalities and widespread damage. This paper aims to exhaustively document this heavy precipitation event and examines mesoscale simulations performed by the French Meso-NH non-hydrostatic atmospheric model. Large-scale simulations show the slow-evolving synoptic environment favourable for the development of a deep Atlantic cyclone which induced a strong southerly flow over the Eastern Pyrenees. From the evolution of the synoptic pattern four distinct phases have been identified during the event. The mesoscale analysis presents the second and the third phase as the most intense in terms of rainfall accumulations and highlights the interaction of the moist and conditionally unstable flows with the mountains. The presence of a SW low level jet (30 m s-1) around 1500 m also had a crucial role on focusing the precipitation over the exposed south slopes of the Eastern Pyrenees. Backward trajectories based on Eulerian on-line passive tracers indicate that the orographic uplift was the main forcing mechanism which triggered and maintained the precipitating systems more than 30 h over the Pyrenees. The moisture of the feeding flow mainly came from the Atlantic Ocean (7-9 g kg-1) and the role of the Mediterranean as a local moisture source was very limited (2-3 g kg-1) due to the high initial water vapour content of the parcels and the rapid passage over the basin along the Spanish Mediterranean coast (less than 12 h).

Growth factor- and cytokine-driven pathways governing liver stemness and differentiation.

Liver is unique in its capacity to regenerate in response to injury or tissue loss. Hepatocytes and other liver cells are able to proliferate and repopulate the liver. However, when this response is impaired, the contribution of hepatic progenitors becomes very relevant. Here, we present an update of recent studies on growth factors and cytokine-driven intracellular pathways that govern liver stem/progenitor cell expansion and differentiation, and the relevance of these signals in liver development, regeneration and carcinogenesis. Tyrosine kinase receptor signaling, in particular, c-Met, epidermal growth factor receptors or fibroblast growth factor receptors, contribute to proliferation, survival and differentiation of liver stem/progenitor cells. Different evidence suggests a dual role for the transforming growth factor (TGF)-β signaling pathway in liver stemness and differentiation. On the one hand, TGF-β mediates progression of differentiation from a progenitor stage, but on the other hand, it contributes to the expansion of liver stem cells. Hedgehog family ligands are necessary to promote hepatoblast proliferation but need to be shut off to permit subsequent hepatoblast differentiation. In the same line, the Wnt family and β-catenin/T-cell factor pathway is clearly involved in the maintenance of liver stemness phenotype, and its repression is necessary for liver differentiation during development. Collectively, data indicate that liver stem/progenitor cells follow their own rules and regulations. The same signals that are essential for their activation, expansion and differentiation are good candidates to contribute, under adequate conditions, to the paradigm of transformation from a pro-regenerative to a pro-tumorigenic role. From a clinical perspective, this is a fundamental issue for liver stem/progenitor cell-based therapies.

A Virtual Laboratory Structure for Developing Programming Labs

Virtual Laboratories are an indispensablespace for developing practical activities in a Virtual Environment. In the field of Computer and Software Engineering different types of practical activities have tobe performed in order to obtain basic competences which are impossible to achieve by other means. This paper specifies an ontology for a general virtual laboratory.The proposed ontology provides a mechanism to select the best resources needed in a Virtual Laboratory once a specific practical activity has been defined and the maincompetences that students have to achieve in the learning process have been fixed. Furthermore, the proposed ontology can be used to develop an automatic and wizardtool that creates a Moodle Classroom using the practical activity specification and the related competences.

Effect of tow-drop gaps on the damage resistance and tolerance of Variable-Stiffness Panels

This paper presents an experimental study of the effects of tow-drop gaps in Variable Stiffness Panels under drop-weight impact events. Two different configurations, with and without ply-staggering, have been manufactured by Automated Fibre Placement and compared with their baseline counterpart without defects. For the study of damage resistance, three levels of low velocity impact energy are generated with a drop-weight tower. The damage area is analysed by means of ultrasonic inspection. Results of the analysed defect configurations indicate that the influence of gap defects is only relevant under small impact energy values. However, in the case of damage tolerance, the residual compressive strength after impact does not present significant differences to that of conventional straight fibre laminates. This indicates that the strength reduction is driven mainly by the damage caused by the impact event rather than by the influence of manufacturing-induced defects

The personal research portal : web 2.0 driven individual commitment with open access for development

Peer-reviewed

Combining Generic Programming and Service-Oriented Architectures for the Effective and Timely Development of Complex e-Learning Systems

Peer-reviewed

When decisions of others matter to me: an electrophysiological analysis.

Background: Actions of others may have immediate consequences for oneself. We probed the neural responses associated with the observation of another person"s action using event-related potentials in a modified gambling task. In this task a"performer" bet either a higher or lower number and could win or lose this amount. Three different groups of"observers" were also studied. The first (neutral) group simply observed the performer"s action, which had no consequences for the observers. In the second (parallel) group, wins/losses of the performer were paralleled by similar wins and losses by the observer. In the third (reverse) group, wins of the performer led to a loss of the observer and vice versa. Results: ERPs of the performers showed a mediofrontal feedback related negativity (FRN) to losses. The neutral and parallel observer groups did similarly show an FRN response to the performer"s losses with a topography indistinguishable from that seen in the performers. In the reverse group, however, the FRN occurred for wins of the performer which translated to losses for the observer. Conclusions: Taking into account previous experiments, we suggest that the FRN response in observers is driven by two evaluative processes (a) related to the benefit/loss for oneself and (b) related to the benefit/loss of another person