Bibliografías temáticas / Model synthesis

Índice

Artículos de revistas
Tesis
Libros
Capítulos de libros
Actas de conferencias
Informes

Literatura académica sobre el tema "Model synthesis"

Autor: Grafiati

Publicado: 30 de noviembre de 2024

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Model synthesis".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "Model synthesis"

KAMBUSHEV, Martin, Stefan BILIDEROV y Yavor VARBANOV. "SYNTHESIS AND STUDY OF THE MATHEMATICAL MODEL OF A TRICOPTER". SCIENTIFIC RESEARCH AND EDUCATION IN THE AIR FORCE 18, n.º 1 (24 de junio de 2016): 149–58. http://dx.doi.org/10.19062/2247-3173.2016.18.1.19.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Avramenko, A. S. y S. V. Golub. "Decrease of time of model synthesis in intellectual monitoring systems". Mathematical machines and systems 3 (2019): 129–34. http://dx.doi.org/10.34121/1028-9763-2019-3-129-134.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Merrell, Paul y Dinesh Manocha. "Continuous model synthesis". ACM Transactions on Graphics 27, n.º 5 (diciembre de 2008): 1–7. http://dx.doi.org/10.1145/1409060.1409111.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Hill, D., K. R. W. Bell, D. McMillan y D. Infield. "A vector auto-regressive model for onshore and offshore wind synthesis incorporating meteorological model information". Advances in Science and Research 11, n.º 1 (14 de mayo de 2014): 35–39. http://dx.doi.org/10.5194/asr-11-35-2014.

Texto completo

Resumen

Abstract. The growth of wind power production in the electricity portfolio is striving to meet ambitious targets set, for example by the EU, to reduce greenhouse gas emissions by 20% by 2020. Huge investments are now being made in new offshore wind farms around UK coastal waters that will have a major impact on the GB electrical supply. Representations of the UK wind field in syntheses which capture the inherent structure and correlations between different locations including offshore sites are required. Here, Vector Auto-Regressive (VAR) models are presented and extended in a novel way to incorporate offshore time series from a pan-European meteorological model called COSMO, with onshore wind speeds from the MIDAS dataset provided by the British Atmospheric Data Centre. Forecasting ability onshore is shown to be improved with the inclusion of the offshore sites with improvements of up to 25% in RMS error at 6 h ahead. In addition, the VAR model is used to synthesise time series of wind at each offshore site, which are then used to estimate wind farm capacity factors at the sites in question. These are then compared with estimates of capacity factors derived from the work of Hawkins et al. (2011). A good degree of agreement is established indicating that this synthesis tool should be useful in power system impact studies.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Vu-An, Hien y Tatyana Yagodkina. "Synthesis of invariant systems of modal model identification". Актуальные направления научных исследований XXI века: теория и практика 3, n.º 7 (10 de diciembre de 2015): 232–35. http://dx.doi.org/10.12737/14846.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Brdjanin, Drazen, Danijela Banjac, Goran Banjac y Slavko Maric. "Automated two-phase business model-driven synthesis of conceptual database models". Computer Science and Information Systems 16, n.º 2 (2019): 657–88. http://dx.doi.org/10.2298/csis181010014b.

Texto completo

Resumen

Existing approaches to business process model-driven synthesis of data models are characterized by a direct synthesis of a target model based on source models represented by concrete notations, where the synthesis is supported by monolithic (semi)automatic transformation programs. This article presents an approach to automated two-phase business process model-driven synthesis of conceptual database models. It is based on the introduction of a domain specific language (DSL) as an intermediate layer between different source notations and the target notation, which splits the synthesis into two phases: (i) automatic extraction of specific concepts from the source model and their DSL-based representation, and (ii) automated generation of the target model based on the DSL-based representation of the extracted concepts. The proposed approach enables development of modular transformation tools for automatic synthesis of the target model based on business process models represented by different concrete notations. In this article we present an online generator, which implements the proposed approach. The generator is implemented as a web-based, service-oriented tool, which enables automatic generation of the initial conceptual database model represented by the UML class diagram, based on business models represented by two concrete notations.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Wong, K. P., W. Derek Humpage, T. T. Nguyen y K. K. K. Ho. "Dynamic load model synthesis". IEE Proceedings C Generation, Transmission and Distribution 132, n.º 4 (1985): 179. http://dx.doi.org/10.1049/ip-c.1985.0032.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Abbott, B., T. Bapty, C. Biegl, G. Karsai y J. Sztipanovits. "Model-based software synthesis". IEEE Software 10, n.º 3 (mayo de 1993): 42–52. http://dx.doi.org/10.1109/52.210602.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

SULÍR, Martin y Jozef JUHÁR. "HIDDEN MARKOV MODEL BASED SPEECH SYNTHESIS SYSTEM IN SLOVAK LANGUAGE WITH SPEAKER INTERPOLATION". Acta Electrotechnica et Informatica 15, n.º 4 (1 de diciembre de 2015): 8–12. http://dx.doi.org/10.15546/aeei-2015-0029.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Cid Fernandes, Roberto y Rosa M. González Delgado. "Testing evolutionary synthesis models: Empirical feedback to model makers". Proceedings of the International Astronomical Union 5, S262 (agosto de 2009): 69–72. http://dx.doi.org/10.1017/s1743921310002541.

Texto completo

Resumen

AbstractIntegrated spectra of star clusters are the best test beds for predictions of evolutionary synthesis models. We present spectral fits of star cluster using a variety of recent models. All models allow good spectral fits, but newer ones tend to be better. Ages estimated through spectral fits are not strongly model dependent, but metallicities can differ a lot from one model to another. For some clusters, multi-population fits suggest a combination of very old (1010 yr) and very young (< 108) populations, an artifact of the lack of old and blue stars in the models.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Más fuentes

Tesis sobre el tema "Model synthesis"

Andriushchenko, Roman. "Computer-Aided Synthesis of Probabilistic Models". Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2020. http://www.nusl.cz/ntk/nusl-417269.

Texto completo

Resumen

Předkládaná práce se zabývá problémem automatizované syntézy pravděpodobnostních systémů: máme-li rodinu Markovských řetězců, jak lze efektivně identifikovat ten který odpovídá zadané specifikaci? Takové rodiny často vznikají v nejrůznějších oblastech inženýrství při modelování systémů s neurčitostí a rozhodování i těch nejjednodušších syntézních otázek představuje NP-těžký problém. V dané práci my zkoumáme existující techniky založené na protipříklady řízené induktivní syntéze (counterexample-guided inductive synthesis, CEGIS) a na zjemňování abstrakce (counterexample-guided abstraction refinement, CEGAR) a navrhujeme novou integrovanou metodu pro pravděpodobnostní syntézu. Experimenty nad relevantními modely demonstrují, že navržená technika je nejenom srovnatelná s moderními metodami, ale ve většině případů dokáže výrazně překonat, někdy i o několik řádů, existující přístupy.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Merrell, Paul C. Manocha Dinesh N. "Model synthesis". Chapel Hill, N.C. : University of North Carolina at Chapel Hill, 2009. http://dc.lib.unc.edu/u?/etd,2752.

Texto completo

Resumen

Thesis (Ph. D.)--University of North Carolina at Chapel Hill, 2009.
Title from electronic title page (viewed Mar. 10, 2010). "... in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Department of Computer Science." Discipline: Computer Science; Department/School: Computer Science.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Jung, Yong-Kyu. "Model-based processor synthesis". Diss., Georgia Institute of Technology, 2001. http://hdl.handle.net/1853/14451.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Sather, Paula Joan. "Synthesis of cholesterol based model glycolipids". Thesis, University of British Columbia, 1990. http://hdl.handle.net/2429/29876.

Texto completo

Resumen

The synthesis of glycolipids containing a variable length polyethylene glycol spacer group between a glucuronic acid (glu) headgroup and a cholesterol (chol) tail glu-0CH₂(CH₂OCH₂ )nCH₂O-chol is described. The homologs (n=2,3,5) were prepared by reaction of an excess of commercially available tri, tetra and hexaethylene glycols with cholesteryl-p-toluene sulfonate. 3-O-(8-hydroxy-3,6-dioxaoctyl) cholest-5-ene (2), 3-O-(ll-hydroxy-3,6,9-trioxaundecyl)cholest-5-ene (3) and 3-O-(17-hydroxy-3,6,9,12,15-pentaoxaheptadecyl)cholest-5-ene (4) were produced, and yields were dependent on the amount of excess used. The headgroup was prepared by esterification and acetylation of glucuronolactone to produce methyl (1, 2, 3, 4-tetra-O-acetyl-β-D-glucopyran)uronate which was then brominated at the anomeric carbon to produce methyl (2, 3, 4-tri-O-acetyl-α-D-glucopyranosyl bromide)uronate (1). The headgroup was coupled to the cholesteroxy oligoethylene glycols by a Koenig Knorr type reaction using freshly prepared silver carbonate as the catalyst. Methyl[3-O-(3,6-dioxaoctyl)cholest-5-en-3β-y1-2,3,4-tri-O-acetyl-β-D-glucopyranosid] uronate (5), Methyl[3-O-(3,6,9-trioxaundecyl) cholest-5-en-3β-yl-2,3,4-tri-0-acetyl-β-D-glucopyranosid] uronate (6), and Methyl[3-O-(3,6,9,12,15-pentaoxaheptadecyl)cholest-5-en-3β-yl-2, 3, 4-tri-O -acetyl-β-D-glucopyranosid] uronate (7) were produced with yields of up to 30%. The removal of the methyl ester and acetate protecting groups on the headgroup was accomplished using NaOH in a mixture of solvents followed by acidification with HCl to produce 3-O-(3,6-dioxaoctyl)cholest-5-en-3β-yl-β-D-glucopyranosiduronic acid (8) and 3-O-(3,6,9-trioxaundecyl)cholest-5-en-3β-yl-β-D-glucopyranosiduronic acid (9). Octaethylene glycol and dodecaethylene glycol were prepared using a solid supported synthesis. The solid polymer used was a trityl chloride functionalized polystyrene 1% divinyl benzene. Mono protected tetraethylene glycol was prepared and attached to the polymer. The protecting group was removed, and the hydroxy terminal was converted to a mesylate leaving group by reaction with methane sulfonyl chloride. To elongate the chain, the anion of tetraethylene glycol was prepared using sodium hydride in DMF. The tetraethylene glycol bound resin was added, and reaction continued at 120 °C for 24 hours. Cleavage of the resultant product from the polymer support yielded octaethylene glycol. Repetition of the mesylation and elongation steps followed by cleavage yielded dodecaethylene glycol. The oligoethylene glycols were purified by passage through a Fractogel 40S gel permeation column. Two different protecting groups for the tetraethylene glycol were tried. Trialkyl silyl groups were first attempted, but were abandoned due to reduced reactivity and monitoring difficulties during the deprotection. An acetate protecting group was finally used and deprotection was monitored with infrared spectroscopy.
Science, Faculty of
Chemistry, Department of
Graduate

Los estilos APA, Harvard, Vancouver, ISO, etc.

Varejao, Jorge Manuel Tavares Branco. "Towards the synthesis of model peroxidases". Thesis, University of Liverpool, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.343702.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Bennett, Fiona Catherine. "Design and synthesis of model peptides". Thesis, King's College London (University of London), 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.299882.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Biris, Brilhante Virginia. "Ontology and reuse in model synthesis". Thesis, University of Edinburgh, 2003. http://hdl.handle.net/1842/25164.

Texto completo

Resumen

A much pursued ontological capability is knowledge reuse and sharing. One aspect of this is reuse of ontologies across different applications, including construction of other ontologies. Another aspect is the reuse of knowledge that is founded on ontologies, which, in principle, is attainable in that an ontology renders well-defined and accessible the meaning of concepts that underly the knowledge. In this thesis we address both these aspects of reuse, grounding the study in the problem of synthesis of structural ecological models. One basis for the design of ecological models, along with human expertise, is data properties. This motivated the construction of a formal ontology - Ecolingua - where we define concepts of the ecological data domain. The diversity of the domain led us to use the Ontolingua Server as an ontology design tool, since it makes available an extensive library of shareable ontologies. We reused definitions from several of these ontologies to design Ecolingua. However, Ecolingua's specification in the representation language of the Ontolingua Server did not easily translate into a manageable, executable specification in our choice of implementation language, which required us to develop our own complementary tools for scope reduction and translation. Still, a great deal of manual re-specification was necessary to achieve an operational, useful ontology. In sum, reuse of multiple ontologies in ontology construction employing state-of-the-art tools proved impractical. We analyse the practical problems in reuse of heterogeneous ontologies for the purpose of developing large, combined ones. In its operational form, Ecolingua is used to describe ecological data to give what we call metadata, or, said differently, instantiated ontological concepts. Synthesis is achieved by connecting metadata to model structure. Two approaches were developed to do this. The first, realised in the Synthesis-0 system, uses metadata alone as synthesis resource, while the second, realised in the Synthesis-R system, exploits Ecolingua to reuse existing models as an additional synthesis resource. Both Synthesis-0 and Synthesis-R are working systems implemented as logic programs. The systems were empirically evaluated and compared on run time efficiency criteria. Results show a remarkable efficiency gain in SynthesisR, the system with the reuse feature. We generalise the results to systems for synthesis of structural models informed by domain data. Once a data ontology and ontology-constrained synthesis mechanisms are in place, existing models can efficiently be reused to produce new models for new data.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Addazi, Lorenzo. "Automated Synthesis of Model Comparison Benchmarks". Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-44333.

Texto completo

Resumen

Model-driven engineering promotes the migration from code-centric to model-based software development. Systems consist of model collections integrating different concerns and perspectives, while semi-automated model transformations generate executable code combining the information from these. Increasing the abstraction level to models required appropriate management technologies supporting the various software development activities. Among these, model comparison represents one of the most challenging tasks and plays an essential role in various modelling activities. Its hardness led researchers to propose a multitude of approaches adopting different approximation strategies and exploiting specific knowledge of the involved models. However, almost no support is provided for their evaluation against specific scenarios and modelling practices. This thesis presents Benji, a framework for the automated generation of model comparison benchmarks. Given a set of differences and an initial model, users generate models resulting from the application of the first on the latter. Differences consist of preconditions, actions and postconditions expressed using a dedicated specification language. The generator converts benchmark specifications to design-space exploration problems and produces the final solutions along with a model-based description of their differences with respect to the initial model. A set of representative use cases is used to evaluate the framework against its design principles, which resemble the essential properties expected from model comparison benchmark generators.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ligon, Thomas (Thomas Crumrine). "Automated inter-model parameter connection synthesis for simulation model integration". Thesis, Massachusetts Institute of Technology, 2007. http://hdl.handle.net/1721.1/39887.

Texto completo

Resumen

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2007.
Includes bibliographical references (p. 73-75).
New simulation modeling environments have been developed such that multiple models can be integrated into a single model. This conglomeration of model data allows designers to better understand the physical phenomenon being modeled. Models are integrated together by creating connections between their interface parameters, referred to as parameter mapping, that are either shared by common models or flow from the output of one model to the input of a second model. However, the process of integrating simulation models together is time consuming, and this development time can outweigh the benefit of the increased understanding. This thesis presents two algorithms that are designed to automatically generate and suggest these parameter mappings. The first algorithm attempts to identify previously built integration model templates that have a similar function. Model interfaces and integration models are represented by attributed graphs. Interface graph nodes represent interface parameters and arcs relate the input and output parameters, and integration models graph nodes represent interface graphs and arc represent parametric connections between interface graph nodes.
(cont.) A similarity based pattern matching algorithm initially compares interface graphs in two integration model graphs. If the interface graphs are found to match, the algorithm attempts to apply the template integration model's parameter mappings to the new integration model. The second algorithm compares model interface parameters directly. The algorithm uses similarity measures developed for the pattern matching algorithm to compare model parameters. Parameter pairs that are found to be very similar are processed using a set of model integration rules and logic and those pairs that fit these criteria are mapped together. These algorithms were both implemented in JAVA and integrated into the modeling environment DOME (Distributed Object-based Modeling Environment). A small set of simulation models were used to build both new and template integration models in DOME. Tests were conducted by recording the time required to build these integration models manually and using the two proposed algorithms. Integration times were generally ten times faster but some inconsistencies and mapping errors did occur. In general the results are very promising, but a wider variety of models should be used to test these two algorithms.
by Thomas Ligon.
S.M.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Troeng, Tor. "Frequency Response Analysis using Component Mode Synthesis". Thesis, Umeå universitet, Institutionen för matematik och matematisk statistik, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-37809.

Texto completo

Resumen

Solutions to physical problems described by Differential Equationson complex domains are in except for special cases almost impossibleto find. This turns our interest toward numerical approaches. Sincethe size of the numerical models tends to be very large when handlingcomplex problems, the area of model reduction is always a hot topic. Inthis report we look into a model reduction method called ComponentMode Synthesis. This can be described as dividing a large and complexdomain into smaller and more manageable ones. On each of thesesubdomains, we solve an eigenvalue problem and use the eigenvectorsas a reduced basis. Depending on the required accuracy we mightwant to use many or few modes in each subdomain, this opens for anadaptive selection of which subdomains that affects the solution most.We cover two numerical examples where we solve Helmholtz equationin a linear elastic problem. The first example is a truss and the othera gear wheel. In both examples we use an adaptive algorithm to refinethe reduced basis and compare the results with a uniform refinementand with a classic model reduction method called Modal Analysis. Wealso introduce a new approach when computing the coupling modesonly on the adjacent subdomains.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Más fuentes

Libros sobre el tema "Model synthesis"

Kirby, Anthony J. From enzyme models to model enzymes. Cambridge: Royal Society of Chemistry, 2009.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Olderog, Ernst-Rüdiger, Bernhard Steffen y Wang Yi, eds. Model Checking, Synthesis, and Learning. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-91384-7.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Koča, J., M. Kratochvíl, L. Matyska, V. Kvasnička y J. Pospíchal. Synthon Model of Organic Chemistry and Synthesis Design. Berlin, Heidelberg: Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/978-3-642-93416-2.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Jaroslav, Koča, ed. Synthon model of organic chemistry and synthesis design. Berlin: Springer-Verlag, 1989.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Jansson, Marie. Model compounds for prostacyclin: Synthesis and kinetic studies. Göteborg: Dept. of Organic Chemistry, Chalmers Univ. of Technology u.a., 1987.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Tai, H. Computed structures of polyimides model compounds. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1990.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Lidholt, Kerstin. A new model for the biosynthesis of heparin. Uppsala: Swedish University of Agricultural Sciences, Faculty of Veterinary Medical Chemistry, Dept. of Veterinary Medical Chemistry, 1991.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Tirkkonen, Birgit. Stereoselective syntheses in the corynantheine series and of related model compounds. Helsinki: Suomalainen Tiedeakatemia, 1994.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Rodier, Caroline. Model-based transportation performance: A comparative framework and literature synthesis. San Jose, CA: Mineta Transportation Institute, College of Business, San José State University, 2012.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Henke, Dion Stephen. Synthesis of model compounds related to products of cellulose degradation. Birmingham: University of Birmingham, 1996.

Buscar texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Más fuentes

Capítulos de libros sobre el tema "Model synthesis"

Layer, Edward. "Model Synthesis". En Modelling of Simplified Dynamical Systems, 43–83. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/978-3-642-56098-9_4.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Cellier, François E. "Automated Model Synthesis". En Continuous System Modeling, 703–41. New York, NY: Springer New York, 1991. http://dx.doi.org/10.1007/978-1-4757-3922-0_15.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Courcelles, Eulalie, Marc Horner, Payman Afshari, Alexander Kulesza, Cristina Curreli, Cristina Vaghi, Enrique Morales-Orcajo et al. "Model Credibility". En Synthesis Lectures on Biomedical Engineering, 43–66. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-48284-7_4.

Texto completo

Resumen

AbstractThe need for a framework to justify that a model has sufficient credibility to be used as a basis for internal or external (typically regulatory) decision-making is a primary concern when using modelling and simulation (M&S) in healthcare. This chapter reviews published standards on verification, validation, and uncertainty quantification (VVUQ) as well as regulatory guidance that can be used to establish model credibility in this context, providing a potential starting point for a globally harmonised model credibility framework.

Los estilos APA, Harvard, Vancouver, ISO, etc.

Kulesza, Alexander, Axel Loewe, Andrea Stenti, Chiara Nicolò, Enrique Morales-Orcajo, Eulalie Courcelles, Fianne Sips et al. "Model Development". En Synthesis Lectures on Biomedical Engineering, 25–42. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-48284-7_3.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Webster, George C. "Protein synthesis". En Drosophila as a Model Organism for Ageing Studies, 119–28. Boston, MA: Springer US, 1988. http://dx.doi.org/10.1007/978-1-4899-2683-8_9.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Alimguzhin, Vadim, Federico Mari, Igor Melatti, Ivano Salvo y Enrico Tronci. "On-the-Fly Control Software Synthesis". En Model Checking Software, 61–80. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39176-7_5.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Singh, Shikhar, Mengshi Zhang y Sarfraz Khurshid. "Learning Guided Enumerative Synthesis for Superoptimization". En Model Checking Software, 172–92. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-30923-7_10.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Nguyen, Thanh Son, Ben Jones y Zvonimir Rakamarić. "Synthesis of Rigorous Floating-Point Predicates". En Model Checking Software, 44–60. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-15077-7_3.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Doyle, F. J., R. K. Pearson y B. A. Ogunnaike. "Model-Based Controller Synthesis". En Identification and Control Using Volterra Models, 163–77. London: Springer London, 2002. http://dx.doi.org/10.1007/978-1-4471-0107-9_6.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Golze, Ulrich. "Synthesis of Gate Model". En VLSI Chip Design with the Hardware Description Language VERILOG, 163–203. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/978-3-642-61001-1_8.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "Model synthesis"

Babić, Lepa, Boris Kordić y Jovana Babić. "Model organizacione socijalizacije". En Synthesis 2015. Belgrade, Serbia: Singidunum University, 2015. http://dx.doi.org/10.15308/synthesis-2015-332-335.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ribeiro dos Santos, Cesar Augusto, Amr Hany Saleh, Tom Schrijvers y Mike Nicolai. "CONDEnSe: Contract Based Design Synthesis". En 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 2019. http://dx.doi.org/10.1109/models.2019.00009.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Kahani, Nafiseh, Mojtaba Bagherzadeh y James R. Cordy. "Synthesis of state machine models". En MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3365438.3410936.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Lano, K., S. Fang, M. A. Umar y S. Yassipour-Tehrani. "Enhancing model transformation synthesis using natural language processing". En MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3417990.3421386.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Sokolić, Milena. "Creativity in Management: creative thinking process and business model canvas". En Synthesis 2015. Belgrade, Serbia: Singidunum University, 2015. http://dx.doi.org/10.15308/synthesis-2015-349-352.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Barjaktarović, Lidija, Dragan Ilić y Marko Marković. "Collection management model for corporate clients in the Serbian banking sector". En Synthesis 2015. Belgrade, Serbia: Singidunum University, 2015. http://dx.doi.org/10.15308/synthesis-2015-423-426.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Gemeinhardt, Felix, Martin Eisenberg, Stefan Klikovits y Manuel Wimmer. "Model-Driven Optimization for Quantum Program Synthesis with MOMoT". En 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). IEEE, 2023. http://dx.doi.org/10.1109/models-c59198.2023.00100.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Földiák, Máté, Kristóf Marussy, Dániel Varró y István Majzik. "System architecture synthesis for performability by logic solvers". En MODELS '22: ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: ACM, 2022. http://dx.doi.org/10.1145/3550355.3552448.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Temirbulatova, Madina y Mioara Borza. "The model of business research agritourism potential in rural aeras of developing countries". En Synthesis 2015. Belgrade, Serbia: Singidunum University, 2015. http://dx.doi.org/10.15308/synthesis-2015-486-490.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Chen, Boqi, Dylan Havelock, Connor Plante, Michael Sukkarieh, Oszkár Semeráth y Dániel Varró. "Automated video game world map synthesis by model-based techniques". En MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3417990.3422001.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Informes sobre el tema "Model synthesis"

Joseph, Erat S. y Vijay P. Singh. A Continuum Model for Streamf1ow Synthesis. Fort Belvoir, VA: Defense Technical Information Center, agosto de 1995. http://dx.doi.org/10.21236/ada300485.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Lucey, Taylor K., Nadia Tase, Prakash Nepal, Richard D. Bergman, David L. Nicholls, Poonam Khatri, Kamalakanta Sahoo y Andrew N. Gray. Harvested wood product carbon model synthesis. Portland, OR: U.S. Department of Agriculture, Forest Service, Pacific Northwest Research Station, 2023. http://dx.doi.org/10.2737/pnw-gtr-1020.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Conte, Ianina. Evidence Synthesis Programme (ESP) Logic Model. National Institute for Health and Care Research, febrero de 2023. http://dx.doi.org/10.3310/nihropenres.1115203.1.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Smith, Douglas. Synthesis of Correct Digital Controller Models from Specificationsby Model Transformation. Office of Scientific and Technical Information (OSTI), octubre de 2023. http://dx.doi.org/10.2172/2430261.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Sztipanovits, Janos, Ben Abbott y Hubertus Franke. MULTIGRAPH: An Architecture for Model-Based Programming. Model-Based Program Synthesis for Parallel Computing. PREMOS: Programming Environment for Model-Based Program Synthesis. Version 01.00.00,. Fort Belvoir, VA: Defense Technical Information Center, marzo de 1994. http://dx.doi.org/10.21236/ada276949.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Hirschon, A. S., M. Asaro y J. Bottaro. Synthesis of model compounds for coal liquefaction research. Office of Scientific and Technical Information (OSTI), noviembre de 1990. http://dx.doi.org/10.2172/7113040.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Kwong, C. D. Synthesis of a naphthalene-hydroxynaphthalene polymer model compound. Office of Scientific and Technical Information (OSTI), octubre de 1990. http://dx.doi.org/10.2172/7149929.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Sen, P. K. Synthesis of model compounds for coal liquification research. Office of Scientific and Technical Information (OSTI), octubre de 1990. http://dx.doi.org/10.2172/6444779.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Kwong, C. D. Synthesis of a naphthalene-hydroxynaphthalene polymer model compound. Office of Scientific and Technical Information (OSTI), enero de 1991. http://dx.doi.org/10.2172/6884708.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!