Results 271 to 280 of about 1,349,497 (315)
Some of the next articles are maybe not open access.
2004
This paper presents a static analysis that computes quantitative information for recursive heap structures in programs with destructive updates. The algorithm targets tree structures and is able to extract quantitative information about the height and the balancing of such structures. We formulate the algorithm as a dataflow analysis.
openaire +1 more source
This paper presents a static analysis that computes quantitative information for recursive heap structures in programs with destructive updates. The algorithm targets tree structures and is able to extract quantitative information about the height and the balancing of such structures. We formulate the algorithm as a dataflow analysis.
openaire +1 more source
Printability and Shape Fidelity of Bioinks in 3D Bioprinting
Chemical Reviews, 2020Andrea Schwab +2 more
exaly
Nanooncology: The future of cancer diagnosis and therapy
Ca-A Cancer Journal for Clinicians, 2013Sanjiv S Gambhir
exaly
Reprogrammable recovery and actuation behaviour of shape-memory polymers
Nature Reviews Materials, 2019Andreas Lendlein, Oliver E C Gould
exaly