Capítulos de libros:
Matemáticas y Computación

Encontrados 384 registros. 1 de 20
Título Autores Libro Año
DetectionEvaluationJ: a tool to evaluate object detection algorithms

Mata Sotés, Eloy JavierPascual Martínez-Losa, María VicoHeras Vicente, JonathanDomínguez Pérez, César; Inés, Adrián; García, Manuel;  Lecture Notes in Computer Science. Proceedings EUROCAST 2017 2018
UML2PROV: Automating Provenance Capture in Software Engineering

Sáenz Adán, CarlosPérez Valle, Beatriz; Moreau, Luc; Huynh, Trung Dong;  44th International Conference on Current Trends in Theory and Practice of Computer Science 2018
Efficient certification of complexity proofs formalizing the Perron-Frobenius theorem (invited talk paper)

Divasón Mallagaray, José; Joosten, S.; Kunčar, O.; Thiemann, R.; Yamada, A.;  CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018 2018
Multi-revolution perturbed Lambert’s problem

Armellin , RobertoSan Juan Díaz, Juan Félix; Gondelach, D.;  Space Flight Mechanics Meeting, 2018 2018
Atmospheric entry guidance based on Differential Algebra for high elevation mars landing

Armellin , Roberto; Lunghi, P.; Lavagna, M.; Di Lizia, P.; Mease, K.D.;  Space Flight Mechanics Meeting, 2018 2018
Primary decompositions: With sections on Macaulay2 and networks

Sáenz de Cabezón Irigaray, Eduardo; Swanson, Irena;  Computations and combinatorics in commutative algebra 2017
A formalization of the Berlekamp-Zassenhaus factorization algorithm

Divasón Mallagaray, José; Joosten S.; Thiemann R.; Yamada A.;  CPP 2017 - Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs 2017
Convergence conditions on the first derivative of the operator

Ezquerro Fernández, José AntonioHernández Verón, Miguel Angel Frontiers in Mathematics 2017
Convergence conditions on the second derivative of the operator

Ezquerro Fernández, José AntonioHernández Verón, Miguel Angel Frontiers in Mathematics 2017
Convergence conditions on the k-th derivative of the operator

Ezquerro Fernández, José AntonioHernández Verón, Miguel Angel Frontiers in Mathematics 2017
The classic theory of Kantorovich

Ezquerro Fernández, José AntonioHernández Verón, Miguel Angel Frontiers in Mathematics 2017
SynapCountJ: A tool for analyzing synaptic densities in neurons

Mata Martínez, GadeaHeras Vicente, JonathanRomero Ibáñez, AnaRubio García, Julio; Morales, M.;  BIOIMAGING 2016 - 3rd International Conference on Bioimaging, Proceedings; Part of 9th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2016 2016
Automatic detection of neurons in high-content microscope images using machine learning approaches

Mata Martínez, GadeaRubio García, Julio; Radojevic, M.; Smal, I.; Morales, M.; Meijering, E.;  Proceedings - International Symposium on Biomedical Imaging 2016
Algunos matemáticos de la Ilustración ligados a la teoría de los determinantes

Español González, Luis Ciencia y técnica entre la paz y la guerra: 1714, 1814, 1914 2016
El doctorado español en ciencias tras la Guerra Civil (1939-1954)

Español González, LuisMartínez García, María Angeles Ciencia y técnica entre la paz y la guerra: 1714, 1814, 1914 2016
Foreword

Romero Ibáñez, AnaHeras Vicente, Jonathan XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016 2016
Verified Computer Linear Algebra

Aransay Azofra, Jesús MaríaDivasón Mallagaray, José XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016 2016
Computing in Lie algebras with small number of ideals

Benito Clavijo, María del Pilar; Pérez-Aradros, Iván;  XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016 2016
Self-overlays and shape of the Julia set of a rational map

Hernández Paricio, Luis JavierRivas Rodríguez, María Teresa XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016 2016
Towards a verifiable Topology of Data

Rubio García, JulioLambán Pardo, Laureano; Ruiz-Reina, José-Luis; Martín-Mateos, Francisco-Jesús;  XV Encuentro de Álgebra computacional y aplicaciones: EACA 2016 2016