925 resultados para Domain-specific languages engineering
Resumo:
The aim of this research is to identify aspects that support the development of prospective mathematics teachers’ professional noticing in a b-learning context. The study presented here investigates the extent to which prospective secondary mathematics teachers attend and interpret secondary school students’ proportional reasoning and decide how to respond. Results show that interactions in an on-line discussion improve prospective mathematics teachers’ ability to identify and interpret important aspects of secondary school students’ mathematical thinking.
Resumo:
War dept. doc. no. 355.
Resumo:
Vols. 7-13 have added t.p.: Schlomann-Oldenbourgh illustrierte technische wörterbücher, unter mitwirkung hervorragender fachieute des in- und auslandes, hrsg. von Alfred Schlomann ... Müchen und Berlin, Druck und verlag von R. Oldenbourg; London, Constable & Co., etc.
Resumo:
Continues vol. numbering of Roadmaster and foreman from Jan. to Apr. 1906; assumes vol. numbering of Contract news of New York in May 1906.
Resumo:
From July 1916 to Sept. 1922, successive issues for each month were devoted to specific subjects: Roads and streets; Waterworks and hydraulics, etc. Paging is continuous throughout each vol.
Resumo:
Also contains brochures, directories, manuals, and programs from various College of Engineering student organizations such as the Society of Women Engineers and Tau Beta Pi.
Resumo:
The bispectrum and third-order moment can be viewed as equivalent tools for testing for the presence of nonlinearity in stationary time series. This is because the bispectrum is the Fourier transform of the third-order moment. An advantage of the bispectrum is that its estimator comprises terms that are asymptotically independent at distinct bifrequencies under the null hypothesis of linearity. An advantage of the third-order moment is that its values in any subset of joint lags can be used in the test, whereas when using the bispectrum the entire (or truncated) third-order moment is required to construct the Fourier transform. In this paper, we propose a test for nonlinearity based upon the estimated third-order moment. We use the phase scrambling bootstrap method to give a nonparametric estimate of the variance of our test statistic under the null hypothesis. Using a simulation study, we demonstrate that the test obtains its target significance level, with large power, when compared to an existing standard parametric test that uses the bispectrum. Further we show how the proposed test can be used to identify the source of nonlinearity due to interactions at specific frequencies. We also investigate implications for heuristic diagnosis of nonstationarity.
Resumo:
We argue that, for certain constrained domains, elaborate model transformation technologies-implemented from scratch in general-purpose programming languages-are unnecessary for model-driven engineering; instead, lightweight configuration of commercial off-the-shelf productivity tools suffices. In particular, in the CancerGrid project, we have been developing model-driven techniques for the generation of software tools to support clinical trials. A domain metamodel captures the community's best practice in trial design. A scientist authors a trial protocol, modelling their trial by instantiating the metamodel; customized software artifacts to support trial execution are generated automatically from the scientist's model. The metamodel is expressed as an XML Schema, in such a way that it can be instantiated by completing a form to generate a conformant XML document. The same process works at a second level for trial execution: among the artifacts generated from the protocol are models of the data to be collected, and the clinician conducting the trial instantiates such models in reporting observations-again by completing a form to create a conformant XML document, representing the data gathered during that observation. Simple standard form management tools are all that is needed. Our approach is applicable to a wide variety of information-modelling domains: not just clinical trials, but also electronic public sector computing, customer relationship management, document workflow, and so on. © 2012 Springer-Verlag.
Resumo:
The recently described respiratory strain Saccharomyces cerevisiae KOY.TM6*P is, to our knowledge, the only reported strain of S. cerevisiae which completely redirects the flux of glucose from ethanol fermentation to respiration, even at high external glucose concentrations (27). In the KOY.TM6*P strain, portions of the genes encoding the predominant hexose transporter proteins, Hxt1 and Hxt7, were fused within the regions encoding transmembrane (TM) domain 6. The resulting chimeric gene, TM6*. encoded a chimera composed of the amino-terminal half of Hxt1 and the carboxy-terminal half of Hxt7. It was subsequently integrated into the genome of an hxt null strain. In this study, we have demonstrated the transferability of this respiratory phenotype to the V5 hxt1-7Δ strain, a derivative of a strain used in enology. We also show by using this mutant that it is not necessary to transform a complete hxt null strain with the TM6* construct to obtain a nonethanol-producing phenotype. The resulting V5.TM6*P strain, obtained by transformation of the V5 hxt1-7Δ strain with the TM6* chimeric gene, produced only minor amounts of ethanol when cultured on external glucose concentrations as high as 5%. Despite the fact that glucose flux was reduced to 30% in the V5.TM6*P strain compared with that of its parental strain, the V5.TM6*P strain produced biomass at a specific rate as high as 85% that of the V5 wild-type strain. Even more relevant for the potential use of such a strain for the production of heterologous proteins and also of low-alcohol beverages is the observation that the biomass yield increased 50% with the mutant compared to its parental strain. Copyright © 2005, American Society for Microbiology. All Rights Reserved.
Resumo:
Antenna design is an iterative process in which structures are analyzed and changed to comply with certain performance parameters required. The classic approach starts with analyzing a "known" structure, obtaining the value of its performance parameter and changing this structure until the "target" value is achieved. This process relies on having an initial structure, which follows some known or "intuitive" patterns already familiar to the designer. The purpose of this research was to develop a method of designing UWB antennas. What is new in this proposal is that the design process is reversed: the designer will start with the target performance parameter and obtain a structure as the result of the design process. This method provided a new way to replicate and optimize existing performance parameters. The base of the method was the use of a Genetic Algorithm (GA) adapted to the format of the chromosome that will be evaluated by the Electromagnetic (EM) solver. For the electromagnetic study we used XFDTD™ program, based in the Finite-Difference Time-Domain technique. The programming portion of the method was created under the MatLab environment, which serves as the interface for converting chromosomes, file formats and transferring of data between the XFDTD™ and GA. A high level of customization had to be written into the code to work with the specific files generated by the XFDTD™ program. Two types of cost functions were evaluated; the first one seeking broadband performance within the UWB band, and the second one searching for curve replication of a reference geometry. The performance of the method was evaluated considering the speed provided by the computer resources used. Balance between accuracy, data file size and speed of execution was achieved by defining parameters in the GA code as well as changing the internal parameters of the XFDTD™ projects. The results showed that the GA produced geometries that were analyzed by the XFDTD™ program and changed following the search criteria until reaching the target value of the cost function. Results also showed how the parameters can change the search criteria and influence the running of the code to provide a variety of geometries.
Resumo:
This study aimed to identify novel biomarkers for thyroid carcinoma diagnosis and prognosis. We have constructed a human single-chain variable fragment (scFv) antibody library that was selected against tumour thyroid cells using the BRASIL method (biopanning and rapid analysis of selective interactive ligands) and phage display technology. One highly reactive clone, scFv-C1, with specific binding to papillary thyroid tumour proteins was confirmed by ELISA, which was further tested against a tissue microarray that comprised of 229 thyroid tissues, including: 110 carcinomas (38 papillary thyroid carcinomas (PTCs), 42 follicular carcinomas, 30 follicular variants of PTC), 18 normal thyroid tissues, 49 nodular goitres (NG) and 52 follicular adenomas. The scFv-C1 was able to distinguish carcinomas from benign lesions (P=0.0001) and reacted preferentially against T1 and T2 tumour stages (P=0.0108). We have further identified an OTU domain-containing protein 1, DUBA-7 deubiquitinating enzyme as the scFv-binding antigen using two-dimensional polyacrylamide gel electrophoresis and mass spectrometry. The strategy of screening and identifying a cell-surface-binding antibody against thyroid tissues was highly effective and resulted in a useful biomarker that recognises malignancy among thyroid nodules and may help identify lower-risk cases that can benefit from less-aggressive management.
Resumo:
This paper contains a new proposal for the definition of the fundamental operation of query under the Adaptive Formalism, one capable of locating functional nuclei from descriptions of their semantics. To demonstrate the method`s applicability, an implementation of the query procedure constrained to a specific class of devices is shown, and its asymptotic computational complexity is discussed.
Resumo:
We assess the effect of the choice of spanwise periodic length on simulations of the flow around a fixed circular cylinder. The Reynolds number is set to 400 because, at this value, both lift coefficient and shedding frequency show significant drop due to three-dimensional flow structures. From the analysis of the three-dimensionalities of the wake and of the integral quantities such as Strouhal number, RMS of lift coefficient and energy contained in the three-dimensional portion of the flow we obtain an estimate of the minimum spanwise length to satisfactorily represent the flow. Furthermore, we observe a distinct wake behavior when the spanwise length is approximately the mode B instability wavelength. (C) 2011 Elsevier Ltd. All rights reserved.
Resumo:
In this work, a stable MPC that maximizes the domain of attraction of the closed-loop system is proposed. The proposed approach is suitable to real applications in the sense that it accounts for the case of output tracking, it is offset free if the output target is reachable and minimizes the offset if some of the constraints are active at steady state. The new approach is based on the definition of a Minkowski functional related to the input and terminal constraints of the stable infinite horizon MPC. It is also shown that the domain of attraction is defined by the system model and the constraints, and it does not depend on the controller tuning parameters. The proposed controller is illustrated with small order examples of the control literature. (C) 2011 Elsevier Ltd. All rights reserved.