Results 61 to 70 of about 97,350 (281)
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
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
Reasoning with ordered binary decision diagrams
Discrete Applied Mathematics, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Horiyama, Takashi, Ibaraki, Toshihide
openaire +1 more source
Molecular Oncology, EarlyView.Pancreatic sensory neurons innervating healthy and PDAC tissue were retrogradely labeled and profiled by single‐cell RNA sequencing. Tumor‐associated innervation showed a dominant neurofilament‐positive subtype, altered mitochondrial gene signatures, and reduced non‐peptidergic neurons.
Elena Genova +14 more
wiley +1 more source
Operations on Multiple Transition Faults without Enumeration
MATEC Web of Conferences, 2016 The multiple transition fault model has been used to represent alternative defective gate combinations in the circuit. However, the number of faults is very large even of modest size circuits and therefore the defective configuration may not be ...
Toulas Theodoros, Tragoudas Spyros
doaj +1 more source
Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs
Algorithms, 2012 Link puzzles involve finding paths or a cycle in a grid that satisfy given local and global properties. This paper proposes algorithms that enumerate solutions and instances of two link puzzles, Slitherlink and Numberlink, by zero-suppressed binary ...
Shin-ichi Minato +5 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
Journal of Computer Science and Technology, 2007 This paper proposes a model that predicts the complexity of Boolean functions with only XOR/XNOR min-terms using back propagation neural networks (BPNNs) applied to Binary Decision Diagrams (BDDs). The BPNN model (BPNNM) is developed through the training
Ali Assi +3 more
doaj
Quantum and classical nondeterministic OBDDs
Учёные записки Казанского университета: Серия Физико-математические наукиA model of nondeterministic ordered binary decision diagrams (NOBDDs) was analyzed. A method for proving a lower bound on the complexity of quantum NOBDDs was developed.
A. F. Gainutdinova
doaj +1 more source
SAT-Based Synthesis Methods for Safety Specs
, 2013 Automatic synthesis of hardware components from declarative specifications is an ambitious endeavor in computer aided design. Existing synthesis algorithms are often implemented with Binary Decision Diagrams (BDDs), inheriting their scalability ...
A. Biere +19 more
core +1 more source