Clinical Lecture ON PERINEPHRITIC A B S C E S S.

T L  C S C A  E E  M Sat S

The Boolean Satisfiability (SAT) decision problem can be deservedly declared a success story of computer science. Although SAT was the first problem to be proved NP-complete, the last decade and a half have seen dramatic improvements in the performance of SAT solvers on many practical problem instances. These performance improvements enabled a wide range of real-world applications, several of w...

T L  C S C B  C

In a computational process, certain entities (for example sets or arrays) and operations on them may be automatically available, for example by being provided by the programming language. We define background classes to formalize this idea, and we study some of their basic properties. The present notion of background class is more general than the one we introduced in an earlier paper, and it t...

R-e-s-p-e-c-t.

Alex Muncy was still an apprentice at STIHL Inc. when the company enlisted him in revamping an automated packaging process. The package would contain the outdoor power equipment manufacturer’s signature trimmer line, the colorful cord used to give lawns a precise, neat appearance. The goal: satisfy the customer while cutting production costs. Muncy’s team developed a concept, designed the packa...

A C a S E S Pe C I F Ic a Pproac H

Should the fact that a criminal off ender lives in a society that fails to give him what he ‘deserves’ in terms of economic or political or social rights aff ect the determination of what he ‘deserves’ from that society in terms of punishment? More generally, to what extent is the fairness of a given system of retributive justice dependent on the fairness of the system of distributive or socioe...

S E a R C H