Examples of using Computable in English and their translations into Spanish
{-}
-
Official
-
Colloquial
A set which is not computable is called noncomputable or undecidable.
Van Gelder is quick to point out that there is a big difference between being a computer and being computable.
We say that a problem is computable if an algorithm exists for solving it.
Decimos que un problema es calculable si existe un algoritmo para resolverlo.It is also very common to include the word computable when describing problems and solutions.
Es también muy común incluir la palabra calculable al describir problemas y soluciones.
People also translate
What's not computable lies beyond the infinitesimal silver of knowledge we have managed to subdue inside our fragile, trembling human consciousness.
¿Qué hay de las mentiras no computables mas allá de la astilla infinitesimal de conocimiento nos las hemos arreglado para dominar dentro de nuestra frágil temblorosa conciencia humana.Lagrangian relaxation techniques are considered to get easy computable bounds for the objectives.
Se consideran técnicas de relajación Lagrangiana para obtener cotas fácilmente calculables para los valores objetivos.In time, such data could contribute to computable general equilibrium models to help assess NAFTA's environmental effects.
Con el tiempo, dichos datos podrían contribuir a establecer modelos mensurables de equilibrio general que ayuden a evaluar los efectos ambientales del TLC.Computability theory- branchof mathematical logic and computer science that originated in the 1930s with the study of computable functions and Turing degrees.
Teoría de la computabilidad- rama de la lógica matemática yciencias de la computación que se originó en la década de 1930 con el estudio de las funciones computables y grados de Turing.With CDF, you have full access to a vast collection of computable data across hundreds of fields, from economy to life science to geography.
Con CDF, usted tiene acceso a una vasta colección de datos computables de cientos de disciplinas, desde economía, ciencias naturales a geografía.Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
Las funciones computables son usadas para discutir sobre computabilidad sin referirse a ningún modelo de computación concreto, como el de la máquina de Turing o el de la máquina de registros.This suggests that there is a species-specific index of the social group size, computable from the species' mean neocortical volume.
Esto sugiere que hay un índice de tamaño de grupo social según la especie, diferenciable por el volumen del neocórtex.The framework supplements existing computable general or partial equilibrium or related formal models for assessing NAFTA's impact.
El marco de trabajo complementa los actuales modelos formales mensurables de equilibrio general o parcial, u otros relacionados con éstos, para evaluar el impacto del TLC.For that purpose,ECA is currently involved in developing a set of comprehensive macroeconomic models based on the methodological framework of computable general equilibrium models.
Con esa finalidad,la CEPA participa actualmente en la elaboración de una serie de modelos macroeconómicos generales, basados en la estructura metodológica de modelos computables del equilibrio general.One way to estimate the impact on overall welfare is to use computable general equilibrium models.34 There are few studies that have followed this approach.
Una forma de estimar la repercusión en el bienestar global consiste en utilizar modelos de equilibrio general computable.34 No hay muchos estudios que apliquen este enfoque.Additionally, he has conducted research on the impact of macroeconomic external shocks andpublic expenditure allocation on poverty reduction for developing countries using computable general equilibrium models.
También ha trabajado en las repercusiones de los shocks externos yla asignación del gasto público sobre la reducción de la pobreza en países en desarrollo, empleando modelos de equilibrio general computables.In the event that any computable family members should not have to file an income tax and/or assets declaration, a certificate from the Treasury with the revenue account assignment for that exercise.
Si alguno de los miembros computables no tuviera obligación de presentar declaración de IRPF y/o Patrimonio, certificado de Hacienda con la imputación de ingresos de ese ejercicio.By definition, a model is a simplification designed to represent a system;if it is computable, it is supported with statistical data see Kmenta 1971.
Por definición, un modelo es una simplificación cuyo propósito es representar un sistema;si es mensurable, debe estar apoyado en datos estadísticos véase Kmenta, 1971.Though the computable reals exhaust those reals we can calculate or approximate, the assumption that all reals are computable leads to substantially different conclusions about the real numbers.
Aunque los computables reales agotan todos los reales que podemos calcular o aproximar, la suposición de que todos los números reales son computables conduce a conclusiones muy diferentes acerca de los números reales.The minimal standard model includes all the algebraic numbers and all effectively computable transcendental numbers, as well as many other kinds of numbers.
El modelo estándar mínimo incluye a todos los números algebraicos y a todos los números trascendentales efectivamente computables, así como a muchos otros tipos de números.The Bank has a review-by-sector policy, which determines the levels for the economic activities belonging to the private-sector portfolio according to the concentration they show with regard to the Bank's total credit and/or computable regulatory capital RPC.
Grupo Financiero Galicia| Memoria y Balance 201786 los niveles que deben tener las actividades económicas de la cartera del Sector Privado en función de la concentración que las mismas presenten respecto del total de financiaciones del Banco y/o de la Responsabilidad Patrimonial Computable RPC.For example, the least upper bound of a bounded increasing computable sequence of computable real numbers need not be a computable real number Bridges and Richman, 1987:58.
Por ejemplo, la cota superior mínima de una sucesión computable acotada creciente de números reales computables no tiene por qué ser un número real computable Bridges and Richman, 1987:58.Preserving values such as subjectivity andambiguity is especially important at a time when it is easy to believe that all solutions are computable, and that they are hosted on a server and stored in a Data Centre.
Preservar valores como la subjetividad yla ambigüedad es especialmente importante en un momento en que es fácil pensar que todas las soluciones son computables y se encuentran dentro de un servidor, almacenadas en un Data Center.For example, if one uses the classical definition of a sequence,the set of computable numbers is not closed under the basic operation of taking the supremum of a bounded sequence for example, consider a Specker sequence.
Por ejemplo, si se usa la definición clásica de una secuencia,el conjunto de números computables no está cerrado bajo la operación básica de tomar el supremo de una secuencia limitada considérese la secuencia Specker.Hao Wang(1954), a young researcher at this time, made the following observation:Turing's theory of computable functions antedated but has not much influenced the extensive actual construction of digital computers.
Hao Wang(1954), un joven investigador en este entonces, hizo la siguiente observación:La teoría de funciones computables de Turing antecedió pero no ha influenciado mucho en la extensa construcción de computadoras digitales.Hutter proved that the optimal behavior of a goal seeking agent in an unknown but computable environment is to guess at each step that the environment is probably controlled by one of the shortest programs consistent with all interaction so far.
Hutter demostró que el comportamiento óptimo de un agente de búsqueda en un entorno desconocido, pero computable, es suponer en cada paso que el entorno está probablemente controlado por uno de los programas más cortas compatibles con toda la interacción hasta ahora.At the very beginning of the process, the complexity of the task necessitated a survey of the many formal,econometric, computable, general-equilibrium and partialequilibrium models that were prominent in the policy world as the NAFTA debate unfolded.
Al principio, la complejidad de la tarea requirió de un estudio del rico conjunto de modelos formales,econométricos, computables, de equilibrio general y parcial, que fueron prominentes en el mundo de la política mientras el debate del TLC se desarrollaba.For example, Rice's theorem shows that each of the following sets of computable functions is undecidable: The class of computable functions that return 0 for every input, and its complement.
Por ejemplo, el teorema de Rice demuestra que cada uno de los siguientes conjuntos de funciones computables es indecidible: La clase de funciones computables que devuelven 0 para cada entrada, y su complemento.Turing's technical design Proposed Electronic Calculator was the product of his theoretical work in 1936"On Computable Numbers" and his wartime experience at Bletchley Park where the Colossus computers had been successful in breaking German military codes.
El diseño técnico de Turing de la Proposed Electronic Calculator fue el producto de su trabajo teórico On Computable Numbers publicado en 1936 y de su experiencia durante la guerra en Bletchley Park, donde los ordenadores Colossus habían tenido éxito al romper los códigos militares alemanes.These questions were recently considered for Senegal as part of a research project involving dynamic computable general equilibrium(CGE) model using the World Bank's Maquette for MDG Simulation CGE-MAMS Senegal Diagne, Cabral, Robillard and Cissé, 2011.
El Senegal consideró recientemente estas cuestiones como parte de un proyecto de investigación basado en el modelo dinámico computadorizado de equilibrio general, utilizando el modelo de simulación de los Objetivos de Desarrollo del Milenio para el Senegal, del Banco Mundial Diagne, Cabral, Robillard y Cissé, 2011.
