Search Results - 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

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

Source: 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

Access URL: http://gallica.bnf.fr/ark:/12148/bpt6k6476942d

The Hidden Computation Steps of Turbo Abstract State Machines

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

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

Subject Terms: 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)

File Description: application/application/pdf

Access URL: 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

Authors: Lara, Martin Palacian, Jesus F

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

Subject Terms: Spacecraft Design, Testing And Performance

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

Access URL: 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

Authors: Hielscher,Michael Wagenknecht, Christian

File Description: 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

Availability: https://dspace.tul.cz/handle/15240/21339

Transmission, reflection and absorption in Sonic and Phononic Crystals

Authors: Cebrecos Ruiz, Alejandro

Contributors: 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é

Subject Terms: 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

Access URL: http://hdl.handle.net/10251/56463

The Role of Game Theory in Human Computation Systems

Authors: Jain, Shaili Parkes, David

Source: 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.

File Description: application/pdf

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

Access URL: http://nrs.harvard.edu/urn-3:HUL.InstRepos:3996847

Transmission, reflection and absorption in Sonic and Phononic Crystals

Contributors: 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é

Subject Terms: 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

Access URL: http://hdl.handle.net/10251/56463

On principles of cortical computation

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

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

Subject Terms: 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)

File Description: application/application/pdf

Access URL: 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

Authors: Torrisi, Fabio Danilo Bemporad, Alberto Krogh, Bruce et al.

Contributors: Torrisi, Fabio Danilo Bemporad, Alberto Krogh, Bruce et al.

Subject Terms: 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)

File Description: application/application/pdf

Access URL: 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

Authors: Jankowski, Tadeusz

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

File Description: application/xml

Access URL: https://zbmath.org/3476487

Computation of unsteady transonic flows by the indicial method

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

Subject Terms: Aerodynamics

Access URL: https://ntrs.nasa.gov/citations/19770042953

Computation of Normal Modes from Identified Complex Modes

Authors: Ibrahim, S. R

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

Subject Terms: Numerical Analysis

Access URL: https://ntrs.nasa.gov/citations/19860004122

Some recent progress in transonic flow computation

Authors: Ballhaus, W. F

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

Subject Terms: Aerodynamics

Access URL: https://ntrs.nasa.gov/citations/19790010775

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

Authors: King, H. F Komornicki, A

Source: Journal of Chemical Physics. 84

Subject Terms: Inorganic And Physical Chemistry

Access URL: https://ntrs.nasa.gov/citations/19860054553

Interactive proofs of proximity: Delegating computation in sublinear time

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

Source: 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.

Subject Terms: Interactive Proofs, Sublinear Algorithms

File Description: application/pdf

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

Access URL: http://nrs.harvard.edu/urn-3:HUL.InstRepos:12561354

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

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

Subject Terms: Spacecraft Propulsion And Power

Access URL: https://ntrs.nasa.gov/citations/19930066259

Domain decomposition algorithms and computation fluid dynamics

Authors: Chan, Tony F

Subject Terms: Fluid Mechanics And Heat Transfer

Access URL: 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

Authors: Bond, V. R

Subject Terms: Space Sciences

Access URL: 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

Authors: Carry, C

Subject Terms: Fluid Mechanics

Access URL: https://ntrs.nasa.gov/citations/19670016999

A Security Logic for Abstract State Machines

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

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

Subject Terms: 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

File Description: application/application/pdf

Access URL: 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