Sciweavers

3595 search results - page 518 / 719
» Roles of Program Extension
Sort
View
NAR
2007
260views more  NAR 2007»
15 years 4 months ago
WoLF PSORT: protein localization predictor
WoLF PSORT is an extension of the PSORT II program for protein subcellular location prediction. WoLF PSORT converts protein amino acid sequences into numerical localization featur...
Paul Horton, Keun-Joon Park, Takeshi Obayashi, Nao...
FUIN
2010
97views more  FUIN 2010»
15 years 3 months ago
Game Solution, Epistemic Dynamics and Fixed-Point Logics
Abstract. Current methods for solving games embody a form of “procedural rationality” that invites logical analysis in its own right. This paper is a brief case study of Backwa...
Johan van Benthem, Amélie Gheerbrant
POPL
2010
ACM
15 years 2 months ago
S-Net for multi-memory multicores
S-NET is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream pr...
Clemens Grelck, Jukka Julku, Frank Penczek
IPPS
2010
IEEE
15 years 2 months ago
Parallelization of tau-leap coarse-grained Monte Carlo simulations on GPUs
The Coarse-Grained Monte Carlo (CGMC) method is a multi-scale stochastic mathematical and simulation framework for spatially distributed systems. CGMC simulations are important too...
Lifan Xu, Michela Taufer, Stuart Collins, Dionisio...
DSL
2009
15 years 2 months ago
Varying Domain Representations in Hagl
Abstract. Experimental game theory is an increasingly important research tool in many fields, providing insight into strategic behavior through simulation and experimentation on ga...
Eric Walkingshaw, Martin Erwig