Sciweavers

1209 search results - page 198 / 242
» Universal Algebra and Computer Science
Sort
View
CPHYSICS
2008
88views more  CPHYSICS 2008»
13 years 8 months ago
Simulation approaches to soft matter: Generic statistical properties vs. chemical details
The relation between atomistic structure, architecture, molecular weight and material properties is a basic concern of modern soft material science. This by now goes far beyond st...
Matej Praprotnik, Christoph Junghans, Luigi Delle ...
ENTCS
2006
121views more  ENTCS 2006»
13 years 8 months ago
A Hierarchy of SOS Rule Formats
nary abstract) Jan Friso Groote 1 MohammadReza Mousavi 2 Michel A. Reniers 3 Department of Computer Science, Eindhoven University of Technology (TU/e), P.O. Box 513, NL-5600 MB Ein...
Jan Friso Groote, Mohammad Reza Mousavi, Michel A....
JUCS
2008
144views more  JUCS 2008»
13 years 8 months ago
Applications of Mash-ups for a Digital Journal
: The WWW is currently experiencing a revolutionary growth due to numerous emerging tools, techniques and concepts. Digital journals thus need to transform themselves to cope with ...
Muhammad Salman Khan, Narayanan Kulathuramaiyer, H...
ENTCS
2007
126views more  ENTCS 2007»
13 years 8 months ago
Nominal Reasoning Techniques in Coq: (Extended Abstract)
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
Brian E. Aydemir, Aaron Bohannon, Stephanie Weiric...
MP
2008
135views more  MP 2008»
13 years 8 months ago
A path to the Arrow-Debreu competitive market equilibrium
: We present polynomial-time interior-point algorithms for solving the Fisher and Arrow-Debreu competitive market equilibrium problems with linear utilities and n players. Both of ...
Yinyu Ye