OPAC

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

Your search

Subject: Software Program Verification Year: 2015 Language: Inglés

Sort by Score Title Year -

1-7 from 7 results (0.013 seconds)

Title: Overlap and diversity in antimicrobial peptide databases: Compiling a non-redundant set of sequences
Author: Aguilera-Mendoza, L. / Marrero-Ponce, Y. / Tellez-Ibarra, R. / Llorente-Quesada, M.T. / Salgado, J. / Barigye, S.J. / Liu, J.
Language: Inglés
Repository: 61
Subject: Antimicrobial cationic peptide / Algorithm / Chemistry / Human / Nucleic acid database / Procedures / Protein database / Sequence analysis / Software / Algorithms / Antimicrobial cationic peptides / Databases, Nucleic Acid / Databases, Protein / Humans / Sequence Analysis, Protein
Title: Multi-server approach for high-throughput molecular descriptors calculation based on multi-linear algebraic maps
Author: García-Jacas C.R. / Aguilera-Mendoza L. / González-Pérez R. / Marrero-Ponce Y. / Acevedo-Martínez L. / Barigye S.J. / Avdeenko T.
Language: Inglés
Repository: 61
Subject: 3D N-linear algebraic descriptors / Distributed computing system / Multi-server architecture / Platform of distributed tasks / QuBiLS-MIDAS / T-arenal / TOMOCOMD-CARDD / Algorithm / Article / Calculation / Chemical structure / Communication protocol / Mathematics / Performance / Priority journal / Quantitative structure activity relation / Software / Theoretical model / Models, Theoretical
Title: IMMAN: free software for information theory-based chemometric analysis
Author: Urias R.W.P. / Barigye S.J. / Marrero-Ponce Y. / García-Jacas C.R. / Valdes-Martiní J.R. / Perez-Gimenez F.
Language: Inglés
Repository: 61
Subject: Chemometric analysis / Classification / Computational program / Feature selection / IMMAN / Information-theoretic function / Algorithm / Software / Theoretical model / Algorithms / Models, Theoretical
Title: Integrating Empirical Software Engineering practice in South America
Author: Robiolo, Gabriela
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software / empirical software engineering (ESE)

Acceder
Title: Slotpiral revolution wireless : controlador electrónico inalámbrico para slot digital : diseño hardware y software del producto / Wireless electronic controller for digital slot car applications : hardware and software design of the product
Author: Ros Navarro, Santiago
Language: Inglés
Repository: 72
Subject: Software / Hardware / Controller / Controlador electrónico / Digital slot car / Vehículo automotor / Wireless / Sin cables / Tecnología Electrónica

Acceder
Title: Verification and validation of domain specific languages using Alloy
Author: Garis, Ana Gabriela / Sanchez, Alejandro
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / domain specific language (DSL) / Verification / Validation

Acceder
Title: Detection of Anti-Patterns in the Control Flow of Collaborative Business Processes
Author: Roa, Jorge / Chiotti, Omar Juan Alfredo / Villarreal, Pablo David
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / soundness / correctness properties / Verification

AccederDescargar

« Previous 1 Next »