In the software systems field, we can consider that the generally understood goal of verification is to assess the compliance of a software with respect to the inputs and standards applying to a given phase in the design process, and that the goal of validation is to determine if the requirements are correct and complete, and is performed in the final system assessment phase. Nevertheless, the ...

Techniques using interleaving as the basic means for signal separation are introduced for both multiple access systems and multiple transmit antenna systems. For multiple access channels, the proposed interleave-division multiple-access (IDMA) scheme can achieve near capacity performance. For multiple antenna systems, the performance of the proposed interleave-division-multiplexing space-time (...

When we use a mathematical model to represent information, we can obtain a closed and convex set of probability distributions, also called a credal set. This type of representation involves two types of uncertainty called conflict (or randomness) and non-specificity, respectively. The imprecise Dirichlet model (IDM) allows us to carry out inference about the probability distribution of a catego...

A prospective study was performed comparing bilirubin concentrations in 10 breast fed term infants of diabetic mothers (IDM) to those of 10 breast fed normal term infants. The beta-glucuronidase concentrations in serum and breast milk were assayed in the respective mothers. Significantly higher bilirubin concentrations were noted in the IDM group. Serum and breast milk beta-glucuronidase concen...

Abstract The lane-change transportation research usually focuses on the efficiency and stability of macro traffic flow while ignoring driving comfort individual vehicles. And many studies models are often limited to performance a single vehicle, which leads lack macroscopic evaluation. To solve above limitations, an automatic generalized dynamic model is adopted. In this model, behavior vehicle...

Technologies and public policies in relation to identity management (IDM) are changing rapidly and our understanding of public attitudes to such change is not well developed. In this paper we consider attitudes to new and near-future IDM technologies in groups of vulnerable teenagers. This paper describes how we engaged with these groups, giving examples of our use of ‘design provocations’ that...

Intelligent Driver Model (IDM) is a well-known microscopic model of traffic flow within the traffic engineering societies. While it is a powerful technique for modeling traffic flows, the Intelligent Driver Model lacks the potential of accommodating the notion of drivers’ heterogeneous behavior whenever they are on roads. Concerning the above mentioned, this paper takes the lane to recognize th...

Hydrological forecasting can provide the basis for dealing with the conflict between flood control and water use. This paper proposes a flood and sediment forecasting method for rivers by deriving an energy equation which describes the conservation of potential slope, kinetic slope, and friction slope of a river reach. The equation contains an additional term, the rate of change of stage, which...

This paper aims at setting the context for privacy-aware information lifecycle management within enterprises, i.e. the process of handling the lifecycle of personal and confidential information in a way that is compliant with privacy laws and people’s expectations (including data retention, deletion, notifications, data transformation, etc.). Despite the fact that enterprises are already using ...