Littérature scientifique sur le sujet « IT MODEL »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « IT MODEL ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "IT MODEL"
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.
Texte intégralWierzbiń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.
Texte intégralOh. « Low-Frequency Normal Mode Reverberation Model ». Journal of the Acoustical Society of Korea 34, no 3 (2015) : 184. http://dx.doi.org/10.7776/ask.2015.34.3.184.
Texte intégralPołowniak, Piotr, et Mariusz Sobolak. « Mathematical model of globoid worm for use of generating CAD model ». Mechanik, no 2 (février 2015) : 145/31. http://dx.doi.org/10.17814/mechanik.2015.2.53.
Texte intégralWILCZYNSKI, KRZYSZTOF. « A mathematical model of single-screw extrusion. Part X. Experimental verification of the model ». Polimery 45, no 03 (mars 2000) : 191–96. http://dx.doi.org/10.14314/polimery.2000.191.
Texte intégralJabł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.
Texte intégralMakhan'kov, V. G., Yu P. Rybakov et Valerii I. Sanyuk. « The Skyrme model and strong interactions (On the 30th anniversary of the creation of the Skyrme model) ». Uspekhi Fizicheskih Nauk 162, no 2 (1992) : 1. http://dx.doi.org/10.3367/ufnr.0162.199202a.0001.
Texte intégralLim, Hee-Jeong, Young-Hee Lee et 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, no 2 (30 juin 2010) : 95–106. http://dx.doi.org/10.5532/kjafm.2010.12.2.095.
Texte intégralLei, Y., et S. Y Zhang. « Comparison and selection of growth models using the Schnute model ». Journal of Forest Science 52, No. 4 (9 janvier 2012) : 188–96. http://dx.doi.org/10.17221/4501-jfs.
Texte intégralPerrin, C., V. Andréassian et C. Michel. « Simple benchmark models as a basis for model efficiency criteria ». River Systems 17, no 1-2 (28 juillet 2006) : 221–44. http://dx.doi.org/10.1127/lr/17/2006/221.
Texte intégralThèses sur le sujet "IT MODEL"
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.
Texte intégralEvers, 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.
Texte intégralKang, Changsung. « Model testing for causal models ». [Ames, Iowa : Iowa State University], 2008.
Trouver le texte intégralCoskun, 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.
Texte intégralKotsalis, Georgios. « Model reduction for Hidden Markov models ». Thesis, Massachusetts Institute of Technology, 2006. http://hdl.handle.net/1721.1/38255.
Texte intégralIncludes 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.
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.
Texte intégralPommellet, Adrien. « On model-checking pushdown systems models ». Thesis, Sorbonne Paris Cité, 2018. http://www.theses.fr/2018USPCC207/document.
Texte intégralIn 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
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.
Texte intégralMakarov, Daniil. « Business Model Innovations ». Master's thesis, Vysoká škola ekonomická v Praze, 2012. http://www.nusl.cz/ntk/nusl-162595.
Texte intégralMartin, 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.
Texte intégralLivres sur le sujet "IT MODEL"
Abadžić, Miloš. Prirodni model prirode NMN model : Uspostavljanje osnova modela. Beograd : Izdavačko-grafičko preduzeće "Prometej", 2013.
Trouver le texte intégralMcMasters, Alan W. Wholesale provisioning models : Model evaluation. Monterey, California : Naval Postgraduate School, 1986.
Trouver le texte intégralMansager, Bard K. Model test model. Monterey, Calif : Naval Postgraduate School, 1994.
Trouver le texte intégralArmstrong, T. W. Trapped radiation model uncertainties : Model, data and model, model comparisons. MSFC, Ala : National Aeronautics and Space Administration, Marshall Space Flight Center, 2000.
Trouver le texte intégral1935-, Gerkan Meinhard von, et Von Gerkan, Marg und Partner., dir. Idea and model = : Idee und Modell : 30 years of architectural models. Berlin : Ernst & Sohn, 1994.
Trouver le texte intégralEmka, 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.
Trouver le texte intégralHansen, Peter Reinhard. Model confidence sets for forecasting models. [Atlanta, Ga.] : Federal Reserve Bank of Atlanta, 2005.
Trouver le texte intégralMoser, Barry Kurt. Linear models : A mean model approach. San Diego : Academic Press, 1996.
Trouver le texte intégralKirby, Anthony J. From enzyme models to model enzymes. Cambridge : Royal Society of Chemistry, 2009.
Trouver le texte intégralBorowiak, Dale S. Model discrimination for nonlinear regression models. New York : M. Dekker, 1989.
Trouver le texte intégralChapitres de livres sur le sujet "IT MODEL"
Smoryński, C. « Modal Model Theory ». Dans 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.
Texte intégralBadiru, Adedeji B. « Waterfall model, V-model, spiral model, and other SE models ». Dans 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.
Texte intégralPardo, Scott. « Models, Models Everywhere…Model Selection ». Dans Statistical Analysis of Empirical Data, 121–60. Cham : Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-43328-4_11.
Texte intégralXu, Yiming, et Michael Norrish. « Mechanised Modal Model Theory ». Dans Automated Reasoning, 518–33. Cham : Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-51074-9_30.
Texte intégralBézivin, Jean, Fabian Büttner, Martin Gogolla, Frederic Jouault, Ivan Kurtev et Arne Lindow. « Model Transformations ? Transformation Models ! » Dans Model Driven Engineering Languages and Systems, 440–53. Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11880240_31.
Texte intégralFischer, Joachim, Birger Møller-Pedersen, Andreas Prinz et Bernhard Thalheim. « Models Versus Model Descriptions ». Dans Modelling to Program, 67–89. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72696-6_3.
Texte intégralHalfar, Peter. « Models and Model Selection ». Dans Stresses in glaciers, 71–78. Berlin, Heidelberg : Springer Berlin Heidelberg, 2022. http://dx.doi.org/10.1007/978-3-662-66024-9_9.
Texte intégralKelsen, Pierre, Qin Ma et Christian Glodt. « Models within Models : Taming Model Complexity Using the Sub-model Lattice ». Dans 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.
Texte intégralHovey, Mark. « Model categories ». Dans Model Categories, 1–26. Providence, Rhode Island : American Mathematical Society, 2007. http://dx.doi.org/10.1090/surv/063/01.
Texte intégralAlfieri, Roberta, et Luciano Milanesi. « Mathematical Model, Model Theory ». Dans Encyclopedia of Systems Biology, 1181. New York, NY : Springer New York, 2013. http://dx.doi.org/10.1007/978-1-4419-9863-7_1071.
Texte intégralActes de conférences sur le sujet "IT MODEL"
Bruneliere, Hugo, Florent Marchand de Kerchove, Gwendal Daniel et Jordi Cabot. « Towards Scalable Model Views on Heterogeneous Model Resources ». Dans 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.
Texte intégralStephan, Matthew, et James R. Cordy. « Identification of Simulink model antipattern instances using model clone detection ». Dans 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.
Texte intégralCuadrado, Jesus Sanchez, Esther Guerra, Juan de Lara, Robert Clariso et Jordi Cabot. « Translating Target to Source Constraints in Model-to-Model Transformations ». Dans 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.
Texte intégralKlare, Heiko. « Multi-model consistency preservation ». Dans 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.
Texte intégralde Lara, Juan, Esther Guerra, Marsha Chechik et Rick Salay. « Model Transformation Product Lines ». Dans 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.
Texte intégralJolak, Rodi, Truong Ho-Quang, Michel R. V. Chaudron et Ramon R. H. Schiffelers. « Model-Based Software Engineering ». Dans 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.
Texte intégralKolovos, Dimitris, Alfonso de la Vega et Justin Cooper. « Efficient generation of graphical model views via lazy model-to-text transformation ». Dans 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.
Texte intégralEasterbrook, Steve. « Modelling the climate system : Is model-based science like model-based engineering ? (Keynote) ». Dans 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.
Texte intégralSanchez Cuadrado, Jesus, Esther Guerra et Juan de Lara. « Quick fixing ATL model transformations ». Dans 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.
Texte intégralHorváth, Benedek, Bence Graics, Ákos Hajdu, Zoltán Micskei, Vince Molnár, István Ráth, Luigi Andolfato, Ivan Gomes et Robert Karban. « Model checking as a service ». Dans 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.
Texte intégralRapports d'organisations sur le sujet "IT MODEL"
Canfield, Jesse M. Modal model : a material interface stability model. Office of Scientific and Technical Information (OSTI), octobre 2016. http://dx.doi.org/10.2172/1330636.
Texte intégralFeng, Thomas H., et Edward A. Lee. Scalable Models Using Model Transformation. Fort Belvoir, VA : Defense Technical Information Center, juillet 2008. http://dx.doi.org/10.21236/ada518855.
Texte intégralMallon, Lawrence G. Multi-Modal Terminal Model Documentation. Fort Belvoir, VA : Defense Technical Information Center, janvier 2006. http://dx.doi.org/10.21236/ada460376.
Texte intégralOhyabu, N. Phenomenological model for H-mode. Office of Scientific and Technical Information (OSTI), août 1985. http://dx.doi.org/10.2172/5218387.
Texte intégralGeoffrion, Andrew M. Reusing Structured Models via Model Integration. Fort Belvoir, VA : Defense Technical Information Center, septembre 1988. http://dx.doi.org/10.21236/ada204652.
Texte intégralSinger, C. E., E. S. Ghanem, G. Bateman et D. P. Stotler. Multiple mode model of tokamak transport. Office of Scientific and Technical Information (OSTI), juillet 1989. http://dx.doi.org/10.2172/6054425.
Texte intégralMadigan, David, et Adrian E. Raftery. Model Selection and Accounting for Model Uncertainty in Graphical Models Using OCCAM's Window. Fort Belvoir, VA : Defense Technical Information Center, juillet 1991. http://dx.doi.org/10.21236/ada241408.
Texte intégralBarhak, Jacob. Supplemental Information : The Reference Model is a Multi-Scale Ensemble Model of COVID-19. Outbreak, mai 2021. http://dx.doi.org/10.34235/b7eaa32b-1a6b-444f-9848-76f83f5a733c.
Texte intégralWestwood, Evan K. Broadband, Range-Dependent Normal Mode Model Development. Fort Belvoir, VA : Defense Technical Information Center, juillet 2002. http://dx.doi.org/10.21236/ada404172.
Texte intégralYang, Bwolen, Reid Simmons, Randal E. Bryant et David R. O'Hallaron. Optimizing Symbolic Model Checking for Constraint-Rich Models. Fort Belvoir, VA : Defense Technical Information Center, mars 1999. http://dx.doi.org/10.21236/ada363778.
Texte intégral