A domain specific language for domotic systems

To cope with modernity, the interesting of having a fully automated house has been increasing over the years, as technology evolves and as our lives become more stressful and overloaded. An automation system provides a way to simplify some daily tasks, allowing us to have more spare time to perform activities where we are really needed. There are some systems in this domain that try to implement these characteristics, but this kind of technology is at its early stages of evolution being that it is still far away of empowering the user with the desired control over a habitation. The reason is that the mentioned systems miss some important features such as adaptability, extension and evolution. These systems, developed from a bottom-up approach, are often tailored for programmers and domain experts, discarding most of the times the end users that remain with unfinished interfaces or products that they have difficulty to control. Moreover, complex behaviors are avoided, since they are extremely difficult to implement mostly due to the necessity of handling priorities, conflicts and device calibration. Besides, these solutions are only reachable at very high costs, yet they still have the limitation of being difficult to configure by non-technical people once in runtime operation. As a result, it is necessary to create a tool that allows the execution of several automated actions, with an interface that is easy to use but at the same time supports all the main features of this domain. It is also desirable that this tool is independent of the hardware so it can be reused, thus a Model Driven Development approach (MDD) is the ideal option, as it is a method that follows those principles. Since the automation domain has some very specific concepts, the use of models should be combined with a Domain Specific Language (DSL). With these two methods, it is possible to create a solution that is adapted to the end users, but also to domain experts and programmers due to the several levels of abstraction that can be added to diminish the complexity of use. The aim of this thesis is to design a Domain Specific Language (DSL) that uses the Model Driven Development approach (MDD), with the purpose of supporting Home Automation (HA) concepts. In this implementation, the development of simple and complex scenarios should be supported and will be one of the most important concerns. This DSL should also support other significant features in this domain, such as the ability to schedule tasks, which is something that is limited in the current existing solutions.

Semantic relations extraction from unstructured information for domain ontologies enrichment

Based in internet growth, through semantic web, together with communication speed improvement and fast development of storage device sizes, data and information volume rises considerably every day. Because of this, in the last few years there has been a growing interest in structures for formal representation with suitable characteristics, such as the possibility to organize data and information, as well as the reuse of its contents aimed for the generation of new knowledge. Controlled Vocabulary, specifically Ontologies, present themselves in the lead as one of such structures of representation with high potential. Not only allow for data representation, as well as the reuse of such data for knowledge extraction, coupled with its subsequent storage through not so complex formalisms. However, for the purpose of assuring that ontology knowledge is always up to date, they need maintenance. Ontology Learning is an area which studies the details of update and maintenance of ontologies. It is worth noting that relevant literature already presents first results on automatic maintenance of ontologies, but still in a very early stage. Human-based processes are still the current way to update and maintain an ontology, which turns this into a cumbersome task. The generation of new knowledge aimed for ontology growth can be done based in Data Mining techniques, which is an area that studies techniques for data processing, pattern discovery and knowledge extraction in IT systems. This work aims at proposing a novel semi-automatic method for knowledge extraction from unstructured data sources, using Data Mining techniques, namely through pattern discovery, focused in improving the precision of concept and its semantic relations present in an ontology. In order to verify the applicability of the proposed method, a proof of concept was developed, presenting its results, which were applied in building and construction sector.

Learning domain-specific sentiment lexicons with applications to recommender systems

Search is now going beyond looking for factual information, and people wish to search for the opinions of others to help them in their own decision-making. Sentiment expressions or opinion expressions are used by users to express their opinion and embody important pieces of information, particularly in online commerce. The main problem that the present dissertation addresses is how to model text to find meaningful words that express a sentiment. In this context, I investigate the viability of automatically generating a sentiment lexicon for opinion retrieval and sentiment classification applications. For this research objective we propose to capture sentiment words that are derived from online users’ reviews. In this approach, we tackle a major challenge in sentiment analysis which is the detection of words that express subjective preference and domain-specific sentiment words such as jargon. To this aim we present a fully generative method that automatically learns a domain-specific lexicon and is fully independent of external sources. Sentiment lexicons can be applied in a broad set of applications, however popular recommendation algorithms have somehow been disconnected from sentiment analysis. Therefore, we present a study that explores the viability of applying sentiment analysis techniques to infer ratings in a recommendation algorithm. Furthermore, entities’ reputation is intrinsically associated with sentiment words that have a positive or negative relation with those entities. Hence, is provided a study that observes the viability of using a domain-specific lexicon to compute entities reputation. Finally, a recommendation system algorithm is improved with the use of sentiment-based ratings and entities reputation.

Sharpened lower bounds for cut elimination

We present sharpened lower bounds on the size of cut free proofs for first-order logic. Prior lower bounds for eliminating cuts from a proof established superexponential lower bounds as a stack of exponentials, with the height of the stack proportional to the maximum depth d of the formulas in the original proof. Our new lower bounds remove the constant of proportionality, giving an exponential stack of height equal to d − O(1). The proof method is based on more efficiently expressing the Gentzen-Solovay cut formulas as low depth formulas.

Application of the combined integral method to Stefan problems

In this paper we present a new, accurate form of the heat balance integral method, termed the Combined Integral Method (or CIM). The application of this method to Stefan problems is discussed. For simple test cases the results are compared with exact and asymptotic limits. In particular, it is shown that the CIM is more accurate than the second order, large Stefan number, perturbation solution for a wide range of Stefan numbers. In the initial examples it is shown that the CIM reduces the standard problem, consisting of a PDE defined over a domain specified by an ODE, to the solution of one or two algebraic equations. The latter examples, where the boundary temperature varies with time, reduce to a set of three first order ODEs.

Hybrid Multiscale Finite Volume method for two-phase flow in porous media

We present a novel hybrid (or multiphysics) algorithm, which couples pore-scale and Darcy descriptions of two-phase flow in porous media. The flow at the pore-scale is described by the Navier?Stokes equations, and the Volume of Fluid (VOF) method is used to model the evolution of the fluid?fluid interface. An extension of the Multiscale Finite Volume (MsFV) method is employed to construct the Darcy-scale problem. First, a set of local interpolators for pressure and velocity is constructed by solving the Navier?Stokes equations; then, a coarse mass-conservation problem is constructed by averaging the pore-scale velocity over the cells of a coarse grid, which act as control volumes; finally, a conservative pore-scale velocity field is reconstructed and used to advect the fluid?fluid interface. The method relies on the localization assumptions used to compute the interpolators (which are quite straightforward extensions of the standard MsFV) and on the postulate that the coarse-scale fluxes are proportional to the coarse-pressure differences. By numerical simulations of two-phase problems, we demonstrate that these assumptions provide hybrid solutions that are in good agreement with reference pore-scale solutions and are able to model the transition from stable to unstable flow regimes. Our hybrid method can naturally take advantage of several adaptive strategies and allows considering pore-scale fluxes only in some regions, while Darcy fluxes are used in the rest of the domain. Moreover, since the method relies on the assumption that the relationship between coarse-scale fluxes and pressure differences is local, it can be used as a numerical tool to investigate the limits of validity of Darcy's law and to understand the link between pore-scale quantities and their corresponding Darcy-scale variables.

Viremic blood donor found by a rapid screening method in a season of high human parvovirus B19 activity in Niterói, Rio de Janeiro, Brazil

Erythrovirus B19 infection is usually benign but may have serious consequences in patients with hemolytic anemia (transient aplastic crisis), immunodeficiency (in whom persistent infection can lead to chronic bone marrow failure with anemia), or who are in the first or second trimester of gestation (spontaneous abortion, hydrops fetalis, and fetal death). Being non-enveloped, B19 resists most inactivation methods and can be transmitted by transfusion. B19 is difficult to cultivate and native virus is usually obtained from viremic blood. As specific antibodies may be absent, and there is no reliable immunological method for antigen detection, hybridization or polymerase chain reaction are needed for detecting viremia. A rapid method, gel hemagglutination (Diamed ID-Parvovirus B19 Antigen Test), can disclose highly viremic donations, whose elimination lessens the viral burden in pooled blood products and may even render them non-infectious. In order to obtain native antigen and to determine the frequency of viremic donors, we applied this test to blood donors in a period of high viral activity in our community. Positive or indeterminate results were re-tested by dot-blot hybridization. We tested 472 donors in 1998 and 831 ones in 1999. One viremic donor was found in 1999. We suggest that in periods of high community viral activity the gel hemagglutination test may be useful in avoiding highly viremic blood being added to plasma pools or directly transfused to patients under risk.

Improving the production of the denatured recombinant N-terminal domain of rhoptry-associated protein 2 from a Plasmodium falciparum target in the pathology of anemia in falciparum malaria

Rhoptry-associated protein 2 (RAP2) is known to be discharged from rhoptry onto the membrane surface of infected and uninfected erythrocytes (UEs) ex vivo and in vitro and this information provides new insights into the understanding of the pathology of severe anemia in falciparum malaria. In this study, a hexahistidine-tagged recombinant protein corresponding to residues 5-190 of the N-terminal of Plasmodium falciparum RAP2 (rN-RAP2) was produced using a new method of solubilization and purification. Expression was induced with D-lactose, a less expensive alternative inducer to the more common isopropyl-²-D-thio-galactopyranosidase. The recombinant protein was purified using two types of commercially-available affinity columns, iminodiacetic and nitrilotriacetic. rN-RAP2 had immunogenic potential, since it induced high titers of anti-RAP2 antibodies in mice. These antibodies recognized full-length RAP2 prepared from Triton X-100 extracts from two strains of P. falciparum. In fact, the antibody recognized a 29-kDa product of RAP2 cleavage as well as 82 and 70-kDa products of RAP1 cleavage. These results indicate that the two antigens share sequence epitopes. Our expressed protein fragment was shown to contain a functional epitope that is also present in rhoptry-derived ring surface protein 2 which attaches to the surface of both infected and UEs and erythroid precursor cells in the bone marrow of malaria patients. Serum from malaria patients who developed anemia during infection recognized rN-RAP2, suggesting that this protein fragment may be important for epidemiological studies investigating whether immune responses to RAP2 exacerbate hemolysis in falciparum malaria patients.

F+0 renography in neonates and infants younger than 6 months: an accurate method to diagnose severe obstructive uropathy.

We studied the response to F+0 renography and the relative and absolute individual kidney function in neonates and < 6-mo-old infants before and after surgery for unilateral ureteropelvic junction obstruction (UJO). METHODS: The results obtained at diagnosis and after pyeloplasty for 9 children (8 boys, 1 girl; age range, 0.8-5.9 mo; mean age +/- SD, 2.4 +/- 1.5 mo) with proven unilateral UJO (i.e., affected kidney [AK]) and an unremarkable contralateral kidney (i.e., normal kidney [NK]) were evaluated and compared with a control group of 10 children (6 boys, 4 girls; age range, 0.8-2.8 mo; mean age, 1.5 +/- 0.7 mo) selected because of symmetric renal function, absence of vesicoureteral reflux or infection, and an initially dilated but not obstructed renal pelvis as proven by follow-up. Renography was performed for 20 min after injection of (123)I-hippuran (OIH) (0.5-1.0 MBq/kg) immediately followed by furosemide (1 mg/kg). The relative and absolute renal functions and the response to furosemide were measured on background-subtracted and depth-corrected renograms. The response to furosemide was quantified by an elimination index (EI), defined as the ratio of the 3- to 20-min activities: An EI > or = 3 was considered definitively normal and an EI < or = 1 definitively abnormal. If EI was equivocal (1 < EI < 3), the response to gravity-assisted drainage was used to differentiate AKs from NKs. Absolute separate renal function was measured by an accumulation index (AI), defined as the percentage of (123)I-OIH (%ID) extracted by the kidney 30-90 s after maximal cardiac activity. RESULTS: All AKs had definitively abnormal EIs at diagnosis (mean, 0.56 +/- 0.12) and were significantly lower than the EIs of the NKs (mean, 3.24 +/- 1.88) and of the 20 control kidneys (mean, 3.81 +/- 1.97; P < 0.001). The EIs of the AKs significantly improved (mean, 2.81 +/- 0.64; P < 0.05) after pyeloplasty. At diagnosis, the AIs of the AKs were significantly lower (mean, 6.31 +/- 2.33 %ID) than the AIs of the NKs (mean, 9.43 +/- 1.12 %ID) and of the control kidneys (mean, 9.05 +/- 1.17 %ID; P < 0.05). The AIs of the AKs increased at follow-up (mean, 7.81 +/- 2.23 %ID) but remained lower than those of the NKs (mean, 10.75 +/- 1.35 %ID; P < 0.05). CONCLUSION: In neonates and infants younger than 6 mo, (123)I-OIH renography with early furosemide injection (F+0) allowed us to reliably diagnose AKs and to determine if parenchymal function was normal or impaired and if it improved after surgery.

Real-Time implementation of a blind authentication method using self-synchronous speech watermarking

A blind speech watermarking scheme that meets hard real-time deadlines is presented and implemented. In addition, one of the key issues in these block-oriented watermarking techniques is to preserve the synchronization. Namely, to recover the exact position of each block in the mark extract process. In fact, the presented scheme can be split up into two distinguished parts, the synchronization and the information mark methods. The former is embedded into the time domain and it is fast enough to be run meeting real-time requirements. The latter contains the authentication information and it is embedded into the wavelet domain. The synchronization and information mark techniques are both tunable in order to allow a con gurable method. Thus, capacity, transparency and robustness can be con gured depending on the needs. It makes the scheme useful for professional applications, such telephony authentication or even sending information throw radio applications.

Modified SH2 domain to phototrap and identify phosphotyrosine proteins from subcellular sites within cells.

Spatial regulation of tyrosine phosphorylation is important for many aspects of cell biology. However, phosphotyrosine accounts for less than 1% of all phosphorylated substrates, and it is typically a very transient event in vivo. These factors complicate the identification of key tyrosine kinase substrates, especially in the context of their extraordinary spatial organization. Here, we describe an approach to identify tyrosine kinase substrates based on their subcellular distribution from within cells. This method uses an unnatural amino acid-modified Src homology 2 (SH2) domain that is expressed within cells and can covalently trap phosphotyrosine proteins on exposure to light. This SH2 domain-based photoprobe was targeted to cellular structures, such as the actin cytoskeleton, mitochondria, and cellular membranes, to capture tyrosine kinase substrates unique to each cellular region. We demonstrate that RhoA, one of the proteins associated with actin, can be phosphorylated on two tyrosine residues within the switch regions, suggesting that phosphorylation of these residues might modulate RhoA signaling to the actin cytoskeleton. We conclude that expression of SH2 domains within cellular compartments that are capable of covalent phototrapping can reveal the spatial organization of tyrosine kinase substrates that are likely to be important for the regulation of subcellular structures.