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...

The medical information system has been applied in hospitals widely, which makes hospitals acquire notable management benefit and economic benefit. When hospitals enjoy the quick service decision and convenient management because of informationization, they are also in the danger of data loss. Data disaster recovery is the guarantee of the hospital informationization construction, and the base ...

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...