Results 51 to 60 of about 11,440 (300)
FEBS Open Bio, EarlyView.This protocol paper outlines methods to establish the success of a time‐resolved serial crystallographic experiment, by means of statistical analysis of timepoint data in reciprocal space and models in real space. We show how to amplify the signal from excited states to visualise structural changes in successful experiments.
Jake Hill +4 more
wiley +1 more source
Extended resolution simulates binary decision diagrams
, 2007 We prove that binary decision diagrams [R. Bryant, Symbolic Boolean manipulation with ordered binary decision diagrams, ACM Comput. Surveys 23 (3) (1992)] can be polynomially simulated by the extended resolution rule of [G.S.
Nicolas Peltier, Peltier, Nicolas
core +1 more source
Symbolic vs. Bounded Synthesis for Petri Games [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Petri games are a multiplayer game model for the automatic synthesis of distributed systems. We compare two fundamentally different approaches for solving Petri games. The symbolic approach decides the existence of a winning strategy via a reduction to a
Bernd Finkbeiner +3 more
doaj +1 more source
Storing Set Families More Compactly with Top ZDDs
Algorithms, 2021 Zero-suppressed Binary Decision Diagrams (ZDDs) are data structures for representing set families in a compressed form. With ZDDs, many valuable operations on set families can be done in time polynomial in ZDD size.
Kotaro Matsuda +2 more
doaj +1 more source
MagmaFlow: A desktop platform for artificial intelligence‐driven expression analysis
FEBS Open Bio, EarlyView.MagmaFlow is a free, no‐code platform for gene expression analysis. It generates interactive volcano plots, links genes to literature, pathways, and diseases, prioritizes candidates using millions of publications, identifies affected biological processes, builds network diagrams, and exports publication‐ready figures and reports for macOS and Windows ...
Carlos E. Buss +7 more
wiley +1 more source
Impact of Asymptomatic Intracranial Hemorrhage on Outcome After Endovascular Stroke Treatment
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Endovascular treatment (EVT) achieves high rates of recanalization in acute large‐vessel occlusion (LVO) stroke, but functional recovery remains heterogeneous. While symptomatic intracranial hemorrhage (sICH) has been well studied, the prognostic impact of asymptomatic intracranial hemorrhage (aICH) after EVT is less certain ...
Shihai Yang +22 more
wiley +1 more source
Binary Decision Diagrams for Random Boolean Functions
, 1999 Binary Decision Diagrams (BDDs) sind eine Datenstruktur für Boolesche Funktionen, die auch unter dem Namen branching program bekannt ist. In ordered binary decision diagrams (OBDDs) müssen die Tests einer festen Variablenordnung genügen.
Gröpl, C., Gröpl, Clemens
core +1 more source
IEEE AccessComputerized adaptive testing (CAT) presents a tradeoff dilemma involving item exposure bias and measurement accuracy. To resolve this dilemma, we propose a new two-step CAT mechanism to balance exposure bias and measurement accuracy.
Maomi Ueno +3 more
doaj +1 more source
Integrated Methodology for Software Reliability Analysis [PDF]
Informatică economică, 2012 The most used techniques to ensure safety and reliability of the systems are applied together as a whole, and in most cases, the software components are usually overlooked or to little analyzed.
Marian Pompiliu CRISTESCU +2 more
doaj
Optimal Dynamic Analysis of Electrical/Electronic Components in Wind Turbines
Energies, 2017 Electrical and electronic components are very important subcomponents in modern industrial wind turbines. Complex multimegawatt wind turbines are continuously being installed both onshore and offshore, continuously increasing the demand for sophisticated
Fausto Pedro García Márquez +4 more
doaj +1 more source