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
7 papers · 1 filter
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…
Tryptophan-containing proteins as label-free nanothermometers
Graham Spicer, Clara Maria Garcia-Abad, Alejo Efeyan +1
There remains a need for techniques to monitor thermal processes at high spatiotemporal resolution, with myriad potential applications in chemistry, biology, and engineering. Measu…
Approximate Privacy-Preserving Neighbourhood Estimations
Alvaro Garcia-Recuero
Anonymous social networks present a number of new and challenging problems for existing Social Network Analysis techniques. Traditionally, existing methods for analysing graph stru…