934 resultados para Symbolic and Algebraic Manipulation


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Thesis (Ph.D.)--University of Washington, 2016-06

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Based on a newly established sequencing strategy featured by its efficiency, simplicity, and easy manipulation, the sequences of four novel cyclotides (macrocyclic knotted proteins) isolated from an Australian plant Viola hederaceae were determined. The three-dimensional solution structure of V. hederaceae leaf cyclotide-1 ( vhl-1), a leaf-specific expressed 31-residue cyclotide, has been determined using two-dimensional H-1 NMR spectroscopy. vhl-1 adopts a compact and well defined structure including a distorted triple-stranded β- sheet, a short 310 helical segment and several turns. It is stabilized by three disulfide bonds, which, together with backbone segments, form a cyclic cystine knot motif. The three-disulfide bonds are almost completely buried into the protein core, and the six cysteines contribute only 3.8% to the molecular surface. A pH titration experiment revealed that the folding of vhl-1 shows little pH dependence and allowed the pK(a) of 3.0 for Glu(3) and ∼ 5.0 for Glu(14) to be determined. Met(7) was found to be oxidized in the native form, consistent with the fact that its side chain protrudes into the solvent, occupying 7.5% of the molecular surface. vhl-1 shows anti-HIV activity with an EC50 value of 0.87 μ m.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The morphology and functional occlusion of the cheekteeth of 57 dugongs Dugong dugon of both sexes were examined using reflected light and scanning electron microscopy, radiography, hardness testing and skull manipulation. The functional morphology of the horny oral pads was also described. Mouthparts and body size allometry was examined for ontogenetic and gender-related trends. We found that the worn erupted cheekteeth of the dugong are simple flat pegs composed of soft degenerative dentine. During occlusion, the mandible moves in a mainly antero-lingual direction, with the possibility of mandibular retraction in some individuals. Anterior parts of the cheektooth row may become non-functional as a dugong ages. As a function of body size, dugong cheekteeth are extremely small compared with those of other mammalian herbivores, and with other hindgut fermenters in particular. The morphology, small size and occlusal variability of the cheekteeth suggest that there has not been strong selective pressure acting to maintain an effective dentition. In contrast, great development of the horny pads and associated skull parameters and their lower size variability suggest that the horny pads may have assumed the major role in food comminution.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The integration of a microprocessor and a medium power stepper motor in one control system brings together two quite different disciplines. Various methods of interfacing are examined and the problems involved in both hardware and software manipulation are investigated. Microprocessor open-loop control of the stepper motor is considered. The possible advantages of microprocessor closed-loop control are examined and the development of a system is detailed. The system uses position feedback to initiate each motor step. Results of the dynamic response of the system are presented and its performance discussed. Applications of the static torque characteristic of the stepper motor are considered followed by a review of methods of predicting the characteristic. This shows that accurate results are possible only when the effects of magnetic saturation are avoided or when the machine is available for magnetic circuit tests to be carried out. A new method of predicting the static torque characteristic is explained in detail. The method described uses the machine geometry and the magnetic characteristics of the iron types used in the machine. From this information the permeance of each iron component of the machine is calculated and by using the equivalent magnetic circuit of the machine, the total torque produced is predicted. It is shown how this new method is implemented on a digital computer and how the model may be used to investigate further aspects of the stepper motor in addition to the static torque.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The development of new all-optical technologies for data processing and signal manipulation is a field of growing importance with a strong potential for numerous applications in diverse areas of modern science. Nonlinear phenomena occurring in optical fibres have many attractive features and great, but not yet fully explored, potential in signal processing. Here, we review recent progress on the use of fibre nonlinearities for the generation and shaping of optical pulses and on the applications of advanced pulse shapes in all-optical signal processing. Amongst other topics, we will discuss ultrahigh repetition rate pulse sources, the generation of parabolic shaped pulses in active and passive fibres, the generation of pulses with triangular temporal profiles, and coherent supercontinuum sources. The signal processing applications will span optical regeneration, linear distortion compensation, optical decision at the receiver in optical communication systems, spectral and temporal signal doubling, and frequency conversion. © Copyright 2012 Sonia Boscolo and Christophe Finot.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Aims - Endothelial dysfunction is a hallmark of preeclampsia. Desensitization of the phosphoinositide 3-kinase (PI3K)/Akt pathway underlies endothelial dysfunction and haeme oxygenase-1 (HO-1) is decreased in preeclampsia. To identify therapeutic targets, we sought to assess whether these two regulators act to suppress soluble endoglin (sEng), an antagonist of transforming growth factor-ß (TGF-ß) signalling, which is known to be elevated in preeclampsia. Methods and results - Vascular endothelial growth factor-A (VEGF-A), fibroblast growth factor (FGF-2), angiopoietin-1 (Ang-1), and insulin, which all activate the PI3K/Akt pathway, inhibited the release of sEng from endothelial cells. Inhibition of the PI3K/Akt pathway, by overexpression of phosphatase and tensin homolog (PTEN) or a dominant-negative isoform of Akt (Aktdn) induced sEng release from endothelial cells and prevented the inhibitory effect of VEGF-A. Conversely, overexpression of a constitutively active Akt (Aktmyr) inhibited PTEN and cytokine-induced sEng release. Systemic delivery of Aktmyr to mice significantly reduced circulating sEng, whereas Aktdn promoted sEng release. Phosphorylation of Akt was reduced in preeclamptic placenta and this correlated with the elevated level of circulating sEng. Knock-down of Akt using siRNA prevented HO-1-mediated inhibition of sEng release and reduced HO-1 expression. Furthermore, HO-1 null mice have reduced phosphorylated Akt in their organs and overexpression of Aktmyr failed to suppress the elevated levels of sEng detected in HO-1 null mice, indicating that HO-1 is required for the Akt-mediated inhibition of sEng. Conclusion - The loss of PI3K/Akt and/or HO-1 activity promotes sEng release and positive manipulation of these pathways offers a strategy to circumvent endothelial dysfunction.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We have proposed and demonstrated a nonlinear polarization-rotation-based fiber laser with two different operation states: passive mode-locking and multiwavelength emission. The intensity-dependent transmission or loss induced by nonlinear polarization rotation accounts for the distinct operation regimes. Our experiment results indicate that both passively mode-locked pulses and continuous-wave multiwavelength can be generated from the same fiber laser just through adjusting polarizations. Another characteristic of the current multiwavelength laser is that the used periodic filter is a birefringence fiber filter, which facilitates all-fiber integration of the fiber laser, so it is a potential multifunction laser source with all-fiber configuration and convenient manipulation. © 2008 IEEE.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

We have proposed and demonstrated a nonlinear polarization-rotation-based fiber laser with two different operation states: passive mode-locking and multiwavelength emission. The intensity-dependent transmission or loss induced by nonlinear polarization rotation accounts for the distinct operation regimes. Our experiment results indicate that both passively mode-locked pulses and continuous-wave multiwavelength can be generated from the same fiber laser just through adjusting polarizations. Another characteristic of the current multiwavelength laser is that the used periodic filter is a birefringence fiber filter, which facilitates all-fiber integration of the fiber laser, so it is a potential multifunction laser source with all-fiber configuration and convenient manipulation. © 2008 IEEE.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The development of new all-optical technologies for data processing and signal manipulation is a field of growing importance with a strong potential for numerous applications in diverse areas of modern science. Nonlinear phenomena occurring in optical fibres have many attractive features and great, but not yet fully explored, potential in signal processing. Here, we review recent progress on the use of fibre nonlinearities for the generation and shaping of optical pulses and on the applications of advanced pulse shapes in all-optical signal processing. Amongst other topics, we will discuss ultrahigh repetition rate pulse sources, the generation of parabolic shaped pulses in active and passive fibres, the generation of pulses with triangular temporal profiles, and coherent supercontinuum sources. The signal processing applications will span optical regeneration, linear distortion compensation, optical decision at the receiver in optical communication systems, spectral and temporal signal doubling, and frequency conversion. © Copyright 2012 Sonia Boscolo and Christophe Finot.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Because some Web users will be able to design a template to visualize information from scratch, while other users need to automatically visualize information by changing some parameters, providing different levels of customization of the information is a desirable goal. Our system allows the automatic generation of visualizations given the semantics of the data, and the static or pre-specified visualization by creating an interface language. We address information visualization taking into consideration the Web, where the presentation of the retrieved information is a challenge. ^ We provide a model to narrow the gap between the user's way of expressing queries and database manipulation languages (SQL) without changing the system itself thus improving the query specification process. We develop a Web interface model that is integrated with the HTML language to create a powerful language that facilitates the construction of Web-based database reports. ^ As opposed to other papers, this model offers a new way of exploring databases focusing on providing Web connectivity to databases with minimal or no result buffering, formatting, or extra programming. We describe how to easily connect the database to the Web. In addition, we offer an enhanced way on viewing and exploring the contents of a database, allowing users to customize their views depending on the contents and the structure of the data. Current database front-ends typically attempt to display the database objects in a flat view making it difficult for users to grasp the contents and the structure of their result. Our model narrows the gap between databases and the Web. ^ The overall objective of this research is to construct a model that accesses different databases easily across the net and generates SQL, forms, and reports across all platforms without requiring the developer to code a complex application. This increases the speed of development. In addition, using only the Web browsers, the end-user can retrieve data from databases remotely to make necessary modifications and manipulations of data using the Web formatted forms and reports, independent of the platform, without having to open different applications, or learn to use anything but their Web browser. We introduce a strategic method to generate and construct SQL queries, enabling inexperienced users that are not well exposed to the SQL world to build syntactically and semantically a valid SQL query and to understand the retrieved data. The generated SQL query will be validated against the database schema to ensure harmless and efficient SQL execution. (Abstract shortened by UMI.)^

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Arctic soils store close to 14% of the global soil carbon. Most of arctic carbon is stored below ground in the permafrost. With climate warming the decomposition of the soil carbon could represent a significant positive feedback to global greenhouse warming. Recent evidence has shown that the temperature of the Arctic is already increasing, and this change is associated mostly with anthropogenic activities. Warmer soils will contribute to permafrost degradation and accelerate organic matter decay and thus increase the flux of carbon dioxide and methane into the atmosphere. Temperature and water availability are also important drivers of ecosystem performance, but effects can be complex and in opposition. Temperature and moisture changes can affect ecosystem respiration (ER) and gross primary productivity (GPP) independently; an increase in the net ecosystem exchange can be a result of either a decrease in ER or an increase in GPP. Therefore, understanding the effects of changes in ecosystem water and temperature on the carbon flux components becomes key to predicting the responses of the Arctic to climate change. The overall goal of this work was to determine the response of arctic systems to simulated climate change scenarios with simultaneous changes in temperature and moisture. A temperature and hydrological manipulation in a naturally-drained lakebed was used to assess the short-term effect of changes in water and temperature on the carbon cycle. Also, as part of International Tundra Experiment Network (ITEX), I determined the long-term effect of warming on the carbon cycle in a natural hydrological gradient established in the mid 90's. I found that the carbon balance is highly sensitive to short-term changes in water table and warming. However, over longer time periods, hydrological and temperature changed soil biophysical properties, nutrient cycles, and other ecosystem structural and functional components that down regulated GPP and ER, especially in wet areas.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Petri Nets are a formal, graphical and executable modeling technique for the specification and analysis of concurrent and distributed systems and have been widely applied in computer science and many other engineering disciplines. Low level Petri nets are simple and useful for modeling control flows but not powerful enough to define data and system functionality. High level Petri nets (HLPNs) have been developed to support data and functionality definitions, such as using complex structured data as tokens and algebraic expressions as transition formulas. Compared to low level Petri nets, HLPNs result in compact system models that are easier to be understood. Therefore, HLPNs are more useful in modeling complex systems. ^ There are two issues in using HLPNs—modeling and analysis. Modeling concerns the abstracting and representing the systems under consideration using HLPNs, and analysis deals with effective ways study the behaviors and properties of the resulting HLPN models. In this dissertation, several modeling and analysis techniques for HLPNs are studied, which are integrated into a framework that is supported by a tool. ^ For modeling, this framework integrates two formal languages: a type of HLPNs called Predicate Transition Net (PrT Net) is used to model a system's behavior and a first-order linear time temporal logic (FOLTL) to specify the system's properties. The main contribution of this dissertation with regard to modeling is to develop a software tool to support the formal modeling capabilities in this framework. ^ For analysis, this framework combines three complementary techniques, simulation, explicit state model checking and bounded model checking (BMC). Simulation is a straightforward and speedy method, but only covers some execution paths in a HLPN model. Explicit state model checking covers all the execution paths but suffers from the state explosion problem. BMC is a tradeoff as it provides a certain level of coverage while more efficient than explicit state model checking. The main contribution of this dissertation with regard to analysis is adapting BMC to analyze HLPN models and integrating the three complementary analysis techniques in a software tool to support the formal analysis capabilities in this framework. ^ The SAMTools developed for this framework in this dissertation integrates three tools: PIPE+ for HLPNs behavioral modeling and simulation, SAMAT for hierarchical structural modeling and property specification, and PIPE+Verifier for behavioral verification.^

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This dissertation consists of three distinct components: (1) “Double Rainbow,” a notated composition for an acoustic ensemble of 10 instruments, ca. 36 minutes. (2) “Appalachiana”, a fixed-media composition for electro-acoustic music and video, ca. 30 minutes, and (3) “'The Invisible Mass': Exploring Compositional Technique in Alfred Schnittke’s Second Symphony”, an analytical article.

(1) Double Rainbow is a ca. 36 minute composition in four movements scored for 10 instruments: flute, Bb clarinet (doubling on bass clarinet), tenor saxophone (doubling on alto saxophone), french horn, percussion (glockenspiel, vibraphone, wood block, 3 toms, snare drum, bass drum, suspended cymbal), piano, violin, viola, cello, and double bass. Each of the four movements of the piece explore their own distinct character and set of compositional goals. The piece is presented as a musical score and as a recording, which was extensively treated in post-production.

(2) Appalachiana, is a ca. 30 minute fixed-media composition for music and video. The musical component was created as a vehicle to showcase several approaches to electro-acoustic music composition –fft re-synthesis for time manipulation effects, the use of a custom-built software instrument which implements generative approaches to creating rhythm and pitch patterns, using a recording of rain to create rhythmic triggers for software instruments, and recording additional components with acoustic instruments. The video component transforms footage of natural landscapes filmed at several locations in North Carolina, Virginia, and West Virginia into a surreal narrative using a variety of color, lighting, distortion, and time-manipulation video effects.

(3) “‘The Invisible Mass:’ Exploring Compositional Technique in Alfred Schnittke’s Second Symphony” is an analytical article that focuses on Alfred Schnittke’s compositional technique as evidenced in the construction of his Second Symphony and discussed by the composer in a number of previously untranslated articles and interviews. Though this symphony is pivotal in the composer’s oeuvre, there are currently no scholarly articles that offer in-depth analyses of the piece. The article combines analyses of the harmony, form, and orchestration in the Second Symphony with relevant quotations from the composer, some from published and translated sources and others newly translated by the author from research at the Russian State Library in St. Petersburg. These offer a perspective on how Schnittke’s compositional technique combines systematic geometric design with keen musical intuition.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Humanity is shaped by its relationships with microbes. From bacterial infections to the production of biofuels, industry and health often hinge on our control of microbial populations. Understanding the physiological and genetic basis of their behaviors is therefore of the highest importance. To this end I have investigated the genetic basis of plastic adhesion in Saccharomyces cerevisiae, the mechanistic and evolutionary dynamics of mixed species biofilms with Escherichia coli and S. cerevisiae, and the induction of filamentation in E. coli. Using a bulk segregant analysis on experimentally evolved populations, I detected 28 genes that are likely to mediate plastic adhesion in S. cerevisiae. With a variety of imaging and culture manipulation techniques, I found that particular strains of E. coli are capable of inducing flocculation and macroscopic biofilm formation via coaggregation with yeast. I also employed experimental evolution and microbial demography techniques to find that selection for mixed species biofilm association leads to lower fecundity in S. cerevisiae. Using culture manipulation and imaging techniques, I also found that E. coli are capable of inducing a filamentous phenotype with a secreted signal that has many of the qualities of a quorum sensing molecule.