## SEARCH

#### Institution

##### ( see all 1739)

- University of California [x] 4217 (%)
- Universität Heidelberg 92 (%)
- University of Illinois 70 (%)
- Massachusetts Institute of Technology 67 (%)
- Stanford University 60 (%)

#### Author

##### ( see all 7954)

- Sangiovanni-Vincentelli, Alberto 156 (%)
- Brayton, Robert K. 96 (%)
- Dibble, Robert W. 69 (%)
- Maas, Ulrich 69 (%)
- Warnatz, Jürgen 69 (%)

#### Subject

##### ( see all 382)

- Engineering [x] 4217 (%)
- Electrical Engineering 1075 (%)
- Circuits and Systems 899 (%)
- Computer-Aided Engineering (CAD, CAE) and Design 521 (%)
- Signal, Image and Speech Processing 488 (%)

## CURRENTLY DISPLAYING:

Most articles

Fewest articles

Showing 1 to 10 of 4217 matching Articles
Results per page:

## Micro and Nano Patterning for Cell and Tissue Engineering

### Bioengineering in Cell and Tissue Research (2008-01-01): 215-229 , January 01, 2008

One of the goals of bioengineers today is to answer the basic question of how individual cells, which together comprise an entire living being, communicate and interact with one another and the physical and chemical environment in which they reside. In this chapter, we will focus on the micro and nano technologies that have been used to investigate the regulation of cell functions by micro and nano features in matrix distribution, surface topography and three-dimensional (3D) microenvironment, and explore the technologies that can be applied to the fabrication of functional tissue constructs.

## Specification, Synthesis, and Verification of Hazard-Free Asynchronous Circuits

### Asynchronous Circuit Design for VLSI Signal Processing (1994-01-01): 85-100 , January 01, 1994

This article describes three aspects of asynchronous design from a Petri-net specification called a *signal transition graph* (STG). First, we show that the STG defined by Chu [1] is too restrictive for specifying general asynchronous behavior and propose extensions to the STG which allow for more general and compact representation. Second, we show that syntactic constraints on STGs are not sufficient to guarantee hazard-free implementations under the unbounded gate delay model, and present techniques to synthesize two-level implementations which are hazard-free under the multiple signal change condition. To remove all hazards under the multiple signal change condition, the initial specification may need to be modified. Finally, we show that behavior containment test using the event coordination model [2] is a powerful tool for the formal verification of asynchronous circuits. This verification method can provide sanity checks for all synthesis methods that use the unbounded gate delay model, and provides a mechanism for designers to validate some manual gate-level changes to the final design.

## Introduction

### Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design (2004-01-01): 1-3 , January 01, 2004

## Stochastic Analog Mismatch Analysis

### Statistical Performance Analysis and Modeling Techniques for Nanometer VLSI Designs (2012-01-01): 235-252 , January 01, 2012

For sub-90 nm technologies, mismatch in transistor is one of the primary obstacles to reach a high yield rate for analog designs. For example, mismatch of CMOS devices nearly doubles for every process generation less than 90 nm [80, 104] due to an inverse-square-root-law dependence with the transistor area.

## Stability analysis of a continuum-based constrained mixture model for vascular growth and remodeling

### Biomechanics and Modeling in Mechanobiology (2016-12-01) 15: 1669-1684 , December 01, 2016

A stabilizing criterion is derived for equations governing vascular growth and remodeling. We start from the integral state equations of the continuum-based constrained mixture theory of vascular growth and remodeling and obtain a system of time-delayed differential equations describing vascular growth. By employing an exponential form of the constituent survival function, the delayed differential equations can be reduced to a nonlinear ODE system. We demonstrate the degeneracy of the linearized system about the homeostatic state, which is a fundamental cause of the neutral stability observations reported in prior studies. Due to this degeneracy, stability conclusions for the original nonlinear system cannot be directly inferred. To resolve this problem, a sub-system is constructed by recognizing a linear relation between two states. Subsequently, Lyapunov’s indirect method is used to connect stability properties between the linearized system and the original nonlinear system, to rigorously establish the neutral stability properties of the original system. In particular, this analysis leads to a stability criterion for vascular expansion in terms of growth and remodeling kinetic parameters, geometric quantities and material properties. Numerical simulations were conducted to evaluate the theoretical stability criterion under broader conditions, as well as study the influence of key parameters and physical factors on growth properties. The theoretical results are also compared with prior numerical and experimental findings in the literature.

## A Compatibility Vector Technique for Cooperative Scheduling and Channel Assignment Algorithm in Broadband Wireless Networks

### Mobile Networks and Applications (2017-03-23): 1-13 , March 23, 2017

Broadband Wireless Networks is growing rapidly due to the increased number of mobile users. The greatest challenge is to achieve maximum throughput with minimal or no interference while performing concurrent transmission. To reduce the interference problem, this paper proposes a cooperative scheduling and channel assignment algorithm for multi-channel wireless mesh networks. In scheduling algorithm, to avoid the primary interference, the proper time slot is assigned through centralized scheduling for the packet and link in a network. The objective of using the scheduling algorithm is to reduce the transmission delay for uplink/downlink networks. Channel assignment algorithm helps to avoid secondary interference and to perform concurrent transmission with an optimal number of channels. In scheduling, the priority of packets contributes to preventing the accumulation of packets and transmission delay in a multi-hop network. Simulation analysis shows that our channel assignment algorithm avoids both interferences with an optimal number of channels.

## Introduction

### Computational Aerodynamics and Fluid Dynamics (2002-01-01): 1-3 , January 01, 2002

The material in this book is based on lecture notes on computational fluid dynamics (CFD) that the author has developed over the past twenty years in France, at Centre National d’Etudes Supérieures de Mécanique and at the Université de Paris-Sud, and in the US at the University of California, Davis.

## Numerical Simulation

### Engineering Mechanics 3 (2011-01-01): 317-350 , January 01, 2011

In the preceding chapters we have discussed the motion of point masses and rigid bodies in cases where we were able to solve the equations of motions analytically. In a variety of problems this is an elaborate undertaking or even impossible.

## A translinear SiGe BiCMOS current-controlled oscillator with 80 Hz–800 MHz tuning range

### Analog Integrated Circuits and Signal Processing (2008-11-01) 57: 107-115 , November 01, 2008

A 3-phase current controlled sinusoidal oscillator, tunable over a wide range of frequencies is presented. The oscillator comprises a ring of 3 cascaded differential *G*_{m} − *C* low-pass filter stages, implemented in a fully translinear, NPN-only circuit. Closed-form analytical expressions are derived to quantify both frequency and amplitude tuning, as a function of two current biases. Experimental results from a 0.5 μm SiGe BiCMOS chip demonstrate 7 decades of tuning range, from 80 Hz to 800 MHz, as well as low harmonic distortion. Power consumption scales with oscillation frequency, measuring 2 μW/MHz The circuit serves a range of applications including agile communications, analog built-in self-test, stochastic adaptive control, spectroscopy, and bioinstrumentation.

## Statistical validation for uncertainty models

### Feedback Control, Nonlinear Systems, and Complexity (1995-01-01) 202: 131-149 , January 01, 1995

Statistical model validation is treated for a class of parametric uncertainty models and also for a more general class of nonparametric uncertainty models. We show that, in many cases of interest, this problem reduces to computing relative weighted volumes of convex sets in *R*^{N} (where *N* is the number of uncertain parameters) for parametric uncertainty models, and to computing the limit of a sequence (*V*_{k})
_{1}^{∞}
of relative weighted volumes of convex sets in *R*^{k} for nonparametric uncertainty models. We then present and discuss a randomized algorithm based on gas kinetics for probable approximate computation of these volumes. We also review the existing Hit-and-Run family of algorithms for this purpose.

Finally, we introduce the notion of *testability* to describe uncertainty models that can be statistically validated with arbitrary reliability using input-output data records of sufficient (finite) length. It is then shown that some common nonparametric uncertainty models, such as those involving ℓ_{1} or *H*_{∞} norms, do *not* possess this property.