10.9k citations
- Centre National de la Recherche ScientifiqueFR2.2k papers
- European Organization for Nuclear ResearchCH2k papers
- National Institute for Subatomic PhysicsNL1.9k papers
- University of LiverpoolGB1.9k papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR1.9k papers
- University of OxfordGB1.9k papers
- Rutherford Appleton LaboratoryGB1.9k papers
- University of GlasgowGB1.9k papers
- Aix-Marseille UniversitéFR1.9k papers
- Heidelberg UniversityDE1.8k papers
- University of CambridgeGB1.8k papers
- University of ManchesterGB1.8k papers
5,367 papers
Open Clusters as Laboratories for Cool Star Evolution: Highlights from the Cool Stars 23 Splinter Session
Deepak Chahal, Beatrice Caccherano, Edward Gillen +16
Open clusters remain among the most powerful laboratories for calibrating how fundamental stellar properties such as rotation, magnetic activity, surface chemistry, and internal st…
Potential sublimating exocomets around the young star PDS 70
Aline Novais, H. Jens Hoeijmakers, Alexandra Stockwell Murphy +4
Recent observations by the James Webb Space Telescope (JWST) have indicated the presence of water in the inner regions of the disc around the young protostar PDS 70, but the origin…
Dynamic Logic with Parallel Operator for Verifying Communication Protocols
Luiz C. F. Fernandez, Mario R. F. Benevides
In this paper, we present a dynamic logic with parallel operators for the formal verification of authenticity and safety properties of cryptographic protocols. The logic incorporat…
Pre-main Sequence B Stars Surrounding the Orion Nebula
P. H. F. B. Braz, A. Roman-Lopes, W. J. B. Corradi +6
Pre-main sequence (PMS) early-type stars are rare due to their rapid evolution. Confirming PMS B stars is accordingly valuable for constraining higher mass star formation scenarios…
Automated Detection of Configuration-Specific Security Vulnerabilities via Patch Analysis
Felipe de Sant'Anna Paixão, Joanna C. S. Santos, Paulo Anselmo da Mota Silveira Neto +3
We study how security patches in highly configurable C/C++ systems map onto the space of compile-time variants. We formalize the Vulnerability Impact Condition (VIC) - a Boolean pr…
Learning Filters with Certainty
Yuval Banoun, Daniel Sadoc Menasche, Ori Rottenstreich
Hash-based data structures such as Bloom filters are widely used in network systems for tasks including caching, anomaly detection, and machine learning pipelines. They typically p…