A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
37
(255)
73
(137)
21
(68)
61
(68)
72
(55)
34
(50)
30
(34)
57
(32)
65
(25)
33
(23)
Show More
Show Less
Author
Montoya O.D.
(40)
Gil-González W.
(20)
Garces A.
(19)
Simari, Guillermo Ricardo
(11)
Grisales-Noreña L.F.
(10)
Álvarez Torres, María Bárbara
(10)
Gil-Gonzalez W.
(9)
Sánchez Palma, Pedro
(9)
Gómez, Pedro
(8)
Iborra García, Andrés José
(8)
Show More
Show Less
Subject
Ciencias Informáticas
(103)
MATLAB
(26)
Ciencias Económicas
(25)
7 INGENIERÍA Y TECNOLOGÍA
(23)
Ciencias Astronómicas
(21)
Educación
(20)
Domínio/Área Científica::Ciências Sociais::Economia e Gestão
(19)
Domínio/Área Científica::Ciências Sociais::Outras Ciências Sociais
(18)
Colombia
(17)
Passivity based control
(16)
Show More
Show Less
Year
2019
(243)
2020
(199)
2018
(175)
2012
(122)
2017
(112)
2016
(102)
2015
(93)
2014
(85)
2013
(67)
2009
(36)
Show More
Show Less
Document Type
Artículo
(405)
Sin Especificar
(193)
Tesis
(136)
Conferencia
(80)
Preprint
(17)
Libro
(15)
Reporte
(9)
Revisión
(4)
Desconocido
(4)
Show More
Show Less
Language
Inglés
(863)
Show More
Show Less
Your search
Query:
PROGRAM
Language:
Inglés
Sort by
Score
Title
Year
-
161-170 from
863
results
(0.014 seconds)
Title:
Kolmogorov complexity for possibly infinite computations
Author:
Figueira, Santiago
/
Becher, Verónica
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Computational logic
/
Connection machines
/
Kolmogorov complexity
/
Program-size complexity
/
Turing machines
/
monotone machines
/
infinite computations
/
non-effective computations
Acceder
Title:
The B method as an environment for the verification of eiffel programs: a case study
Author:
Aguirre, Nazareno Matías
/
Oviedo, Juan
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
ARTIFICIAL INTELLIGENCE
/
Intelligent agents
/
Object orientation
/
Program Verification
/
B Method
Acceder
Title:
Generic data processing: a normalization exercise
Author:
Necco, Claudia Mónica
/
Oliveira, J. Nuno
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Generic programming
/
polytypic programming
/
functional programming
/
program calculation
/
data reification
/
Normal forms
/
ADMINISTRATIVE DATA PROCESSING
Acceder
Title:
Calculation of Invariants Assertions
Author:
Flaviani, Federico
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Cálculos
/
invariant assertions
/
formal program verification
/
GCL
/
induction
Acceder
Title:
Black-Box Testing Technique for Information Visualization. Sequencing Constraints with Low-Level Interactions
Author:
Larrea, Martín Leonardo
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
visualization systems and software
/
Software/Program Verification
Acceder
Descargar
Title:
Conformation-independent QSPR approach for the soil sorption coefficient of heterogeneous compounds
Author:
Aranda, José Francisco
/
Garro Martinez, Juan C.
/
Castro, Eduardo Alberto
/
Duchowicz, Pablo Román
Language:
Inglés
Repository:
37
Subject:
Química
/
Correlation and logic software
/
Estimation program interface suite software
/
Pharmaceutical data exploration laboratory software
/
Quantitative structure-property relationships
/
Replacement method
/
Soil sorption coefficient
Acceder
Title:
Prototype of speech translation system for audio effective communication
Author:
Rojas Bello, Richard
/
Araya Araya, Erick
/
Vidal Vidal, Luis
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Program translation
/
Real time
/
Network Protocols
/
Speech recognition and synthesis
Acceder
Title:
The patient perspective: Quality of life in advanced heart failure with frequent hospitalisations
Language:
Inglés
Repository:
34
Subject:
atrial natriuretic factor alpha
/
dobutamine
/
levosimendan
/
milrinone
/
nesiritide
/
nitroprusside sodium
/
serelaxin
/
urodilatin
/
cardiac resynchronization therapy
/
health care quality
/
health program
/
heart failure
/
hospital readmission
/
human
/
priority journal
/
quality of life
/
quality of life assessment
/
Review
/
survival
/
telemonitoring
/
terminal care
/
training
/
disease course
/
hospitalization
/
mortality
/
psychology
/
survival rate
/
treatment outcome
/
trends
/
Disease Progression
/
Heart Failure
/
Hospitalization
/
Humans
/
Quality of Life
/
Survival Rate
/
Treatment Outcome
/
7 INGENIERÍA Y TECNOLOGÍA
Acceder
Title:
Habitation: a domain-specific language for home automation
Author:
Jiménez Buendía, Manuel
/
Sánchez Palma, Pedro
/
Álvarez Torres, María Bárbara
/
Iborra García, Andrés José
/
Rosique Contreras, María Francisca
Language:
Inglés
Repository:
72
Subject:
Dominio específico de lenguajes
/
Domótica
/
Lenguajes Visuales
/
Modelos basados en ingeniería
/
Gráficos por ordenador
/
Compiladores de programas
/
Domain specific languages
/
Home automation
/
Visual languages
/
Computer graphic
/
Program compilers
/
Model Driven Engineering (MDE)
/
Tecnología Electrónica
Acceder
Title:
A Mobile First Approach for the Development of a Sustainability Game
Author:
Hernández Nieto, Carlos Alberto
/
Sánchez Diaz, Xavier Fernando Cuautemoc
/
Salinas Martínez, Norma Patricia
Language:
Inglés
Repository:
34
Subject:
Augmented reality
/
Mobile devices
/
Program processors
/
Students
/
Sustainable development
/
Web Design
/
Websites
/
World Wide Web
/
Best practices
/
Digital games
/
First principles
/
Mathematics education
/
Me-xico
/
Mobile First
/
Rate of change
/
Technical strategy
/
Education
/
7 INGENIERÍA Y TECNOLOGÍA
Acceder
« Previous
13
14
15
16
17
18
19
20
21
Next »