Sciweavers

5863 search results - page 112 / 1173
» Calculating Functional Programs
Sort
View
JCC
2011
105views more  JCC 2011»
14 years 9 months ago
Wordom: A user-friendly program for the analysis of molecular structures, trajectories, and free energy surfaces
Abstract: Wordom is a versatile, user-friendly, and efficient program for manipulation and analysis of molecular structures and dynamics. The following new analysis modules have b...
Michele Seeber, Angelo Felline, Francesco Raimondi...
113
Voted
BMCBI
2008
151views more  BMCBI 2008»
15 years 2 months ago
Application of the Linux cluster for exhaustive window haplotype analysis using the FBAT and Unphased programs
Background: Genetic association studies have been used to map disease-causing genes. A newly introduced statistical method, called exhaustive haplotype association study, analyzes...
Hiroyuki Mishima, Andrew C. Lidral, Jun Ni
ICFP
1997
ACM
15 years 6 months ago
The Development of Erlang
This paper describes the development of the programming language Erlang during the period 1985-1997. Erlang is a concurrent programming language designed for programming large-sca...
Joe L. Armstrong
ICECCS
2006
IEEE
140views Hardware» more  ICECCS 2006»
15 years 8 months ago
Inference of Design Pattern Instances in UML models via Logic Programming
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
Dae-Kyoo Kim, Lunjin Lu
IACR
2011
104views more  IACR 2011»
14 years 2 months ago
Collusion Resistant Obfuscation and Functional Re-encryption
Program Obfuscation is the problem of transforming a program into one which is functionally equivalent, yet whose inner workings are completely unintelligible to an adversary. Des...
Nishanth Chandran, Melissa Chase, Vinod Vaikuntana...