دانلود مقالات ISI درباره ثابت + ترجمه فارسی

USE: A UML-based specification environment for validating UML and OCL

Keywords: ثابت; UML; OCL; Model; Constraint; Invariant; Pre- and post-conditions; Model validation; Model certification; Model execution

دانلود رایگان متن کامل مقاله ISI 8 صفحه سال انتشار : 2007 سفارش ترجمه

The Daikon system for dynamic detection of likely invariants

Keywords: ثابت; Daikon; Dynamic analysis; Dynamic invariant detection; Inductive logic programming; Inference; Invariant; Likely invariant; Program understanding; Specification; Specification mining

دانلود رایگان متن کامل مقاله ISI 11 صفحه سال انتشار : 2007 سفارش ترجمه

Existence and symmetry of minimax regression designs

Keywords: ثابت; Primary 62K05, 49J35; Secondary 62F35, 62M10; A-optimal design; D-optimal design; Invariant; Polynomial regression; Robust design;

دانلود رایگان متن کامل مقاله ISI 11 صفحه سال انتشار : 2007 سفارش ترجمه

Directed graphs of DNA sequences and their numerical characterization

Keywords: ثابت; DNA; Directed graph; Upper triangular matrix; Invariant

دانلود رایگان متن کامل مقاله ISI 5 صفحه سال انتشار : 2006 سفارش ترجمه

A robust method to recognize critical configuration for camera calibration

Keywords: ثابت; Camera calibration; Invariant; Critical configuration

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2006 سفارش ترجمه

Rotation and scaling invariant texture classification based on Radon transform and multiscale analysis

Keywords: ثابت; Texture classification; Radon transform; Invariant; Wavelet transform

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2006 سفارش ترجمه

Invariants of DNA sequences based on 2DD-curves

Keywords: ثابت; DNA; Invariant; 2DD-Curve; Graphical representation

دانلود رایگان متن کامل مقاله ISI 7 صفحه سال انتشار : 2006 سفارش ترجمه

A page fault equation for modeling the effect of memory size

Keywords: ثابت; Invariant; Memory requirement; Memory allocation; Power control; Capacity planning; Processor cache design; Database buffer management

دانلود رایگان متن کامل مقاله ISI 32 صفحه سال انتشار : 2006 سفارش ترجمه

The rotation class of a flow

Keywords: ثابت; 37B05; 37B45; Flow; Invariant; Solenoid;

دانلود رایگان متن کامل مقاله ISI 8 صفحه سال انتشار : 2005 سفارش ترجمه

Immanantal invariants of graphs

Keywords: ثابت; Primary: 05C50, 05C60, 15A15; Secondary: 05C05, 05C12, 92E10; Adjacency matrix; Alkane; Bipartite graph; Character table; Characteristic function; Chemical graph; Class function; Conjugacy class; Cycle type; Graph; Immanant; Immanantal polynomial; Invaria

دانلود رایگان متن کامل مقاله ISI 9 صفحه سال انتشار : 2005 سفارش ترجمه

Stability of the Gumowski-Mira equation with period-two coefficient

Keywords: ثابت; Difference equation; Invariant; Lyapunov function; Periodic coefficient; Stability;

دانلود رایگان متن کامل مقاله ISI 13 صفحه سال انتشار : 2005 سفارش ترجمه

Role of the inertial eigenvectors in proprioception near the limits of arm adduction range of motion

Keywords: ثابت; 2221; 2320; 2330; Proprioception; Kinesthesis; Inertial eigenvector; Inertia tensor; Invariant; Limb positioning;

دانلود رایگان متن کامل مقاله ISI 13 صفحه سال انتشار : 2005 سفارش ترجمه