Discrimination of the blind and dispersed mineralization deposits is a challenging problem in geochemical exploration. The frequency domain (FD) of the surface geochemical data can solve this important issue. This new exploratory information can be achieved using the interpretation of FD of geochemical data, which is impossible in spatial domain. In this research work, FD of the surface geochem...

This paper describes several new algorithms for computing lower bounds on the length of the schedule and the number of functional units in high-level synthesis.

One of the primary advantages of a high-level synthesis system is its ability to explore the design space. This paper presents several methodologies for design space exploration that compute all optimal tradeo points for the combined problem of scheduling, clock length determination, and module selection. We discuss how each methodology takes advantage of both the structure within the design sp...

How do animals in groups organize their work? Division of labour, i.e. the process by which individuals within a group choose which tasks to perform, has been extensively studied in social insects. Variability among individuals within a colony seems to underpin both the decision over which tasks to perform and the amount of effort to invest in a task. Studies have focused mainly on discrete tas...

We consider a team of k identical, oblivious, and semi-synchronous mobile robots that are able to sense (i.e., view) their environment, yet are unable to communicate, and evolve on a constrained path. Previous results in this weak scenario show that initial symmetry yields high lower bounds when problems are to be solved by deterministic robots. In this paper, we initiate research on probabilis...

Let D be a connected region inside a simple polygon, P . We define the angle hull of D, AH(D), to be the set of all points in P that can see two points of D at a right angle. We show that the perimeter of AH(D) cannot exceed in length the perimeter of D by more than a factor of 2. This upper bound is tight. Our result can be generalized to angles different from 90◦, and to settings where region...

This paper presents a set of interconnect performance estimation models for design planning with consideration of various effective interconnect layout optimization techniques, including optimal wire sizing, simultaneous driver and wire sizing, and simultaneous buffer insertion/sizing and wire sizing. These models are extremely efficient, yet provide high degree of accuracy. They have been test...

OBJECTIVE To evaluate the role of physical examination in decision making for exploring patients with penetrating zone II neck injury. METHODS This was a cross-sectional study being performed in a level I trauma center between 2006 and 2010. The present study reviewed the records of 150 patients with penetrating neck injuries. Of 46 cases with zone II deep platysma neck injuries, 3 patients d...

The electric and electronic architecture (EEA), which is built up during the concept phase of automotive electronics development, has fundamental impact on the success of a vehicle under development. The complexity of upcoming architectures requires novel approaches to support system architects during the design phase. This paper describes a model-based generic approach which allows verifying a...

We propose an abstract framework for Design Space Exploration (DSE) in the context of model-based embedded system development. The goal is to enable the integration of a set of concrete DSE methods addressing different system characteristics and design goals while still having a common understanding of design artifacts.