Sciweavers

5510 search results - page 313 / 1102
» Mathematics
Sort
View
ENTCS
2002
66views more  ENTCS 2002»
15 years 6 months ago
Non Truth-Functional Many-Valuedness
Many-valued logics are standardly defined by logical matrices. They are truth-functional. In this paper non truth-functional many-valued semantics are presented, in a philosophica...
Jean-Yves Béziau
NDJFL
2000
97views more  NDJFL 2000»
15 years 6 months ago
Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege's Constraint
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...
Crispin Wright
PC
2000
160views Management» more  PC 2000»
15 years 6 months ago
Parallel algorithms to solve two-stage stochastic linear programs with robustness constraints
In this paper we present a parallel method for solving two-stage stochastic linear programs with restricted recourse. The mathematical model considered here can be used to represe...
Patrizia Beraldi, Lucio Grandinetti, Roberto Musma...
SIAMAM
2000
106views more  SIAMAM 2000»
15 years 6 months ago
Extended Hydrodynamical Model of Carrier Transport in Semiconductors
Abstract. A hydrodynamical model based on the theory of extended thermodynamics is presented for carrier transport in semiconductors. Closure relations for fluxes are obtained by e...
Angelo Marcello Anile, Giovanni Russo, Vittorio Ro...
IJAR
2002
109views more  IJAR 2002»
15 years 6 months ago
The application of the matrix calculus to belief functions
The mathematics of belief functions can be handled with the use of the matrix notation. This representation helps greatly the user thanks to its notational simplicity and its effi...
Philippe Smets