Sciweavers

950 search results - page 90 / 190
» Type Specialization in Aldor
Sort
View
DM
2008
80views more  DM 2008»
13 years 9 months ago
On affine designs and Hadamard designs with line spreads
Rahilly [10] described a construction that relates any Hadamard design H on 4m -1 points with a line spread to an affine design having the same parameters as the classical design ...
Vassili C. Mavron, T. P. McDonough, Vladimir D. To...
APAL
2006
67views more  APAL 2006»
13 years 9 months ago
Pretopologies and a uniform presentation of sup-lattices, quantales and frames
We introduce the notion of infinitary preorder and use it to obtain a predicative presentation of sup-lattices by generators and relations. The method is uniform in that it extend...
Giulia Battilotti, Giovanni Sambin
BMCBI
2006
104views more  BMCBI 2006»
13 years 9 months ago
GNU polyxmass: a software framework for mass spectrometric simulations of linear (bio-)polymeric analytes
Background: Nowadays, a variety of (bio-)polymers can be analyzed by mass spectrometry. The detailed interpretation of the spectra requires a huge number of "hypothesis cycle...
Filippo Rusconi
ENTCS
2006
109views more  ENTCS 2006»
13 years 8 months ago
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior im...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...
IJHPCN
2006
114views more  IJHPCN 2006»
13 years 8 months ago
Improved schemes for power-efficient broadcast in ad hoc networks
: Ad hoc wireless networks are a special type of wireless network in which a collection of mobile hosts (nodes) with wireless network interfaces may form a temporary network withou...
Xiao Chen, Jian Shen