Synthetic aperture radar (SAR) ship recognition faces great challenges in few-shot scenarios, including insufficient global context modeling, underutilization of physical scattering topological characteristics, and poor generalization capability under limited labeled samples. To address these bottlenecks, this paper pr...
Data, trained models and code behind STEPHY: A Graph Neural Inference Framework for Rapid Estimation of Regional Epidemic Dynamics from Large Viral Phylogenies (https://doi.org/10.21203/rs.3.rs-10631496/v2). This deposit holds what the paper's results are made of: the simulation benchmark, the trained models, the Danis...
Leke Lyu· Zenodo (CERN European Organi...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Abstract Digital logic circuits are becoming increasingly complex, making efficient circuit optimization an important part of Electronic Design Automation (EDA). Traditional circuit optimization methods may require extensive computation and predefined rules when dealing with complex circuit structures. This study aims...
ROBERT STEVEIN RECTO· Zenodo (CERN European Organi...· 0 citations
Biogeochemical forecasting requires state estimation methods that accommodate sparse observations, nonlinear dynamics, and discontinuous ecological processes. Four-dimensional variational data assimilation (4D-Var) addresses this challenge but depends on tangent-linear and adjoint models that are costly to derive and m...
This dataset provides synchronized, high-resolution multi-physics measurements collected by IMOS-EPFL in collaboration with Aalborg University using the controlled district heating testbed at the Smart Water Infrastructures Laboratory (SWIL), Aalborg University, Denmark. The data were collected as part of the Intellige...
Keivan Faghih Niresi, Christian Møller Jensen, Carsten Skovmose Kallesøe et al.· Zenodo (CERN European Organi...· 0 citations
Abstract The increasing complexity of digital logic circuits creates a need for effective methods of circuit analysis and optimization. Conventional Electronic Design Automation (EDA) techniques commonly depend on established algorithms and predefined rules, which can become difficult to apply to more complicated circu...
Starleo Madula· Zenodo (CERN European Organi...· 0 citations
Abstract Digital logic systems become increasingly difficult to examine and improve as their structures grow in size and complexity. Traditional Electronic Design Automation (EDA) methods generally depend on established algorithms and rule-based procedures, which may become less convenient when many gates and signal co...
Ramer Agbuya· Zenodo (CERN European Organi...· 0 citations
KG-TransomicNet Version 1.1.2 · Software · Open · MIT De Filippis, Giovanni Maria · Rinaldi, Antonio Maria A semantic–quantitative property-graph framework that couples the PheKnowLator biomedical knowledge graph with per-sample multi-omics measurements in ArangoDB, enabling trans-omic analysis and knowledge-based reas...
Giovanni Maria De Filippis, Antonio M. Rinaldi· Zenodo (CERN European Organi...· 0 citations
Accurate identification of vehicle-group-level traffic risk is important for intelligent transportation safety management. Existing risk-prediction studies have mainly focused on individual vehicles, pairwise interactions, or aggregated surrogate safety indicators, while the role of group-level structure-behavior coupl...
Jing Gan, Yao Wu, Da-Peng Zhang et al.· Accident Analysis and Preven...· 0 citations
Machine-learning networks can learn without detailed instructions from a designer. Those that do may offer insight into how the brain reorganizes itself during learning.
MIT News · Artificial Intelligence· news.mit.eduJul 15, 2026
Assistant Professor Pat Pataranutaporn describes a new interface that lets everyday users glimpse inside an AI's neural network before their chatbot ever says a word.
Microsoft Research Blog· microsoft.comJul 13, 2026
Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves. The post Verifying Rust cryptography in SymCrypt, from standards to code appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduJul 6, 2026
PhD student Rachel Sava, winner of the Envisioning the Future of Computing Prize, explores transformative improvements and dystopian risks of neural technology.