Sciweavers

2763 search results - page 350 / 553
» The Dangerous 'All' in Specifications
Sort
View
AICOM
1999
116views more  AICOM 1999»
15 years 6 months ago
Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models
On-board diagnostic systems play an important role in the current generation of cars and will play an increasingly important role in the next future. The design of on-board diagno...
Fulvio Cascio, Luca Console, Marcella Guagliumi Ma...
INFSOF
2002
89views more  INFSOF 2002»
15 years 6 months ago
Source transformation in software engineering using the TXL transformation system
Many tasks in software engineering can be characterized as source to source transformations. Design recovery, software restructuring, forward engineering, language translation, pl...
James R. Cordy, Thomas R. Dean, Andrew J. Malton, ...
JCC
2002
94views more  JCC 2002»
15 years 6 months ago
Modern protein force fields behave comparably in molecular dynamics simulations
: Several molecular dynamics simulations were performed on three proteins--bovine apo-calbindin D9K, human interleukin-4 R88Q mutant, and domain IIA of bacillus subtilis glucose pe...
Daniel J. Price, Charles L. Brooks III
JCC
2002
74views more  JCC 2002»
15 years 6 months ago
Determination of the effective dielectric constant from the accurate solution of the Poisson equation
: Constant dielectric (CD) and distance-dependent dielectric (DDD) functions are the most popular and widespread in the Molecular Mechanics simulations of large molecular systems. ...
Vladislav Vasilyev
KBS
2002
106views more  KBS 2002»
15 years 6 months ago
Hybrid decision tree
In this paper, a hybrid learning approach named HDT is proposed. HDT simulates human reasoning by using symbolic learning to do qualitative analysis and using neural learning to d...
Zhi-Hua Zhou, Zhaoqian Chen