Sciweavers

79 search results - page 3 / 16
» Universal Languages and the Power of Diagonalization
Sort
View
CPHYSICS
2006
103views more  CPHYSICS 2006»
13 years 7 months ago
WATERWAVES: wave particles dynamics on a complex triatomic potential
The WATERWAVES program suite performs complex scattering calculations by propagating a wave packet in a complex, full-dimensional potential for non-rotating (J = 0) but vibrating ...
Simone Taioli, Jonathan Tennyson
MCU
1998
119views Hardware» more  MCU 1998»
13 years 8 months ago
DNA Computing Based on Splicing: Universality Results
The paper extends some of the most recently obtained results on the computational universality of speci c variants of H systems (e.g. with regular sets of rules) and proves that we...
Gheorghe Paun
DBPL
2007
Springer
83views Database» more  DBPL 2007»
14 years 1 months ago
Succinctness of Pattern-Based Schema Languages for XML
Martens et al. defined a pattern-based specification language equivalent in expressive power to the widely adopted XML Schema definitions (XSDs). This language consists of rules...
Wouter Gelade, Frank Neven
GPCE
2003
Springer
14 years 16 days ago
ANEMIC: Automatic Interface Enabler for Model Integrated Computing
A domain-specific language provides domain experts with a abstraction for creating computer programs. As more and more domains embrace computers, programmers are tapping into this...
Steven Nordstrom, Shweta Shetty, Kumar Gaurav Chho...
POPL
1995
ACM
13 years 11 months ago
Compiling Polymorphism Using Intensional Type Analysis
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this forces a compiler to use universal representations eve...
Robert Harper, J. Gregory Morrisett