Научные статьи \ Прикладные науки. Медицина. Технология

Oтрасли промышленности и ремесла для изготовления и обработки различных изделий - 68

Научные статьи

В разделе "Oтрасли промышленности и ремесла для изготовления и обработки различных изделий"
Программное обеспечение для создания адаптивных сеток
Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем
Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits)
The study into "Cross-Site Request Forgery" attacks within the framework of analysis of software vulnerabilities
A flat chart technique for embedded OS testing
Designing variability models for software, operating systems and their families
Обзор расширяемого протокола аутентификации и его методов
Синтаксический анализ графов с использованием конъюнктивных грамматик
Проблема отката в ориентированной распределенной системе
Активное обучение и краудсорсинг: обзор методов оптимизации разметки данных
Анализ баллистокардиограммы на граничных вычислительных узлах
Моделирование осесимметричных течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 в программном комплексе Kratos с открытым кодом
Автоматизированная генерация декодеров машинных команд
Алгоритм удаления невидимых поверхностей на основе программных проверок видимости
Methods of protecting decentralized autonomous organizations from crashes and attacks
Cryptographic stack machine notation one
Verification of system on chip integrated communication controllers
Buffer overflow detection via static analysis: expectations vs. reality
Analysis of mathematical formulations of capacitated vehicle routing problem and methods for their solution
Static dependency analysis for semantic data validation
Simulating behavior of multi-agent systems with acyclic interactions of agents
On the model checking of finite state transducers over semigroups
Extracting architectural information from source code of ARINC 653-compatible application software using CEGAR-based approach
On the verification of strictly deterministic behavior of timed finite state machines
Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах
Stealth debugging of programs in QEMU emulator with WinDbg debugger
Анализ методов оценки надежности оборудования и систем. Практика применения методов
A static approach to estimation of execution time of components in AADL models
Сертифицируемая бортовая операционная система реального времени JetOS для российских проектов воздушных судов
Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении
Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода "2 из 4"
Клинический аудит качества медицинской помощи больным артериальной гипертонией в поликлинике города Саратова с использованием компьютерной информационно-аналитической системы
Применение компьютерного моделирования при хирургическом лечении переломов проксимального отдела бедренной кости
Оценка морфологических изменений твердых зубных тканей, обработанных лазером и ротационными инструментами с помощью ультразвукового электронного микроскопа
Профилактика нарушений фонетической адаптации при изготовлении несъемных ортопедических конструкций
Методика формирования рельефа промывного пространства под телом мостовидного протеза для улучшения гигиенического ухода за несъемными ортопедическими конструкциями
Современные методы контроля фонетической адаптации пациентов к ортопедическим конструкциям зубных протезов
Биологические эффекты импульсного электротока по данным лабораторных испытаний электрошоковых устройств
Оценка тяжести состояния и прогнозирование течения заболевания при язвенных гастродуоденальных кровотечениях
Тепловизионная регистрация дефекаций и уринаций при оценке психоэмоционального состояния экспериментальных биообъектов в открытых аренах поведенческих тестов
QR-код для установки приложения SciUp Наведите камеру и скачайте бесплатное приложение SciUp