Výsledky vyhľadávania - "Simulation and Modeling—Model Development Keywords"

Christmas Tree Case Study: Computed Tomography as a Tool for Mastering Complex Real World Objects with Applications in Computer Graphics

Autori: Dominik Fleischmann Rainer Wegenkittl Petr Felkel a ďalší

Prispievatelia: Dominik Fleischmann Rainer Wegenkittl Petr Felkel a ďalší

Zdroj: http://www.visus.uni-stuttgart.de/uploads/tx_vispublications/kanitsar-vis02.pdf.

Predmety: ologies, Simulation and Modeling—Model Development Keywords, modeling, computed tomography, volume visualiza- tion

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.543.680

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.543.680
http://www.visus.uni-stuttgart.de/uploads/tx_vispublications/kanitsar-vis02.pdf

Duality Between Formal Description of Program Construction and Program Behaviour

Autori: Daniel Mihályi The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Daniel Mihályi The Pennsylvania State University CiteSeerX Archives

Zdroj: http://acmbulletin.fiit.stuba.sk/vol2num1/mihalyi.pdf.

Predmety: Theory, I.6.5 [Computing Methodologies, Simulation and Modeling—Model Development Keywords Category theory, Algebra, Coalgebra, Type theory, Linear Logic, Possible World Semantics

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.1955; http://acmbulletin.fiit.stuba.sk/vol2num1/mihalyi.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.1955
http://acmbulletin.fiit.stuba.sk/vol2num1/mihalyi.pdf