Image de couverture de livre

Functional first order definability of LRTp

Fuente: Redalyc

Enregistré dans:

Détails bibliographiques
Auteur principal:	J. Raymundo Marcial-Romero
Format:	Artículo científico
Langue:	en
Publié:	Asociación Española para la Inteligencia Artificial 2010
Sujets:	Ingeniería PCF guages Exact real number computation Sequential Computation
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The Samaritan Woman, Jesus and God the father! A Close Reading of John 4:21-24 with an Emphasis on the Concept of God
par: Hanne Løland
Publié: (2009)

An outline of the social history of the creole language of Antigua (West Indies)
par: Teresa Galarza Ballester
Publié: (2014)

Handshape recognition for Argentinian Sign Language using ProbSom
par: Franco Ronchetti
Publié: (2016)

T02: Collapse and Rebirth A Three-Symbol Foundation for Arithmetic Languages and Meaning
par: Anton Kleschev Alevtinowitch
Publié: (2025)

On real-time velocity control of DC motors by using computer-aided control system design
par: Marlen Meza Sánchez
Publié: (2011)

Investigation of coherent quantum effects in acetylene-filled microstructured fibers for interferometric applications
par: NAYELI CASILLAS RODRIGUEZ
Publié: (2022)

Comparing operating conditions of a sequencing batch reactor in treating dairy effluent
par: Nancy Angulo
Publié: (2015)

Estudio de la birrefringencia residual y la birrefringencia inducida por torsión de fibras ópticas de cristal fotónico (PCF)
par: MARCO ANTONIO CORTEZ HERRERA
Publié: (2022)

FLOWERING AND POLLINATORS OF THREE DISTYLOUS SPECIES OF Psychotria (Rubiaceae) CO-OCCURRING IN THE BRAZILIAN ATLANTIC FOREST
par: Celice Alexandre Silva
Publié: (2015)

Comparing Implementations of a Calculator for Exact Real Number Computation
par: José Raymundo Marcial-Romero
Publié: (2012)

Study on prevention implementation in tunnels construction: Marão Tunnel’s (Portugal) singularities
par: Manuel L. Tender
Publié: (2017)

Propiedades básicas de los números computables
par: Carlos M. Parra
Publié: (2006)

Prototype Selection Methods
par: José Arturo Olvera López
Publié: (2010)

Geochemical data of rare earth-enriched sediments from the Western, Central North, and Eastern South Pacific
par: Liao, Jianlin, et autres
Publié: (2023)

Use of a single air segment to minimise dispersion and improve mixing in sequential injection: turbidimetric determination of sulphate in waters
par: Morais, I., Renata M., Souto, S., Lopes, T., Rangel, A
Publié: (2003)

Distribución del tiempo ocioso orientado al ahorro de energía en tareas de control de tiempo real
par: Alfonsi Sebastiani Alfonso Salvador
Publié: (2017)

TEDNet: Boundary-Aware Real-Time Semantic Segmentation Code and Reproducibility Package
par: Wei, Jingjie, et autres
Publié: (2026)

Minimal fuzzy microcontroller implementation for didactic applications
par: Fernando Lara Rojo
Publié: (2003)

Real-Time Data Processing in Cloud Computing: Challenges, Opportunities, and Performance Analysis
par: M R Ramesh
Publié: (2025)

DESIGN OPTIMIZATION OF TRIPOD TRUSS: SLP APPROACH
par: Goteti Chaitanya
Publié: (2015)

Assessment of resistance and non-resistance fractions of heavy metals concentration (Fe, Mn, Cr, Ni) in surface sediments from the southern of Caspian Sea of two stations (Tonekabon and Amirabad)
par: Zarshenas, R., et autres
Publié: (2016)

Compatible pairs of Hamiltonian operators of the first and third orders
par: Lorenzoni, Paolo, et autres
Publié: (2026)

Systems and Soft Computing
Publié: (2023)

Accurate Prediction of Lysine Methylation Sites Using Evolutionary and Structural-Based Information
par: Md. Easin Arafat, et autres
Publié: (2024)

Sector-Level Disaggregate Stochastic Trends in Mexicos Real Output
par: Antonio E. Noriega
Publié: (2004)

Systems of several first-order quadratic recursions whose evolution is easily ascertainable
par: Calogero, Francesco
Publié: (2024)

Partitioning variation of heavy metals in contaminated river sediment via bioleaching: effect of sulfur added to total solids ratio
par: Tsai, L., Yu, K., Chen, S., Kung, P., Chang, C., Lin, C
Publié: (2003)

Effect of temperature on removal of heavy metals from contaminated river sediments via bioleaching
par: Tsai, L., Yu, L., Chen, S., Kung, P
Publié: (2003)

Interesting system of $3$ first-order recursions
par: Calogero, Francesco
Publié: (2024)

GASIFICACIÓN DE CARBÓN PARA GENERACIÓN DE ENERGÍA ELÉCTRICA: ANÁLISIS CON VALORACIÓN DE OPCIONES REALES
par: Alejandro Concha A.
Publié: (2009)

APLICACIÓN PARA EL RECONOCIMIENTO ANTE Y POS MORTEM DE SOLDADOS EN SERVICIO
par: Mauro Callejas Cuervo
Publié: (2009)

PERT as a Management Tool for Educators.
par: Ripley, Kathryn Jane
Publié: (1968)

Internationalization process through an opportunity lens
par: Sérgio Rezende
Publié: (2018)

Degree growth of lattice equations defined on a 3x3 stencil
par: Hietarinta, Jarmo
Publié: (2023)

METODOLOGÍA CRISP PARA LA IMPLEMENTACIÓN DATA WAREHOUSE
par: OCTAVIO J. SALCEDO PARRA
Publié: (2010)

Photocatalytic treatment based on TiO2 for a coal mining drainage
par: Julie Joseane Murcia-Mesa
Publié: (2023)

Real-time process manager and its application in robotics
par: Urania Ceseña
Publié: (2003)

A Multi-Agent System Framework for Miniaturized Satellite
par: Carmen Chan-Zheng
Publié: (2019)

Valoración de una empresa de agua potable mediante opciones reales
par: Mauricio I. Gutiérrez Urzúa
Publié: (2016)

3D modelling of grain size distribution in Quaternary deltaic deposits (Llobregat Delta, NE Spain)
par: P. Cabello
Publié: (2007)