Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data von Aminifar, Amin, Shokri, Matin, Rabbi, Fazle, Pun, Violet Ka I., Lamo, Yngve

Volltext

A GraphQL approach to Healthcare Information Exchange with HL7 FHIR von Mukhiya, Suresh Kumar, Rabbi, Fazle, I Pun, Violet Ka, Rutle, Adrian, Lamo, Yngve

Volltext

Validation and Application of Altimetry-Derived Upper Ocean Thermal Structure in the Western North Pacific Ocean for Typhoon-Intensity Forecast von Pun, I.-F., Lin, I.-I., Chau-Ron Wu, Dong-Shan Ko, Liu, W.T.

Volltext

Theoretical Aspects of Computing - ICTAC 2020: 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings von Pun, Violet Ka I, Stolz, Volker, Simao, Adenilso

Volltext

Adaptive Elements in Internet-Delivered Psychological Treatment Systems: Systematic Review von Mukhiya, Suresh Kumar, Wake, Jo Dugstad, Inal, Yavuz, Pun, Ka I, Lamo, Yngve

Volltext

The interaction of Supertyphoon Maemi (2003) with a warm ocean eddy von LIN, I-I, WU, Chun-Chieh, EMANUEL, Kerry A, LEE, I-Huan, WU, Chau-Ron, PUN, Iam-Fei

Volltext

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach von de Boer, Frank S., Giachino, Elena, de Gouw, Stijn, Hähnle, Reiner, Johnsen, Einar Broch, Laneve, Cosimo, Pun, Ka I, Zavattaro, Gianluigi

Volltext

DEPDC1B Promotes Melanoma Angiogenesis and Metastasis through Sequestration of Ubiquitin Ligase CDC16 to Stabilize Secreted SCUBE3 von Hu, Feng, Fong, Ki On, Cheung, May Pui Lai, Liu, Jessica Aijia, Liang, Rui, Li, Tsz Wai, Sharma, Rakesh, IP, Philip Pun‐Ching, Yang, Xintao, Cheung, Martin

Volltext

A Notion of Equivalence for Refactorings with Abstract Execution von Abusdal, Ole Jørgen, Kamburjan, Eduard, Ka I. Pun, Violet, Stolz, Volker

Volltext

Implementing SOS with Active Objects: A Case Study of a Multicore Memory System von Bezirgiannis, Nikolaos, de Boer, Frank, Johnsen, Einar Broch, Pun, Ka I, Tapia Tarifa, Silvia Lizeth

Volltext

Deep mutational scans for ACE2 binding, RBD expression, and antibody escape in the SARS-CoV-2 Omicron BA.1 and BA.2 receptor-binding domains von Starr, Tyler N, Greaney, Allison J, Stewart, Cameron M, Walls, Alexandra C, Hannon, William W, Veesler, David, Bloom, Jesse D

Volltext

SymPaths: Symbolic Execution Meets Partial Order Reduction von de Boer, Frank S., Bonsangue, Marcello, Johnsen, Einar Broch, Pun, Violet Ka I, Tapia Tarifa, S. Lizeth, Tveito, Lars

Volltext

Modeling Deployment Decisions for Elastic Services with ABS von Johnsen, Einar Broch, Pun, Ka I, Tapia Tarifa, S. Lizeth

Volltext

A formal model of data access for multicore architectures with multilevel caches von Bijo, Shiji, Johnsen, Einar Broch, Pun, Ka I, Tapia Tarifa, S. Lizeth

Volltext

Enforced Dependencies for Active Objects von Pun, Violet Ka I, Stolz, Volker

Volltext

From SOS to Asynchronously Communicating Actors von de Boer, Frank, Johnsen, Einar Broch, Pun, Ka I, Tapia Tarifa, Silvia Lizeth

Volltext

Time analysis of actor programs von Laneve, Cosimo, Lienhardt, Michael, Pun, Ka I, Román-Díez, Guillermo

Volltext

Upper-Ocean Thermal Structure and the Western North Pacific Category 5 Typhoons. Part I. Ocean Features and the Category 5 Typhoons' Intensification von LIN, I.-I, WU, Chun-Chieh, PUN, Iam-Fei, KO, Dong-Shan

Volltext

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages von Din, Crystal Chang, Hähnle, Reiner, Henrio, Ludovic, Johnsen, Einar Broch, Pun, Violet Ka I, Tarifa, S. Lizeth Tapia

Volltext

Effect-polymorphic behaviour inference for deadlock checking von Pun, Ka I, Steffen, Martin, Stolz, Volker

Volltext