In this study, a novel method is proposed to represent the three dimensional angular position of the body segment in space with least singularity adopting the new definition of the axial rotation. Firstly, the orientation of the axis of the body segment is defined by the geographical coordinate system (ISO 31-11). Secondly, the axial rotation of the body segment is defined by the rotation offse...

this paper seeks to investigate a new definition for architecture by unifying the three vitruvian principles of firmitas, utilities, and venustas via a phenomenological approach in the interpretation and analysis of their role in defining architecture. the paper is composed in two main sections. the first section investigates the nature of architecture based on the mentioned principles, where a...

It is one of the problems in association rules mining that a great many of rules generated from the dataset makes it difficult to analyze and use. An algorithm named FCABTAR for association rules clustering is proposed and applied to association rules managing. Firstly, an example is presented to demonstrate the weakness by the distance clustering. Secondly, the definition of fuzzy simulation d...

In this paper, we re-analyse the Rate Monotonic Scheduler. Traditionally, the schedulability condition was obtained from the greatest lower bound of utilisation factors over all the task sets that (are schedulable and) fully utilise the processor. We argue that full utilisation is not very appropriate for this purpose. We reestablish Liu and Layland’s classic schedulability theorem by finding t...

This paper focuses on those features of impulse radio (IR) technology that makes it attractive for smart home applications. Firstly, a highly flexible air interface definition is presented that allows for the production of low cost IR transmitters, still able to support a wide range of applications. Secondly, the robustness of IR communication against small and large scale fading is shown based...

In functional programming, fold is a standard operator that encapsulates a simple pattern of recursion for processing lists. This article is a tutorial on two key aspects of the fold operator for lists. First of all, we emphasize the use of the universal property of fold both as a proof principle that avoids the need for inductive proofs, and as a definition principle that guides the transforma...

There is no standard definition of a “me-too” drug. The term has been used rather loosely over a number of decades. Professor Hollis proposes a definition for his analysis. That’s fine. One can restrict analysis to whatever one wants, as long as one is clear about what is being analyzed (although I question below whether the definition he proposes is what he really intends). However, by narrowi...

*Correspondence: [email protected] 2Dipartimento di Matematica e Informatica, Università di Cagliari, V. le Merello 92, Cagliari, 09123, Italy Full list of author information is available at the end of the article Abstract We study a two-dimensional boundary value problem described by a tensorial equation in a bounded domain. Once its more general definition is given, we conclude tha...

This paper presents a new hybrid approach for learning Bayesian networks (BNs) based on artificial bee colony algorithm and particle swarm optimization. Firstly, an unconstrained optimization problem is established, which can provide a smaller search space. Secondly, the definition and encoding of the basic mathematical elements of our algorithm are given, and the basic operations are designed,...

We present an ongoing research activity concerned with measuring the effect of an increased level of formalization in software development. We summarize the experiences from a first experimental development. Based on these experiences, we discuss a number of technical issues; in particular, problems connected to metrics based on fault reports. First of all, what is a fault? Secondly, how should...