Understanding control mechanisms in biological systems plays a crucial role important applications, for instance cell reprogramming. Boolean modeling allows the identification of possible efficient strategies, helping to reduce usually high and time-consuming experimental efforts. Available approaches strategy focus either on attractor or phenotype control, are unable deal with more complex pro...

This paper introduces an encoding of Model Based Diagnosis (MBD) to Boolean Satisfaction (SAT) focusing on minimal cardinality diagnosis. The is based a combination sophisticated MBD preprocessing algorithms and SAT compilation techniques which together provide concise CNF formula. Experimental evidence indicates that our approach superior all published for MBD. In particular, we can determine,...

This is Part 6 of a tutorial series on Term Vector Theory. The Extended Boolean Model is discussed. By varying the model p-norm parameter, from p = 1 to p = , we can vary its ranking behavior from that of a vector spacelike to that of a strict Boolean-like.

The reliability of software is crucial to the functioning of today’s world, which heavily depends on computer systems. Given the ever increasing complexity of software, bugs are subtle and thus hard to find with manual inspection. A more promising approach is to use a formal method such as model checking, which employs exhaustive state-space search to ensure the correctness of the software. How...

introduction urban planning is the process of influencing, controlling or directing changes in the use of land overtime and space in an urban area. therefore, it involves plan formulationand development control. to achieve this, concept of sustainable development must be addressed to remedy social inequities and environmental damage, while maintaining a sound economic base. the sustainable deve...

AI solutions are heavily dependant on the quality and accuracy of input training data, however data may not always fully reflect most up-to-date policy landscape or be missing business logic. The advances in explainability have opened possibility allowing users to interact with interpretable explanations ML predictions order inject modifications constraints that more accurately current realitie...