Results 111 to 120 of about 4,798 (280)
Efficient Proximity Computation Techniques Using ZIP Code Data for Smart Cities †
Sensors, 2018 In this paper, we are interested in computing ZIP code proximity from two perspectives, proximity between two ZIP codes (Ad-Hoc) and neighborhood proximity (Top-K).
Muhammad Harist Murdani +3 more
doaj +1 more source
Structural insights and therapeutic targets in Acinetobacter baumannii capsule biosynthesis
FEBS Letters, EarlyView.Hypervirulent KL49 A. baumannii's capsular polysaccharide contains the nonulosonic acid 8‐epi‐Leg5,7Ac2, synthesized by epimerization via ElaA, ElaB, and ElaC. Crystal structures of ElaA, ElaB, and ElaC reveal their role in CMP‐Leg5,7Ac2 synthesis and regioselective C8 epimerization.
Woo Cheol Lee +7 more
wiley +1 more source
Secure Collaborative Publicly Verifiable Computation
IEEE Access, 2017 Publicly Verifiable Computation (PVC) enables computationally weak trusted sources to outsource several computations to some more powerful public untrusted clouds.
Qiang Wang +4 more
doaj +1 more source
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
Establishing Verifiable Trust in Collaborative Health Research [PDF]
, 2018 Collaborative health research environments usually involve sharing private health data between a number of participants, including researchers at different institutions.
Sutton, Andrew
core
The Verifying Compiler: A Grand Challenge for Computing Research [PDF]
Journal of the ACM, 2003 This contribution proposes a set of criteria that distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the interest of scientists and engineers. As an example drawn from Computer Science, it revives an old challenge: the construction and application of a verifying ...
openaire +7 more sources
Design and analysis strategies for robust microbiome ageing research
FEBS Letters, EarlyView.The gut microbiome changes with age and associates with age‐related morbidity and mortality, establishing it as a potential biomarker and intervention target for ageing. Realising this potential requires methodological rigour, yet distinguishing biological signals from methodological artefacts remains challenging across cohorts. This review provides an
Mark Olenik +5 more
wiley +1 more source
Functional Encryption (FE) allows users to extract specific function-related information from encrypted data while preserving the privacy of the underlying plaintext.
Michalas, Antonis, +7 more
core +1 more source
A Practical, Secure, and Verifiable Cloud Computing for Mobile Systems
, 2014 Cloud computing systems, in which clients rent and share computing resources of third party platforms, have gained widespread use in recent years. Furthermore, cloud computing for mobile systems (i.e., systems in which the clients are mobile devices ...
Premnath, Sriram N., Haas, Zygmunt J.
core +1 more source
Discover ComputingFederated Learning (FL) has emerged as a core privacy-preserving paradigm to address data silos in privacy-sensitive domains. However, its practical deployment in heterogeneous cluster computing environments remains constrained by inherent challenges ...
Liping He
doaj +1 more source