نتایج جستجو برای: cudd
تعداد نتایج: 48 فیلتر نتایج به سال:
Ordered Binary Decision Diagrams (OBDDs) have been proven to be an efficient data structure for symbolic algorithms. The efficiency of the symbolic methods depends on the underlying OBDD library. Available OBDD libraries are based on the standard concepts and so far only differ in implementation details. This thesis introduces new techniques to increase run-time and space-efficiency of an OBDD ...
The use of decision diagrams (DD) for the computation and representation of binary function spectra has been well studied [2,3,5]. Computations and representation of spectra for multiplevalued logic (MVL) functions have also been considered [6]. For binary functions, this approach can be implemented using one of a number of the highly efficient publicly available binary decision diagram (BDD) p...
L. Adamczyk, J. K. Adkins, G. Agakishiev, M.M. Aggarwal, Z. Ahammed, I. Alekseev, J. Alford, C. D. Anson, A. Aparin, D. Arkhipkin, E. C. Aschenauer, G. S. Averichev, A. Banerjee, D. R. Beavis, R. Bellwied, A. Bhasin, A. K. Bhati, P. Bhattarai, H. Bichsel, J. Bielcik, J. Bielcikova, L. C. Bland, I. G. Bordyuzhin, W. Borowski, J. Bouchet, A. V. Brandin, S. G. Brovko, S. Bültmann, I. Bunzarov, T. ...
K. Abe, J. Amey, C. Andreopoulos, M. Antonova, S. Aoki, A. Ariga, S. Assylbekov, D. Autiero, S. Ban, F. C. T. Barbato, M. Barbi, G. J. Barker, G. Barr, C. Barry, P. Bartet-Friburg, M. Batkiewicz, V. Berardi, S. Berkman, S. Bhadra, S. Bienstock, A. Blondel, S. Bolognesi, S. Bordoni, S. B. Boyd, D. Brailsford, A. Bravar, C. Bronner, M. Buizza Avanzini, R. G. Calland, T. Campbell, S. Cao, S. L. Ca...
Despite recognizing the need for social change in areas such as social equality and environmental protection, individuals often avoid supporting such change. Researchers have previously attempted to understand this resistance to social change by examining individuals’ perceptions of social issues and social change. We instead examined the possibility that individuals resist social change becaus...
Journal of Social PhilosophyEarly View ORIGINAL ARTICLE Race and evaluation philosophical skill: A virtue theoretical explanation why people color are so absent from philosophy Eric Bayruns García, Corresponding Author García [email protected] orcid.org/0000-0001-5362-2311 Department Philosophy, McMaster University, Hamilton, Ontario, Canada Edmond J. Safra Center for Ethics, Harvard Cambridge,...
An adverse uterine environment is thought to program blood pressure (BP) later in life, most likely due to fetal under-nutrition. This study examines the relationships between adult systolic blood pressure (SBP) and diastolic blood pressure (DBP), birth weight, and maternal nutritional status and dietary intake during pregnancy. This study draws on a large sample (n=1632) of Filipino young adul...
It has been claimed that psychologist Joshua Greene's recent neuroscientific research into the physiological underpinnings of our moral intuitions has normative implications. In particular, it has been claimed that this research discredits our deontological intuitions about trolley-like cases, without discrediting our consequentialist intuitions about such cases. I disagree. As I see it, attemp...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید