Showing 1–11 of 11 results
/ Date/ Name
Jun 29, 2011A Dynamic Algebraic Specification for Social NetworksMay 23, 2012OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral SpecificationsNov 25, 2024IXPE Observation of the Low-Synchrotron Peaked Blazar S4 0954+65 During An Optical-X-ray FlareDec 17, 2024Searching for a signature of turnaround in galaxy clusters with convolutional neural networksFeb 8, 2011Redesigning the Open Mobile Alliance License Choice AlgorithmAug 6, 2011Applying Algebraic Specifications on Digital Right Management SystemsDec 29, 2020NANOGrav signal as mergers of Stupendously Large Primordial Black HolesJul 29, 2011An Algebraic Specification of the Semantic WebJan 28, 2022Constraining changes in the merger history of (P)BH binaries with the stochastic gravitational wave backgroundJul 2, 2019Enhanced cosmological perturbations and the merger rate of PBH binariesJul 14, 2020LIGO/Virgo black holes and dark matter: The effect of spatial clustering