A formal architecture for Construction Grammar (CG) is sketched. Modeling domain objects (constructs) are constituent structures with feature structures at the nodes, aka Feature Structure Trees (FTs). Constructions are partial descriptions of FTs, expressed as sets of constituent structure equations and path equations. Unification of constructions is defined. A construct c is licensed by a gra...

The design process of any visualisation involves many design decisions. One way to assist with these design decisions is to provide guidelines. This paper introduces the MS-Guidelines and the rationale behind them. The MS-Guidelines form a group of structured guidelines intended to help in designing not just visual but also multi-sensory displays of abstract data. They are organised by using th...

We present the design of an asynchronous microcontroller core featuring binary compatibility with the MCS 251 family. The work is involved in a specific application project targeting portable electromagnetic measurement systems with very low power consumption. Delay insensitivity was chosen to allow a fast design of complex but safe asynchronous circuits, by means of automatic synthesis and ind...

Enumeration of Minimal Correction Sets (MCS) finds a wide range of practical applications, including the identification of Minimal Unsatisfiable Subsets (MUS) used in verifying the complex control logic of microprocessor designs (e.g. in the CEGAR loop of Reveal [1,2]). Current state of the art MCS enumeration exploits core-guided MaxSAT algorithms, namely the so-called MSU3 [15] MaxSAT algorit...

In this contribution we present a new methodology to compile large language resources for domain-specific taxonomy learning. We describe the necessary stages to deal with the rich morphology of an agglutinative language, i.e. Korean, and point out a second order machine learning algorithm to unveil term similarity from a given raw text corpus. The language resource compilation described is part...

The paradigm shift of digital fabrication encourages architects to incorporate the knowledge of using innovative materials and novel tools to solve problems in design and construction. However, the application of digital fabrication still needs more flexibility that allows different groups in a society to redesign fabrication processes based on their own needs and values. Looking at robotic fac...