Search
Didn't find any results in this catalog!
But we have some results in other catalogs.Filters
total: 12408
-
Catalog
- Publications 10963 available results
- Journals 156 available results
- Conferences 19 available results
- People 189 available results
- Inventions 4 available results
- Projects 46 available results
- Laboratories 7 available results
- Research Teams 13 available results
- Research Equipment 11 available results
- e-Learning Courses 352 available results
- Events 28 available results
- Offers 1 available results
- Open Research Data 619 available results
displaying 1000 best results Help
Search results for: MODEMY
-
Journal of Modern Science
Journals -
An optimal abstraction model for hardware multithreding in modern processor architectures.
PublicationPrzegląd technologii implementacji wątków sprzętowych. Propozycja abstrakcji maszyny wirtualnej SIMD (On-Demand Virtual Single Instruction Multiple Data machine) do optymalnego użycia wątków sprzętowych.
-
Uniform Model Interface for Assurance Case Integration with System Models
PublicationAssurance cases are developed and maintained in parallel with corresponding system models and therefore need to reference each other. Managing the correctness and consistency of interrelated safety argument and system models is essential for system dependability and is a nontrivial task. The model interface presented in this paper enables a uniform process of establishing and managing assurance case references to various types...
-
Consensus models: Computational complexity aspects in modern approaches to the list coloring problem
PublicationArtykuł poświęcony jest nowym modelom konsensusowego kolorowania grafów. Artykuł zawiera omówienie trzech takich modeli, analizę ich złożoności obliczeniowej oraz wielomianowy algorytm dla częściowych k-drzew, dla tzw. modelu addytywnego.
-
Protochlorophyllide and protochlorophyll in model membranes — An influence of hydrophobic side chain moiety
Publication -
Spurious Modes in Model Order Reduction in Variational Problems in Electromagnetics
PublicationIn this work, we address an everlasting issue in 2 model order reduction (MOR) in electromagnetics that has 3 remained unnoticed until now. Contrary to what has been 4 previously done, we identify for the very first time spurious 5 modes in MOR for time-harmonic Maxwell’s equations and 6 propose a methodology to remove their negative influence on the 7 reduced order model (ROM) response. These spurious modes 8 have nonzero resonance...
-
Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain
PublicationThe approach towards system engineering compliant to Model-Driven Architecture (MDA) implies an increased need for research on the automation of the model-based test generation. This applies especially to embedded real-time system development where safety critical requirements must be met by a system. The following paper presents a methodology to derive basic Simulink test models from Simulink system models so as to execute them...
-
Recent advances in traffic optimisation: systematic literature review of modern models, methods and algorithms
PublicationOver the past few decades, the increasing number of vehicles and imperfect road traffic management have been sources of congestion in cities and reasons for deteriorating health of its inhabitants. With the help of computer simulations, transport engineers optimise and improve the capacity of city streets. However, with an enormous number of possible simulation types, it is difficult to grasp valuable, innovative solutions which...
-
Integracja modeli ocenowych rozwoju organizacji IT w modelu pozyskiwania i przetwarzania wiedzy
PublicationCelem rozdziału jest prezentacja Modelu Pozyskiwania i Przetwarzania wiedzy (MPPW) wspomagającego rozwój organizacji IT oraz pokazanie możliwości wprowadzenia do opracowanego rozwiązania różnych modeli ocenowych.
-
Hybrid of Neural Networks and Hidden Markov Models as a modern approach to speech recognition systems
PublicationThe aim of this paper is to present a hybrid algorithm that combines the advantages ofartificial neural networks and hidden Markov models in speech recognition for control purpos-es. The scope of the paper includes review of currently used solutions, description and analysis of implementation of selected artificial neural network (NN) structures and hidden Markov mod-els (HMM). The main part of the paper consists of a description...