Phase diagram map of ferroelectric properties unlocked with AI in seconds

Researchers from the Hong Kong University of Science and Technology (HKUST) and Tongji University have developed FerroAI, a ...
GitHub

Language and Compiler Design - NOVA FCT 2025

This repository contains the starter code for Lab 4 of the course Language and Compiler Design. In this lab, you will extend the previous lab sessions' work on the CALCB language to implement ...
IEEE

Functional Stream Semantics for a Synchronous Block-Diagram Compiler

Abstract: Synchronous block-diagram languages have long been formalized as fixpoints of equations defining stream functions. We apply this approach to a compiler verified in an interactive theorem ...
IEEE

A Method for Co-Design of Compiler and Large-Scale HPC System Architecture

Abstract: The field of High-Performance Computing (HPC) is advancing towards large-scale systems, playing a crucial role in scientific research, engineering, and industrial applications by processing ...
C&EN

Machine Learning Study of PFAS Intermediate Adsorption on Transition Metals: Scaling Relationships for Environmental Catalyst Design

School of Chemical Sciences, University of Auckland, Auckland 1010, New Zealand Department of Chemical and Materials Engineering, University of Auckland, Auckland 1142, New Zealand ...