Filters
total: 3398
filtered: 2566
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: domain-specific language
-
Rzadka reprezentacja sygnału niestacjonarnego w technice oszczędnego próbkowania
PublicationPrzedstawiono zastosowanie techniki oszczędnego próbkowania do rekonstrukcji sygnału niestacjonarnego na podstawie skompresowanych próbek w dziedzinie czas-częstotliwość. Zastosowano nadmiarowy algorytm z różnymi słownikami aby znaleźć rzadką reprezentację sygnału. Wyniki symulacji potwierdzają, że zastosowanie oszczędnego próbkowania pozwala na rekonstrukcję sygnału niestacjonarnego z małej liczby losowo pobranych próbek, z niewielką...
-
Novel primosomal protein B from Clostridium pastuerianum
PublicationPriB is a primosomal protein that catalyzes DNA replication in Procaryota. The replication pathway starts with PriA protein - the initiator protein that binds to a DNA replication fork, unwinds double-stranded DNA and role of PriB is to stabilize PriA on the DNA. However there are many biochemical differences in replication mechanism in bacteria and only some of them use PriB proteins. A few of PriB proteins were published and...
-
Context-aware User Modelling and Generation of Recommendations in Recommender Systems
PublicationRecommender systems are software tools and techniques which aim at suggesting new items that may be of interest to a user. This dissertation is focused on four problems in recommender systems domain. The first one is context-awareness, i.e. how to obtain relevant contextual information, how to model user preferences in a context and use them to make predictions. The second one is multi-domain recommendation, which aim at suggesting...
-
Novel primosomal protein B from Clostridium pasteurianum
PublicationPriB is a primosomal protein that catalyzes DNA replication in Procaryota. The replication pathway starts with PriA protein - the initiator protein that binds to a DNA replication fork, unwinds double-stranded DNA and role of PriB is to stabilize PriA on the DNA. However there are many biochemical differences in replication mechanism in bacteria and only some of them use PriB proteins. A few of PriB proteins were published and...
-
Mobile Security: Threats and Best Practices
PublicationCommunicating mobile security threats and best practices has become a central objective due to the ongoing discovery of new vulnerabilities of mobile devices. To cope with this overarching issue, the goal of this paper is to identify and analyze existing threats and best practices in the domain of mobile security. To this extent, we conducted a literature review based on a set of keywords. The obtained results concern recognizable...
-
Modeling the Customer’s Contextual Expectations Based on Latent Semantic Analysis Algorithms
PublicationNowadays, in the age of Internet, access to open data detects the huge possibilities for information retrieval. More and more often we hear about the concept of open data which is unrestricted access, in addition to reuse and analysis by external institutions, organizations and people. It’s such information that can be freely processed, add another data (so-called remix) and then published. More and more data are available in text...
-
Instructor Presence in Video Lectures: Preliminary Findings From an Online Experiment
PublicationMotivation. Despite the widespread use of video lectures in online and blended learning environments, there is still debate whether the presence of an instructor in the video helps or hinders learning. According to social agency theory, seeing the instructor makes learners believe that s/he is personally teaching them, which leads to deeper cognitive processing and, in turn, better learning outcomes. Conversely, according to cognitive...
-
AgileSafe – a method of introducing agile practices into safety-critical software development processes
PublicationThis article introduces AgileSafe, a new method of incorporating agile practices into critical software development while still maintaining compliance with the software assurance requirements imposed by the application domain. We present the description of the method covering the process of its application and the input and output artefacts.
-
Techniki zwiększania efektywności metody elementów skończonych poprzez redukcję dziedziny obliczeniowej z wykorzystaniem własności geometrii struktur
PublicationWspółczesna elektronika ze względu na swój szybki rozwój wymaga od nas efektywnego modelowania zjawisk polowych. Celem rozprawy jest zwiększanie efektywności metody elementów skończonych poprzez redukcję dziedziny obliczeniowej z wykorzystaniem własności geometrii struktur oraz jej hybrydyzację z użyciem technik analitycznych. Rozprawa zawiera przegląd stanu wiedzy na temat dostępnych obecnie technik modelowania jak również opis...
-
Personal adaptive tuning of mobile computer audio
PublicationAn integrated methodology for enhancing audio quality in mobile computers is presented. The key features are adaptation of the characteristics of the acoustic track to the changing conditions and to the user's individual preferences. Original signal processing algorithms are introduced, which concern: linearization of frequency response, dialogue intelligibility enhancement and dynamics processing tuned up to the user's preferences....
-
Infedeltà nel trasferimento delle collocazioni nella traduzione dei romanzi di Michel Houellebecq dal francese all’italiano
PublicationBuilding on my PhD project, this paper explores fidelity challenges in the transfer of verb-nominal collocations (VNC) in the Italian translations of seven of Michel Houellebecq’s novels. I examine various kinds of infidelity, such as omissions, errors, incongruence in constituent transmission, incoherence in recurrent VNC transmission, and infidelity at the level of phraseological coverage. The accurate transfer...
-
Development of an emulation platform for synchronous machine power generation system using a nonlinear functional level model
PublicationThe article presents the Power Hardware in the Loop (PHIL) approach for an autonomous power system analysis based on the synchronous generator model incorporating magnetic saturation effects. The model was prepared in the MATLAB/Simulink environment and then compiled into the C language for the PHIL platform implementation. The 150 kVA bidirectional DC/AC commercial-grade converter was used to emulate the synchronous generator....
-
Wykorzystanie serwerów UDDI dla systemów zdalnej edukacji.
PublicationW artykule przedstawiono możliwości wykorzystania usług sieciowych opartych na serwerach UDDI (Universal Description, Discovery and Integration) do przechowywania obiektów edukacyjnych. Opisane rozwiązanie wykorzystujące język XML, protokół SOAP (Simple Object Access Protocol) i standard WSDL (Web Services Description Language) pozwala na tworzenie baz wiedzy przeznaczonych zarówno dla uczniów jak również dla nauczycieli....
-
ESTYMACJA WSPÓŁCZYNNIKÓW SZTYWNOŚCI ZAMOCOWANIA PODATNEGO PRZEDMIOTU OBRABIANEGO NA STOLE FREZARKI
PublicationW pracy przedstawiono metodę estymacji współczynników sztywności Elementów Sprężystych (ES) modelujących zamocowanie podatnego wielkogabarytowego przedmiotu obrabianego na stole frezarki. Proponowana metoda bazuje na algorytmie optymizacji za pomocą roju cząstek (ang. Particle Swarm Optimization), który pozwala na uzyskanie dobrej zgodności (aktualizacji) modelu Metody Elementów Skończonych (MES) z modelem pochodzącym z identyfikacji...
-
Numerical Simulations for Transonic Flow in Control Valve
PublicationResults of numerical simulations for transonic flow in control valve are presented. The valve is the main part of an adaptive pneumatic shock absorber. Flow structure in the valve domain and the influence of the flow non-uniformity in the valve on a mass flow rate is investigated. Numerical simulation results are compared with experimental data.
-
A Generalized Version of the Lions-Type Lemma
PublicationIn this short paper, I recall the history of dealing with the lack of compactness of a sequence in the case of an unbounded domain and prove the vanishing Lions-type result for a sequence of Lebesgue-measurable functions. This lemma generalizes some results for a class of Orlicz–Sobolev spaces. What matters here is the behavior of the integral, not the space
-
EMULACJA ŚRODOWISKA DLA ZASTOSOWANIA PROTOKOŁU IN-BAND NETWORK TELEMETRY
PublicationOkreślenie jakości obsługi strumieni pakietów w sieci przełączników wymaga odpowiedniego środowiska badawczego w którym prowadzi się doświadczenia i pomiary wybranych wielkości. Protokół In-band Network Telemetry jest jednym z narzędzi, które można wykorzystać do realizacji tych zadań. W pracy zaproponowano zwirtualizowane środowisko badawcze w którym można emulować sieć przełączników programowalnych w języku P4 wraz z implementacją...
-
A 3D-FEM mesh technique for fast analysis of waveguide problems containing rotatable tuning elements
PublicationIn this paper a meshing technique for 3D Finite Element Method is presented. It allows for fast analysis and optimization of the waveguide structures, which contain rotatable tuning elements. In the proposed procedure a thin layer of varying cylindrical mesh buffer is introduced in order to reuse unchanged mesh and FEM matrices in the rest of the domain.
-
Cost-efficient multi-objective design optimization of antennas in highly-dimensional parameter spaces
PublicationMulti-objective optimization of antenna structures in highly-dimensional parameter spaces is investigated. For expedited design, variable-fidelity EM simulations and domain patching algorithm are utilized. The results obtained for a monopole antenna with 13 geometry parameters are compared with surrogate-assisted optimization involving response surface approximation modeling.
-
MutS3: a MutS homologue of unknown biological function
PublicationThe homologues of MutS proteins are widespread among both Prokaryotes and Eukaryotes. MutS designated as MutS1 is a part of MMR (mismatch repair) system which is responsible for removal of mispaired bases and small insertion/deletion loops in DNA. Initially, the only MutS homologues known were those engaged in mismatch repair and these were later designated as MutS1. Subsequently, the MutS2 homologue was distinguished. MutS2 does...
-
Low-Cost Yield-Driven Design of Antenna Structures Using Response-Variability Essential Directions and Parameter Space Reduction
PublicationQuantifying the effects of fabrication tolerances and uncertainties of other types is fundamental to improve antenna design immunity to limited accuracy of manufacturing procedures and technological spread of material parameters. This is of paramount importance especially for antenna design in the industrial context. Degradation of electrical and field properties due to geometry parameter deviations often manifests itself as, e.g.,...
-
Design-oriented modeling of antenna structures by means of two-level kriging with explicit dimensionality reduction
PublicationThe employment of full-wave electromagnetic (EM) analysis is a practical necessity in the design of contemporary antenna structures. This is because simpler models are generally not available or of limited accuracy. At the same time, EM-based design is computationally expensive. Consequently, the ways of accelerating tasks such as parametric optimization or uncertainty quantification have to be sought. A possible workaround that...
-
Extending Expressiveness of Knowledge Description with Contextual Approach
PublicationIn the paper we show how imposing the contextual structure of a knowledge base can lead to extending its expressiveness without changing the underlying language. We show this using the example of Description Logics, which constitutes a base for a range of dialects for expressing knowledge in ontologies (including state-of-the-art OWL). While the contextual frameworks have been used in knowledge bases, they have been perceived as...
-
Improving the accuracy of subgridding scheme in finite differences method based on Legendre polynomials expansion
PublicationIn this article the Legendre polynomials have been used to interpolate the field at the boundary of the meshes of different densities. The numerical verification of the proposed technique has been carried out in frequency domain. It has been shown that the accuracy of the presented method is very high and stable - the error monotonically decreases as a function of the refinement factor.
-
Simulation of Wave Propagation in Media Described by Fractional-Order Models
PublicationIn this paper, algorithms for simulation of the wave propagation in electromagnetic media described by fractional-order (FO) models (FOMs) are presented. Initially, fractional calculus and FO Maxwell's equations are introduced. The problem of the wave propagation is formulated for media described by FOMs. Then, algorithms for simulation of the non-monochromatic wave propagation are presented which employ computations in the time...
-
Investigating Feature Spaces for Isolated Word Recognition
PublicationThe study addresses the issues related to the appropriateness of a two-dimensional representation of speech signal for speech recognition tasks based on deep learning techniques. The approach combines Convolutional Neural Networks (CNNs) and time-frequency signal representation converted to the investigated feature spaces. In particular, waveforms and fractal dimension features of the signal were chosen for the time domain, and...
-
FDTD Method for Electromagnetic Simulations in Media Described by Time-Fractional Constitutive Relations
PublicationIn this paper, the finite-difference time-domain (FDTD) method is derived for electromagnetic simulations in media described by the time-fractional (TF) constitutive relations. TF Maxwell’s equations are derived based on these constitutive relations and the Grünwald–Letnikov definition of a fractional derivative. Then the FDTD algorithm, which includes memory effects and energy dissipation of the considered media, is introduced....
-
Federated Learning in Healthcare Industry: Mammography Case Study
PublicationThe paper focuses on the role of federated learning in a healthcare environment. The experimental setup involved different healthcare providers, each with their datasets. A comparison was made between training a deep learning model using traditional methods, where all the data is stored in one place, and using federated learning, where the data is distributed among the workers. The experiment aimed to identify possible challenges...
-
Improved Uniform Sampling in Constrained Domains for Data-Driven Modelling of Antennas
PublicationData-driven surrogate modelling of antenna structures is an attractive way of accelerating the design process, in particular, parametric optimization. In practice, construction of surrogates is hindered by curse of dimensionality as well as wide ranges of geometry parameters that need to be covered in order to make the model useful. These difficulties can be alleviated by constrained performance-driven modelling with the surrogate...
-
Using Decisional DNA to Enhance Industrial and Manufacturing Design: Conceptual Approach
PublicationDuring recent years, manufacturing organizations are facing market changes such as the need for short product life cycles, technological advancement, intense pressure from competitors and the continuous customers’ expectation for high quality products at lower costs. In this scenario, knowledge and its associated engineering/management of every stage involved in the industrial design has become increasingly important for manufacturing...
-
Functional safety and reliability analysis methodoloogy for hazardous industrial plants
PublicationThis monograph is devoted to current problems and methods of the functional safety and reliability analyses of the programmable control and protection systems for industrial hazardous plants. The results of these analyses are useful in the process of safety management in life cycle, for effective reducing relevant risks at the design stage, and then controlling these risks during the operation of given installation. The methodology...
-
Establishing the allosteric mechanism in CRISPR‐Cas9
PublicationAllostery is a fundamental property of proteins, which regulates biochemical information transfer between spatially distant sites. Here, we report on the critical role of molecular dynamics (MD) simulations in discovering the mechanism of allosteric communication within CRISPR‐Cas9, a leading genome editing machinery with enormous promises for medicine and biotechnology. MD revealed how allostery intervenes during at least three...
-
Ontological Modeling for Contextual Data Describing Signals Obtained from Electrodermal Activity for Emotion Recognition and Analysis
PublicationMost of the research in the field of emotion recognition is based on datasets that contain data obtained during affective computing experiments. However, each dataset is described by different metadata, stored in various structures and formats. This research can be counted among those whose aim is to provide a structural and semantic pattern for affective computing datasets, which is an important step to solve the problem of data...
-
Silence/noise detection for speech and music signals
PublicationThis paper introduces a novel off-line algorithm for silence/noise detection in noisy signals. The main concept of the proposed algorithm is to provide noise patterns for further signals processing i.e. noise reduction for speech enhancement. The algorithm is based on frequency domain characteristics of signals. The examples of different types of noisy signals are presented.
-
Simulation of parallel similarity measure computations for large data sets
PublicationThe paper presents our approach to implementation of similarity measure for big data analysis in a parallel environment. We describe the algorithm for parallelisation of the computations. We provide results from a real MPI application for computations of similarity measures as well as results achieved with our simulation software. The simulation environment allows us to model parallel systems of various sizes with various components...
-
Integrating heterogeneous systems with high-dependability requirements by means of web services
PublicationWeb services are commonly used on boundaries of heterogeneous components in Service Oriented Architecture (SOA) as they provide a universal communication channel not bound to any particular programming language or run-time platform. This paper describes how web services can be used to integrate heterogeneous systems which serve purposes requiring high dependability, reliability and availability. Examples of such systems include...
-
Adaptive Personal Tuning of Sound in Mobile Computers
PublicationAn integrated methodology for enhancing audio quality in mobile computers is presented. The key features are adaptation of the characteristics of their acoustic track to changing acoustic conditions of the environment and to users’ individual preferences. Signal processing algorithms are introduced that concern: linearization of frequency response, dialogue intelligibility enhancement, and dynamics processing tuned up to the users’...
-
Charakterystyka środowiska Knowledge Grid
PublicationZorganizowanie wiedzy zgromadzonej w Internecie to współcześnie ważne zagadnienie badawcze. Artykuł opisuje środowisko Knowledge Grid i mechanizmy jego działania. Wiedza przechowywana w Knowledge Grid może zostać zorganizowana w trójwymiarową strukturę. Opracowany został również Knowledge Grid Operating Language, który jest językiem służącym do operowania na danych udostępnianych w tym środowisku. Za jego pomocą możliwe jest umieszczenia...
-
Metody formułowania ontologicznych zapytań
PublicationArtykuł dotyczy problemu wydobywania danych wyrażonych w postaci ontologii opisanej językiem Web Ontology Language. Dane takie mogą być wydobywane przy użyciu ontologicznych zapytań. Artykuł przedstawia rodzaje języków umożliwiających formułowanie tego rodzaju zapytań. Ontologiczne zapytania mogą być formułowane przez użytkowników podobnie jak zapytania w wyszukiwarkach internetowych tworzone w celu znajdowania stron internetowych....
-
The Methods for RTS Noise Identification
PublicationIn the paper authors present two methods, which allows to identify the RTS noise in noise signal of semiconductor devices. The first one was elaborated to identify the RTS noise and also to estimate the number of its levels. The second one can be used to estimate all of the parameters of Gaussian and non-Gaussian components in the noise signal in a frequency domain.
-
How to render FDTD computations more effective using agraphics accelerator.
PublicationGraphics processing units (GPUs) for years have been dedicated mostly to real time rendering. Recently leading GPU manufactures have extended their research area and decided to support also graphics computing. In this paper, we describe an impact of new GPU features on development process of an efficient finite difference time domain (FDTD) implementation.
-
Call Processing Performance in a Multidomain IMS/NGN with Asymmetric Traffic
PublicationIn this paper we continue our research using the previously proposed analytical traffic model of a multidomain Next Generation Network (NGN), which is standardized for delivering multimedia services based on the IP Multimedia Subsystem (IMS). The aim of the model is to assess mean Call Set-up Delay (CSD) and mean Call Disengagement Delay (CDD), which are standardized call processing performance parameters. The output variables...
-
A Model-Order Reduction Approach for Electromagnetic Problems With Nonaffine Frequency Dependence
PublicationThe aim of this paper is to present a novel model-order reduction (MOR) technique for the efcient frequency-domain nite-element method (FEM) simulation of microwave components. It is based on the standard reduced-basis method, but the subsequent expansion frequency points are selected following the so-called sparsied greedy strategy. This feature makes it especially useful to perform a fast-frequency sweep of problems that lead...
-
A note on the Morse homology for a class of functionals in Banach spaces involving the 2p-area functional
PublicationIn this paper we show how to construct Morse homology for an explicit class of functionals involving the 2p-area functional. The natural domain of definition of such functionals is the Banach space W_0^{1,2p}(\Omega), where p > n/2 and \Omega \subet R^n is a bounded domain with sufficiently smooth boundary. As W_0^{1,2p}(\Omega) is not isomorphic to its dual space,critical points of such functionals cannot be non-degenerate...
-
Design-Oriented Constrained Modeling of Antenna Structures
PublicationFast surrogate models are crucially important to reduce the cost of design process of antenna structures. Due to curse of dimensionality, standard (data-driven) modeling methods exhibit serious limitations concerning the number of independent geometry parameters that can be handled but also (and even more importantly) their parameter ranges. In this work, a design-oriented modeling framework is proposed in which the surrogate is...
-
Social Media in the Fashion Industry. Fundamentals, Strategy and Research Methods
PublicationThis book introduces social network fundamentals in the fashion domain. It addresses the creation of social media marketing plans, highlighting strategic approaches that allow fashion brands to differentiate themselves in the ephemeral and challenging fashion context. Through a variety of academic and professional sources and by sharing the results of their own research, the authors present research methodologies, including netnography,...
-
Effective Short -term Forecasting of Wind Farms Power
PublicationForecasting a specific wind farm's generation capacity within a 24 hour perpective requires both a reliable forecast of wind, as well as supporting tools. This tool is a dedicated model of wind farm power. This model should include not only general rules of wind to mechanical energy conversion, but also the farm's specific features. This paper present analytical, statistical, and neuron models of wind farm power. The study is based...
-
Highly Conserved Homotrimer Cavity Formed by the SARS-CoV-2 Spike Glycoprotein: A Novel Binding Site
PublicationAn important stage in severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) life cycle is the binding of the spike (S) protein to the angiotensin converting enzyme-2 (ACE2) host cell receptor. Therefore, to explore conserved features in spike protein dynamics and to identify potentially novel regions for drugging, we measured spike protein variability derived from 791 viral genomes and studied its properties by molecular...
-
A simplified behavioral MOSFET model based on parameters extraction for circuit simulations.
PublicationThe paper presents results on behavior modeling of general purpose Metal-Oxide Semiconductor Field-Effect Transistor (MOSFET) for simulation of power electronics systems requiring accuracy both in steady-state and in switching conditions. Methods of parameters extraction including nonlinearity of parasitic capacitances and steady-state characteristics are based on manufacturer data sheet and externally measurable characteristics....
-
Ontologies vs. Rules — Comparison of Methods of Knowledge Representation Based on the Example of IT Services Management
PublicationThis text provides a brief overview of selected structures aimed at knowledge representation in the form of ontologies based on description logic and aims at comparing them with their counterparts based on the rule-based approach. Due to the limitations on the length of the article, only elements associated with the representation of concepts could be shown, without including roles. The formalisms of the OWL language were used...