Sciweavers

10271 search results - page 306 / 2055
» Computational science
Sort
View
147
Voted
FOCS
1990
IEEE
15 years 11 months ago
Security Preserving Amplification of Hardness
Oded Goldreich, Russell Impagliazzo, Leonid A. Lev...
FOCS
1990
IEEE
15 years 11 months ago
Decision Problems for Propositional Linear Logic
Patrick Lincoln, John C. Mitchell, Andre Scedrov, ...
106
Voted
GG
1990
Springer
15 years 11 months ago
Dactl: An Experimental Graph Rewriting Language
John R. W. Glauert, Richard Kennaway, M. Ronan Sle...
137
Voted
ACMSE
2007
ACM
15 years 11 months ago
PERIODIC: state-of-the-art array imaging technology
R. Barnard, B. Gray, J. van der Gracht, M. Mirotzn...
ACMSE
2007
ACM
15 years 11 months ago
Higher-order functional programming and wildcards in java
Categories and Subject Descriptors General Terms Keywords
Nattawut Sridranop, Ryan Stansifer