Sciweavers

11949 search results - page 45 / 2390
» Some results on (a:b)-choosability
Sort
View
100
Voted
SYNTHESE
2008
79views more  SYNTHESE 2008»
15 years 18 days ago
Logical dynamics of some speech acts that affect obligations and preferences
ABSTRACT. In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combine...
Tomoyuki Yamada
117
Voted
FUIN
2008
102views more  FUIN 2008»
15 years 7 days ago
Some Aspects of Parsing Expression Grammar
Parsing Expression Grammar (PEG) is a new way to specify syntax, by means of a top-down process with limited backtracking. It can be directly transcribed into a recursive-descent ...
Roman R. Redziejowski
130
Voted
DCC
2011
IEEE
14 years 7 months ago
Some observations on HC-128
In this paper, we use linear approximations of the addition modulo 2n of three n-bit integers to identify linear approximations of g1, g2, the feedback functions of HC-128. This, i...
Subhamoy Maitra, Goutam Paul, Shashwat Raizada, Su...
147
Voted
LFCS
2009
Springer
15 years 7 months ago
Completeness Results for Memory Logics
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
Carlos Areces, Santiago Figueira, Sergio Mera
BMCBI
2010
214views more  BMCBI 2010»
15 years 25 days ago
AutoSOME: a clustering method for identifying gene expression modules without prior knowledge of cluster number
Background: Clustering the information content of large high-dimensional gene expression datasets has widespread application in "omics" biology. Unfortunately, the under...
Aaron M. Newman, James B. Cooper