Sciweavers

4757 search results - page 336 / 952
» Monads for Functional Programming
Sort
View
ICCS
2004
Springer
16 years 1 days ago
A Comparison of C, MATLAB, and Python as Teaching Languages in Engineering
We describe and compare the programming languages C, MATLAB and Python as teaching languages for engineering students. We distinguish between two distinct phases in the process of ...
Hans Fangohr
ACMSE
2006
ACM
15 years 10 months ago
Yaccscript: a platform for intersecting high-level languages
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
John Healey
EH
2004
IEEE
125views Hardware» more  EH 2004»
15 years 10 months ago
Routine High-Return Human-Competitive Evolvable Hardware
This paper reviews the use of genetic programming as an automated invention machine for the synthesis of both the topology and sizing of analog electrical circuits. The paper focu...
John R. Koza, Martin A. Keane, Matthew J. Streeter
176
Voted
TASE
2008
IEEE
15 years 6 months ago
An Extension to Pointer Logic for Verification
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang,...
BMCBI
2008
119views more  BMCBI 2008»
15 years 6 months ago
Snagger: A user-friendly program for incorporating additional information for tagSNP selection
Background: There has been considerable effort focused on developing efficient programs for tagging single-nucleotide polymorphisms (SNPs). Many of these programs do not account f...
Christopher K. Edlund, Won H. Lee, Dalin Li, David...