Introduction Cardiovascular disease (CVD) is a leading cause of morbidity and mortality worldwide (WHO, 2021a). Several CVD risk factors are controllable, including weight, diet, physical activity, smoking, and alcohol consumption (WHO, 2021a). CVD is caused by an accumulation of risk factors (Hajar, 2017). The more ri...
Bridie J. Kemp· Research Portal (Queen's Uni...· 0 citations
The powerful computing capabilities of quantum computers and certain quantum computing-based algorithms pose significant threats to current cryptographic algorithms. Public key algorithms, such as RSA and ECC, will no longer be secure in the era of quantum computers. PQC and quantum encryption are two encryption techno...
Ziying Ni· Research Portal (Queen's Uni...· 0 citations
Background: Empathy is considered a significant factor in facilitating client improvements and has been found to be closely related to therapeutic alliance. There is currently a lack of research examining the behavioural markers of empathy. Active listening has been identified as an important factor in demonstrating em...
Katie McDade· Research Portal (Queen's Uni...· 0 citations
Amphibians have evolved various skin secretions to fight against pathogens and their predators. These secretions also have medicinal functions, which some ancient people utilised to cure diseases. With more pathogens developing resistance to clinical antibiotics nowadays, there is an urgent need for new antibiotic reso...
Yuzhen Ding· Research Portal (Queen's Uni...· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Software systems evolve continuously through frequent code changes, yet such changes often introduce unintended bugs despite extensive testing and code review. Existing testing approaches are largely constrained to predefined execution paths or rely on unguided exploration, leaving many change-induced issues undetected...
Yanqi Su, Michael Pradel, Chunyang Chen· Proceedings of the ACM on so...· 0 citations
Machine learning (ML) compilers play a key role in enabling high-performance implementations of ML workloads. These compilers use existing CPU and GPU backends to generate device-specific code. In recent years, many tensor accelerators (or AI accelerators) have been designed to further accelerate these workloads, with...
Devansh Jain, Akash Pardeshi, Marco Frigo et al.· Proceedings of the ACM on Pr...· 0 citations
Introduction Colourectal cancer (CRC) is a common heterogeneous malignancy with a number of different disease subtypes influenced by distinct biology. The clinical implications of this disease heterogeneity are likely to influence treatment strategies further in the future. Therefore, patient stratification is paramoun...
Owen Hoare· Research Portal (Queen's Uni...· 0 citations
The geometrical design of the airbox for an internal combustion engine has a significant effect on the pressure loss in the entire inlet tract. Due to the location of the airbox, its size and shape is usually limited as a result of the proximity to other under-bonnet features. The shape is also limited by manufacturing...
Ciaran Branney· Research Portal (Queen's Uni...· 0 citations
Food fraud is an economically motivated concept that has occurred within the food supply system since trading began. It has been defined as the deliberate and intentional substitution, addition, tampering or misrepresentation of food, food ingredients and food packaging for an economic gain. It is in many cases close t...
Connor Black· Research Portal (Queen's Uni...· 0 citations
This software release provides the executable and reproducibility infrastructure for the preregistered B1 Gray–Scott driven-pattern baseline within the Theory of Everything Research Programme. The package implements the frozen version 1.1.0 confirmatory protocol associated with OSF preregistration DOI 10.17605/OSF.IO/G...
Kenneth Craggs· Zenodo (CERN European Organi...· 1 citation
Property-based testing of C programs can be automated by synthesizing random input generators from separation-logic specifications. Existing work in this space, such as the Bennet testing tool, uses randomized backtracking search, generating random values and checking them against constraints, backtracking on failure....
Zain K. Aamer, Benjamin C. Pierce· Proceedings of the ACM on Pr...· 1 citation
Test cases are valuable assets for maintaining software quality. State-of-the-art automated test generation techniques typically focus on maximizing program branch coverage or translating focal methods into test code. However, in contrast to branch coverage or code-to-test translation, practical tests are written out o...
Ben Qi, Yunfeng Lin, Xinyi Weng et al.· Proceedings of the ACM on so...· 3 citations
“X-Hinges” helps design and 3D print items like lamps and gloves with an interactive twist: automatically embedded sensors that perceive and adaptively respond to human contact.
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduOct 6, 2026
Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.
MIT News · Artificial Intelligence· news.mit.eduOct 2, 2026
Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.