Examples of using Computation in Spanish and their translations into English
{-}
-
Colloquial
-
Official
Decimal Computation 1(reprint) edición.
El nombre entero de archivo. dcf es Document Computation Format.
The full name of the file is Document Computation Format.Percolation Computation in Complex Networks» en inglés.
Percolation Computation in Complex Networks.Introduction to Automata Theory, Languages,and Computation en inglés.
Introduction to Automata Theory,Languages and Computation.Traducir computation of time de inglés a español.
Translate computation of time from English to Spanish.Los operadores modales usan el Linear Temporal Logic y Computation Tree Logic son definidos como sigue.
The modal operators used in linear temporal logic and computation tree logic are defined as follows.Quantum computation and quantum information Repr. edición.
Quantum computation and quantum information Repr. ed.Landau,"Simplification of Nested Radicals",SIAM Journal of Computation, volume 21(1992), pages 85-110.
Landau,"Simplification Quantum computation and quantum information 10th anniversary ed edición.
Quantum Computation and Quantum Information 10th Anniversary Edition.La gala comenzó con una adaptación del discurso de Cory Doctorow"The Coming War on General Purpose Computation.
The show began with an adaptation of a speech by Cory Doctorow,"The Coming War on General Purpose Computation.Palabras Clave: Computation in agriculture; labour payment; information systems.
Keywords: Computation in agriculture; labour payment; information systems.Secuencias de expresiones, computaciones asíncronas yconsultas son clases particulares de computation expressions.
Sequence expressions, asynchronous Material Computation: Higher Integration in Morphogenetic Design Architectural Design en inglés.
Material Computation: Higher Integration in Morphogenetic Design Architectural Design.La tesis doctoral de Leiserson, Area-Efficient VLSI Computation, ganó el primer Premio de Tesis Doctorales de la ACM.
Leiserson's dissertation, Area-Efficient VLSI Computation, won the first ACM Doctoral Dissertation Award.Neural Computation(en inglés) 18: 1527-1554. Geoffrey E. Hinton& Terrence J. Sejnowski,Analyzing Cooperative Computation.
In cognitive sciences, it is often thought to have been first described by: Geoffrey E. Hinton and Terrence J. Sejnowski,Analyzing Cooperative Computation.El nuevo ABC está en exposición permanente en el vestíbulo del'Durham Center for Computation and Communication'en la'Iowa State University.
The replica ABC is now on permanent display in the first floor lobby of the Durham Center for Computation and Communication at Iowa State University.Lua-torch-graph: Graph Computation Package for Torch Framework(información del paquete) húerfano desde hace 82 días.
Lua-torch-graph: Graph Computation Package for Torch Framework(package info) orphaned since 82 days.Una típica nanofábrica cabría en un box desktop, de acuerdo con la perspectiva de la Kim Eric Drexler, publicado en Nanosystems: Molecular Machinery,Manufacturing and Computation.
A typical nanofactory would fit in a desktop box, in the vision of K. Eric Drexler published in Nanosystems: Molecular Machinery,Manufacturing and Computation(1992).Entre 1966 y1975 Kurtz fue director de la Kiewit Computation Center en Dartmouth, y entre 1975 y 1978 fue director de oficina de la Academia de informática.
From 1966 to 1975,Kurtz served as Director of the Kiewit Computation Center at Dartmouth, and from 1975 to 1978, Director of the Office of Academic Computing.Muchas de sus conferencias y diversas charlas fueron convertidas en otros libros, entre ellos The Character of Physical Law, QED: The Strange Theory of Light and Matter, Statistical Mechanics, Lectures on Gravitation, yFeynman Lectures on Computation.
Many of his lectures and miscellaneous talks were turned into other books, including The Character of Physical Law, QED: The Strange Theory of Light and Matter, Statistical Mechanics, Lectures on Gravitation, andthe Feynman Lectures on Computation.Del artículo"An Algorithm for Distributed Computation of a Spanning Tree in an Extended LAN": Enlace Algorhyme I think that I shall never see A graph more lovely than a tree.
From the paper"An Algorithm for Distributed Computation of a Spanning Tree in an Extended LAN": Algorhyme I think that I shall never see A graph more lovely than a tree.En marzo de 2003, después de haber estado fuera de línea desde enero, ISDFB comenzó a hospedarse en The Cushing Library Science Fiction and Fantasy Research Collection and Institute for Scientific Computation en la Universidad de Texas A&M. En 2007,luego de problemas de alojamiento de rec ursos con Texas AM.
In March 2003, after having been offline since January, the ISFDB began to be hosted by The Cushing Library Science Fiction and Fantasy Research Collection and Institute for Scientific Computation at Texas A&M University.En otras palabras,integer GDD computation permite reducir la factorización de un polinomio sobre los números racionales a la factorización de un polinomio primitivo con coeficientes enteros, y reducir la factorización sobre los números enteros a la factorización de un número entero y un polinomio primitivo.
In other words,integer GCD computation allows one to reduce the factorization of a polynomial over the rationals to the factorization of a primitive polynomial with integer coefficients, and to reduce the factorization over the integers to the factorization of an integer and a primitive polynomial.El uso arbitrario introduce la posibilidad de indeterminacy in concurrent computation que tiene mayores implicaciones en la práctica, incluyendo la correctitud y el rendimiento.
The use of arbiters introduces the possibility of indeterminacy in concurrent computation which has major implications for practice including correctness and performance.Prof. Floreano es o ha sido miembro del consejo editorial de las revistas internacionales: Redes Neuronales(Pergamon), Programación Genética y Máquinas evolvable(Kluwer), conducta adaptativa(Sage), Vida Artificial(MIT Press), Ciencias de la conexión(Francis& Taylor), Computación Evolutiva(MIT Press), Inteligencia Evolutiva(Springer),IEEE Transactions on Evolutionary Computation(IEEE), Robots Autónomos Kluwer.
Prof. Floreano is or has been on the editorial board of the international journals: Neural Networks(Pergamon), Genetic Programming and Evolvable Machines(Kluwer), Adaptive Behavior(Sage), Artificial Life(MIT Press), Connection Science(Francis& Taylor), Evolutionary Computation(MIT Press), Evolutionary Intelligence(Springer),IEEE Transactions on Evolutionary Computation(IEEE), Autonomous Robots Kluwer.Durante el Sónar+D, la parte de congreso sobre creatividad e industrias creativas,se colaboró con la School for Poetic Computation, participando con una obra digital que mezclaba arte y código informático, imágenes y números.
During Sónar+D, the conference on creativity and creative industries,Absolut collaborated with the School for Poetic Computation, participating with a digital work that mixed art and computer code, images and numbers.Método de diferencia finita Diferencia finita Sténcil de cinco puntos Fornberg, Bengt(1988),«Generation of Finite Difference Formulas on Arbitrarily Spaced Grids»,Mathematics of Computation 51(184): 699-706, ISSN 0025-5718, doi: 10.1090/S0025-5718-1988-0935077-0.
Finite difference method Finite difference Five-point stencil Numerical differentiation Fornberg, Bengt(1988),"Generation En este contexto se desarrolla el proyecto europeo DITAS(Data-intensive applications improvement by moving data and computation in mixed cloud/fog environments), una iniciativa que cuenta con la participación del centro tecnológico vasco especializado en Fabricación Avanzada IK4-IDEKO.
This is the backdrop in which the European project DITAS(Data-intensive applications improvement by moving data and computation in mixed cloud/fog environments) is being developed, an initiative with the participation of IK4-IDEKO, the Basque technology centre specialising in Advanced Manufacturing.Ejecución fuera de orden Slipstream(computación)"A Survey of Value Prediction Techniques for Leveraging Value Locality", S. Mittal,Concurrency and Computation, 2017 Lazy and Speculative Execution Butler Lampson Microsoft Research OPODIS, Bordeaux, France 12 December 2006 International Business Machines Corporation.
Branch predictor Out-of-order execution Slipstream(computer science) Speculative multithreading"A Survey of Value Prediction Techniques for Leveraging Value Locality", S. Mittal,Concurrency and Computation, 2017 Lazy and Speculative Execution Butler Lampson Microsoft Research OPODIS, Bordeaux, France 12 December 2006 International Business Machines Corporation.En su disertación doctoral realizada en 1991 en el MIT Media Lab, donde obtuvo el primer grado doctoral en el área de Nanotecnología Molecular,Molecular Machinery and Manufacturing with Applications to Computation, y que se publicó con el título Nanosystems: Molecular Machinery, Manufacturing, and Computation,, que recibió el premio de la Association of American Publishers al Mejor Libro de Ciencias Computacionales de 1992.
His 1991 Ph.D. work at the MIT Media Lab was the first doctoral degree on thetopic of molecular nanotechnology and(after some editing) his thesis,"Molecular Machinery and Manufacturing with Applications to Computation," was published as Nanosystems: Molecular Machinery, Manufacturing, and Computation, which received the Association of American Publishers award for Best Computer Science Book of 1992.
