1 A Solution Methodology for Exact Design Space Exploration in a Three-Dimensional Design Space1 Samit Chaudhuri 2 Stephen A. Blythe3 Robert A. Walker 4 Cadence Design Systems Rensselaer Polytechnic Institute Kent State University San Jose, CA 95134 Troy, NY 12180 Kent, OH 44242 Abstract| This paper describes an exact solution methodology, implemented in Rensselaer's Voyager design space explor...

The best arm identification problem (BEST-1-ARM) is the most basic pure exploration problem in stochastic multi-armed bandits. The problem has a long history and attracted significant attention for the last decade. However, we do not yet have a complete understanding of the optimal sample complexity of the problem: The state-of-the-art algorithms achieve a sample complexity of O( ∑n i=2 ∆ −2 i ...

In this paper we present a hybrid reactive/deliberative approach to the multi-robot integrated exploration problem. In contrast to other works, the design of the reactive and deliberative processes is exclusively oriented to the exploration having both the same importance level. The approach is based on the concepts of expected safe zone and gateway cell. The reactive exploration of the expecte...

Design space explorers support designers through the metaphor of exploration, a guided movement through a space of possibilities. As systems, design space explorers present a mixed-initiative environment in which designers engage in their work helped by a computer to an extent both computationally possible and desired by the designer. Design space explorers provide a set of generative operators...

On-line testability is essential in designs with high reliability requirements. High-level synthesis reduces time-to-market and enables efficient design space exploration. In our work, we implement on-line testable designs in a high-level synthesis environment. We refer to our new technique (inversion testing) and exploit its features, in an attempt to reduce hardware penalties. Further, we enh...

Examining the relevance of 'animal personality' involves linking consistent among- and within-individual behavioural variation to fitness in the wild. Studies aiming to do this typically assay personality in captivity and rely on the assumption that measures of traits in the laboratory reflect their expression in nature. We examined this rarely tested assumption by comparing laboratory and fiel...

The multi-robot exploration problem is to explore an unknown graph of size n and depth d with k robots starting from the same node. For known graphs a traversal of all nodes takes at most O(d + n/k) steps. The ratio between the time until cooperating robots explore an unknown graph and the optimal traversal of a known graph is called the competitive exploration time ratio. It is known that for ...

conclusions io-pth levels should become normal or to drop by at least 80% during successful parathyroidectomy. persistent elevations of io-pth after resection of an abnormal gland dictate the need for bilateral exploration. background we hypothesized that io-pth levels would decline to normal or near normal after successful parathyroidectomy. objectives evaluate efficacy and predictive factor o...

On-line testability is essential in designs with high reliability requirements. High-level synthesis reduces time-to-market and enables efficient design space exploration. In our work, we implement on-line testable designs in a high-level synthesis context. We refer to our new technique (inversion testing) and exploit its features, in an attempt to reduce hardware penalties.