The alignment of higher education with the skill needs employers and industry at large is a topic active debate, particularly for engineering education. Formal informal content developed by companies, technology-specific associations, consulting firms, individuals forms body knowledge that might fast-track careers toward very specific opportunities. By contrast, academic courseware known its pe...

The ESP Game tends to generate “low effort” or “surface semantics” tags. This paper presents two variations of the ESP Games called “squaring” and “scripting” that trim the ESP Game to collect “deep semantics” tags. The approaches do not require players to get used to, and for the GWAP operators to deploy, new games. First experiments point to the efficiency of squaring and scripting the ESP Ga...

This paper presents a design and implementation of a system that leverages interactive scripting environment to the needs of scientific computing. The system allows seamless translation of high level script codes to highly optimized native language executables that can be ported to parallel systems with high performance hardware and potential lack of the scripting language interpreter. Performa...

We demonstrate combat scenarios between two NPCs in the Neverwinter Nights (NWN) game in which an NPC uses a new learning algorithm ALeRT (Action-dependent Learning Rates with Trends) and the other NPC uses a static strategy (NWN default and optimal) or a dynamic strategy (dynamic scripting). We implemented the ALeRT algorithm in NWScript, a scripting language used by NWN, with the goal to impr...

The batch execution modes of PVS are powerful, but highly technical, features of the system that are mostly accessible to expert users. This paper presents a PVS tool, called ProofLite, that extends the theorem prover interface with a batch proving utility and a proof scripting notation. ProofLite enables a semi-literate proving style where specification and proof scripts reside in the same fil...

Modelica has evolved as a powerful language for encoding models of complex systems. In control engineering, it is of interest to be able to analyze dynamic models using scripting languages such as MATLAB and Python. This paper illustrates some analysis and design methods relevant in control engineering through scripting a Modelica model of an anaerobic digester model using Python, and discusses...

The fact that so many different kinds of coordination models and languages have been proposed suggests that no one single approach will be the best for all coordination problems. Different coordination styles exhibiting different properties may be more suitable for some problems than others. Like other architectural styles, coordination styles can be expressed in terms of components, connectors...

We present a domain-specific language embedded within the Haskell programming language to build scripts in a declarative and typesafe manner. We can categorize script components into various orthogonal dimensions, or concerns, such as IO interaction, configuration, or error handling. In particular, we provide special support for two dimensions that are often neglected in scripting languages, na...

A language for scheduling temporal activities in an object-oriented environment is proposed. Particular emphasis is put on reusing temporal speciications in various contexts, which is achieved through a mechanism of parameterized sampling based on a notion of virtual time. A small set of temporal operators are used to build parallel and sequential compositions of activities. Complex activities ...