Retraction notice to “A new perspective on structural, materials, and simulation of flow and cavitation around the propeller with energy saving system” [J. Cryst. Growth 455 (2016)... von Fathololumi, S., Hassanabad, M. Ghodsi

Volltext

A new perspective on structural, materials, and simulation of flow and cavitation around the propeller with energy saving system von Fathololumi, S, Hassanabad, M Ghodsi

Volltext

RETRACTED: A new perspective on structural, materials, and simulation of flow and cavitation around the propeller with energy saving system von Fathololumi, S., Hassanabad, M. Ghodsi

Volltext

Veracity: declarative multicore programming with commutativity von Chen, Adam, Fathololumi, Parisa, Koskinen, Eric, Pincus, Jared

Volltext

DynamiTe: dynamic termination and non-termination proofs von Le, Ton Chanh, Antonopoulos, Timos, Fathololumi, Parisa, Koskinen, Eric, Nguyen, ThanhVu

Volltext

Better Predicates and Heuristics for Improved Commutativity Synthesis von Chen, Adam, Fathololumi, Parisa, Nicola, Mihai, Pincus, Jared, Brennan, Tegan, Koskinen, Eric

Volltext

A Rapidly Enlarging Neck Mass: The Role of the Sitting Position in Fiberoptic Bronchoscopy for Difficult Intubation von Dabbagh, Ali, Mobasseri, Naseraddin, Elyasi, Hedayatollah, Gharaei, Babak, Fathololumi, Mohammadreza, Ghasemi, Mahshid, Chamkhale, Iman Bandarchi

Volltext

Veracity: Declarative Multicore Programming with Commutativity von Chen, Adam, Fathololumi, Parisa, Koskinen, Eric, Pincus, Jared

Volltext bestellen

DynamiTe: Dynamic Termination and Non-termination Proofs von Le, Ton Chanh, Antonopoulos, Timos, Fathololumi, Parisa, Koskinen, Eric, Nguyen, ThanhVu

Volltext bestellen

Veracity: Declarative Multicore Programming with Commutativity von Chen, Adam, Fathololumi, Parisa, Koskinen, Eric, Pincus, Jared

Volltext

DynamiTe: Dynamic Termination and Non-termination Proofs von Le, Ton Chanh, Antonopoulos, Timos, Fathololumi, Parisa, Koskinen, Eric, Nguyen, ThanhVu

Volltext