Filters
total: 2110
-
Catalog
displaying 1000 best results Help
Search results for: UNIFIED MODELING LANGUAGE
-
Modeling pragmatics for visual modeling language evaluation
PublicationPodczas oceny użyteczności języków modelowania wizualnego istnieje potrzeba uwzględnienia ich pragmatyki. Języki modelowania wizualnego mogą być stosowane w różnym kontekście, co powoduje różnice w wymaganiach, które są im stawiane. Jawny opis kontekstu użycia ułatwia precyzyjną ocenę. Pragmatyka składa się ze zbioru profili, które opisują konkretne konteksty użycia. W referacie podjęto próbę zastosowania modeli zadań do opisu...
-
A methodology of visual modeling language evaluation
PublicationMetody oceny jakości metod modelowania są istotnym elementem inżynierii języków modelowania wizualnego. W referacie zaproponowano metodę oceny języków modelowania wizualnego na podstawie wymiarów poznawczych. Zaprezentowano metodologiczną dyskusję zastosowania nauk psychologicznych do oceny metod modelowania, metodologię CD-VML, powiązaną z nią metodę CD-VML-UC do oceny przypadków użycia oraz weryfikację metodologii.
-
Application of virtual reality modeling language for 3D seafloor imaging.
PublicationW artykule przedstawiono koncepcję wykorzystania języka opisu wirtualnej rzeczywistości do trójwymiarowej wizualizacji objektów znajdujących się na dnie morskim w zastosowaniu do danych pochodzących z systemów hydroakustycznych. W szczególności zaprezentowano technikę tworzenia trójwymiarowych scen przeznaczonych do szerokiego udostępniania w sieci Internet.
-
Submerged object imaging using virtual reality modeling language.
PublicationArtykuł przedstawia sposób wykorzystania języka opisu wirtualnej rzeczywistości w archeologii podwodnej. Przedstawiono propozycję wizualizacji objektów znajdujących się na dnie morskim, a w szczególności zaprezentowano technikę rekonstrukcji obrazu trójwymiarowego z danych pochodzących z sonaru wielowiązkowego.
-
Evaluation of Multimedia Stream Processing Modeling Language from the Perspective of Cognitive Dimensions
PublicationW referacie zawarto opis zastosowania wymiarów poznawczych do oceny języka modelowania przetwarzania strumieni multimedialnych, nazwanego MSP-ML, w trakcie tworzenia tego języka. Poszczególne części referatu prezentują kontekst i motywacje oceny MSP-ML, metodę oceny, rezultaty oceny oraz porównanie rezultatów oceny z wynikami otrzymanymi za pomocą innych metod oceny języków modelowania wizualnego.
-
Genre-Based Music Language Modeling with Latent Hierarchical Pitman-Yor Process Allocation
PublicationIn this work we present a new Bayesian topic model: latent hierarchical Pitman-Yor process allocation (LHPYA), which uses hierarchical Pitman-Yor pr ocess priors for both word and topic distributions, and generalizes a few of the existing topic models, including the latent Dirichlet allocation (LDA), the bi- gram topic model and the hierarchical Pitman-Yor topic model. Using such priors allows for integration of -grams with a topic model,...
-
Genre-Based Music Language Modeling with Latent Hierarchical Pitman-Yor Process Allocation
PublicationIn this work we present a new Bayesian topic model: latent hierarchical Pitman-Yor process allocation (LHPYA), which uses hierarchical Pitman-Yor pr ocess priors for both word and topic distributions, and generalizes a few of the existing topic models, including the latent Dirichlet allocation (LDA), the bi- gram topic model and the hierarchical Pitman-Yor topic model. Using such priors allows for integration of -grams with a topic...
-
Exact-match Based Wikipedia-WordNet Integration
PublicationAbility to link between WordNet synsets and Wikipedia articles allows usage of those resources by computers during natural language processing. A lot of work was done in this field, however most of the approaches focus on similarity between Wikipedia articles and WordNet synsets rather than creation of perfect matches. In this paper we proposed a set of methods for automatic perfect matching generation. The proposed methods were...
-
Hydrodynamic reanalysis of water temperature and salinity in the Baltic Sea using the PM3D model
Open Research DataThe dataset contains the results of numerical modeling of water temperature and salinity in the Baltic Sea since 1998. A long-term reanalysis was performed using the three-dimensional hydrodynamic model PM3D (Kowalewski and Kowalewska-Kalkowska, 2017), a new version of the M3D model (Kowalewski, 1997). A numerical dynamic-thermodynamic model of sea...
-
A model-based approach to analysis of authentication protocols.
PublicationW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
Hydrodynamic reanalysis of currents in the Baltic Sea using the PM3D model
Open Research DataThe dataset contains the results of numerical modeling of currents in the Baltic Sea since 1998. A long-term reanalysis was performed using a three-dimensional hydrodynamic model PM3D (Kowalewski and Kowalewska-Kalkowska, 2017), a new version of the M3D model (Kowalewski, 1997).
-
Hydrodynamic reanalysis of ice conditions in the Baltic Sea using the PM3D model
Open Research DataThe dataset contains the results of numerical modeling of sea ice in the Baltic Sea since 1998. A long-term reanalysis was performed using the three-dimensional hydrodynamic model PM3D (Kowalewski and Kowalewska-Kalkowska, 2017), a new version of the M3D model (Kowalewski, 1997). A numerical dynamic-thermodynamic model of sea ice (Herman et al. 2011)...
-
Computer Controlled Systems Lab - 2023/2024
e-Learning CoursesComputer Controlled Systems Lab The course includes 5 individual projects and their laboratory implementation. The topics:- Job analysis and tuning digital servo- Usage of a PC computer and MatLab package for controlling the dynamic object as a model of the tethered helicopter- Use of C language and the PC to control the plant in real time- Use of assembly language, and a microcontroller to control the plant in real time- Use...
-
Computer Controlled Systems Lab - Nowy - Nowy
e-Learning CoursesComputer Controlled Systems Lab The course includes 5 individual projects and their laboratory implementation. The topics:- Job analysis and tuning digital servo- Usage of a PC computer and MatLab package for controlling the dynamic object as a model of the tethered helicopter- Use of C language and the PC to control the plant in real time- Use of assembly language, and a microcontroller to control the plant in real time- Use...
-
Hydrodynamic reanalysis of sea level in the Baltic Sea using the PM3D model
Open Research DataThe data set contains the results of numerical modelling of sea level fluctuations in the Baltic Sea in the Baltic Sea since 1998. A long-term reanalysis was performed using a three-dimensional hydrodynamic model PM3D (Kowalewski and Kowalewska-Kalkowska, 2017), a new version of the M3D model (Kowalewski, 1997).
-
Koncepcja i modelowanie silnika o wirującym tworniku oraz magneśnicy do zastosowania w napędzie miejskiego samochodu elektrycznego
PublicationW artykule zaprezentowano koncepcję, model oraz prototyp silnika z wirującym twornikiem oraz magneśnicą. Opisano historię powstania i zastosowania tego typu silników w motoryzacji. Przedstawiono nowoczesne rozwiązania konstrukcyjne i zastosowania we współczesnych samochodach elektrycznych i hybrydowych. Opracowano model silnika z wirującym twornikiem i magneśnicą oraz przedstawiono wybrane wyniki symulacji przeprowadzone w programie...
-
Language Models in Speech Recognition
PublicationThis chapter describes language models used in speech recognition, It starts by indicating the role and the place of language models in speech recognition. Mesures used to compare language models follow. An overview of n-gram, syntactic, semantic, and neural models is given. It is accompanied by a list of popular software.
-
JOURNAL OF MOLECULAR MODELING
Journals -
Progress towards a unified approach to entanglement distribution
PublicationEntanglement distribution is key to the success of secure communication schemes based on quantum mechanics, and there is a strong need for an ultimate architecture able to overcome the limitations of recent proposals such as those based on entanglement percolation or quantum repeaters. In this work we provide a broad theoretical background for the development of such technologies. In particular, we investigate the question of whether...
-
Performance evaluation of unified memory and dynamic parallelism for selected parallel CUDA applications
PublicationThe aim of this paper is to evaluate performance of new CUDA mechanisms—unified memory and dynamic parallelism for real parallel applications compared to standard CUDA API versions. In order to gain insight into performance of these mechanisms, we decided to implement three applications with control and data flow typical of SPMD, geometric SPMD and divide-and-conquer schemes, which were then used for tests and experiments. Specifically,...