Увійти

Готові списки джерел за темами / Simulation of proof / Книги

Книги з теми "Simulation of proof"

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Simulation of proof.

Автор: Grafiati

Опубліковано: 30 травня 2022

Оновлено: 31 травня 2022

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-16 книг для дослідження на тему "Simulation of proof".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

Roever, W. P. de. Data refinement: Model-oriented proof methods and their comparison. Cambridge: Cambridge University Press, 2009.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

2

1966-, Engelhardt Kai, and Buth Karl-Heinz, eds. Data refinement: Model-oriented proof methods and their comparison. Cambridge, UK: Cambridge University Press, 1998.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Mermet, Jean, ed. VHDL for Simulation, Synthesis and Formal Proofs of Hardware. Boston, MA: Springer US, 1992. http://dx.doi.org/10.1007/978-1-4615-3562-1.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Mermet, Jean. VHDL for simulation, synthesis and formal proofs of hardware. Dordrecht: Springer Science+Business Media, B.V., 1992.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Veanes, Margus. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Jacques, Julliand, and SpringerLink (Online service), eds. Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Yungk, George Lee. The development of an intelligent graphics interface for the RESA wargaming simulation terminals: A Proof of Concept. 1988.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

8

Roever, Willem-Paul de, and Kai Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press, 2001.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Dawid, Herbert, Simon Gemkow, Philipp Harting, Sander van der Hoog, and Michael Neugart. Agent-Based Macroeconomic Modeling and Policy Analysis. Edited by Shu-Heng Chen, Mak Kaboudan, and Ye-Rong Du. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780199844371.013.19.

Повний текст джерела

Анотація:

This chapter introduces the Eurace@Unibi model, one of the agent-based simulation models that are relatively new additions to the toolbox of macroeconomists, and the research that has been done within this framework. It shows how an agent-based model can be used to identify economic mechanisms and how it can be applied to spatial policy analysis. The assessment is that agent-based models in economics have passed the proof-of-concept phase and it is now time to move beyond that stage. It has been shown that new kinds of insights can be obtained that complement established modeling approaches. The chapter concludes by pointing toward some potentially fruitful areas of agent-based macroeconomic research.

Стилі APA, Harvard, Vancouver, ISO та ін.

10

P, Mermet Jean, ed. VHDL for simulation, synthesis, and formal proofs of hardware. Dordrecht: Kluwer Academic, 1992.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

11

Succi, Sauro. Lattice Boltzmann Models for Microflows. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199592357.003.0029.

Повний текст джерела

Анотація:

The Lattice Boltzmann method was originally devised as a computational alternative for the simulation of macroscopic flows, as described by the Navier–Stokes equations of continuum mechanics. In many respects, this still is the main place where it belongs today. Yet, in the past decade, LB has made proof of a largely unanticipated versatility across a broad spectrum of scales, from fully developed turbulence, to microfluidics, all the way down to nanoscale flows. Even though no systematic analogue of the Chapman–Enskog asymptotics is available in this beyond-hydro region (no guarantee), the fact remains that, with due extensions of the basic scheme, the LB has proven capable of providing several valuable insights into the physics of flows at micro- and nano-scales. This does not mean that LBE can solve the actual Boltzmann equation or replace Molecular Dynamics, but simply that it can provide useful insights into some flow problems which cannot be described within the realm of the Navier–Stokes equations of continuum mechanics. This Chapter provides a cursory view of this fast-growing front of modern LB research.

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Spritzgießen 2018. VDI Verlag, 2018. http://dx.doi.org/10.51202/9783182443513.

Повний текст джерела

Анотація:

Inhalt Plenarvorträge Navigating Complexity – Wie können wir in der „VUCA – World“ nachhaltig erfolgreich sein? Dr. F. Böttcher, Dr. K.-M. Schuhmann, Contarix GmbH, Kelkheim 1 Möglichkeiten und Grenzen der theoretischen DoE – Was entscheidet über gut und schlecht? Dipl.-Ing. (FH) C. Mädje, Gira Giersiepen GmbH & Co. KG, Radevormwald; Dipl.-Ing. (FH) M. Schmellenkamp, SIGMA Engineering GmbH, Aachen 15 Mehrwert in der Praxis – Intelligente Nutzung von Prozess- und Maschinendaten aus der Spritzgießproduktion Dipl.-Ing. I. Brexeler, Krallmann Holding u. Verwaltungs GmbH, Hiddenhausen; Dr.-Ing. S. Kruppa, KraussMaffei Technologies GmbH, München; Prof. Dr.-Ing. R. Schiffers, M.Sc. A. Schulze Struchtrup, Universität Duisburg-Essen 19 Kurzberichte aus der Forschung Von der Simulation in die Maschine – Objektivierte Prozesseinrichtung durch maschinelles Lernen Prof. Dr.-Ing. Ch. Hopmann, Dr.-Ing. M. Theunissen, J. Heinisch, M.Sc., Institut für Kunststoffverarbeitung ...

Стилі APA, Harvard, Vancouver, ISO та ін.

13

Automation 2018. VDI Verlag, 2018. http://dx.doi.org/10.51202/9783181023303.

Повний текст джерела

Анотація:

Inhalt (Auszüge…) Fertigungsautomation – Plant Lifecycle Management Multidimensionale Datenmodellierung und Analyse zur Qualitätssicherung in der Fertigungsautomatisierung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 B. Lindemann, N. Jazdi, M. Weyrich, Institut für Automatisierungstechnik und Softwaresysteme, Universität Stuttgart, Stuttgart Intelligente Qualitätssicherung und Fehlerursachenanalyse für Spritzgießmaschinen . . . . . . 13 A. Diedrich, J. Eickmeyer, O. Niggemann, Fraunhofer IOSB-INA, Lemgo; R. Preis, Plastikpack GmbH, Steinheim-Bergheim; J. Häfner, Häfner & Krullmann GmbH, Leopoldshöhe Durchgängige Nutzung mechatronischer Anlagenmodelle über den gesamten Lebenszyklus automobiler Produktionsanlagen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 F. Auris, Daimler AG, Ulm; H. Zipper, ifak e.V., Magdeburg; M. Brandl, Algoryx Simulation AB, München; S. Süß, Prof. Dr.-Ing. Christian...

Стилі APA, Harvard, Vancouver, ISO та ін.

14

Vigano, Luca, and Margus Veanes. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Springer, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Vigano, Luca, and Margus Veanes. Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. Springer, 2013.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

16

Baillo, Amparo, Antonio Cuevas, and Ricardo Fraiman. Classification methods for functional data. Edited by Frédéric Ferraty and Yves Romain. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780199568444.013.10.

Повний текст джерела

Анотація:

This article reviews the literature concerning supervised and unsupervised classification of functional data. It first explains the meaning of unsupervised classification vs. supervised classification before discussing the supervised classification problem in the infinite-dimensional case, showing that its formal statement generally coincides with that of discriminant analysis in the classical multivariate case. It then considers the optimal classifier and plug-in rules, empirical risk and empirical minimization rules, linear discrimination rules, the k nearest neighbor (k-NN) method, and kernel rules. It also describes classification based on partial least squares, classification based on reproducing kernels, and depth-based classification. Finally, it examines unsupervised classification methods, focusing on K-means for functional data, K-means for data in a Hilbert space, and impartial trimmed K-means for functional data. Some practical issues, in particular real-data examples and simulations, are reviewed and some selected proofs are given.

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!