ment, whose objective is to empower domain experts themselves to specialize AM-PHION to an application domain. It is meant to be the automatic programming analogue of application generator generator technology. META-AMPHION will include an extension of the current user interface to guide domain experts in creating and extending a domain theory (in fact, the current user interface is already sui...

In Text-to-Speech (TTS) synthesis there are words and expressions that pose problems because some semantic knowledge is required to determine how they should be read out. This work implements a domain filter, a pre-processing module that supports the TTS system by analysing text belonging to a certain semantic domain and rewriting problematic expressions so that they are read out better. The fi...

This thesis investigates the synthesis of controllers for time varying systems in order to satisfy an induced 2-norm closed loop performance bound. This performance criterion is a generalisation of the well known H1 norm criterion used in the frequency domain for analysis and synthesis of linear time invariant control systems. A number of di erent time varying system frameworks are considered, ...

Social norms enable coordination in multiagent systems by constraining agent behaviour in order to achieve a social objective. Automating the design of social norms has been shown to be NP-complete, requiring a complete state enumeration. A planning-based solution has been proposed previously to improve performance. This approach leads to verbose, problem-specific norms due to the propositional...

Several challenging issues have to be addressed for automated synthesis of multi-domain systems. First, design of interdisciplinary (multi-domain) engineering systems, such as mechatronic systems, differs from design of single-domain systems, such as electronic circuits, mechanisms, and fluid power systems, in part because of the need to integrate the several distinct domain characteristics in ...

Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data structures with strong invariants involving both shape and numerical properties. Existing verification systems usually rely on users to supply annotations, which can be tedious and error-prone and can significantly restrict the ...

This paper describes AMPHION1, a knowledge-based software engineering (KBSE) system that guides a user in developing a formal specification of a problem and then implements this specification as a program consisting of calls to subroutines from a library. AMPHION is domain independent and is specialized to an application domain through a declarative domain theory. A user is guided in creating a...

Previous work identified swoC1 as a single-gene mutant with defects in polarity establishment. In this study swoC1 was shown to have defects in endocytosis, compartmentation, nuclear distribution, and conidiation. Temperature-shift experiments showed that the swoC1 mutant establishes multiple random sites of germ tube emergence. Surprisingly, these experiments also showed that even a slight del...

peroxisomes are small size organelles in nearly all eukaryotic cells involved in various metabolic functions including β-oxidation of very long chain fatty acids and metabolite peroxidation and plasmalogens synthesis. the latter is one of the major constituents in neural cell membranes. the biogenesis of peroxisomes is a complex process which requires multiple proteins encoded by pex genes. dys...