What is the translation of " VERIFICATION TECHNIQUES " in Spanish?

• técnicas de verificación

Examples of using Verification techniques in English and their translations into Spanish

No destructive verification techniques are foreseen.
No se prevén técnicas de verificación destructivas.

Apply regular expressions and pattern-based verification techniques.
Aplicar expresiones regulares y técnicas de verificación basadas en patrones.

Moreover, verification techniques would be put to different uses in different societies.
Además, las técnicas de verificación se utilizarían de maneras distintas en diferentes sociedades.

Apply and use different verification techniques.
Aplicar y utilizar diferentes técnicas de verificación.

Depending on progress, it could work further on developing the integration of seismic and non-seismic verification techniques.
Según los progresos que se logren, podría intentarse desarrollar más la integración de las técnicas de verificación sismológicas y no sismológicas.

Am: FIRST DRAFT: Advanced information verification techniques in networks.
Am FIRST DRAFT: Técnicas de verificación de información avanzada en redes.

The range of verification techniques and tools has expanded as a result of verification practice and technological developments.
La gama de técnicas e instrumentos de verificación es más amplia debido a la práctica de la verificación y a los adelantos tecnológicos.

Two possible uses of non-seismic verification techniques were suggested.
Se sugirieron dos posibles aplicaciones de las técnicas de verificación no sismológicas.

This core will, of course, need to be supplemented and complemented by other verification techniques.
Por supuesto, ese núcleo tendrá que ir suplementado y complementado por otras técnicas de verificación.

The intimate inter-relationship between verification techniques applicable and the scope of Convention obligations; and.
La íntima relación recíproca existente entre las técnicas de verificación aplicables y el alcance de los deberes impuestos por el convenio; y.

A comparison frame of controlled experiments that intend to evaluate verification techniques was created.
También propusimos un marco de comparación de experimentos que buscan evaluar las técnicas de pruebas.

The options given in the working papers on verification techniques would help us considerably in taking decisions in this regard.
Las opciones expuestas en los documentos de trabajo respecto de las técnicas de verificación nos ayudarán considerablemente para adoptar decisiones al respecto.

Here we talk to FARO's Vito Marone about the state of the art construction verification techniques.
Hablamos con Vito Marone de FARO acerca de las técnicas de verificación de vanguardia en la construcción.

Had of their learned presentations on diverse aspects of seismic and non-seismic verification techniques and their mutual interrelationship have played an invaluable educational role in better preparing us to deal effectively with the verification issue.
La serie de reuniones celebradas por el Comité ad hoc con la participación de expertos, lo mucho que todos nos hemos beneficiado de sus eruditas exposiciones sobre diversos aspectos de las técnicas de verificación sismológicas y no sismológicas y de las relaciones mutuas que existen entre ellas han desempeñado un valioso papel educativo en la tarea de prepararnos mejor para abordar la cuestión de la verificación..

CD/NTB/WP.117, dated 24 June 1994, submitted by the delegation of France, entitled"Seeking synergy between the various possible verification techniques.
CD/NTB/WP.117, de fecha 24 de junio de 1994, presentado por la delegación de Francia y titulado"Búsqueda de la sinergia entre las diferentes técnicas de verificación factibles.

The Programme represents the utilization of modern, advanced verification techniques for better confidence-building in future.
Dicho Programa representa la utilización de técnicas modernas y avanzadas de verificación para una mayor consolidación de la confianza en el futuro.

The Group received during its session briefings from individual delegations on activities of the Ad Hoc Committee on a Nuclear Test Ban, especially on its hearings on non-seismic verification techniques.
El Grupo recibió durante su período de sesiones información proporcionada por determinadas delegaciones acerca de las actividades del Comité ad hoc sobre la prohibición de los ensayos nucleares, especialmente acerca de las audiencias del Comité relacionadas con las técnicas de verificación no sismológicas.

Over the last week we have witnessed a most useful presentation of non-seismic verification techniques within the verification Work Group.
Durante la última semana hemos presenciado una utilísima exposición de técnicas de verificación no sismológica en el Grupo de Trabajo sobre Verificación.

At its second and third sessions, in 2002 and 2003, the Forum adopted resolutions on measures to be taken at the national and international levels to strengthen legislative frameworks, build enforcement capacity for monitoring and control and create verification techniques to help control illegal logging.
En sus períodos de sesiones segundo y tercero, celebrados en 2002 y en 2003, el Foro aprobó resoluciones sobre las medidas que deberían adoptarse en los planos nacional e internacional para reforzar los marcos legislativos, establecer una capacidad policial de vigilancia y control y crear técnicas de verificación para ayudar a reprimir la tala ilegal.

ES_PASS(Embedded Software Product-based Assurance) is an EU ITEA2 project that aims at improving and integrating state-of-the-art software verification techniques based on static analysis into existing industrial engineering processes in the domain of safety-critical embedded systems.
ES_PASS(Embedded Software Product-based Assurance) es un proyecto europeo del cluster ITEA2 cuyo objetivo es la mejora e integración de técnicas de verificación de software basadas en análisis estático en los procesos de ingeniería actuales dentro del área de sistemas embarcados de seguridad crítica.

Thirdly, the debate must at an early stage focus on the required verification techniques to be negotiated.
En tercer lugar, el debate debe centrarse en una fase temprana en las técnicas de verificación necesarias que han de negociarse.

Thus, we welcome the update by the United Kingdom Secretary of State for Defence concerning Britain's ongoing initiative in collaboration with Norway in developing verification techniques on the dismantlement of nuclear warheads, as well as the presentation this morning by the Administrator of the United States National Nuclear Security Administration.
Así, celebramos el informe actualizado que nos ha brindado el Secretario de Estado para Defensa del Reino Unido sobre la iniciativa en curso en su país, en colaboración con Noruega, de elaborar técnicas de verificación para el desmantelamiento de las ojivas nucleares, así como la exposición hecha esta mañana por el Administrador de la Agencia Nacional de Seguridad Nuclear de los Estados Unidos.

Very valuable work has, during the last weeks, been accomplished in the Working Group on Verification of the Ad Hoc Committee on a Nuclear Test Ban, especially concerning the use of non-seismic verification techniques within a verification package for a Comprehensive Test-Ban Treaty.
Durante las últimas semanas se ha realizado una labor muy valiosa en el Grupo de Trabajo sobre verificación del Comité ad hoc sobre la prohibición de los ensayos nucleares, especialmente en lo que concierne al empleo de técnicas de verificación no sismológicas dentro del conjunto de medidas de verificación del tratado de prohibición completa de los ensayos.

Claire Wardle, director of First Draft, and Nic Días, a data and computer expert, shared incredible information, verification techniques on social networks using the Python programming language.
Claire Wardle, directora de First Draft, y Nic Días, experto en datos y computación, compartieron increíbles técnicas de verificación de información avanzada en redes sociales, usando el lenguaje de programación Python.

Slovakia supports IAEA programme“93+ 2”, which represents the utilization of modern advanced verification techniques for better confidence building in future.
Eslovaquia apoya el Programa“93+2” del OIEA, que representa la utilización de técnicas de verificación modernas y avanzadas para un mejor fomento de la confianza en el futuro.

Certainly, as a material property, its value and importance cannot be understated, the information from a hardness test can complement and often be used in conjunction with other material verification techniques such as tensile or compression to provide critical performance information.
Ciertamente, como una propiedad material, su valor e importancia no pueden subestimarse, la información de una prueba de dureza puede complementar y usarse a menudo junto con otras técnicas de verificación de materiales tales como tracción o compresión para proporcionar información crítica de rendimiento.

Without at least a prior general understanding on the scope of an FMCT and without definitions that are in tune with existing-- or at least feasible, practical and affordable-- verification techniques, such an approach to FMCT negotiations would lead to a dead end in my view.
Si no existe al menos un entendimiento general previo sobre el alcance del TCPMF ni definiciones ajustadas a las técnicas de verificación existentes, o al menos a técnicas de verificación viables, prácticas y asequibles, este enfoque de las negociaciones sobre el TCPMF conduciría a un callejón sin salida.

We also consider it crucial that this instrument also include a multilateral monitoring and control mechanism to detect and identify nuclear explosions, including networks of seismic stations and other verification techniques, to ensure faithful compliance based on an impartial, responsible and transparent approach.
Asimismo, consideramos de vital importancia que este instrumento pueda contar además con un mecanismo multilateral de vigilancia y control que detecte e identifique las explosiones nucleares, incluyendo redes de estaciones sísmicas y otras técnicas de verificación para su fiel cumplimiento, bajo un enfoque imparcial, responsable y transparente.

Nataliia Stulova presented at ICLP'17 her joint paper with José Francisco Morales y Manuel Hermenegildo entitled"Towards Run-time Checks Simplification via Term Hiding", that presents a novel approach for reducing the overhead of some run-time verification techniques by several orders of magnitude based on considering the term visibility rules prior to instrumenting a program with run-time checks.
Nataliia Stulova presentó en ICLP su trabajo conjunto con José Francisco Morales y Manuel Hermenegildo titulado"Towards Run-time Checks Simplification via Term Hiding", que presenta una técnica para reducir el coste de técnicas de verificación en tiempo de ejecución en varios órdenes de magnitud basado en la consideración de las reglas de visibilidad de términos durante la instrumentación del programa con comprobacines en tiempo de ejecución.

The attribute verification technique comprises a neutron multiplicity assay system integrated with a high resolution gamma ray spectrometry system, within a special environment that must prevent classified information from being transmitted or otherwise conveyed beyond its borders, while preventing any external signals from tampering with the operation of the system.
La técnica de verificación de atributos consta de un sistema de ensayo de multiplicidad de neutrones combinado con un sistema de espectrometría de rayos gamma de alta resolución en un entorno especial que pretende evitar que se transmita la información clasificada o se produzcan cualquier otro tipo de fugas, evitando al mismo tiempo que cualquier señal externa interfiera con el funcionamiento del sistema.

How to use "verification techniques" in an English sentence

Automated verification techniques for probabilistic systems.

Before verification techniques there was testing.

Temporal logic-based verification techniques for components.

Formal verification techniques for multicore software.

Traditional security verification techniques don’t work.

Papalambros, P., "Model Reduction and Verification Techniques ".

Alternately, mutual device verification techniques may be utilized.

Second, we work on the verification techniques themselves.

Requirements relations and architecture verification techniques are used.

Other useful verification techniques involve radioactive DNA hybridization.

How to use "técnicas de verificación" in a Spanish sentence

Técnicas de Verificación y Validación: Revisiones; Inspecciones; Auditorías.

Todas estas técnicas de verificación indican una escritura separada del sustantivo "al final".

Y las técnicas de verificación de la información funcionan parecido.

Que a través de Técnicas de Verificación Mecánica, fuera posible identificar los defectos y sus causas.

Las técnicas de verificación son posibles, cuando las empresas quieren cumplir, lo hacen.

(12 horas) Nivel Bloom: 2 Aplicar técnicas de verificación formal a segmentos de software con baja complejidad.

Técnicas de verificación de procesos de montaje de estructuras, anclajes entre otros.

Vigencia: 19 diciembre 2014 Acreditación extraordinaria de unidades técnicas de verificación ambiental (UTVA) II.

Y las técnicas de verificación del trabajo realizado.

Manejo de las principales técnicas de verificación y test de circuitos integrados.