 IDEALS Home
 →
 Browse by Title
Browse by Title
Now showing items 80128031 of 86357

(2007)While the objective is to explore alternative damage mechanisms due to ultrasound, the work is not restricted as such. Indeed, the work is concerned with surface tension driven singularities at fluid interface in general. ...
application/pdf
PDF (2MB) 
(1992)A boundary integral/spectral element technique was developed to solve the unsteady NavierStokes equations and the steady convective transport equation. A semiimplicit formulation of the temporal integration rendered a ...
application/pdf
PDF (7MB) 
(1999)Hydrocarbon bilayers on Pt(111) are an ideal model system for studying the dynamics of molecules in organic thin films. These adsorbates form a wellordered and welldefined molecular assembly. While maintaining a ...
application/pdf
PDF (7MB) 
(Coordinated Science Laboratory, University of Illinois at UrbanaChampaign, 197201)
application/pdf
PDF (83MB) 
application/pdf
PDF (2MB) 
(Illinois State Water Survey, 1980)
application/pdf
PDF (5MB) 
(1991)An efficient method has been developed for the fast solution of the boundary problems of Poisson's equation on irregular as well as regular domains. The method, called the boundary methodbased domain decomposition or BMDD, ...
application/pdf
PDF (5MB) 
(1993)Boundary Modeling was used to analyze the subsurface flow of treated sewage effluent from a subirrigation line to a subsurface drain line. This type of flow exists at the wastewater treatment facility at Tuscola, Illinois, ...
application/pdf
PDF (5MB) 
(20090208)Describes a possible agenda for exploring the use of boundary objects in hybrid commercial/opensource software development firms.
application/pdf
PDF (71kB) 
(1969)
application/pdf
PDF (3MB) 
(1958)
application/pdf
PDF (2MB) 
(2005)Markovian modeling of systems is a promising technique used to gauge the performance, dependability, and performability of systems. It can be used to aid design decisions by evaluating a range of design options for a range ...
application/pdf
PDF (7MB) 
(Coordinated Science Laboratory, University of Illinois at UrbanaChampaign, 200503)
application/pdf
PDF (5MB) 
(Coordinated Science Laboratory, University of Illinois at UrbanaChampaign, 196711)
application/pdf
PDF (15MB) 
(200504)Network simulators perform well in evaluating the performance of network protocols, but lack the capability of verifying their correctness. In order to address this lacuna, we have extended the J Sim network simulator ...
application/pdf
PDF (185kB) 
(2005)Moreover, in both cases above we give a characterization of dividing.
application/pdf
PDF (2MB) 
(Coordinated Science Laboratory. University of Illinois at UrbanaChampaign., 201502)Simulationbased verification algorithms can provide formal safety guarantees for nonlinear and hybrid systems. The previous algorithms rely on userprovided model annotations called “discrepancy functions,” which are ...
application/pdf
PDF (475kB) 
(Coordinated Science Laboratory, University of Illinois at UrbanaChampaign, 198706)
application/pdf
PDF (30MB) 
(1981)We study binary errorcorrecting and errordetecting codes suitable for use on a completely asymmetric or Z channel. This channel accepts inputs of 0 and 1 and reproduces these faithfully as outputs, except that occasionally ...
application/pdf
PDF (3MB) 
application/pdf
PDF (3MB)
Now showing items 80128031 of 86357