925 resultados para Domain-specific languages engineering
Resumo:
We introduce empirical work on Romance language acquisition with respect to the interfaces of syntax with other modules of grammar (internal interfaces) and other domains of cognition (external interfaces). We do so by choosing specific phenomena within the following interfaces: syntax-morphology, syntax-semantics and syn-tax-pragmatics. In the domain of syntax-morphology we focus on grammatical gender, with respect to the syntax-semantics interface we focus on adjectival placement (pre- and post-nominal) and with regard to the syntax-discourse/pragmatics interface we review work on the null/overt subject distribution. Finally, we summarize research on articles, suggesting that articles represent a multiple interface. We provide examples from different types of learners and across the four major Romance languages French, Italian, Portuguese and Spanish. While our central goal is to summarize and generalize across major findings, we will also point to potential problems concerning the interface approach, e.g. the association of particular phenomena with a specific interface and the assumption that internal interfaces are less problematic than external ones.
Resumo:
Although cloning of mammals has been achieved successfully, the percentage of live offspring is very low because of reduced fetal size and fewer implantation sites. Recent studies have attributed such pathological conditions to abnormal reprogramming of the donor cell used for cloning. The inability of the oocyte to fully restore the differentiated status of a somatic cell to its pluripotent and undifferentiated state is normally evidenced by aberrant DNA methylation patterns established throughout the genome during development to blastocyst. These aberrant methylation patterns are associated with abnormal expression of imprinted genes, which among other genes are essential for normal embryo development and gestation. We hypothesized that embryo loss and low implantation rates in cattle derived by somatic cell nuclear transfer (SCNT) are caused by abnormal epigenetic reprogramming of imprinted genes. To verify our hypothesis, we analyzed the parental expression and the differentially methylated domain (DMD) methylation status of the H19 gene. Using a parental-specific analysis, we confirmed for the first time that H19 biallelic expression is tightly associated with a severe demethylation of the paternal H19 DMD in SCNT embryos, suggesting that these epigenetic anomalies to the H19 locus could be directly responsible for the reduced size and low implantation rates of cloned embryos in cattle.
Resumo:
The heat conduction problem, in the presence of a change of state, was solved for the case of an indefinitely long cylindrical layer cavity. As boundary conditions, it is imposed that the internal surface of the cavity is maintained below the fusion temperature of the infilling substance and the external surface is kept above it. The solution, obtained in nondimensional variables, consists in two closed form heat conduction equation solutions for the solidified and liquid regions, which formally depend of the, at first, unknown position of the phase change front. The energy balance through the phase change front furnishes the equation for time dependence of the front position, which is numerically solved. Substitution of the front position for a particular instant in the heat conduction equation solutions gives the temperature distribution inside the cavity at that moment. The solution is illustrated with numerical examples. [DOI: 10.1115/1.4003542]
Resumo:
The Duffy binding protein of Plasmodium vivax (DBP) is a critical adhesion ligand that participates in merozoite invasion of human Duffy-positive erythrocytes. A small outbreak of P. vivax malaria, in a village located in a non-malarious area of Brazil, offered us an opportunity to investigate the DBP immune responses among individuals who had their first and brief exposure to malaria. Thirty-three individuals participated in the five cross-sectional surveys, 15 with confirmed P. vivax infection while residing in the outbreak area (cases) and 18 who had not experienced malaria (non-cases). In the present study, we found that only 20% (three of 15) of the individuals who experienced their first P. vivax infection developed an antibody response to DBP; a secondary boosting can be achieved with a recurrent P. vivax infection. DNA sequences from primary/recurrent P. vivax samples identified a single dbp allele among the samples from the outbreak area. To investigate inhibitory antibodies to the ligand domain of the DBP (cysteine-rich region II, DBP(II)), we performed in vitro assays with mammalian cells expressing DBP(II) sequences which were homologous or not to those from the outbreak isolate. In non-immune individuals, the results of a 12-month follow-up period provided evidence that naturally acquired inhibitory antibodies to DBP(II) are short-lived and biased towards a specific allele.
Resumo:
Generating quadrilateral meshes is a highly non-trivial task, as design decisions are frequently driven by specific application demands. Automatic techniques can optimize objective quality metrics, such as mesh regularity, orthogonality, alignment and adaptivity; however, they cannot make subjective design decisions. There are a few quad meshing approaches that offer some mechanisms to include the user in the mesh generation process; however, these techniques either require a large amount of user interaction or do not provide necessary or easy to use inputs. Here, we propose a template-based approach for generating quad-only meshes from triangle surfaces. Our approach offers a flexible mechanism to allow external input, through the definition of alignment features that are respected during the mesh generation process. While allowing user inputs to support subjective design decisions, our approach also takes into account objective quality metrics to produce semi-regular, quad-only meshes that align well to desired surface features. Published by Elsevier Ltd.
Resumo:
Increasing efforts exist in integrating different levels of detail in models of the cardiovascular system. For instance, one-dimensional representations are employed to model the systemic circulation. In this context, effective and black-box-type decomposition strategies for one-dimensional networks are needed, so as to: (i) employ domain decomposition strategies for large systemic models (1D-1D coupling) and (ii) provide the conceptual basis for dimensionally-heterogeneous representations (1D-3D coupling, among various possibilities). The strategy proposed in this article works for both of these two scenarios, though the several applications shown to illustrate its performance focus on the 1D-1D coupling case. A one-dimensional network is decomposed in such a way that each coupling point connects two (and not more) of the sub-networks. At each of the M connection points two unknowns are defined: the flow rate and pressure. These 2M unknowns are determined by 2M equations, since each sub-network provides one (non-linear) equation per coupling point. It is shown how to build the 2M x 2M non-linear system with arbitrary and independent choice of boundary conditions for each of the sub-networks. The idea is then to solve this non-linear system until convergence, which guarantees strong coupling of the complete network. In other words, if the non-linear solver converges at each time step, the solution coincides with what would be obtained by monolithically modeling the whole network. The decomposition thus imposes no stability restriction on the choice of the time step size. Effective iterative strategies for the non-linear system that preserve the black-box character of the decomposition are then explored. Several variants of matrix-free Broyden`s and Newton-GMRES algorithms are assessed as numerical solvers by comparing their performance on sub-critical wave propagation problems which range from academic test cases to realistic cardiovascular applications. A specific variant of Broyden`s algorithm is identified and recommended on the basis of its computer cost and reliability. (C) 2010 Elsevier B.V. All rights reserved.
Resumo:
Partition of Unity Implicits (PUI) has been recently introduced for surface reconstruction from point clouds. In this work, we propose a PUI method that employs a set of well-observed solutions in order to produce geometrically pleasant results without requiring time consuming or mathematically overloaded computations. One feature of our technique is the use of multivariate orthogonal polynomials in the least-squares approximation, which allows the recursive refinement of the local fittings in terms of the degree of the polynomial. However, since the use of high-order approximations based only on the number of available points is not reliable, we introduce the concept of coverage domain. In addition, the method relies on the use of an algebraically defined triangulation to handle two important tasks in PUI: the spatial decomposition and an adaptive polygonization. As the spatial subdivision is based on tetrahedra, the generated mesh may present poorly-shaped triangles that are improved in this work by means a specific vertex displacement technique. Furthermore, we also address sharp features and raw data treatment. A further contribution is based on the PUI locality property that leads to an intuitive scheme for improving or repairing the surface by means of editing local functions.
Resumo:
Reusable and evolvable Software Engineering Environments (SEES) are essential to software production and have increasingly become a need. In another perspective, software architectures and reference architectures have played a significant role in determining the success of software systems. In this paper we present a reference architecture for SEEs, named RefASSET, which is based on concepts coming from the aspect-oriented approach. This architecture is specialized to the software testing domain and the development of tools for that domain is discussed. This and other case studies have pointed out that the use of aspects in RefASSET provides a better Separation of Concerns, resulting in reusable and evolvable SEEs. (C) 2011 Elsevier Inc. All rights reserved.
Resumo:
Mutation testing has been used to assess the quality of test case suites by analyzing the ability in distinguishing the artifact under testing from a set of alternative artifacts, the so-called mutants. The mutants are generated from the artifact under testing by applying a set of mutant operators, which produce artifacts with simple syntactical differences. The mutant operators are usually based on typical errors that occur during the software development and can be related to a fault model. In this paper, we propose a language-named MuDeL (MUtant DEfinition Language)-for the definition of mutant operators, aiming not only at automating the mutant generation, but also at providing precision and formality to the operator definition. The proposed language is based on concepts from transformational and logical programming paradigms, as well as from context-free grammar theory. Denotational semantics formal framework is employed to define the semantics of the MuDeL language. We also describe a system-named mudelgen-developed to support the use of this language. An executable representation of the denotational semantics of the language is used to check the correctness of the implementation of mudelgen. At the very end, a mutant generator module is produced, which can be incorporated into a specific mutant tool/environment. (C) 2008 Elsevier Ltd. All rights reserved.
Resumo:
LaFe(1-x)CO(x)O(3) perovskites were conventionally or nanocasting synthesized. The nanocasting involved the preparation of a micro-mesoporous carbon mould using a Silica Aerosil 200 and a carbon source. Then, perovskites were carbon cast at 800 degrees C. The solids were characterized by XRD, N(2) sorption, FTIR, TGA/DTG, SEM and TEM. N(2) sorption evidenced that the nanocast perovskites did not show significant intraparticle porosity in despite of their enhanced (30-50 m(2)/g) specific surface area (SSA). Nevertheless, TEM images, XRD and Rietveld refinement data showed that the solids are constituted at least by 97 wt% of perovskite phase and by agglomerates smaller than 100 nm constituted by crystallites of about 6 nm. TGA/DTG results demonstrated carbon oxidation during the perovskite formation, thus eliminating the template effect and facilitating the occurrence of sintering, which limited the SSA increase. The nanocast perovskites were more active in the reduction of NO than the uncast ones, behavior that was attributed to the increase in their SSA that allows the exposure of a higher number of accessible active sites. However, the perovskite composition and the presence of impurities can reduce the effect of the improvement of the textural properties. The nanocast perovskites also showed high thermal and catalytic stability, corroborating their potential as catalysts for the studied reaction. (C) 2009 Elsevier B.V. All rights reserved.
Resumo:
The ligand binding domain (LBD) of nuclear hormone receptors adopts a very compact, mostly alpha-helical structure that binds specific ligands with very high affinity. We use circular dichroism spectroscopy and high-temperature molecular dynamics Simulations to investigate unfolding of the LBDs of thyroid hormone receptors (TRs). A molecular description of the denaturation mechanisms is obtained by molecular dynamics Simulations of the TR alpha and TR beta LBDs in the absence and in the presence of the natural ligand Triac. The Simulations Show that the thermal unfolding of the LBD starts with the loss of native contacts and secondary Structure elements, while the Structure remains essentially compact, resembling a molten globule state. This differs From most protein denaturation simulations reported to date and suggests that the folding mechanism may start with the hydrophobic collapse of the TR LBDs. Our results reveal that the stabilities of the LBDs of the TR alpha and TR beta Subtypes are affected to different degrees by the binding of the isoform selective ligand Triac and that ligand binding confers protection against thermal denaturation and unfolding in a subtype specific manner. Our Simulations indicate two mechanisms by which the ligand stabilizes the LBD: (1) by enhancing the interactions between H8 and H 11, and the interaction of the region between H I and the Omega-loop with the core of the LBD, and (2) by shielding the hydrophobic H6 from hydration.
Resumo:
The septins are a family of conserved proteins involved in cytokinesis and cortical organization. An increasing amount of data implicates different septins in diverse pathological conditions including neurodegenerative disorders, neoplasia and infections. Human SEPT4 is a member of this family and its tissue-specific ectopic expression profile in colorectal and urologic cancer makes it a useful diagnostic biomarker. Thermal unfolding of the GTPase domain of SEPT4 (SEPT4-G) revealed an unfolding intermediate which rapidly aggregates into amyloid-like fibers under physiological conditions. In this study, we examined the effects of protein concentration, pH and metals ions on the aggregation process of recombinant SEPT4-G using a series of biophysical techniques, which were also employed to study chemical unfolding and stability. Divalent metal ions caused significant acceleration to the rate of SEPT4-G aggregation. Urea induced unfolding was shown to proceed via the formation of a partially unfolded intermediate state which unfolds further at higher urea concentrations. The intermediate is a compact dimer which is unable to bind GTR At 1 M urea concentration, the intermediate state was plagued by irreversible aggregation at temperatures above 30 degrees C. However, higher urea concentration resulted in a marked decay of the aggregation, indicating that the partially folded structures may be necessary for the formation of these aggregates. The results presented here are consistent with the recently determined crystal structure of human septins and shed light on the aggregation properties of SEPT4 pertinent to its involvement in neurodegenerative disease. (C) 2008 Elsevier B.V. All rights reserved.
Resumo:
The PilZ protein was originally identified as necessary for type IV pilus (T4P) biogenesis. Since then, a large and diverse family of bacterial PilZ homology domains have been identified, some of which have been implicated in signaling pathways that control important processes, including motility, virulence and biofilm formation. Furthermore, many PilZ homology domains, though not PilZ itself, have been shown to bind the important bacterial second messenger bis(3`-> 5`)cyclic diGMP (c-diGMP). The crystal structures of the PilZ orthologs from Xanthomonas axonopodis pv Citri (PilZ(XAC1133), this work) and from Xanthomonas campestris pv campestris (XC1028) present significant structural differences to other PilZ homologs that explain its failure to bind c-diGMP. NMR analysis of PilZ(XAC1133) shows that these structural differences are maintained in solution. In spite of their emerging importance in bacterial signaling, the means by which NZ proteins regulate specific processes is not clear. In this study, we show that PilZ(XAC1133) binds to PilB, an ATPase required for TV polymerization, and to the EAL domain of FiMX(XAC2398), which regulates TV biogenesis and localization in other bacterial species. These interactions were confirmed in NMR, two-hybrid and far-Western blot assays and are the first interactions observed between any PilZ domain and a target protein. While we were unable to detect phosphodiesterase activity for FimXX(AC2398) in vitro, we show that it binds c-diGMP both in the presence and in the absence of PilZ(XAC1133). Site-directed mutagenesis studies for conserved and exposed residues suggest that PilZ(XAC1133) interactions with FimX(XAC2398) and PilB(XAC3239) are mediated through a hydrophobic surface and an unstructured C-terminal extension conserved only in PilZ orthologs. The FimX-PilZ-PilB interactions involve a full set of ""degenerate"" GGDEF, EAL and PilZ domains and provide the first evidence of the means by which PilZ orthologs and FimX interact directly with the TP4 machinery. (C) 2009 Elsevier Ltd. All rights reserved.
Resumo:
BDI agent languages provide a useful abstraction for complex systems comprised of interactive autonomous entities, but they have been used mostly in the context of single agents with a static plan library of behaviours invoked reactively. These languages provide a theoretically sound basis for agent design but are very limited in providing direct support for autonomy and societal cooperation needed for large scale systems. Some techniques for autonomy and cooperation have been explored in the past in ad hoc implementations, but not incorporated in any agent language. In order to address these shortcomings we extend the well known AgentSpeak(L) BDI agent language to include behaviour generation through planning, declarative goals and motivated goal adoption. We also develop a language-specific multiagent cooperation scheme and, to address potential problems arising from autonomy in a multiagent system, we extend our agents with a mechanism for norm processing leveraging existing theoretical work. These extensions allow for greater autonomy in the resulting systems, enabling them to synthesise new behaviours at runtime and to cooperate in non-scripted patterns.