Sciweavers

303 search results - page 26 / 61
» Challenging the Mathematics Curriculum
Sort
View
CORR
2010
Springer
92views Education» more  CORR 2010»
13 years 8 months ago
Design and Modeling Billing solution to Next Generation Networks
-------------------------------------------------------------------ABSTRACT----------------------------------------------------------------Next generation networks (NGN) services a...
Kamaljit I. Lakhtaria, N. N. Jani
FTEDA
2006
113views more  FTEDA 2006»
13 years 8 months ago
Languages and Tools for Hybrid Systems Design
The explosive growth of embedded electronics is bringing information and control systems of increasing complexity to every aspects of our lives. The most challenging designs are s...
Luca P. Carloni, Roberto Passerone, Alessandro Pin...
LISP
2008
104views more  LISP 2008»
13 years 8 months ago
On the implementation of automatic differentiation tools
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...
Christian H. Bischof, Paul D. Hovland, Boyana Norr...
JSYML
2002
81views more  JSYML 2002»
13 years 7 months ago
Modulated Fibring and The Collapsing Problem
Fibring is recognized as one of the main mechanisms in combining logics, with great significance in the theory and applications of mathematical logic. However, an open challenge t...
Cristina Sernadas, João Rasga, Walter Alexa...
WINE
2010
Springer
124views Economy» more  WINE 2010»
13 years 5 months ago
A Novel Approach to Propagating Distrust
Trust propagation is a fundamental topic of study in the theory and practice of ranking and recommendation systems on networks. The Page Rank [9] algorithm ranks web pages by propa...
Christian Borgs, Jennifer T. Chayes, Adam Tauman K...