18 citations
- IMDEA MaterialsES8 papers
- Universidad Politécnica de MadridES7 papers
- Madrid Institute for Advanced StudiesES3 papers
- IMDEA Software InstituteES2 papers
- Universidad Autónoma de MadridES2 papers
- Argonne National LaboratoryUS1 paper
- Bavarian Center for Applied Energy ResearchDE1 paper
- Central South UniversityCN1 paper
- Czech Academy of Sciences, Institute of Computer ScienceCZ1 paper
- Délégation Paris 7FR1 paper
- Karlsruhe Institute of TechnologyDE1 paper
- Los Alamos National LaboratoryUS1 paper
18 papers
AI4Food-NutritionFW: A Novel Framework for the Automatic Synthesis and Analysis of Eating Behaviours
Sergio Romero-Tapiador, Ruben Tolosana, Aythami Morales +7
Nowadays millions of images are shared on social media and web platforms. In particular, many of them are food images taken from a smartphone over time, providing information relat…
Leveraging Automatic Personalised Nutrition: Food Image Recognition Benchmark and Dataset based on Nutrition Taxonomy
Sergio Romero-Tapiador, Ruben Tolosana, Aythami Morales +7
Maintaining a healthy lifestyle has become increasingly challenging in today's sedentary society marked by poor eating habits. To address this issue, both national and internationa…
On the effect of slip transfer at grain boundaries on the strength of FCC polycrystals
E. Nieto-Valeiras, S. Haouala, J. LLorca
The effect of slip transfer on the flow strength of various FCC polycrystals was analyzed by means of computational homogenization of a representative volume element of the microst…
Transformation-Enabled Precondition Inference
Bishoksan Kafle, Graeme Gange, Peter J. Stuckey +2
Precondition inference is a non-trivial problem with important applications in program analysis and verification. We present a novel iterative method for automatically deriving pre…
First principles prediction of the Al-Li phase diagram
S. Liu, G. Esteban-Manzanares, J. LLorca
The phase diagram of the Al-Li system was determined by means of first principles calculations in combination with the cluster expansion formalism and statistical mechanics. The gr…
VeriFly: On-the-fly Assertion Checking via Incrementality
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco +3
Assertion checking is an invaluable programmer's tool for finding many classes of errors or verifying their absence in dynamic languages such as Prolog. For Prolog programmers this…