Výsledky vyhľadávania - acm: f.: theory of computation/f.1: computation by abstrakte devices/f.1.2: modes of computation

Le jour civil et les modes de computation des délais légaux en Gaule et en France depuis l'antiquité jusqu'à nos jours / par M. Deloche.., 1891

Autori: Deloche, Maximin, 1817-1900, Auteur du texte

Zdroj: Bibliothèque nationale de France, département Littérature et art, 4-Z-2000 (5), 1891.

Relation: Notice d'ensemble : http://catalogue.bnf.fr/ark:/12148/cb32012052k; Notice du catalogue : http://catalogue.bnf.fr/ark:/12148/cb32012052k

Prístupová URL adresa: http://gallica.bnf.fr/ark:/12148/bpt6k6476942d

The Hidden Computation Steps of Turbo Abstract State Machines

Autori: Fruja, Nicu Georgian Stärk, Robert F.

Zdroj: Lecture Notes in Computer Science ISBN: 9783540006244
Technical Report / Department of Computer Science, ETH Zurich, 416

Predmety: RECURSIVE FUNCTIONS (CONTROL SYSTEMS THEORY), Data processing, computer science, ABSTRACT DEVICES + UNIVERSAL MACHINES (THEORETICAL COMPUTER SCIENCE), REKURSIVE FUNKTIONEN (THEORIE DER REGELUNGSSYSTEME), PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS, PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME, ABSTRAKTE MASCHINEN + UNIVERSELLE MASCHINEN (THEORETISCHE INFORMATIK)

Popis súboru: application/application/pdf

Prístupová URL adresa: https://www.research-collection.ethz.ch/bitstream/20.500.11850/68770/1/eth-4595-01.pdf
http://e-collection.library.ethz.ch/eserv/eth:4595/eth-4595-01.pdf
https://dblp.uni-trier.de/db/conf/asm/asm2003.html#FrujaS03
https://core.ac.uk/display/24455242
https://link.springer.com/chapter/10.1007/3-540-36498-6_14
https://rd.springer.com/chapter/10.1007/3-540-36498-6_14
https://www.research-collection.ethz.ch/handle/20.500.11850/68770
https://www.research-collection.ethz.ch/bitstream/20.500.11850/68770/1/eth-4595-01.pdf
http://hdl.handle.net/20.500.11850/68770

Hill Problem Analytical Theory to the Order Four. Application to the Computation of Frozen Orbits around Planetary Satellites

Autori: Lara, Martin Palacian, Jesus F

Zdroj: Proceedings of the 20th International Symposium on Space Flight Dynamics.

Predmety: Spacecraft Design, Testing And Performance

Relation: Proceedings of the 20th International Symposium on Space Flight Dynamics

Prístupová URL adresa: https://ntrs.nasa.gov/citations/20080012689

Teaching language theory and automata: a compiler generation oriented approach using AtoCC ; Języki formalne a abstrakcja automatów nauczania: udostępnienie drogi tworzenia kompilatora – generowanie z AtoCC ; Formální jazyky a abstrakty automatické výuky: zpřístupnění cesty vytváření kompilátoru – generování s AtoCC ; Formale Sprachen und Abstrakte automaten lehren: ein Zugang via Compiler-Generierung mit AtoCC

Autori: Hielscher,Michael Wagenknecht, Christian

Popis súboru: text; 9 stran; application/pdf

Relation: Hielscher M.: AtoCC Website, March 2009.; Hielscher M., Wagenknecht C.: AtoCC: learning environment for teaching theory of automata and formal languages. In ITICSE '06: Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education, page 306, New York, NY, USA, 2006. ACM.; McKeeman W., Wortman D., Horning J.: Compiler Generator (Automatic Computation). Prentice-Hall Englewood Cliffs, N.J., USA, 1970.; T. J. T. F. on Computing Curricula: Computing Curricula 2001 Computer Science, Final Report. IEEE Computer Society, Association for Computing Machinery, 2001.; Rodger S.: Learning automata and formal languages interactively with jflap.; In ITICSE '06: Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education, page 360, New York, NY, USA, 2006. ACM.; ACC Journal; true; ACC_2009_1_01; https://dspace.tul.cz/handle/15240/21339

Dostupnosť: https://dspace.tul.cz/handle/15240/21339

Transmission, reflection and absorption in Sonic and Phononic Crystals

Autori: Cebrecos Ruiz, Alejandro

Prispievatelia: University/Department: Universitat Politècnica de València. Departamento de Ingeniería Electrónica - Departament d'Enginyeria Electrònica

Thesis Advisors: Picó Vila, Rubén, Sánchez Morcillo, Víctor José

Predmety: Periodic Structures, Sonic Crystals, Phononic Crystals, Transmission, Reflection, Absorption, Band Structure, Dispersion Relation, Focusing, Focalization, Collimation, Spatial dispersion, Beam, Acoustic Beam, Ultrasonic Beam, Axisymmetric, Symmetry Matching, Gradient Index, Lens, Lenses, Homogenization, Refraction, Refractive devices, Long-wavelength, Effective medium, Effective properties, Paraxial approximation, Isofrequency lines, Isofrequency contours, Wave vector, Chirped, Tappered, Rainbow trapping, Mirage effect, Chirped crystals, Wave Enhancement, Soft reflection, Group velocity, Slowing down, Coupled Mode Theory, CMT, Linear Chirped, Exponential chirped, Dissipation, Losses, Porous absorber, Porous material, Porous layers, Dissipative couple mode theory, Modulation, Loss modulation, Band structure calculation, Elastic waves, Acoustic waves, Time-marching, Algorithm, Bloch vector, Bloch boundary conditions, Boundary conditions, Unit cell, Vibrational modes, Resonant peaks, Resonant modes, Accuracy, Convergence, Computation time, Solid-Solid, Solid-fluid, Lamella cyrstal, Extraordinary absorption, Interaction strength, Time delay, Fourier Transform, FISICA APLICADA

Prístupová URL adresa: http://hdl.handle.net/10251/56463

The Role of Game Theory in Human Computation Systems

Autori: Jain, Shaili Parkes, David

Zdroj: Jain, Shaili, and David C. Parkes. 2009. The role of game theory in human computation systems. In Proceedings of the ACM SIGKDD Workshop on Human Computation : June 28, 2009, Paris, France, ed. P. Bennett, 58-61. New York: ACM Press.

Popis súboru: application/pdf

Relation: http://portal.acm.org/citation.cfm?id=1600171; http://www.eecs.harvard.edu/~shailij/papers/hcomp-position.pdf

Prístupová URL adresa: http://nrs.harvard.edu/urn-3:HUL.InstRepos:3996847

Transmission, reflection and absorption in Sonic and Phononic Crystals

Prispievatelia: University/Department: Universitat Politècnica de València. Departamento de Ingeniería Electrónica - Departament d'Enginyeria Electrònica

Thesis Advisors: Picó Vila, Rubén, Sánchez Morcillo, Víctor José

Predmety: Periodic Structures, Sonic Crystals, Phononic Crystals, Transmission, Reflection, Absorption, Band Structure, Dispersion Relation, Focusing, Focalization, Collimation, Spatial dispersion, Beam, Acoustic Beam, Ultrasonic Beam, Axisymmetric, Symmetry Matching, Gradient Index, Lens, Lenses, Homogenization, Refraction, Refractive devices, Long-wavelength, Effective medium, Effective properties, Paraxial approximation, Isofrequency lines, Isofrequency contours, Wave vector, Chirped, Tappered, Rainbow trapping, Mirage effect, Chirped crystals, Wave Enhancement, Soft reflection, Group velocity, Slowing down, Coupled Mode Theory, CMT, Linear Chirped, Exponential chirped, Dissipation, Losses, Porous absorber, Porous material, Porous layers, Dissipative couple mode theory, Modulation, Loss modulation, Band structure calculation, Elastic waves, Acoustic waves, Time-marching, Algorithm, Bloch vector, Bloch boundary conditions, Boundary conditions, Unit cell, Vibrational modes, Resonant peaks, Resonant modes, Accuracy, Convergence, Computation time, Solid-Solid, Solid-fluid, Lamella cyrstal, Extraordinary absorption, Interaction strength, Time delay, Fourier Transform, FISICA APLICADA

Prístupová URL adresa: http://hdl.handle.net/10251/56463

On principles of cortical computation

Autori: Krautz, Christoph Douglas, Rodney James Gerke Stefanie, Marciniszyn Martin, Steger Angelika

Prispievatelia: Krautz, Christoph Douglas, Rodney James Gerke Stefanie, Marciniszyn Martin, Steger Angelika

Predmety: NEURONALE NETZWERKE + KONNEKTIONISMUS (KÜNSTLICHE INTELLIGENZ), Data processing, computer science, NEURONALE NETZWERKE + NEUROMORPHE SYSTEME (NEUROLOGIE), ABSTRACT DEVICES + UNIVERSAL MACHINES (THEORETICAL COMPUTER SCIENCE), NEURAL NETWORKS + NEUROMORPHIC SYSTEMS (NEUROLOGY), NEURAL NETWORKS + CONNECTIONISM (ARTIFICIAL INTELLIGENCE), ABSTRAKTE MASCHINEN + UNIVERSELLE MASCHINEN (THEORETISCHE INFORMATIK)

Popis súboru: application/application/pdf

Prístupová URL adresa: https://www.research-collection.ethz.ch/handle/20.500.11850/53138
http://hdl.handle.net/20.500.11850/53138

Modeling and reach-set computation for analysis and optimal control of discrete hybrid automata

Autori: Torrisi, Fabio Danilo Bemporad, Alberto Krogh, Bruce a ďalší

Prispievatelia: Torrisi, Fabio Danilo Bemporad, Alberto Krogh, Bruce a ďalší

Predmety: HYBRID COMPUTERS (COMPUTER SYSTEMS), Data processing, computer science, ABSTRACT DEVICES + UNIVERSAL MACHINES (THEORETICAL COMPUTER SCIENCE), HYBRIDCOMPUTER (COMPUTERSYSTEME), SYSTEMANALYSE + SYSTEMENTWICKLUNG + SYSTEMENTWURF (COMPUTERSYSTEME), ABSTRAKTE MASCHINEN + UNIVERSELLE MASCHINEN (THEORETISCHE INFORMATIK), SYSTEMS ANALYSIS + SYSTEMS DEVELOPMENT + SYSTEMS DESIGN (COMPUTER SYSTEMS)

Popis súboru: application/application/pdf

Prístupová URL adresa: http://e-collection.ethbib.ethz.ch/view/eth:26673
http://e-collection.library.ethz.ch/eserv/eth:26673/eth-26673-02.pdf
https://www.research-collection.ethz.ch/handle/20.500.11850/147633
http://hdl.handle.net/20.500.11850/147633

Notwendige und hinreichende Bedingungen für die Konvergenz approximativer Iterationen für eine abstrakte Gleichung

Autori: Jankowski, Tadeusz

Predmety: Fixed-point theorems, Numerical methods in optimal control, Numerical computation of solutions to systems of equations, General theory of numerical analysis in abstract spaces

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/3476487

Computation of unsteady transonic flows by the indicial method

Autori: Ballhaus, W. F Goorjian, P. M

Predmety: Aerodynamics

Prístupová URL adresa: https://ntrs.nasa.gov/citations/19770042953

Computation of Normal Modes from Identified Complex Modes

Autori: Ibrahim, S. R

Zdroj: Dyn. Identification for Control of Large Space Struct..

Predmety: Numerical Analysis

Prístupová URL adresa: https://ntrs.nasa.gov/citations/19860004122

Some recent progress in transonic flow computation

Autori: Ballhaus, W. F

Zdroj: Von Karman Inst. for Fluid Dyn. Computational Fluid Dyn., Vol. 1

Predmety: Aerodynamics

Prístupová URL adresa: https://ntrs.nasa.gov/citations/19790010775

Analytic computation of energy derivatives - Relationships among partial derivatives of a variationally determined function

Autori: King, H. F Komornicki, A

Zdroj: Journal of Chemical Physics. 84

Predmety: Inorganic And Physical Chemistry

Prístupová URL adresa: https://ntrs.nasa.gov/citations/19860054553

Interactive proofs of proximity: Delegating computation in sublinear time

Autori: Rothblum, Guy N. Vadhan, Salil Wigderson, Avi

Zdroj: Rothblum, Guy N., Salil Vadhan, and Avi Wigderson. 2013. “Interactive Proofs of Proximity: Delegating Computation in Sublinear Time.” Proceedings of the 45th Annual ACM Symposium on Symposium on Theory of Computing (STOC'13), Palo Alto, CA, June 01-04, 2013, ed. Dan Boneh, Tim Roughgarden, Joan Feigenbaum, 793-802. New York, NY: ACM Press.

Predmety: Interactive Proofs, Sublinear Algorithms

Popis súboru: application/pdf

Relation: Proceedings of the 45th annual ACM symposium on Symposium on theory of computing - STOC '13

Prístupová URL adresa: http://nrs.harvard.edu/urn-3:HUL.InstRepos:12561354

Assessment of three numerical methods for the computation of a low-density plume flow

Autori: Penko, Paul F Riley, Ben R Boyd, Iain D

Predmety: Spacecraft Propulsion And Power

Prístupová URL adresa: https://ntrs.nasa.gov/citations/19930066259

Domain decomposition algorithms and computation fluid dynamics

Autori: Chan, Tony F

Predmety: Fluid Mechanics And Heat Transfer

Prístupová URL adresa: https://ntrs.nasa.gov/citations/19890015207

Recursive computation of the coefficients of the time-dependent f and g series solution of Keplerian motion and a study of the convergence properties of the solution

Autori: Bond, V. R

Predmety: Space Sciences

Prístupová URL adresa: https://ntrs.nasa.gov/citations/19660008614

Comments on 'Wave damping computation for a viscous liquid of finite depth' by F. Biesel, La Houille Blanche, no. 5, 630-634 /1949

Autori: Carry, C

Predmety: Fluid Mechanics

Prístupová URL adresa: https://ntrs.nasa.gov/citations/19670016999

A Security Logic for Abstract State Machines

Autori: Nanchen, Stanislas Stärk, Robert F.

Zdroj: Lecture Notes in Computer Science ISBN: 9783540220947
Technical Report / Department of Computer Science, ETH Zurich, 423

Predmety: SPECIAL PROGRAMMING METHODS, SPEZIELLE PROGRAMMIERMETHODEN, ABSTRACT DEVICES + UNIVERSAL MACHINES (THEORETICAL COMPUTER SCIENCE), ABSTRACT STATE MACHINES (SET THEORY), ABSTRAKTE MASCHINEN + UNIVERSELLE MASCHINEN (THEORETISCHE INFORMATIK), ABSTRAKTE ZUSTANDSMASCHINEN (MENGENLEHRE), Data processing, computer science

Popis súboru: application/application/pdf

Prístupová URL adresa: https://www.research-collection.ethz.ch/bitstream/20.500.11850/68777/1/eth-4620-01.pdf
https://dblp.uni-trier.de/db/conf/asm/asm2004.html#NanchenS04
https://link.springer.com/chapter/10.1007/978-3-540-24773-9_13
https://www.research-collection.ethz.ch/handle/20.500.11850/68777
https://www.research-collection.ethz.ch/bitstream/20.500.11850/68777/1/eth-4620-01.pdf
https://link.springer.com/chapter/10.1007/978-3-540-24773-9_13
http://hdl.handle.net/20.500.11850/68777