‘The very word “America” remains a new, almost completely undefined and extremely controversial proper noun,’ James Baldwin wrote in 1959. ‘No one in the world seems to know exactly what it describes, ...

Abstract: A sound and complete Gentzen-typed deduction system is given for a Boolean algebra logic, where the logical connective - is missed and an assignment is a function from the propositional ...

Abstract: In this article, we initiate the strong structural controllability of Boolean networks (BNs), in order to cope with the difficulty of identifying intricate nodal dynamics. The derived ...

As the winter quarter and class-shopping commence, many of us find ourselves staring blankly at course catalogs, uninspired ...

The course "Concepts of Programming Languages" is designed as a master course. Solid programming skills in Java/C/C++ are required. I also assume that students have introductory skills in Scala and ...