-
521
The Optimal Quadrature Formula of Approximate Calculation of Curvilinear Integral of First Kind for Some Classes of Functions and Curves
Published 2013-06-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
522
Service choreography in semantic service-oriented architecture
Published 2008-03-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
523
О работе семинара «Нелинейная динамика»
Published 2014-02-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
524
Stability of the Simplest Periodic Solutions in the Stuart–Landau Equation with Large Delay
Published 2015-02-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
525
On the Jackson type inequality in the dyadic BMO space
Published 2009-09-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
526
Явление буферности в одном уравнении маятникового типа
Published 2007-06-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
527
On the Equilibrium State Stability of a Neural Network Model
Published 2014-06-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
528
A Substitution Algorithm for Dataflow Network Agents on Smart-M3 Platform
Published 2013-08-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
529
The Decomposition of a Train into its Cars
Published 2011-06-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
530
Stationary States of a Delay Differentional Equation of Insect Population’s Dynamics
Published 2015-03-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
531
Safety Analysis of Longitudinal Motion Controllers during Climb Flight
Published 2019-12-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
532
Cascaded Systems of Phase-Locked Loops Chaotic Syncronization
Published 2009-12-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
533
Polyprograms and Polyprogram Bisimulation
Published 2018-10-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
534
Towards Null Safety Benchmarks for Object Initialization
Published 2017-12-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
535
Comparison of pre-trained models for domain-specific entity extraction from student report documents
Published 2025-03-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
536
Identification of Programs Based on the Behavior
Published 2014-12-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
537
On Safety of Unary and Non-unary IFP-operators
Published 2018-10-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
538
Invariant Elimination of Definite Iterations over Arrays in C Programs Verification
Published 2017-12-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
539
Using SPIN for Verification of Multi-agent Data Analysis
Published 2014-12-01“…Моделирование и анализ информационных систем…”
Get full text
Article -
540
Andronov-Hopf Bifurcation for Relay Systems
Published 2007-06-01“…Моделирование и анализ информационных систем…”
Get full text
Article