Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Jose Divasón

5PUBLICATIONS

12CO-AUTHORS

Geomechanics and resources geotechnical engineeringMedical parasitologyMathematical logic, set theory, lattices and universal algebra

Featured researcher

Get your video featured.

Publish with JoVE

Featured researcher

Get your video featured.

Publish with JoVE

Publications (5)

Sort by Publication Date:

|Jan 11, 2025

Intelligent Sensor Software for Robust and Energy-Sustainable Decision-Making in Welding of Steel Reinforcement for Concrete.

Javier Ferreiro-Cabello, Francisco Javier Martinez-de-Pison, Esteban Fraile-Garcia

|Jun 27, 2024

Analysis of Varroa Mite Colony Infestation Level Using New Open Software Based on Deep Learning Techniques.

Jose Divasón, Ana Romero, Francisco Javier Martinez-de-Pison

|Nov 10, 2022

A Formalization of the Smith Normal Form in Higher-Order Logic.

Jose Divasón, René Thiemann

|Aug 25, 2020

Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL.

René Thiemann, Ralph Bottesch, Jose Divasón

|Apr 10, 2020

A Verified Implementation of the Berlekamp-Zassenhaus Factorization Algorithm.

Jose Divasón, Sebastiaan J C Joosten, René Thiemann

Pageof 1

Frequent Collaborators

3 joint publications

René Thiemann

2 joint publications

Sebastiaan J C Joosten

2 joint publications

Akihisa Yamada

2 joint publications

Francisco Javier Martinez-de-Pison

1 joint publications

Max W Haslbeck

1 joint publications

Ana Romero

1 joint publications

Miguel A Silvestre

1 joint publications

Pilar Santolaria

1 joint publications

Jesús L Yániz

1 joint publications

Javier Ferreiro-Cabello

Frequent Collaborators

3 joint publications

René Thiemann

2 joint publications

Sebastiaan J C Joosten

2 joint publications

Akihisa Yamada

2 joint publications

Francisco Javier Martinez-de-Pison

Top Related Videos

Surrogate Model Development for Digital Experiments in Welding

Surrogate Model Development for Digital Experiments in Welding

Published on : Mar 28, 2025

SwarmSight: Real-time Tracking of Insect Antenna Movements and Proboscis Extension Reflex Using a Common Preparation and Conventional Hardware

SwarmSight: Real-time Tracking of Insect Antenna Movements and Proboscis Extension Reflex Using a Common Preparation and Conventional Hardware

Published on : Dec 25, 2017

Executing Complexity-Increasing Queries in Relational (MySQL) and NoSQL (MongoDB and EXist) Size-Growing ISO/EN 13606 Standardized EHR Databases

Executing Complexity-Increasing Queries in Relational (MySQL) and NoSQL (MongoDB and EXist) Size-Growing ISO/EN 13606 Standardized EHR Databases

Published on : Mar 19, 2018

See more related videos

Top Related Videos

Surrogate Model Development for Digital Experiments in Welding

Surrogate Model Development for Digital Experiments in Welding

Published on : Mar 28, 2025

SwarmSight: Real-time Tracking of Insect Antenna Movements and Proboscis Extension Reflex Using a Common Preparation and Conventional Hardware

SwarmSight: Real-time Tracking of Insect Antenna Movements and Proboscis Extension Reflex Using a Common Preparation and Conventional Hardware

Published on : Dec 25, 2017

Executing Complexity-Increasing Queries in Relational (MySQL) and NoSQL (MongoDB and EXist) Size-Growing ISO/EN 13606 Standardized EHR Databases

Executing Complexity-Increasing Queries in Relational (MySQL) and NoSQL (MongoDB and EXist) Size-Growing ISO/EN 13606 Standardized EHR Databases

Published on : Mar 19, 2018

See more related videos