Sciweavers

6833 search results - page 1 / 1367
» Some two-character sets
Sort
View
ENTCS
2006
138views more  ENTCS 2006»
13 years 4 months ago
Some Properties and Some Problems on Set Functors
We study properties of functors on categories of sets (classes) together with set (class) functions. In particular, we investigate the notion of inclusion preserving functor, and ...
Daniela Cancila, Furio Honsell, Marina Lenisa
ENTCS
2010
118views more  ENTCS 2010»
13 years 2 months ago
Fragments-based Model Reduction: Some Case Studies
Molecular biological models usually suffer from a dramatic combinatorial blow up. Indeed, proteins form complexes and can modify each others, which leads to the formation of a hug...
Jérôme Feret
MLQ
2011
12 years 7 months ago
Coding into HOD via normal measures with some applications
We develop a new method for coding sets while preserving gch in the presence of large cardinals, particularly supercompact cardinals. We will use the number of normal measures carr...
Arthur W. Apter, Shoshana Friedman
CHI
2011
ACM
12 years 8 months ago
Some like it hot: thermal feedback for mobile devices
Thermal stimulation is a rich, emotive and salient feedback channel that is well suited to HCI, but one that is yet to be fully investigated. Thermal feedback may be suited to env...
Graham Wilson, Martin Halvey, Stephen A. Brewster,...
ENASE
2011
219views Hardware» more  ENASE 2011»
12 years 4 months ago
Mutation Selection: Some Could be Better than All
In previous research, many mutation selection techniques have been proposed to reduce the cost of mutation analysis. After a mutant subset is selected, researchers could obtain a t...
Zhiyi Zhang, Dongjiang You, Zhenyu Chen, Yuming Zh...