Results 91 to 100 of about 308,840 (315)
IEEE Open Journal of Signal ProcessingWe consider a cell-free massive multiple-input multiple-output (CF-MaMIMO) communication system in the uplink transmission and propose a novel algorithm for blind or semi-blind joint channel estimation and data detection (JCD).
Alexander Karataev +2 more
doaj +1 more source
FEBS Open Bio, EarlyView.RoboMic is an automated confocal microscopy pipeline for high‐throughput functional imaging in living cells. Demonstrated with fluorescence recovery after photobleaching (FRAP), it integrates AI‐driven nuclear segmentation, ROI selection, bleaching, and analysis.
Selçuk Yavuz +6 more
wiley +1 more source
Logic of Events, a framework to reason about distributed systems [PDF]
, 2012 We present a logical framework to reason about distributed systems called the Logic of Events. This logic has been formalized in Nuprl. We developed a suite of tools and tactics in Nuprl to reason about event classes.
Constable, Robert L. +3 more
core
Verification of Liveness Properties in Distributed Systems [PDF]
, 2009 This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of distributed systems related via refinement.
Yadav, Divakar +3 more
core +1 more source
JBotSim: a Tool for Fast Prototyping of Distributed Algorithms in Dynamic Networks
EAI Endorsed Transactions on Mobile Communications and Applications, 2016 JBotSim is a java library that offers basic primitives for prototyping, running, and visualizing distributed algorithms in dynamic networks. With JBotSim, one can implement an idea in minutes and interact with it ({ e.g.}, add, move, or delete nodes ...
Arnaud Casteigts
doaj +1 more source
Distributed Grover's algorithm
Theoretical Computer Science20pages, five figures, comments are ...
Daowen Qiu, Le Luo, Ligang Xiao
openaire +2 more sources
FEBS Open Bio, EarlyView.Unique biological samples, such as site‐specific mutant proteins, are available only in limited quantities. Here, we present a polarization‐resolved transient infrared spectroscopy setup with referencing to improve signal‐to‐noise tailored towards tracing small signals. We provide an overview of characterizing the excitation conditions for polarization‐
Clark Zahn, Karsten Heyne
wiley +1 more source
Design optimisation of steel portal frames using modified distributed genetic algorithms [PDF]
, 2010 Distributed genetic algorithms have been modified in this study to improve their quality, performance, and convergence to the optimum solution for structural steel frames.
Issa, HK, Issa, Honar Khoshavi
core
Configuration of distributed message converter systems [PDF]
, 2004 Finding a configuration of a distributed system satisfying performance goals is a complex search problem that involves many design parameters, like hardware selection, job distribution and process configuration.
Mike Surridge C +20 more
core +1 more source
Single‐molecule DNA flow‐stretch assays for high‐throughput DNA–protein interaction studies
FEBS Open Bio, EarlyView.We describe an optimised single‐molecule DNA flow‐stretch assay that visualises DNA–protein interactions in real time. Linear DNA fragments are tethered to a surface and stretched by buffer flow for fluorescence imaging. Using λ and φX174 DNA, this protocol enhances reproducibility and accessibility, providing a versatile approach for studying diverse ...
Ayush Kumar Ganguli +8 more
wiley +1 more source