Sciweavers

2147 search results - page 96 / 430
» Natural Phenomena Simulation
Sort
View
UC
2005
Springer
15 years 4 months ago
On Model-Checking of P Systems
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
FOCS
1992
IEEE
15 years 2 months ago
Quadratic Dynamical Systems (Preliminary Version)
The main purpose of this paper is to promote the study of computational aspects, primarily the convergence rate, of nonlinear dynamical systems from a combinatorial perspective. W...
Yuri Rabinovich, Alistair Sinclair, Avi Wigderson
DOCENG
2008
ACM
15 years 13 days ago
Towards Brazilian Portuguese automatic text simplification systems
In this paper we investigate the main linguistic phenomena that can make texts complex and how they could be simplified. We focus on a corpus analysis of simple account texts avai...
Sandra M. Aluísio, Lucia Specia, Thiago Ale...
ENTCS
2006
117views more  ENTCS 2006»
14 years 10 months ago
Monadic Second-Order Logic and Transitive Closure Logics over Trees
Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural languages by defining their derivation trees in suitable logical for...
Hans-Jörg Tiede, Stephan Kepser
CANDC
2005
ACM
14 years 10 months ago
Overlapping genes in vertebrate genomes
Overlapping genes in mammalian genomes are unexpected phenomena even though hundreds of pairs of protein coding overlapping genes have been reported so far. Overlapping genes can ...
Izabela Makalowska, Chiao-Feng Lin, Wojciech Makal...