4266 search results - page 272 / 854 » A Framework for Defining Logics |
111
click to vote
JKM
2007
15 years 6 months ago
2007
The paper first deals with the much discussed issue of defining the term informatics. Then it explores how the term information science is understood by the students of the Facult...
142
click to vote
CORR
2009
Springer
15 years 4 months ago
2009
Springer
dels at different abstraction levels; in particular, higher-level (e.g. membrane) activities can be given a formal biological justification in terms of low-level (i.e., protein) in...
177
click to vote
EUROPKI
2009
Springer
15 years 4 months ago
2009
Springer
The trustworthiness of any Public Key Infrastructure (PKI) rests upon the expectations for trust, and the degree to which those expectations are met. Policies, whether implicit as ...
157
click to vote
TWC
2010
15 years 1 months ago
2010
Abstract--In this paper, we propose a novel spectrum occupancy model designed to generate accurate temporal and frequency behavior of various wireless transmissions. Our proposed w...
189
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: A major goal of computational studies of gene regulation is to accurately predict the expression of genes based on the cis-regulatory content of their promoters. The d...