Sciweavers

5510 search results - page 854 / 1102
» Mathematics
Sort
View
ENTCS
2008
80views more  ENTCS 2008»
15 years 6 months ago
Idempotents in Dagger Categories: (Extended Abstract)
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories were studied by Abramsky a...
Peter Selinger
ENVSOFT
2008
115views more  ENVSOFT 2008»
15 years 6 months ago
Adaptive fuzzy modeling versus artificial neural networks
In this paper two areas of soft computing (fuzzy modeling and artificial neural networks) are discussed. Based on the fundamental mathematical similarity of fuzzy technique and ra...
Ralf Wieland, Wilfried Mirschel
EOR
2008
78views more  EOR 2008»
15 years 6 months ago
Managing the overflow of intensive care patients
Abstract. Many hospitals in the Netherlands are confronted with capacity problems at their Intensive Care Units (ICUs) resulting in cancelling operations, overloading the staff wit...
Nelly Litvak, Marleen van Rijsbergen, Richard J. B...
EOR
2008
83views more  EOR 2008»
15 years 6 months ago
Rerouting tunnels for MPLS network resource optimization
In Multi-Protocol Label Switching (MPLS) networks, traffic demands can be routed along tunnels called Label Switched Paths (LSPs). A tunnel is characterized by a path in the netwo...
Olivier Klopfenstein
FAC
2008
97views more  FAC 2008»
15 years 6 months ago
A functional formalization of on chip communications
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
Julien Schmaltz, Dominique Borrione