Sciweavers

1742 search results - page 73 / 349
» An Applicative Module Calculus
Sort
View
ISCAS
2005
IEEE
229views Hardware» more  ISCAS 2005»
14 years 4 months ago
Comparison of two class E amplifiers for EER transmitter
- This paper compares two types of class E power amplifier and studies their applicability in EER (Envelope Elimination and Restoration) transmitter. In EER applications one of the...
Antti Heiskanen, Timo Rahkonen
WSC
2000
13 years 11 months ago
Optimizing earthmoving operations using object-oriented simulation
This paper presents an automated system for optimizing earthmoving operations. The proposed system can assist earthmoving contractors, during bid preparation stage, in estimating ...
Mohamed Marzouk, Osama Moselhi
SYNTHESE
2008
90views more  SYNTHESE 2008»
13 years 10 months ago
The modular structure of physical theories
Anyadvancedtheoryofphysicscontainsmodulesdefinedasessentialcomponents that are themselves theories with different domains of application. Different kinds of modules can be distingu...
Olivier Darrigol
IROS
2006
IEEE
581views Robotics» more  IROS 2006»
14 years 4 months ago
A 3D Fax Machine based on Claytronics
Abstract— This paper presents a novel application of modular robotic technology. Many researchers expect manufacturing technology will allow robot modules to be built at smaller ...
Padmanabhan Pillai, Jason Campbell, Gautam Kedia, ...
ESOP
2010
Springer
14 years 7 months ago
Stateful Contracts for Affine Types
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...
Jesse A. Tov, Riccardo Pucella