First-literal hyper-resolution (FLH) is a reenement of ordinary hyper-resolution in that positive clauses are only resolved upon their rst literals. In this respect, positive literals are ordered in every clause, but negative literals are not. Due to the ordering of literals in this resolution method, standard techniques for demonstrating ground completeness have proven ineeective. In this pape...

Introduction We previously described a new autosomal recessively inherited autoinflammatory syndrome in two Turkish patients, who were second-degree cousins. Their clinical features included recurrent inflammatory attacks lasting 3-10 days since the first year of life, which are characterized by fever, erythematous or urticarial rash with hyperesthesia, serositis and edema on the face and extre...

The Mobile Games 2010 report looks at how mobile gaming could be like in year 2010 from three points of view: games and players, technology, and business. The study was done by interviewing about 20 mobile game publishers, developers, operators, and inviting experts to write articles on the topic. The invited articles are attached in the end. The report reflects the opinions of the interviewees...

Methods All consecutive, consenting patients, aged 18-55, arriving at the FMF outpatient clinic and fulfilling the Tel Hashomer criteria for FMF, were included in the study. Patient allocation into study or control groups was based on the presence or absence of ELP, respectively. Following a detailed clinical, laboratory and genetic workup, randomly selected patients (in a ratio of 1:3 in the s...

In this paper we consider a model where agents interact participating to projects in order to maximize their profit. We integrate the results of two human subjects experiments with the results of artificial agent simulations. A relevant feature emerging from the social dynamics of the human societies we analyzed is the aggregation in a single connected network of interacting individuals where s...

In a recent paper [1], we performed a variety of analyses upon user traces collected in the Boston University Computer Science department in 1995 and 1998. A sanitized version of the 1995 trace has been publicly available for some time; the 1998 trace has now been sanitized, and is available from: http://www.cs.bu.edu/techreports/1999-011-usertrace-98.gz ftp://ftp.cs.bu.edu/techreports/1999-011...