Analytical Processing Over XML and XLink

Current commercial and academic OLAP tools do not process XML data that contains XLink. Aiming at overcoming this issue, this paper proposes an analytical system composed by LMDQL, an analytical query language. Also, the XLDM metamodel is given to model cubes of XML documents with XLink and to deal with syntactic, semantic and structural heterogeneities commonly found in XML documents. As current W3C query languages for navigating in XML documents do not support XLink, XLPath is discussed in this article to provide features for the LMDQL query processing. A prototype system enabling the analytical processing of XML documents that use XLink is also detailed. This prototype includes a driver, named sql2xquery, which performs the mapping of SQL queries into XQuery. To validate the proposed system, a case study and its performance evaluation are presented to analyze the impact of analytical processing over XML/XLink documents.

Time constraints on magmatism along the Major Gercino Shear Zone, southern Brazil: Implications for West Gondwana reconstruction

The Dom Feliciano Belt, situated in southernmost Brazil and Uruguay, contains a large mass of granite-gneissic rocks (also known as Florianopolis/Pelotas Batholith) formed during the pre-, syn- and post-orogenic phases of the Brasiliano/Pan-African cycle. In the NE extreme of this granitic mass, pre-, syn- and post-tectonic granites associated with the Major Gercino Shear Zone (MGSZ) are exposed. The granitic manifestation along the MGSZ can be divided into pre-kinematic tonalitic gneisses, peraluminous high-K calcalkaline early kinematic shoshonitic, and metaluminous post-kinematic granites. U-Pb zircon data suggest an age of 649 +/- 10 Ma for the pre-tectonic gneisses, and a time span from 623 +/- 6 Ma to 588 +/- 3 Ma for the early to post-tectonic magmatism. Negative epsilon Hf (t) values ranging from -4.6 to -14.6 and Hf model ages ranging from 1.64 to 2.39 Ga for magmatic zircons coupled with whole rock Nd model ages ranging from 1.24 to 2.05 Ga and epsilon Nd (t) values ranging from -3.84 to -7.50, point to a crustal derivation for the granitic magmatism. The geochemical and isotope data support a continental magmatic arc generated from melting of dominant Paleoproterozoic crust, and a similar evolution for the granitic batholiths of the eastern Dom Feliciano Belt and western Kaoko Belt. (C) 2011 International Association for Gondwana Research. Published by Elsevier B.V. All rights reserved.

delta-Superderivations of Semisimple Finite-Dimensional Jordan Superalgebras

In the paper, a complete description of the delta-derivations and the delta-superderivations of semisimple finite-dimensional Jordan superalgebras over an algebraically closed field of characteristic p not equal 2 is given. In particular, new examples of nontrivial (1/2)-derivations and odd (1/2)-superderivations are given that are not operators of right multiplication by an element of the superalgebra.

The use of parthenotegenetic and IVF bovine blastocysts as a model for the creation of human embryonic stem cells under defined conditions

Clinical application of human embryonic stem cells will be possible, when cell lines are created under xeno-free and defined conditions. We aimed to establish methodologies for parthenogenetic activation, culture to blastocyst and mechanical isolation of the inner cell mass (ICM) using bovine oocytes, as a model for derivation and proliferation of human embryonic stem cells under defined xeno-free culture conditions. Cumulus-oocyte-complexes were in vitro matured and activated using Ca(2+)Ionophore and 6-DMAP or in vitro fertilized (IVF). Parthenotes and biparental embryos were cultured to blastocysts, when their ICM was mechanically isolated and placed onto a substrate of fibronectin in StemProA (R) medium. After attachment, primary colonies were left to proliferate and stained for pluripotency markers, alkaline phosphatase and Oct-4. Parthenogenesis and fertilization presented significantly different success rates (91 and 79 %, respectively) and blastocyst formation (40 and 43 %, respectively). ICMs from parthenogenetic and IVF embryos formed primary and expanded colonies at similar rates (39 % and 33 %, respectively). Six out of eight parthenogenetic colonies tested positive for alkaline phosphatase. Three colonies were analyzed for Oct-4 and they all tested positive for this pluripotency marker. Our data show that Ca2+ Ionophore, and 6-DMAP are efficient in creating large numbers of blastocysts to be employed as a model for human oocyte activation and embryo development. After mechanical isolation, parthenogetic derived ICMs showed a good rate of derivation in fibronectin and Stem-Pro forming primary and expanded colonies of putative embryonic stem cells. This methodology may be a good strategy for parthenogenetic activation of discarded human oocytes and derivation in defined conditions for future therapeutic interventions.

Mini-Mental State Examination sentence writing among community-dwelling elderly adults in Brazil: text fluency and grammar complexity

Background: In normal aging, the decrease in the syntactic complexity of written production is usually associated with cognitive deficits. This study was aimed to analyze the quality of older adults' textual production indicated by verbal fluency (number of words) and grammatical complexity (number of ideas) in relation to gender, age, schooling, and cognitive status. Methods: From a probabilistic sample of community-dwelling people aged 65 years and above (n = 900), 577 were selected on basis of their responses to the Mini-Mental State Examination (MMSE) sentence writing, which were submitted to content analysis; 323 were excluded as they left the item blank or performed illegible or not meaningful responses. Education adjusted cut-off scores for the MMSE were used to classify the participants as cognitively impaired or unimpaired. Total and subdomain MMSE scores were computed. Results: 40.56% of participants whose answers to the MMSE sentence were excluded from the analyses had cognitive impairment compared to 13.86% among those whose answers were included. The excluded participants were older and less educated. Women and those older than 80 years had the lowest scores in the MMSE. There was no statistically significant relationship between gender, age, schooling, and textual performance. There was a modest but significant correlation between number of words written and the scores in the Language subdomain. Conclusions: Results suggest the strong influence of schooling and age over MMSE sentence performance. Failing to write a sentence may suggest cognitive impairment, yet, instructions for the MMSE sentence, i.e. to produce a simple sentence, may limit its clinical interpretation.

Using Mitrofanoff's principle and Monti's technique as a surgical option for bladder augmentation with a continent stoma: a case report

Abstract Introduction Hydronephrosis, reflux and renal failure are serious complications that occur in patients with neurogenic bladder associated with myelomeningocele. When the bladder compliance is lost, it is imperative to carry out surgery aimed at reducing bladder storage pressure. An ileocystoplasty, and for patients not suitable for intermittent catheterization, using the Mitrofanoff principle to form a continent stoma and the subsequent closure of the bladder neck, can be used. We report here, for the first time to the best of our knowledge, an association between two previously described techniques (the Mitrofanoff principle and the technique of Monti), that can solve the problem of a short appendix in obese patients. Case presentation A 33-year-old male Caucasian patient with myelomeningocele and neurogenic bladder developed low bladder compliance (4.0 mL/cm H2O) while still maintaining normal renal function. A bladder augmentation (ileocystoplasty) with continent derivation principle (Mitrofanoff) was performed. During surgery, we found that the patient's appendix was too short and was insufficient to reach the skin. We decided to make an association between the Mitrofanoff conduit and the ileal technique of Monti, through which we performed an anastomosis of the distal stump of the appendix to the bladder (with an antireflux valve). Later, the proximal stump of the appendix was anastomosed to an ileal segment of 2.0 cm that was open longitudinally and reconfigured transversally (Monti technique), modeled by a 12-Fr urethral catheter, and finally, the distal stump was sutured at the patient's navel. After the procedure, a suprapubic cystostomy (22 Fr) and a Foley catheter (10 Fr) through the continent conduit were left in place. The patient had recovered well and was discharged on the tenth day after surgery. He remained with the Foley catheter (through the conduit) for 21 days and cystostomy for 30 days. Six months after surgery he was continent with good bladder compliance without reflux and fully adapted to catheterization through the navel. Conclusion The unpublished association between the Mitrofanoff and Monti techniques is feasible and a very useful alternative in urologic cases of derivation continent in which the ileocecal appendix is too short to reach the skin (i.e., in obese patients).

Denominal Verbs in Brazilian Portuguese: distinguishing between diachronic and synchronic structures within Distributed Morphology approach

Recent work on argument structure has shown that there must be a synchronic relation between nouns and derived verbs that can be treated in structural terms. However, a simple phonological/morphological identity or diachronic derivation between a verb and a noun cannot guarantee that there is a denominal structure in a synchronic approach. In this paper we observe the phenomenon of Denominal Verbs in Brazilian Portuguese and argue for a distinction between etymological and synchronic morphological derivation. The objectives of this paper are 1) to identify synchronic and formal criteria to define which diachronic Denominal Verbs can also be considered denominal under a synchronic analysis; and 2) to detect in which cases the label "denominal" can be justifiably abandoned. Based on results of argument structure tests submitted to the judgments of native speakers, it was possible to classify the supposed homogenous Denominal Verbs class into three major groups: Real Denominal Verbs, Root-derived Verbs, and Ambiguous Verbs. In a Distributed Morphology approach, it was possible to explain the distinction between these groups based on the ideia of phases in words and the locality of restriction in the interpretation of roots.

Segue 3: the youngest globular cluster in the outer halo

Deep Galileo (Telescopio Nazionale Galileo) B, V and I images of Segue 3, reaching V ∼ 25, reveal that it is the youngest globular cluster known so far in the Galaxy. A young age of 3.2 Gyr is found, differently from a previous estimate of 12 Gyr. It also appears to be moderately metal rich with [Fe/H] ∼ −0.8, rather than [Fe/H] ∼ −1.7, as previously suggested by Fadely et al. A main difference in the age derivation relative to Fadely et al. comes from the consideration of subgiant branch stars in the isochrone fitting. A deduced distance of d⊙ = 29.1 kpc is compatible with the outer halo location of other low luminosity globular clusters.

Origin of the heavy elements in HD 140283: measurement of europium abundance

Context. HD140283 is a nearby (V = 7:7) subgiant metal-poor star, extensively analysed in the literature. Although many spectra have been obtained for this star, none showed a signal-to-noise (S/N) ratio high enough to enable a very accurate derivation of abundances from weak lines. Aims. The detection of europium proves that the neutron-capture elements in this star originate in the r-process, and not in the s-process, as recently claimed in the literature. Methods. Based on the OSMARCS 1D LTE atmospheric model and with a consistent approach based on the spectrum synthesis code Turbospectrum, we measured the europium lines at 4129 Å and 4205 Å, taking into account the hyperfine structure of the transitions. The spectrum, obtained with a long exposure time of seven hours at the Canada-France-Hawaii Telescope (CFHT), has a resolving power of 81 000 and a S/N ratio of 800 at 4100 Å. Results. We were able to determine the abundance A(Eu) =

Probing the statistical properties of unknown texts: application to the Voynich manuscript

While the use of statistical physics methods to analyze large corpora has been useful to unveil many patterns in texts, no comprehensive investigation has been performed on the interdependence between syntactic and semantic factors. In this study we propose a framework for determining whether a text (e.g., written in an unknown alphabet) is compatible with a natural language and to which language it could belong. The approach is based on three types of statistical measurements, i.e. obtained from first-order statistics of word properties in a text, from the topology of complex networks representing texts, and from intermittency concepts where text is treated as a time series. Comparative experiments were performed with the New Testament in 15 different languages and with distinct books in English and Portuguese in order to quantify the dependency of the different measurements on the language and on the story being told in the book. The metrics found to be informative in distinguishing real texts from their shuffled versions include assortativity, degree and selectivity of words. As an illustration, we analyze an undeciphered medieval manuscript known as the Voynich Manuscript. We show that it is mostly compatible with natural languages and incompatible with random texts. We also obtain candidates for keywords of the Voynich Manuscript which could be helpful in the effort of deciphering it. Because we were able to identify statistical measurements that are more dependent on the syntax than on the semantics, the framework may also serve for text analysis in language-dependent applications.

A study of epistemic modality in academic and popularised discourse: the case of possibility adverbs perhaps, maybe and possibly

[EN] This paper describes the use of perhaps, maybe and possibly in a cross-disciplinary corpus of academic and popularised scientific writing. It accounts for their higher frequency in popularised discourse by investigating their functions in detail. The analysis, conducted from various perspectives (syntactic, semantic, pragmatic and rhetorical), suggests that two factors are at work: the evidential basis for the epistemic assessment and the mode of discourse the marker is most closely associated with.

Constraint handling rules. Compositional semantics and program transformation

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.

Implementation of a non ground meta interpreter for defeasible logic

Human reasoning is a fascinating and complex cognitive process that can be applied in different research areas such as philosophy, psychology, laws and financial. Unfortunately, developing supporting software (to those different areas) able to cope such as complex reasoning it’s difficult and requires a suitable logic abstract formalism. In this thesis we aim to develop a program, that has the job to evaluate a theory (a set of rules) w.r.t. a Goal, and provide some results such as “The Goal is derivable from the KB5 (of the theory)”. In order to achieve this goal we need to analyse different logics and choose the one that best meets our needs. In logic, usually, we try to determine if a given conclusion is logically implied by a set of assumptions T (theory). However, when we deal with programming logic we need an efficient algorithm in order to find such implications. In this work we use a logic rather similar to human logic. Indeed, human reasoning requires an extension of the first order logic able to reach a conclusion depending on not definitely true6 premises belonging to a incomplete set of knowledge. Thus, we implemented a defeasible logic7 framework able to manipulate defeasible rules. Defeasible logic is a non-monotonic logic designed for efficient defeasible reasoning by Nute (see Chapter 2). Those kind of applications are useful in laws area especially if they offer an implementation of an argumentation framework that provides a formal modelling of game. Roughly speaking, let the theory is the set of laws, a keyclaim is the conclusion that one of the party wants to prove (and the other one wants to defeat) and adding dynamic assertion of rules, namely, facts putted forward by the parties, then, we can play an argumentative challenge between two players and decide if the conclusion is provable or not depending on the different strategies performed by the players. Implementing a game model requires one more meta-interpreter able to evaluate the defeasible logic framework; indeed, according to Göedel theorem (see on page 127), we cannot evaluate the meaning of a language using the tools provided by the language itself, but we need a meta-language able to manipulate the object language8. Thus, rather than a simple meta-interpreter, we propose a Meta-level containing different Meta-evaluators. The former has been explained above, the second one is needed to perform the game model, and the last one will be used to change game execution and tree derivation strategies.

Solvatationsdynamik: lokales Relaxationsverhalten glasbildender Systeme

In dieser Arbeit wurde das lokale Relaxationsverhalten niedermolekularer glasbildender Materialien mit der Methode der Solvatationsdynamik untersucht. Bei dieser Methode werden phosphoreszente Farbstoffe als molekulare Sonden für die lokale Dynamik im Glasbildner eingesetzt. Je nach verwendeter Sonde sind unterschiedliche Eigenschaften zugänglich:Mit Farbstoffen, die ihr Dipolmoment bei optischer Anregung nicht ändern, wird eine mechanische Solvatation gemessen, die die lokale viskoelastische Antwort des Materials widerspiegelt. Mit Farbstoffen, die eine Änderung des Dipolmoments bei optischer Anregung aufweisen,sind zusätzlich lokale dielektrische Eigenschaften des Materials zugänglich, die bei endlicher Polarität des Lösungsmittels dominieren. Das heterogene Relaxationsverhalten des Glasbildners 2-Methyltetrahydrofuran wurde quantitativ untersucht.Auf einem Temperaturbereich, auf dem die mittlere Relaxationszeit um mehr als 4 Dekaden variiert, konnte gezeigt werden, daß die Relaxation lokal rein exponentiell verläuft. Zur Abschätzung von Reichweiteneffekten wurden Solvatationsmessungen in einschränkenden Geometrien in Form von porösen Sol-Gel Gläsern mit Porendurchmessern zwischen 7,5-2,5 nm durchgeführt. Der Einfluß der Beschaffenheit der Porenoberfläche wurde durch Vergleichzwischen der Solvatation in nativen und in silanisierten Gläsern untersucht. Es wurde gezeigt, daß auch in den kleinsten verwendeten silanisierten Poren alle Charakteristika des jeweiligen Bulk-Systems erhalten bleiben.In den nativen porösen Gläsern dagegen führt der Einfluß der stark polaren Oberfläche zu einer Änderung der Dynamik.

Semantic coordination through programmable Tuple spaces

Two of the main features of today complex software systems like pervasive computing systems and Internet-based applications are distribution and openness. Distribution revolves around three orthogonal dimensions: (i) distribution of control|systems are characterised by several independent computational entities and devices, each representing an autonomous and proactive locus of control; (ii) spatial distribution|entities and devices are physically distributed and connected in a global (such as the Internet) or local network; and (iii) temporal distribution|interacting system components come and go over time, and are not required to be available for interaction at the same time. Openness deals with the heterogeneity and dynamism of system components: complex computational systems are open to the integration of diverse components, heterogeneous in terms of architecture and technology, and are dynamic since they allow components to be updated, added, or removed while the system is running. The engineering of open and distributed computational systems mandates for the adoption of a software infrastructure whose underlying model and technology could provide the required level of uncoupling among system components. This is the main motivation behind current research trends in the area of coordination middleware to exploit tuple-based coordination models in the engineering of complex software systems, since they intrinsically provide coordinated components with communication uncoupling and further details in the references therein. An additional daunting challenge for tuple-based models comes from knowledge-intensive application scenarios, namely, scenarios where most of the activities are based on knowledge in some form|and where knowledge becomes the prominent means by which systems get coordinated. Handling knowledge in tuple-based systems induces problems in terms of syntax - e.g., two tuples containing the same data may not match due to differences in the tuple structure - and (mostly) of semantics|e.g., two tuples representing the same information may not match based on a dierent syntax adopted. Till now, the problem has been faced by exploiting tuple-based coordination within a middleware for knowledge intensive environments: e.g., experiments with tuple-based coordination within a Semantic Web middleware (surveys analogous approaches). However, they appear to be designed to tackle the design of coordination for specic application contexts like Semantic Web and Semantic Web Services, and they result in a rather involved extension of the tuple space model. The main goal of this thesis was to conceive a more general approach to semantic coordination. In particular, it was developed the model and technology of semantic tuple centres. It is adopted the tuple centre model as main coordination abstraction to manage system interactions. A tuple centre can be seen as a programmable tuple space, i.e. an extension of a Linda tuple space, where the behaviour of the tuple space can be programmed so as to react to interaction events. By encapsulating coordination laws within coordination media, tuple centres promote coordination uncoupling among coordinated components. Then, the tuple centre model was semantically enriched: a main design choice in this work was to try not to completely redesign the existing syntactic tuple space model, but rather provide a smooth extension that { although supporting semantic reasoning { keep the simplicity of tuple and tuple matching as easier as possible. By encapsulating the semantic representation of the domain of discourse within coordination media, semantic tuple centres promote semantic uncoupling among coordinated components. The main contributions of the thesis are: (i) the design of the semantic tuple centre model; (ii) the implementation and evaluation of the model based on an existent coordination infrastructure; (iii) a view of the application scenarios in which semantic tuple centres seem to be suitable as coordination media.