Towards Large-scale Inconsistency Measurement

We investigate the problem of inconsistency measurement on large knowledge bases by considering stream-based inconsistency measurement, i.e., we investigate inconsistency measures that cannot consider a knowledge base as a whole but process it within a stream. For that, we present, first, a novel inconsistency measure that is apt to be applied to the streaming case and, second, stream-based approximations for the new and some existing inconsistency measures. We conduct an extensive empirical analysis on the behavior of these inconsistency measures on large knowledge bases, in terms of runtime, accuracy, and scalability. We conclude that for two of these measures, the approximation of the new inconsistency measure and an approximation of the contension inconsistency measure, large-scale inconsistency measurement is feasible.Comment: International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014). Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), pages 63-70, technical report, ISSN 1430-3701, Leipzig University, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-15056

First observations of a dome-shaped large-scale coronal EUV wave

We present first observations of a dome-shaped large-scale EUV coronal wave, recorded by the EUVI instrument onboard STEREO-B on January 17, 2010. The main arguments that the observed structure is the wave dome (and not the CME) are: a) the spherical form and sharpness of the dome's outer edge and the erupting CME loops observed inside the dome; b) the low-coronal wave signatures above the limb perfectly connecting to the on-disk signatures of the wave; c) the lateral extent of the expanding dome which is much larger than that of the coronal dimming; d) the associated high-frequency type II burst indicating shock formation low in the corona. The velocity of the upward expansion of the wave dome ($v \sim 650$ km s$^{-1}$) is larger than that of the lateral expansion of the wave ($v \sim 280$ km s$^{-1}$), indicating that the upward dome expansion is driven all the time, and thus depends on the CME speed, whereas in the lateral direction it is freely propagating after the CME lateral expansion stops. We also examine the evolution of the perturbation characteristics: First the perturbation profile steepens and the amplitude increases. Thereafter, the amplitude decreases with r$^{-2.5 \pm 0.3}$, the width broadens, and the integral below the perturbation remains constant. Our findings are consistent with the spherical expansion and decay of a weakly shocked fast-mode MHD wave.Comment: Astrophysical Journal Letters, in pres

Coronal mini-jets in an activated solar tornado-like prominence

High-resolution observations from the Interface Region Imaging Spectrometer reveal the existence of a particular type of small solar jet, which arose singly or in clusters from a tornado-like prominence suspended in the corona. In this study, we perform a detailed statistical analysis of 43 selected mini-jets in the tornado event. Our results show that the mini-jets typically have (1) a projected length of 1.0–6.0 Mm, (2) a width of 0.2–1.0 Mm, (3) a lifetime of 10–50 s, (4) a velocity of 100–350 km s−1, and (5) an acceleration of 3–20 km s−2. Based on spectral diagnostics and EM-Loci analysis, these jets seem to be multithermal small-scale plasma ejections with an estimated average electron density of ~2.4  ×  1010 cm−3 and an approximate mean temperature of ~2.6  ×  105 K. Their mean kinetic energy density, thermal energy density, and dissipated magnetic field strength are roughly estimated to be ~9 erg cm−3, 3 erg cm−3, and 16 G, respectively. The accelerations of the mini-jets, the UV and EUV brightenings at the footpoints of some mini-jets, and the activation of the host prominence suggest that the tornado mini-jets are probably created by fine-scale external or internal magnetic reconnections (a) between the prominence field and the enveloping or background field or (b) between twisted or braided flux tubes within the prominence. The observations provide insight into the geometry of such reconnection events in the corona and have implications for the structure of the prominence magnetic field and the instability that is responsible for the eruption of prominences and coronal mass ejections.Publisher PDFPeer reviewe

Observations and Interpretation of a Low Coronal Shock Wave Observed in the EUV by the SDO/AIA

Taking advantage of both the high temporal and spatial resolution of the Atmospheric Imaging Assembly (AIA) on board the Solar Dynamics Observatory (SDO), we studied a limb coronal shock wave and its associated extreme ultraviolet (EUV) wave that occurred on 2010 June 13. Our main findings are (1) the shock wave appeared clearly only in the channels centered at 193 \AA and 211 \AA as a dome-like enhancement propagating ahead of its associated semi-spherical CME bubble; (2) the density compression of the shock is 1.56 according to radio data and the temperature of the shockis around 2.8 MK; (3) the shock wave first appeared at 05:38 UT, 2 minutes after the associated flare has started and 1 minute after its associated CME bubble appeared;(4) the top of the dome-like shock wave set out from about 1.23 R\odot and the thickness of the shocked layer is ~ 2\times10^4 km; (5) the speed of the shock wave is consistent with a slight decrease from about 600 km/s to 550 km/s; (6) the lateral expansion of the shock wave suggests a constant speed around 400 km/s, which varies at different heights and directions. Our findings support the view that the coronal shock wave is driven by the CME bubble, and the on-limb EUV wave is consistent with a fast wave or at least includes the fast wave component.Comment: 24 pages,8 Figures and 6 movies. It is scheduled for publication on the Astrophysical Journal on the August 1, 2011, Issue 736 -

Modality, Potentiality and Contradiction in Quantum Mechanics

In [11], Newton da Costa together with the author of this paper argued in favor of the possibility to consider quantum superpositions in terms of a paraconsistent approach. We claimed that, even though most interpretations of quantum mechanics (QM) attempt to escape contradictions, there are many hints that indicate it could be worth while to engage in a research of this kind. Recently, Arenhart and Krause [1, 2, 3] have raised several arguments against this approach and claimed that, taking into account the square of opposition, quantum superpositions are better understood in terms of contrariety propositions rather than contradictory propositions. In [17] we defended the Paraconsistent Approach to Quantum Superpositions (PAQS) and provided arguments in favor of its development. In the present paper we attempt to analyze the meanings of modality, potentiality and contradiction in QM, and provide further arguments of why the PAQS is better suited, than the Contrariety Approach to Quantum Superpositions (CAQS) proposed by Arenhart and Krause, to face the interpretational questions that quantum technology is forcing us to consider.Comment: Published in: New Directions in Paraconsistent Logic, J-Y B\'eziau M. Chakraborty & S. Dutta (Eds.), Springer, in press. arXiv admin note: text overlap with arXiv:1404.518

In situ evidence for the structure of the magnetic null in a 3D reconnection event in the Earth's magnetotail

Magnetic reconnection is one of the most important processes in astrophysical, space and laboratory plasmas. Identifying the structure around the point at which the magnetic field lines break and subsequently reform, known as the magnetic null point, is crucial to improving our understanding reconnection. But owing to the inherently three-dimensional nature of this process, magnetic nulls are only detectable through measurements obtained simultaneously from at least four points in space. Using data collected by the four spacecraft of the Cluster constellation as they traversed a diffusion region in the Earth's magnetotail on 15 September, 2001, we report here the first in situ evidence for the structure of an isolated magnetic null. The results indicate that it has a positive-spiral structure whose spatial extent is of the same order as the local ion inertial length scale, suggesting that the Hall effect could play an important role in 3D reconnection dynamics.Comment: 14 pages, 4 figure

Recent Advances in Understanding Particle Acceleration Processes in Solar Flares

We review basic theoretical concepts in particle acceleration, with particular emphasis on processes likely to occur in regions of magnetic reconnection. Several new developments are discussed, including detailed studies of reconnection in three-dimensional magnetic field configurations (e.g., current sheets, collapsing traps, separatrix regions) and stochastic acceleration in a turbulent environment. Fluid, test-particle, and particle-in-cell approaches are used and results compared. While these studies show considerable promise in accounting for the various observational manifestations of solar flares, they are limited by a number of factors, mostly relating to available computational power. Not the least of these issues is the need to explicitly incorporate the electrodynamic feedback of the accelerated particles themselves on the environment in which they are accelerated. A brief prognosis for future advancement is offered.Comment: This is a chapter in a monograph on the physics of solar flares, inspired by RHESSI observations. The individual articles are to appear in Space Science Reviews (2011

Cryptosporidium Priming Is More Effective than Vaccine for Protection against Cryptosporidiosis in a Murine Protein Malnutrition Model

Cryptosporidium is a major cause of severe diarrhea, especially in malnourished children. Using a murine model of C. parvum oocyst challenge that recapitulates clinical features of severe cryptosporidiosis during malnutrition, we interrogated the effect of protein malnutrition (PM) on primary and secondary responses to C. parvum challenge, and tested the differential ability of mucosal priming strategies to overcome the PM-induced susceptibility. We determined that while PM fundamentally alters systemic and mucosal primary immune responses to Cryptosporidium, priming with C. parvum (106 oocysts) provides robust protective immunity against re-challenge despite ongoing PM. C. parvum priming restores mucosal Th1-type effectors (CD3+CD8+CD103+ T-cells) and cytokines (IFNγ, and IL12p40) that otherwise decrease with ongoing PM. Vaccination strategies with Cryptosporidium antigens expressed in the S. Typhi vector 908htr, however, do not enhance Th1-type responses to C. parvum challenge during PM, even though vaccination strongly boosts immunity in challenged fully nourished hosts. Remote non-specific exposures to the attenuated S. Typhi vector alone or the TLR9 agonist CpG ODN-1668 can partially attenuate C. parvum severity during PM, but neither as effectively as viable C. parvum priming. We conclude that although PM interferes with basal and vaccine-boosted immune responses to C. parvum, sustained reductions in disease severity are possible through mucosal activators of host defenses, and specifically C. parvum priming can elicit impressively robust Th1-type protective immunity despite ongoing protein malnutrition. These findings add insight into potential correlates of Cryptosporidium immunity and future vaccine strategies in malnourished children

Large-scale Bright Fronts in the Solar Corona: A Review of "EIT waves"

``EIT waves" are large-scale coronal bright fronts (CBFs) that were first observed in 195 \AA\ images obtained using the Extreme-ultraviolet Imaging Telescope (EIT) onboard the \emph{Solar and Heliospheric Observatory (SOHO)}. Commonly called ``EIT waves", CBFs typically appear as diffuse fronts that propagate pseudo-radially across the solar disk at velocities of 100--700 km s$^{-1}$ with front widths of 50-100 Mm. As their speed is greater than the quiet coronal sound speed ($c_s\leq$200 km s$^{-1}$) and comparable to the local Alfv\'{e}n speed ($v_A\leq$1000 km s$^{-1}$), they were initially interpreted as fast-mode magnetoacoustic waves ($v_{f}=(c_s^2 + v_A^2)^{1/2}$). Their propagation is now known to be modified by regions where the magnetosonic sound speed varies, such as active regions and coronal holes, but there is also evidence for stationary CBFs at coronal hole boundaries. The latter has led to the suggestion that they may be a manifestation of a processes such as Joule heating or magnetic reconnection, rather than a wave-related phenomena. While the general morphological and kinematic properties of CBFs and their association with coronal mass ejections have now been well described, there are many questions regarding their excitation and propagation. In particular, the theoretical interpretation of these enigmatic events as magnetohydrodynamic waves or due to changes in magnetic topology remains the topic of much debate.Comment: 34 pages, 19 figure