The O-OSCAR software architecture is a problem solving environment for complex scheduling problem that is based on a constraintbased representation. On top of this core representation a problem solver module and a schedule execution system guarantee a complete support to address a scheduling problem. Furthermore, a rather sophisticated interaction module allows users to maintain control on diff...

We address the problem of deening an algebraic framework for modularization supporting separate type-checking. In order to do that we introduce the notions of abstract type system and logic of constraints and we present a canonical construction of a model part, on top of a logic of constraints. This canonical construction works under standard assumptions on the underlying type system. We show t...

The development of remotely operated vehicles (ROVs) has revolutionized the world of marine science by allowing quantitative video transects (QVTs) to be recorded underwater. This non-invasive technique allows previously unavailable information to be obtained concerning organism diversity, distribution, and abundance. Unfortunately, processing of these QVTs at the Monterey Bay Aquarium Research...

In the entire world, there is a widespread recognition that evaluation framework is a key to building stronger and fairer academic institution system. All countries emphasize the evaluation not as end in itself but instead an important tool for achieving improved student outcomes. Teacher evaluation typically has two major purposes. First, it seeks to improve the teacher’s own practice by ident...

We present SmartJavaMod, a language of mixin modules supporting compositional compilation, and constructed on top of the Java language. More in detail, this means that basic modules are collections of Java classes which can be typechecked in isolation, inferring constraints on missing classes and allowing safe reuse of the module in as many contexts as possible. Furthermore, it is possible to w...