The Analysis of the Synthetic Range Profile Based on Doppler Filter Bank using FFT (2009)
Wei Peng, Xuegang Wang, Kesong Chen, Bin Tang
A wideband imaging architecture based on subbanding and Doppler filter bank using FFT is developed and its performance is analyzed in detail. The theoretical analysis shows that owing to Doppler...
A Critical Note on Stable Model Semantics (2007)
In this paper, we argue that both the stable model semantics and its three-valued version are conceptually flawed. 1
SNP mining porcine ESTs with MAVIANT, a novel tool for SNP evaluation and annotation (2007)
Panitz, Frank, Stengaard, Henrik, Hornshøj, Henrik, Gorodkin, Jan, Hedegaard, Jakob, Cirera, Susanna, ...
Motivation: Single nucleotide polymorphisms (SNPs) analysis is an important means to study genetic variation. A fast and cost-efficient approach to identify large numbers of novel candidates is the...
Gorodkin, Jan, Cirera, Susanna, Hedegaard, Jakob, Gilchrist, Michael J, Panitz, Frank, Jørgensen, Claus, ...
Background Knowledge of the structure of gene expression is essential for mammalian transcriptomics research. We analyzed a collection of more than one million porcine expressed sequence tags (ESTs),...
2007 Gorodkin et Volume al. 8, Issue 4, Article R45 Open Access (2007)
Jan Gorodkin, Susanna Cirera, Jakob Hedegaard, Michael J Gilchrist, Frank Panitz, Claus Jørgensen, ...
Porcine transcriptome analysis based on 97 non-normalized cDNA libraries and assembly of 1,021,891 expressed sequence tags
Negation in Logic and Deductive Databases (1999)
This thesis studies negation in logic and deductive databases. Among other things, two kinds of negation are discussed in detail: strong negation and nonmonotonic negation. In the logic part, we have...
A Variant of Thomason's First-Order Logic CF Based on Situations (1998)
In this paper, we define a first-order logic CFʹ with strong negation and bounded static quantifiers, which is a variant of Thomason's logic CF. For the logic CFʹ, the usual Kripke formal semantics...
Quasi-stable semantics for logic programs (1998)
scholarship. In this paper, we describe a new semantics for logic programs and deductive databases which we term the "quasi-stable semantics". This has the following features (i)...
A Variant of Thomason's First-order Logic CF Based on Situations (1998)
In this paper, we define a first-order logic CF 0 with strong negation and bounded static quantifiers, which is a variant of Thomason's logic CF . For the logic CF 0 , the usual Kripke formal...
Quasi-Stable Semantics of Logic Programs (1998)
this paper, we introduce a new semantic theory for logic programs. We choose the Well-Founded Semantics (WFS) [23] as our starting point because it has many desirable features. For any logic program...
A Variant of Thomason's First-order Logic CF Based On Situations (1997)
In this paper, we define a first-order logic CF 0 with strong negation and bounded classical quantifiers, which is a variant of Thomason's logic CF . For the logic CF 0 , the usual Kripke formal...
Gorodkin, Jan, Cirera, Susanna, Hedegaard, Jakob, Gilchrist, Michael J, Panitz, Frank, Jørgensen, Claus, ...
A resource consisting of one million porcine ESTs is described, providing an essential resource for annotation, comparative genomics, assembly of the pig genome sequence, and further porcine...