Gotowe bibliografie tematyczne / IT MODEL

Spis treści

  1. Artykuły w czasopismach
  2. Rozprawy doktorskie
  3. Książki
  4. Części książek
  5. Streszczenia konferencji
  6. Raporty organizacyjne

Gotowa bibliografia na temat „IT MODEL”

Autor: Grafiati
Data publikacji: 11 września 2023

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „IT MODEL”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "IT MODEL"

1

Bieszk-Stolorz, Beata. "Hazard model versus logit model". Studia i Prace WNEiZ 45 (2016): 11–22. http://dx.doi.org/10.18276/sip.2016.45/2-01.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Wierzbiński, Marcin. "Revenue Model in Designing Business Model". Zeszyty Naukowe Uniwersytetu Szczecińskiego Finanse Rynki Finansowe Ubezpieczenia 79 (2016): 851–68. http://dx.doi.org/10.18276/frfu.2016.79-67.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Oh. "Low-Frequency Normal Mode Reverberation Model". Journal of the Acoustical Society of Korea 34, nr 3 (2015): 184. http://dx.doi.org/10.7776/ask.2015.34.3.184.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Połowniak, Piotr, i Mariusz Sobolak. "Mathematical model of globoid worm for use of generating CAD model". Mechanik, nr 2 (luty 2015): 145/31. http://dx.doi.org/10.17814/mechanik.2015.2.53.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

WILCZYNSKI, KRZYSZTOF. "A mathematical model of single-screw extrusion. Part X. Experimental verification of the model". Polimery 45, nr 03 (marzec 2000): 191–96. http://dx.doi.org/10.14314/polimery.2000.191.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Jabłoński, Marek. "Open data business model: innovative aspects of designing of business". Studia i Prace WNEiZ 52 (2018): 41–51. http://dx.doi.org/10.18276/sip.2018.52/2-03.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Makhan'kov, V. G., Yu P. Rybakov i Valerii I. Sanyuk. "The Skyrme model and strong interactions (On the 30th anniversary of the creation of the Skyrme model)". Uspekhi Fizicheskih Nauk 162, nr 2 (1992): 1. http://dx.doi.org/10.3367/ufnr.0162.199202a.0001.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Lim, Hee-Jeong, Young-Hee Lee i Hyo-Jung Kwon. "Evaluation of Community Land Model version 3.5-Dynamic Global Vegetation Model over Deciduous Forest in Gwangneung, Korea". Korean Journal of Agricultural and Forest Meteorology 12, nr 2 (30.06.2010): 95–106. http://dx.doi.org/10.5532/kjafm.2010.12.2.095.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Lei, Y., i S. Y Zhang. "Comparison and selection of growth models using the Schnute model". Journal of Forest Science 52, No. 4 (9.01.2012): 188–96. http://dx.doi.org/10.17221/4501-jfs.

Pełny tekst źródła
Streszczenie:
Forestmodellers have long faced the problem of selecting an appropriate mathematical model to describe tree ontogenetic or size-shape empirical relationships for tree species. A common practice is to develop many models (or a model pool) that include different functional forms, and then to select the most appropriate one for a given data set. However, this process may impose subjective restrictions on the functional form. In this process, little attention is paid to the features (e.g. asymptote and inflection point rather than asymptote and nonasymptote) of different functional forms, and to the intrinsic curve of a given data set. In order to find a better way of comparing and selecting the growth models, this paper describes and analyses the characteristics of the Schnute model. This model has both flexibility and versatility that have not been used in forestry. In this study, the Schnute model was applied to different data sets of selected forest species to determine their functional forms. The results indicate that the model shows some desirable properties for the examined data sets, and allows for discerning the different intrinsic curve shapes such as sigmoid, concave and other curve shapes. Since no suitable functional form for a given data set is usually known prior to the comparison of candidate models, it is recommended that the Schnute model be used as the first step to determine an appropriate functional form of the data set under investigation in order to avoid using a functional form a priori.
Style APA, Harvard, Vancouver, ISO itp.
10

Perrin, C., V. Andréassian i C. Michel. "Simple benchmark models as a basis for model efficiency criteria". River Systems 17, nr 1-2 (28.07.2006): 221–44. http://dx.doi.org/10.1127/lr/17/2006/221.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Rozprawy doktorskie na temat "IT MODEL"

1

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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
2

Evers, Ludger. "Model fitting and model selection for 'mixture of experts' models". Thesis, University of Oxford, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.445776.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Kang, Changsung. "Model testing for causal models". [Ames, Iowa : Iowa State University], 2008.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Coskun, Sarp Arda. "PATHCASE-SB MODEL SIMULATION AND MODEL COMPOSITION TOOLS FOR SYSTEMS BIOLOGY MODELS". Case Western Reserve University School of Graduate Studies / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=case1328556115.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Kotsalis, Georgios. "Model reduction for Hidden Markov models". Thesis, Massachusetts Institute of Technology, 2006. http://hdl.handle.net/1721.1/38255.

Pełny tekst źródła
Streszczenie:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2006.
Includes bibliographical references (leaves 57-60).
The contribution of this thesis is the development of tractable computational methods for reducing the complexity of two classes of dynamical systems, finite alphabet Hidden Markov Models and Jump Linear Systems with finite parameter space. The reduction algorithms employ convex optimization and numerical linear algebra tools and do not pose any structural requirements on the systems at hand. In the Jump Linear Systems case, a distance metric based on randomization of the parametric input is introduced. The main point of the reduction algorithm lies in the formulation of two dissipation inequalities, which in conjunction with a suitably defined storage function enable the derivation of low complexity models, whose fidelity is controlled by a guaranteed upper bound on the stochastic L2 gain of the approximation error. The developed reduction procedure can be interpreted as an extension of the balanced truncation method to the broader class of Jump Linear Systems. In the Hidden Markov Model case, Hidden Markov Models are identified with appropriate Jump Linear Systems that satisfy certain constraints on the coefficients of the linear transformation. This correspondence enables the development of a two step reduction procedure.
(cont.) In the first step, the image of the high dimensional Hidden Markov Model in the space of Jump Linear Systems is simplified by means of the aforementioned balanced truncation method. Subsequently, in the second step, the constraints that reflect the Hidden Markov Model structure are imposed by solving a low dimensional non convex optimization problem. Numerical simulation results provide evidence that the proposed algorithm computes accurate reduced order Hidden Markov Models, while achieving a compression of the state space by orders of magnitude.
by Georgios Kotsalis.
Ph.D.
Style APA, Harvard, Vancouver, ISO itp.
6

Papacchini, Fabio. "Minimal model reasoning for modal logic". Thesis, University of Manchester, 2015. https://www.research.manchester.ac.uk/portal/en/theses/minimal-model-reasoning-for-modal-logic(dbfeb158-f719-4640-9cc9-92abd26bd83e).html.

Pełny tekst źródła
Streszczenie:
Model generation and minimal model generation are useful for tasks such as model checking, query answering and for debugging of logical specifications. Due to this variety of applications, several minimality criteria and model generation methods for classical logics have been studied. Minimal model generation for modal logics how ever did not receive the same attention from the research community. This thesis aims to fill this gap by investigating minimality criteria and designing minimal model generation procedures for all the sublogics of the multi-modal logic S5(m) and their extensions with universal modalities. All the procedures are minimal model sound and complete, in the sense that they generate all and only minimal models. The starting point of the investigation is the definition of a Herbrand semantics for modal logics on which a syntactic minimality criterion is devised. The syntactic nature of the minimality criterion allows for an efficient minimal model generation procedure, but, on the other hand, the resulting minimal models can be redundant or semantically non minimal with respect to each other. To overcome the syntactic limitations of the first minimality criterion, the thesis moves from minimal modal Herbrand models to semantic minimality criteria based on subset-simulation. At first, theoretical procedures for the generation of models minimal modulo subset-simulation are presented. These procedures for the generation of models minimal modulo subset-simulation are minimal model sound and complete, but they might not terminate. The minimality criterion and the procedures are then refined in such a way that termination can be ensured while preserving minimal model soundness and completeness.
Style APA, Harvard, Vancouver, ISO itp.
7

Pommellet, Adrien. "On model-checking pushdown systems models". Thesis, Sorbonne Paris Cité, 2018. http://www.theses.fr/2018USPCC207/document.

Pełny tekst źródła
Streszczenie:
Cette thèse introduit différentes méthodes de vérification (ou model-checking) sur des modèles de systèmes à pile. En effet, les systèmes à pile (pushdown systems) modélisent naturellement les programmes séquentiels grâce à une pile infinie qui peut simuler la pile d'appel du logiciel. La première partie de cette thèse se concentre sur la vérification sur des systèmes à pile de la logique HyperLTL, qui enrichit la logique temporelle LTL de quantificateurs universels et existentiels sur des variables de chemin. Il a été prouvé que le problème de la vérification de la logique HyperLTL sur des systèmes d'états finis est décidable ; nous montrons que ce problème est en revanche indécidable pour les systèmes à pile ainsi que pour la sous-classe des systèmes à pile visibles (visibly pushdown systems). Nous introduisons donc des algorithmes d'approximation de ce problème, que nous appliquons ensuite à la vérification de politiques de sécurité. Dans la seconde partie de cette thèse, dans la mesure où la représentation de la pile d'appel par les systèmes à pile est approximative, nous introduisons les systèmes à surpile (pushdown systems with an upper stack) ; dans ce modèle, les symboles retirés de la pile d'appel persistent dans la zone mémoire au dessus du pointeur de pile, et peuvent être plus tard écrasés par des appels sur la pile. Nous montrons que les ensembles de successeurs post* et de prédécesseurs pre* d'un ensemble régulier de configurations ne sont pas réguliers pour ce modèle, mais que post* est toutefois contextuel (context-sensitive), et que l'on peut ainsi décider de l'accessibilité d'une configuration. Nous introduisons donc des algorithmes de sur-approximation de post* et de sous-approximation de pre*, que nous appliquons à la détection de débordements de pile et de manipulations nuisibles du pointeur de pile. Enfin, dans le but d'analyser des programmes avec plusieurs fils d'exécution, nous introduisons le modèle des réseaux à piles dynamiques synchronisés (synchronized dynamic pushdown networks), que l'on peut voir comme un réseau de systèmes à pile capables d'effectuer des changements d'états synchronisés, de créer de nouveaux systèmes à piles, et d'effectuer des actions internes sur leur pile. Le problème de l'accessibilité étant naturellement indécidable pour un tel modèle, nous calculons une abstraction des chemins d'exécutions entre deux ensembles réguliers de configurations. Nous appliquons ensuite cette méthode à un processus itératif de raffinement des abstractions
In this thesis, we propose different model-checking techniques for pushdown system models. Pushdown systems (PDSs) are indeed known to be a natural model for sequential programs, as they feature an unbounded stack that can simulate the assembly stack of an actual program. Our first contribution consists in model-checking the logic HyperLTL that adds existential and universal quantifiers on path variables to LTL against pushdown systems (PDSs). The model-checking problem of HyperLTL has been shown to be decidable for finite state systems. We prove that this result does not hold for pushdown systems nor for the subclass of visibly pushdown systems. Therefore, we introduce approximation algorithms for the model-checking problem, and show how these can be used to check security policies. In the second part of this thesis, as pushdown systems can fail to accurately represent the way an assembly stack actually operates, we introduce pushdown systems with an upper stack (UPDSs), a model where symbols popped from the stack are not destroyed but instead remain just above its top, and may be overwritten by later push rules. We prove that the sets of successors post* and predecessors pre* of a regular set of configurations of such a system are not always regular, but that post* is context-sensitive, hence, we can decide whether a single configuration is forward reachable or not. We then present methods to overapproximate post* and under-approximate pre*. Finally, we show how these approximations can be used to detect stack overflows and stack pointer manipulations with malicious intent. Finally, in order to analyse multi-threaded programs, we introduce in this thesis a model called synchronized dynamic pushdown networks (SDPNs) that can be seen as a network of pushdown processes executing synchronized transitions, spawning new pushdown processes, and performing internal pushdown actions. The reachability problem for this model is obviously undecidable. Therefore, we compute an abstraction of the execution paths between two regular sets of configurations. We then apply this abstraction framework to a iterative abstraction refinement scheme
Style APA, Harvard, Vancouver, ISO itp.
8

Bartošík, Tomáš. "Metody simulace dodávky výkonu z větrných elektráren". Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2008. http://www.nusl.cz/ntk/nusl-217592.

Pełny tekst źródła
Streszczenie:
Theme Master’s thesis was studying of wind energy power supply. Comparison of character of wind power supply in Czech Republic to power supply abroad. Thesis begins with short introduction of historical wind applications. It continues by theory of wind engines, the wind engines construction and its facilities. Next part describes wind energy characteristics and physics. It describes wind speed influence to power supply of wind turbine, a physical limits of wind engines efficiency. Later, meteorological forecast possibilities are mentioned. Following chapter classifies wind power plants by geographical locations and characterizes them. It presents and explains individual cases of wind energy business growth in Czech Republic and other countries. There are also mentioned many suitable locations for wind parks in Czech Republic. There are described data analysis methods in chapter number 5. Analysis results of day period graph and year period graphs are shown. Unsophisticated forecast model is sketched out and created in following chapter. Here the regressive analysis methods are described, such as Autoregressive moving average model (ARMA), which can bring satisfactory results. Another example is Markov switching autoregressive model (MSAR). Next step from statistic forecast models is to sophisticated large forecasting systems. Those systems require meteorological forecast data and historical wind power data. Data are analyzed by statistical models. They have been developed recently and they are ordinary used nowadays.
Style APA, Harvard, Vancouver, ISO itp.
9

Makarov, Daniil. "Business Model Innovations". Master's thesis, Vysoká škola ekonomická v Praze, 2012. http://www.nusl.cz/ntk/nusl-162595.

Pełny tekst źródła
Streszczenie:
The thesis covers the phenomenon of business model innovation. It provides with theoretical background of the concept based on the works of several scientists who stand at the beginnings of the discipline. The paper also introduces the principles of design thinking applied to business model innovation in order to get superior results and serve as a guideline for ideation processes and presenting enhancements to existing business models. The practical part is devoted to applying the described concepts on examples from real life, which can especially help small companies in their battle with incumbents. Three industries are analyzed to see the flaws with the current state of things. New business models that can disrupt corresponding industries are offered at the end of each case.
Style APA, Harvard, Vancouver, ISO itp.
10

Martin, Jeffrey Harold. "Evaluating models for Bible teaching at a residential summer camp an expository model, a reenactment model, and an experiential model /". Online full text .pdf document, available to Fuller patrons only, 2003. http://www.tren.com.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Książki na temat "IT MODEL"

1

Abadžić, Miloš. Prirodni model prirode NMN model: Uspostavljanje osnova modela. Beograd: Izdavačko-grafičko preduzeće "Prometej", 2013.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

McMasters, Alan W. Wholesale provisioning models: Model evaluation. Monterey, California: Naval Postgraduate School, 1986.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Mansager, Bard K. Model test model. Monterey, Calif: Naval Postgraduate School, 1994.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Armstrong, T. W. Trapped radiation model uncertainties: Model, data and model, model comparisons. MSFC, Ala: National Aeronautics and Space Administration, Marshall Space Flight Center, 2000.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

1935-, Gerkan Meinhard von, i Von Gerkan, Marg und Partner., red. Idea and model =: Idee und Modell : 30 years of architectural models. Berlin: Ernst & Sohn, 1994.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Emka, Moammar. In bed with model$: Top secret model face off! : sisi gelap model sinetron, model catwalk, model iklan, model escort & foto model. Jakarta: GagasMedia, 2006.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Hansen, Peter Reinhard. Model confidence sets for forecasting models. [Atlanta, Ga.]: Federal Reserve Bank of Atlanta, 2005.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Moser, Barry Kurt. Linear models: A mean model approach. San Diego: Academic Press, 1996.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

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

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Borowiak, Dale S. Model discrimination for nonlinear regression models. New York: M. Dekker, 1989.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Części książek na temat "IT MODEL"

1

Smoryński, C. "Modal Model Theory". W Self-Reference and Modal Logic, 87–132. New York, NY: Springer New York, 1985. http://dx.doi.org/10.1007/978-1-4613-8601-8_3.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Badiru, Adedeji B. "Waterfall model, V-model, spiral model, and other SE models". W Systems Engineering Models, 129–38. Boca Raton : Taylor & Francis, a CRC title, part of the Taylor &: CRC Press, 2019. http://dx.doi.org/10.1201/b22519-7.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Pardo, Scott. "Models, Models Everywhere…Model Selection". W Statistical Analysis of Empirical Data, 121–60. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-43328-4_11.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Xu, Yiming, i Michael Norrish. "Mechanised Modal Model Theory". W Automated Reasoning, 518–33. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-51074-9_30.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Bézivin, Jean, Fabian Büttner, Martin Gogolla, Frederic Jouault, Ivan Kurtev i Arne Lindow. "Model Transformations? Transformation Models!" W Model Driven Engineering Languages and Systems, 440–53. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11880240_31.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Fischer, Joachim, Birger Møller-Pedersen, Andreas Prinz i Bernhard Thalheim. "Models Versus Model Descriptions". W Modelling to Program, 67–89. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72696-6_3.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Halfar, Peter. "Models and Model Selection". W Stresses in glaciers, 71–78. Berlin, Heidelberg: Springer Berlin Heidelberg, 2022. http://dx.doi.org/10.1007/978-3-662-66024-9_9.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Kelsen, Pierre, Qin Ma i Christian Glodt. "Models within Models: Taming Model Complexity Using the Sub-model Lattice". W Fundamental Approaches to Software Engineering, 171–85. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19811-3_13.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Hovey, Mark. "Model categories". W Model Categories, 1–26. Providence, Rhode Island: American Mathematical Society, 2007. http://dx.doi.org/10.1090/surv/063/01.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Alfieri, Roberta, i Luciano Milanesi. "Mathematical Model, Model Theory". W Encyclopedia of Systems Biology, 1181. New York, NY: Springer New York, 2013. http://dx.doi.org/10.1007/978-1-4419-9863-7_1071.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "IT MODEL"

1

Bruneliere, Hugo, Florent Marchand de Kerchove, Gwendal Daniel i Jordi Cabot. "Towards Scalable Model Views on Heterogeneous Model Resources". W MODELS '18: ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3239372.3239408.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Stephan, Matthew, i James R. Cordy. "Identification of Simulink model antipattern instances using model clone detection". W 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 2015. http://dx.doi.org/10.1109/models.2015.7338258.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Cuadrado, Jesus Sanchez, Esther Guerra, Juan de Lara, Robert Clariso i Jordi Cabot. "Translating Target to Source Constraints in Model-to-Model Transformations". W 2017 ACM/IEEE 20th International Conference on Model-Driven Engineering Languages and Systems (MODELS). IEEE, 2017. http://dx.doi.org/10.1109/models.2017.12.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Klare, Heiko. "Multi-model consistency preservation". W MODELS '18: ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3270112.3275335.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

de Lara, Juan, Esther Guerra, Marsha Chechik i Rick Salay. "Model Transformation Product Lines". W MODELS '18: ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3239372.3239377.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Jolak, Rodi, Truong Ho-Quang, Michel R. V. Chaudron i Ramon R. H. Schiffelers. "Model-Based Software Engineering". W MODELS '18: ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3239372.3239404.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Kolovos, Dimitris, Alfonso de la Vega i Justin Cooper. "Efficient generation of graphical model views via lazy model-to-text transformation". W 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.3410943.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Easterbrook, Steve. "Modelling the climate system: Is model-based science like model-based engineering? (Keynote)". W 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 2015. http://dx.doi.org/10.1109/models.2015.7338227.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Sanchez Cuadrado, Jesus, Esther Guerra i Juan de Lara. "Quick fixing ATL model transformations". W 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, 2015. http://dx.doi.org/10.1109/models.2015.7338245.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Horváth, Benedek, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes i Robert Karban. "Model checking as a service". W 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.3421407.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "IT MODEL"

1

Canfield, Jesse M. Modal model: a material interface stability model. Office of Scientific and Technical Information (OSTI), październik 2016. http://dx.doi.org/10.2172/1330636.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Feng, Thomas H., i Edward A. Lee. Scalable Models Using Model Transformation. Fort Belvoir, VA: Defense Technical Information Center, lipiec 2008. http://dx.doi.org/10.21236/ada518855.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Mallon, Lawrence G. Multi-Modal Terminal Model Documentation. Fort Belvoir, VA: Defense Technical Information Center, styczeń 2006. http://dx.doi.org/10.21236/ada460376.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Ohyabu, N. Phenomenological model for H-mode. Office of Scientific and Technical Information (OSTI), sierpień 1985. http://dx.doi.org/10.2172/5218387.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Geoffrion, Andrew M. Reusing Structured Models via Model Integration. Fort Belvoir, VA: Defense Technical Information Center, wrzesień 1988. http://dx.doi.org/10.21236/ada204652.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Singer, C. E., E. S. Ghanem, G. Bateman i D. P. Stotler. Multiple mode model of tokamak transport. Office of Scientific and Technical Information (OSTI), lipiec 1989. http://dx.doi.org/10.2172/6054425.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Madigan, David, i Adrian E. Raftery. Model Selection and Accounting for Model Uncertainty in Graphical Models Using OCCAM's Window. Fort Belvoir, VA: Defense Technical Information Center, lipiec 1991. http://dx.doi.org/10.21236/ada241408.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Barhak, Jacob. Supplemental Information: The Reference Model is a Multi-Scale Ensemble Model of COVID-19. Outbreak, maj 2021. http://dx.doi.org/10.34235/b7eaa32b-1a6b-444f-9848-76f83f5a733c.

Pełny tekst źródła
Streszczenie:
The COVID-19 pandemic has accelerated research worldwide and resulted in a large number of computational models and initiatives. Models were mostly aimed at forecast and resulted in different predictions partially since models were based on different assumptions. In fact the idea that a computational model is just an assumption attempting to explain a phenomenon has not been sufficiently explored. Moreover, the ability to combine models has not been fully realized. The Reference Model for disease progression was performing this task for years for diabetes models and recently started modeling COVID-19. The Reference Model is an ensemble of models that is optimized to fit observed disease phenomenon. The ensemble has the ability to include model components from different sources that compete and cooperate. The recent advance in this model is the ability to include models calculated in different scales, making the model the first known multi-scale ensemble model. This manuscript will review these capabilities and show how multiple models can improve our ability to comprehend the COVID-19 pandemic.
Style APA, Harvard, Vancouver, ISO itp.
9

Westwood, Evan K. Broadband, Range-Dependent Normal Mode Model Development. Fort Belvoir, VA: Defense Technical Information Center, lipiec 2002. http://dx.doi.org/10.21236/ada404172.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Yang, Bwolen, Reid Simmons, Randal E. Bryant i David R. O'Hallaron. Optimizing Symbolic Model Checking for Constraint-Rich Models. Fort Belvoir, VA: Defense Technical Information Center, marzec 1999. http://dx.doi.org/10.21236/ada363778.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany rozszerzonymi bibliografiami na temat „IT MODEL” dla poszczególnych typów źródeł:
Artykuły w czasopismach Rozprawy doktorskie Książki
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii