Results 71 to 80 of about 97,350 (281)

Average Path Length of Binary Decision Diagrams [PDF]

IEEE Transactions on Computers, 2005
The traditional problem in binary decision diagrams (BDDs) has been to minimize the number of nodes since this reduces the memory needed to store the BDD. Recently, a new problem has emerged: minimizing the average path length (APL). APL is a measure of the time needed to evaluate the function by applying a sequence of variable values. It is of special
Sasao, Tsutomu, Matsuura, Munehiro, Butler, Jon T.   +2 more
openaire   +2 more sources

Analysing the significance of small conformational changes and low occupancy states in serial crystallographic data

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, Yelyzaveta Pulnova, Elke De Zitter, Helen M. Ginn, Briony A. Yorke   +4 more
wiley   +1 more source

Topology planning for autonomous MMGs: an ordered binary decision diagram-based approach

IET Smart Grid, 2019
This paper finds its motivation from the perspective of utility planners, where the flexibility of choice while reconfiguring a distribution system into Multi-Micrgrids (MMGs) is critical.
Hafiz Anwar Ullah Khan, Mohamed Al Hosani, Mohamed Al Hosani, Hatem Zeineldin   +3 more
doaj   +1 more source

Decision making process via binary decision diagram [PDF]

International Journal of Management Science and Engineering Management, 2014
Firms require to optimize any decisions taken for increasing their competitiveness. Each decision will depend of a large number of causes. The relations between the causes and the decisions are effected by the decision making process. An approach to finding the best solution to each logistical or organizational problem is to identify the main causes ...
Pliego Marugán, Alberto, García Márquez, Fausto Pedro, Lorente Lavirgen, José   +2 more
openaire   +2 more sources

Cutaneous Melanoma Drives Metabolic Changes in the Aged Bone Marrow Immune Microenvironment

Aging and Cancer, EarlyView.
Melanoma, the deadliest form of skin cancer, increasingly affects older adults. Our study reveals that melanoma induces changes in iron and lipid levels in the bone marrow, impacting immune cell populations and increasing susceptibility to ferroptosis.
Alexis E. Carey, Murilo Ramos Rocha, Cheyenne Palm, Vania Wang, Denys Balandin, Ethan Black, Kevin Y. Zhang, Fan Huang, Daniel J. Zabransky, Yash Chhabra, Mareike Peters, Gabriel Ghiaur, Ashani Weeraratna   +12 more
wiley   +1 more source

SENSE: Abstraction-Based Synthesis of Networked Control Systems [PDF]

Electronic Proceedings in Theoretical Computer Science, 2018
While many studies and tools target the basic stabilizability problem of networked control systems (NCS), nowadays modern systems require more sophisticated objectives such as those expressed as formulae in linear temporal logic or as automata on ...
Mahmoud Khaled, Matthias Rungger, Majid Zamani   +2 more
doaj   +1 more source

Solving Set Constraint Satisfaction Problems using ROBDDs

, 2011
In this paper we present a new approach to modeling finite set domain constraint problems using Reduced Ordered Binary Decision Diagrams (ROBDDs). We show that it is possible to construct an efficient set domain propagator which compactly represents many
Hawkins, P. J., Lagoon, V., Stuckey, P. J.   +2 more
core   +1 more source

Tracking Motor Progression and Device‐Aided Therapy Eligibility in Parkinson's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To characterise the progression of motor symptoms and identify eligibility for device‐aided therapies in Parkinson's disease, using both the 5‐2‐1 criteria and a refined clinical definition, while examining differences across genetic subgroups.
David Ledingham, Sahana Sathyanarayana, Charlotte B. Stewart, Robyn Iredale, Victoria Foster, Debra Galley, Mark Baker, Nicola Pavese   +7 more
wiley   +1 more source

Network Localization of Fatigue in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Fatigue is among the most common symptoms and one of the main factors determining the quality of life in multiple sclerosis (MS). However, the neurobiological mechanisms underlying fatigue are not fully understood. Here we studied lesion locations and their connections in individuals with MS, aiming to identify brain networks ...
Olli Likitalo, Jaakko Kungshamn, Albert Bellmunt‐Gil, Silvia Tommasin, Abhineet Ojha, Matias Viitala, Juho Aaltonen, Jyrki Lötjönen, Juha Koikkalainen, Pauli Ylikotila, Patrizia Pantano, Merja Soilu‐Hänninen, Juho Joutsa   +12 more
wiley   +1 more source

EMPLOYING COMPLEXITY ESTIMATES OF BINARY DECISION DIAGRAMS IN THE SYNTHESIS OF LOGICAL CIRCUITS

Informatika, 2016
A formula is suggested to evaluate the area of a logical circuit that is built in a given library of logical elements according to the BDD (Binary Decision Diagram) representation of a system of Boolean functions. The experimental results of synthesis of
N. A. Avdeev, P. N. Bibilo
doaj