Sciweavers

2740 search results - page 233 / 548
» Typing the Specialization Interface
Sort
View
APAL
2006
67views more  APAL 2006»
15 years 6 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»
15 years 6 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»
15 years 6 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...
JCST
2006
119views more  JCST 2006»
15 years 6 months ago
Constraint-Based Fuzzy Models for an Environment with Heterogeneous Information-Granules
:- A novel constraint-based fuzzy modeling approach is proposed. Features of the proposed model are enumerated as below. 1)The knowledge base of a constraint-based fuzzy model can ...
K. Robert Lai, Yi-Yuan Chiang
EJC
2007
15 years 6 months ago
Link complexes of subspace arrangements
Abstract. Given a simplicial hyperplane arrangement H and a subspace arrangement A embedded in H, we define a simplicial complex ∆A,H as the subdivision of the link of A induced...
Axel Hultman