Buscar
Mostrando ítems 31-40 de 154
Reasoning about functional programs by combining interactive and automatic proofs
(UR.FI., 2015)
We propose a new approach to computer-assisted verification of lazy
functional programs where functions can be defined by general
recursion. We work in first-order theories of functional programs
which are obtained by ...
Computational Biology Tools For Identifying Specific Ligand Binding Residues For Novel Agrochemical And Drug Design
(BENTHAM SCIENCE PUBL LTDSHARJAH, 2015)
A Roadmap to Robot Motion Planning Software Development
(Universitat Politècnica de CatalunyaBarcelona - España, 2009)
PhD programs and graduate studies in robotics usually include motion planning among its main subjects. Students that focus their research in this subject find themselves trapped in the necessity of programming an environment ...
Evaluation of a coupling interface for solving fluid-structure interaction problems
(Gauthier-Villars/Editions Elsevier, 2016-07)
This research work evaluates the performance of a Fluid-Structure Interaction (FSI) solver, which is created using a generic interface to couple two independent software packages. The basic idea is to combine the advantages ...
Towards Real-Time Semantics for a Distributed Event-Based MOP Language
(Springer NatureSwitzerland., 2018)
This paper investigates rewriting logic as a suitable means to model the semantics of distributed and concurrent systems implemented using Monitoring Oriented Programming (MOP) frameworks. MOP tools close the gap between ...
Método de cinemática inversa en tiempo real basado en FABRIK para estructuras altamente restrictas
(Universidad Nacional de ColombiaBogotá - Ingeniería - Maestría en Ingeniería - Ingeniería de Sistemas y ComputaciónDepartamento de Ingeniería de Sistemas e IndustrialFacultad de IngenieríaBogotá, ColombiaUniversidad Nacional de Colombia - Sede Bogotá, 2021)
Este trabajo introduce un método de cinemática inversa en tiempo real para estructuras altamente restrictas mediante el uso de pasos heurísticos, definidos en el espacio de las orientaciones, que pueden acoplarse para ...
Achievement of generic and profesional competencies through virtual environments
(Corporación Universidad de la Costa, 2021)