Sciweavers

4702 search results - page 115 / 941
» How to Copyright a Function
Sort
View
ICASSP
2010
IEEE
15 years 4 months ago
Simulating dynamic communication systems using the core functional dataflow model
The latest communication technologies invariably consist of modules with dynamic behavior. There exists a number of design tools for communication system design with their foundat...
Nimish Sane, Chia-Jui Hsu, José Luis Pino, ...
BMCBI
2006
118views more  BMCBI 2006»
15 years 4 months ago
Predicting the effect of missense mutations on protein function: analysis with Bayesian networks
Background: A number of methods that use both protein structural and evolutionary information are available to predict the functional consequences of missense mutations. However, ...
Chris J. Needham, James R. Bradford, Andrew J. Bul...
ENTCS
2007
101views more  ENTCS 2007»
15 years 4 months ago
A Framework for Timed Concurrent Constraint Programming with External Functions
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
María Alpuente, Bernhard Gramlich, Alicia V...
RC
2002
70views more  RC 2002»
15 years 3 months ago
On Existence and Uniqueness Verification for Non-Smooth Functions
Given an approximate solution to a nonlinear system of equations at which the Jacobi matrix is nonsingular, and given that the Jacobi matrix is continuous in a region about this ap...
R. Baker Kearfott
FUIN
2010
103views more  FUIN 2010»
15 years 1 months ago
Automation for Dependently Typed Functional Programming
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...
Sean Wilson, Jacques D. Fleuriot, Alan Smaill