Sciweavers

1407 search results - page 226 / 282
» Towards Usable Analysis, Design and Modeling Tools
Sort
View
JCC
2007
127views more  JCC 2007»
15 years 5 months ago
Prediction of GFP spectral properties using artificial neural network
Abstract: In this study, we applied artificial neural network, implementing the backpropagation algorithm, for the prediction of the excitation and emission maxima of green fluores...
Chanin Nantasenamat, Chartchalerm Isarankura-Na-Ay...
POPL
2012
ACM
14 years 1 months ago
Run your research: on the effectiveness of lightweight mechanization
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
Casey Klein, John Clements, Christos Dimoulas, Car...
BMCBI
2006
91views more  BMCBI 2006»
15 years 6 months ago
Cheminformatics methods for novel nanopore analysis of HIV DNA termini
Background: Channel current feature extraction methods, using Hidden Markov Models (HMMs) have been designed for tracking individual-molecule conformational changes. This informat...
Stephen Winters-Hilt, Matthew Landry, Mark Akeson,...
TASE
2008
IEEE
15 years 5 months ago
Modeling and Supervisory Control of Railway Networks Using Petri Nets
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
Alessandro Giua, Carla Seatzu
DFG
2007
Springer
16 years 3 days ago
A Framework for Visualizing Multivariate Geodata
: In urban planning, sophisticated simulation models are key tools to estimate future population growth for measuring the impact of planning decisions on urban developments and the...
Ariane Middel