The Drosophila larval nervous system is radically restructured during metamorphosis to produce adult specific neural circuits and behaviors. Genesis of new neurons, death of larval neurons and remodeling of those neurons that persistent collectively act to ...
A semi-continuous formulation is introduced for finding bases that minimise the error in a specific output functional of a reduced-order model. The formulation is advantageous in that it can be used with arbitrary reference data and can be easily applied t ...
Analytical solutions for tunnel design are widely used in practical engineering, as they allow a quick analysis of design issues such as estimation of support requirement. In recent years, several papers analyzing the behavior of rock masses that obey the ...
Requirements elicitation is an important part of information systems development. It is often performed as a technical task, but from a close look it is mainly a social activity. The main work consists of interacting with stake-holders in order to understa ...
Despite many years of research, alignment of business and IT services remains a challenge. In this paper we show how to verify the quantitative properties of a service against stakeholder requirements during service design. We model the service with the Sy ...
A method for certifying exact input trackability for constrained discrete time linear systems is introduced in this paper. A signal is assumed to be drawn from a reference set and the system must track this signal with a linear combination of its inputs. U ...
