Deriving Labels and Bisimilarity for CCP 

Get Complete Project Material File(s) Now! » Bisimilarity for CCP Concurrency is concerned with the fundamental aspects of systems of multiple computing agents, usually called processes, that interact with each other. Proc-ess calculi treat processes much like the λ-calculus treats...

Definition of LPN module, sound decomposition and modular diagnosability using LPN

Get Complete Project Material File(s) Now! » Monolithic diagnosability analysis The diagnosability property needs to be analyzed at the design stage of the DES. The online diagnosis is executed if and only if the diagnosability of the DES is verified....

Glitch Propagation in Digital Circuits

Get Complete Project Material File(s) Now! » Timed Petri Nets and Transportation Systems Max-plus systems exactly correspond to a subclass of time Petri nets, called timed event graphs, timed marked graphs, or timed decision-free Petri nets. Petri nets are bipartitioned...

allocating CPM tasks to heterogeneous platforms

Get Complete Project Material File(s) Now! » Multiprocessors & Parallel Systems  Introduction Gordon E. Moore, the co-founder of Intel and Fair-child Semiconductor observed, in 1965, that the number of transistors in a dense integrated circuit is doubling every year in...

Cooperative control with delays and disturbances 

Get Complete Project Material File(s) Now! » Why time-varying formation-containment control Various cooperative control problems of MASs (e.g., consensus, formation or containment) have attracted much research interest in the past decades. As one of the most important issues, formation control...

MODEL OF THE LAYERS OF THE HUMAN NECK 

Get Complete Project Material File(s) Now! » Vocal Signal Measurement Equipments Actually, the microphone constitutes the most common tool to acquire the speech signals. However, the quality of the recorded signals is highly affected by the interference of the background...

Distributed consensus tracking of nonlinear FOMASs with external disturbances based on nonlinear algorithms 

Get Complete Project Material File(s) Now! » Containment consensus with multiple leaders The main objective of containment control is to design appropriate protocol such that all followers can converge to the convex hull spanned by the leaders. In Liu &...

Overcoming Self-Surgery Limitations: Language Runtime Initialization

Get Complete Project Material File(s) Now! » Cognitive Distance We use the ideas of Krueger [Krueger 1992] about cognitive distance to evaluate existing LIT solutions later in this chapter. According to Krueger, LIT success depends on the effectiveness of its...

YIG/AFE and YIG/FE Heterostructures in Full Thin-Film Form

Get Complete Project Material File(s) Now! » Backgrounds and Literature Review The concept of "ferroic" is referred to the properties of ferroelectricity, ferromagnetism, and ferroelasticity in a crystal, as Aizu concluded in 1970.[41] The most distinct feature of "ferroic" is...

Printing Technologies and Document image degradation

Get Complete Project Material File(s) Now! » Related works & Fundamental background In this chapter, the commonly used printing technologies and their processes are briefly presented. Image degradation is described as well. We also review some proposed printing models taking...