Filtry
wszystkich: 4236
wybranych: 3214
-
Katalog
- Publikacje 3214 wyników po odfiltrowaniu
- Czasopisma 340 wyników po odfiltrowaniu
- Konferencje 65 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 119 wyników po odfiltrowaniu
- Projekty 5 wyników po odfiltrowaniu
- Kursy Online 59 wyników po odfiltrowaniu
- Wydarzenia 2 wyników po odfiltrowaniu
- Dane Badawcze 431 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: FUNCTIONAL LANGUAGE
-
Analiza Niezawodności Człowieka w Ramach Funkcji związanych z Bezpieczeństwem w Przykładowej Instalacji
PublikacjaW analizie bezpieczeństwa funkcjonalnego systemów sterowania i zabezpieczeń należy określić wymagany poziom nienaruszalności bezpieczeństwa SIL w procesie analizy ryzyka, a następnie zweryfikować ten poziom stosując odpowiednie metody modelowania probabilistycznego. Działania człowieka mogą mieć istotny wpływ na realizację funkcji bezpieczeństwa. Wpływ ten ocenia się na podstawie wyników analizy niezawodności człowieka HRA. W niniejszym...
-
Impact of Temperature and Nanoparticle Concentration on Turbulent Forced Convective Heat Transfer of Nanofluids
PublikacjaTheoretical analysis of the influence of nanoparticles and temperature on the average Nusselt (Nu) number and the average heat transfer coefficient (HTC) during the turbulent flow of nanofluid in a horizontal, round tube was carried out. The Nu number is a function of the Reynolds (Re) number and the Prandtl (Pr) number, which in turn are functions of the thermophysical properties of the liquid and the flow conditions. On the other...
-
Constant-Factor Approximation Algorithm for Binary Search in Trees with Monotonic Query Times
PublikacjaWe consider a generalization of binary search in linear orders to the domain of weighted trees. The goal is to design an adaptive search strategy whose aim is to locate an unknown target vertex of a given tree. Each query to a vertex v incurs a non-negative cost ω(v) (that can be interpreted as the duration of the query) and returns a feedback that either v is the target or the edge incident to v is given that is on the path towards...
-
Basic Hand Gestures Classification Based on Surface Electromyography
PublikacjaThis paper presents an innovative classification system for hand gestures using 2-channel surface electromyography analysis. The system developed uses the Support Vector Machine classifier, for which the kernel function and parameter optimisation are conducted additionally by the Cuckoo Search swarm algorithm. The system developed is compared with standard Support Vector Machine classifiers with various kernel functions. The average...
-
Subcritical bifurcation of free elastic shell of biological cluster
PublikacjaIn this paper we will investigate symmetry-breaking bifurcation of equilibrium forms of biological cluster. A biological cluster is a two-dimensional analogue of a gas balloon. The cluster boundary is connected with its kernel by elastic links. The inside part is filled with compressed gas or fluid. Equilibrium forms of biological cluster can be found as solutions of a certain second order ordinary functional-differential equation...
-
On weak solutions of boundary value problems within the surface elasticity of Nth order
PublikacjaA study of existence and uniqueness of weak solutions to boundary value problems describing an elastic body with weakly nonlocal surface elasticity is presented. The chosen model incorporates the surface strain energy as a quadratic function of the surface strain tensor and the surface deformation gradients up to Nth order. The virtual work principle, extended for higher‐order strain gradient media, serves as a basis for defining...
-
Towards automation of IT systems repairs
PublikacjaMonitoring and repair are two sides of the on-the-fly maintenance of IT systems.Monitoring is well supported by automatic tools. In contrast, repairs involve much higherhuman intervention which negatively affects reliability and efficiency. The paper intro-duces a method of automating repairs of IT systems which can be integrated with any ofthe existing monitoring mechanisms. The method is described as a collection of modelsand...
-
Viability of decisional DNA in robotics
PublikacjaThe Decisional DNA is an artificial intelligence system that uses prior experiences to shape future decisions. Decisional DNA is written in the Set Of Experience Knowledge Structure (SOEKS) and is capable of capturing and reusing a broad range of data. Decisional DNA has been implemented in several fields including Alzheimer’s diagnosis, geothermal energy and smart TV. Decisional DNA is well suited to use in robotics due to the...
-
Ideologiczny i praktyczny model metaontologii
PublikacjaRozwój inicjatywy Semantic Web spowodował rozwój różnych języków definiowania wiedzy i manipulowania nią. W ramach tych języków istotnym elementem jest zaprojektowanie rozkazów terminologicznych. W artykule przedstawiono sposób realizacji zapytań terminologicznych w języku KQL (Knowledge Query Language) - języku dostępu do systemu zarządzania wiedzą RKaSeA.
-
Application of Semantic Knowledge Management System in Selected Areas of Polish Public Administration
PublikacjaThis paper describes an application of semantic technologies and knowledge management systems in chosen areas of Polish public administration. Short analyses of crisis management and EU policy coordination processes are presented. An architecture of a knowledge management system with interfaces using controlled natural language is proposed. A lot of examples are shown that prove a usefulness of semantic knowledge management and...
-
Estimation of a smoothness parameter by spline wavelets
PublikacjaWe consider the smoothness parameter s*(f) of a function f∈L2(R) in terms of Besov spaces. The existing results on estimation of smoothness [K. Dziedziul, M. Kucharska and B. Wolnik, J. Nonparametric Statist. 23 (2011)] employ the Haar basis and are limited to the case 0
-
MIASTO PORTOWE – STRUKTURA, WYZWANIA FUNKCJONALNE I MODELE ROZWOJU
PublikacjaPort cities are having different spatial structure than those located inlands. As a result of their seaside location, they face specific administrative and functional problems on a daily basis. In the economic and settlement structure of the country, they usually play the role of a "gate" through which streams of cargo are distributed further over the whole hinterland. It is the transport and logistics function of port cities,...
-
Optimizing Medical Personnel Speech Recognition Models Using Speech Synthesis and Reinforcement Learning
PublikacjaText-to-Speech synthesis (TTS) can be used to generate training data for building Automatic Speech Recognition models (ASR). Access to medical speech data is because it is sensitive data that is difficult to obtain for privacy reasons; TTS can help expand the data set. Speech can be synthesized by mimicking different accents, dialects, and speaking styles that may occur in a medical language. Reinforcement Learning (RL), in the...
-
Ideological and Practical Model of Metaontology
PublikacjaRozwój inicjatywy Semantic Web spowodował rozwój różnych języków definiowania wiedzy i manipulowania nią. W ramach tych języków istotnym elementem jest zaprojektowanie rozkazów terminologicznych. W artykule przedstawiono sposób realizacji zapytań terminologicznych w języku KQL (Knowledge Query Language), służącym do dostępu do systemu zarządzania wiedzą RKaSeA.
-
Propagation of initially sawtooth periodic and impulsive signals in a quasi-isentropic magnetic gas
PublikacjaThe characteristics of propagation of sawtooth periodic and impulsive signals at a transducer are analytically studied in this work. A plasma under consideration is motionless and uniform at equilibrium, and its perturbations are described by a system of ideal magnetohydrodynamic equations. Some generic heating/cooling function, which in turn depends on equilibrium thermodynamic parameters, may destroy adiabaticity of a flow and...
-
Molecular docking studies towards development of novel Gly-Phe analogs for potential inhibition of Cathepsin C (dipeptidyl peptidase I).
PublikacjaCathepsin C is a cysteine protease required for activation of various pro-inflammatory serine proteases and, essentially, is of interest as a therapeutic target. Cathepsin C coordinate system was employed as a model to study the interaction of some already available inhibitors of Cathepsin C. Compounds containing Gly-Phe fragment with functional groups at its ends were designed by knowledge based approach. Using AutoDock and...
-
Investigations of the Methods of Time Delay Measurement of Stochastic Signals Using Cross-correlation with the Hilbert Transform
PublikacjaThe article presents the results of simulation studies of four methods of estimating time delay for random signals using cross-correlation with the Hilbert Transform. Selected models of mutually delayed stochastic signals were used in the simulations, corresponding to the signals obtained from scintillation detectors in radioisotope measurements of liquid-gas two-phase flow. Standard deviations of the values of the individual functions...
-
Principles of target DNA cleavage and the role of Mg2+ in the catalysis of CRISPR–Cas9
PublikacjaAt the core of the CRISPR–Cas9 genome-editing technology, the endonuclease Cas9 introduces site-specific breaks in DNA. However, precise mechanistic information to ameliorate Cas9 function is still missing. Here, multimicrosecond molecular dynamics, free energy and multiscale simulations are combined with solution NMR and DNA cleavage experiments to resolve the catalytic mechanism of target DNA cleavage. We show that the conformation...
-
Effects of Bromine Doping on the Structural Properties and Band Gap of CH3NH3Pb(I1–xBrx)3 Perovskite
PublikacjaAn experimental and theoretical study is reported to investigate the influence of bromine doping on CH3NH3Pb(I1−xBrx)3 perovskite for Br compositions ranging from x = 0 to x = 0.1, in which the material remains in the tetragonal phase. The experimental band gap is deduced from UV−vis absorption spectroscopy and displays a linear behavior as a function of bromine concentration. Density functional theory calculations are performed...
-
Secure Italian domination in graphs
PublikacjaAn Italian dominating function (IDF) on a graph G is a function f:V(G)→{0,1,2} such that for every vertex v with f(v)=0, the total weight of f assigned to the neighbours of v is at least two, i.e., ∑u∈NG(v)f(u)≥2. For any function f:V(G)→{0,1,2} and any pair of adjacent vertices with f(v)=0 and u with f(u)>0, the function fu→v is defined by fu→v(v)=1, fu→v(u)=f(u)−1 and fu→v(x)=f(x) whenever x∈V(G)∖{u,v}. A secure Italian dominating...
-
SYNTHESIZING MEDICAL TERMS – QUALITY AND NATURALNESS OF THE DEEP TEXT-TO-SPEECH ALGORITHM
PublikacjaThe main purpose of this study is to develop a deep text-to-speech (TTS) algorithm designated for an embedded system device. First, a critical literature review of state-of-the-art speech synthesis deep models is provided. The algorithm implementation covers both hardware and algorithmic solutions. The algorithm is designed for use with the Raspberry Pi 4 board. 80 synthesized sentences were prepared based on medical and everyday...
-
Architektura oraz historia tzw. nowych koszar na Westerplatte w latach 1933–2023
PublikacjaPrzedmiotem badań opisanych w artykule jest budynek tzw. nowych koszar na terenie Wojskowej Składnicy Tranzytowej (WST) na Westerplatte, który pełnił kluczową rolę w planie obrony polskiej placówki. Pomimo jego częściowo zachowanej bryły, nie został on do tej pory należycie rozpoznany w toku badań architektonicznych. W niniejszej pracy przedstawiono wyniki badań prowadzonych w latach 2019–2023, przedstawiono pierwotny wygląd, układ...
-
Generalized Savitzky–Golay filters for identification of nonstationary systems
PublikacjaThe problem of identification of nonstationary systems using noncausal estimation schemes is consid-ered and a new class of identification algorithms, combining the basis functions approach with localestimationtechnique,isdescribed.Unliketheclassicalbasisfunctionestimationschemes,theproposedlocal basis function estimators are not used to obtain interval approximations of the parametertrajectory, but provide a sequence of point...
-
WHY SHOULD WE ADOPT NON-USED ATTICS OF MONUMENTAL SACRAL CATHOLIC CHURCHES FOR SECULAR PURPOSES?
PublikacjaA motive for adapting the desecrated churches to new purposes is a broadly discussed matter, progressively better investigated and defined. Is it advisable to introduce a new, permanent function, complementary to the sacred one in the historical ecclesial buildings? This paper presents the results of the research on benefits of adapting the non-utilized attics of monumental churches still performing their sacred function, located...
-
Testing Stability of Digital Filters Using Multimodal Particle Swarm Optimization with Phase Analysis
PublikacjaIn this paper, a novel meta-heuristic method for evaluation of digital filter stability is presented. The proposed method is very general because it allows one to evaluate stability of systems whose characteristic equations are not based on polynomials. The method combines an efficient evolutionary algorithm represented by the particle swarm optimization and the phase analysis of a complex function in the characteristic equation....
-
The methylome and transcriptome of fetal skin: implications for scarless healing
PublikacjaAim: Fetal skin is known to heal without scarring. In mice, the phenomenon is observed until the 16–17 day of gestation – the day of transition from scarless to normal healing. The study aims to identify key methylome and transcriptome changes following the transition. Materials & methods: Methylome and transcriptome profiles were analyzed in murine dorsal skin using microarray approach. Results & conclusion: The genes associated...
-
Analysis of the impact of AOP on source code quality: Paradox of aspect-oriented separation of concerns
PublikacjaAlmost four decades ago, Parnas advocated modularity for the sake of changeability, independent development, and comprehensibility. The recipe for modularization is to define a clean interface, hide an implementation detail, keep low coupling and high cohesion. Although modules have taken many forms over the years from functions and procedures to classes, no form has been capable of expressing so-called crosscutting concerns in...
-
Sensitive Demonstration of the Twin-Core Couplers including Kerr Law Non-Linearity via Beta Derivative Evolution
PublikacjaTo obtain new solitary wave solutions for non-linear directional couplers using optical meta-materials, a new extended direct algebraic technique (EDAT) is used. This model investigates solitary wave propagation inside a fiber. As a result, twin couplers are the subject of this study. Kerr law is the sort of non-linearity addressed there. Because it offers solutions to problems with large tails or infinite fluctuations, the resulting...
-
Uniqueness or uniformity - studies of media architecture
PublikacjaA development of media architecture is presented in light of to such phenomena as aesthetization, consumerism and digitization. This article deals with media architecture in commercial spaces. Media solutions impact on the architectural skin, making it into visible and dynamic points of the image of a post-modern city. This article presents the specificity of media solutions, depending on the function of commercial activity buildings...
-
Architektura współczesnego muzeum i jej znaczenie dla tożsamości krajobrazu miasta = The Architecture of Contemporary Museum and its Significance for the Identity of the Urban Landscape
PublikacjaArtykuł dotyczy architektury współczesnych muzeów, które pod koniec XX w. przeszły znaczący rozwój jako instytucje publiczne. Oprócz specyficznych wymagań technicznych, funkcjonalnych, estetycznych i kulturowych, ich charakterystyczną cechą jest wzrastające zapotrzebowanie na przestrzeń dodatkową służącą edukacji, odpoczynkowi, rozrywce i strefie komercyjnej (handlu i usług). Atrakcyjna przestrzeń publiczna zapewnia dostęp do wszystkich...
-
Tailoring optical constants of few-layer black phosphorus coatings: Spectroscopic ellipsometry approach supported by ab-initio simulation
Publikacja2D black phosphorus (BP) has attracted extensive attention as an anisotropic platform for novel optoelectronic and polarizing optics applications. Insight into the factors that tune the optical and polarizing properties of 2D BP reveals their essential influence on BP-based photonic and optoelectronic devices. In this work, studies of the optical constants of few-layer black phosphorus coatings are studied and discussed, with particular...
-
Colour Terms in Five Linguistic Images of the World: The Semantic Perspective
PublikacjaSocial and cultural factors shape the linguistic perception of colour. At the same time, colour terms co-create the linguistic image of the world, which allows us to interpret reality and profile our statements and beliefs. This paper presents six basic colour terms: white, black, red, green, yellow, and blue (both as adjectives and as nouns) in the five different linguistic images of the world of the following languages: English,...
-
The clamping selection method to reduce the vibration of large-size workpieces during the face milling process
PublikacjaThe article introduces a method for selecting the best clamping conditions to obtain vibration reduction during milling of large-size workpiece. It is based on experimental modal analysis performed for a set of assumed, fixing conditions of a considered workpiece to identify Frequency Response Functions (FRFs) for each tightening torque of the mounting screws. Simulated plots of periodically changing nominal cutting forces are...
-
Homoclinics for singular strong force Lagrangian systems in R^N
PublikacjaWe will be concerned with the existence of homoclinics for second order Hamiltonian systems in R^N (N>2) given by Hamiltonians of the form H(t,q,p)=Φ(p)+V(t,q), where Φ is a G-function in the sense of Trudinger, V is C^2-smooth, periodic in the time variable, has a single well of infinite depth at a point ξ and a unique strict global maximum 0 at the origin. Under a strong force type condition aroud the singular point ξ, we prove...
-
Inhibiting activity of HIV-1: protease, reverse transcriptase and integrase all together by novel compounds using computational approaches (flexible and rigid docking)
PublikacjaAcquired immunodeficiency syndrome (AIDS), caused by human immunodeficiency virus type 1 (HIV-1) infection, is one of the most challenging diseases in recent decades. Nevertheless the shortcomings of chemical drugs such as toxicity, lack of curative effects, the search for more potent anti-HIV agents have been focused in our study. In current study, novel scaffold was designed having a benzyl and imidazole in it which are very...
-
Automatic evaluation of information credibility in Semantic Web and Knowledge Grid
PublikacjaThis article presents a novel algorithm for automatic estimation of information credibility. It concerns information collected in Knowledge Grid and Semantic Web. Possibilities to evaluate the credibility of information in such structures are much greater than those available for WWW sites which use natural language. The rating system presented in this paper estimates credibility automatically on the basis of the following metrics:...
-
Collaborative approach to WordNet and Wikipedia integration
PublikacjaIn this article we present a collaborative approach tocreating mappings between WordNet and Wikipedia. Wikipediaarticles have been first matched with WordNet synsets in anautomatic way. Then such associations have been evaluated andcomplemented in a collaborative way using a web application.We describe algorithms used for creating automatic mappingsas well as a system for their collaborative development. Theoutcome enables further...
-
From Sequential to Parallel Implementation of NLP Using the Actor Model
PublikacjaThe article focuses on presenting methods allowing easy parallelization of an existing, sequential Natural Language Processing (NLP) application within a multi-core system. The actor-based solution implemented with the Akka framework has been applied and compared to an application based on Task Parallel Library (TPL) and to the original sequential application. Architectures, data and control flows are described along with execution...
-
Physics-guided neural networks (PGNNs) to solve differential equations for spatial analysis
PublikacjaNumerous examples of physically unjustified neural networks, despite satisfactory performance, generate contradictions with logic and lead to many inaccuracies in the final applications. One of the methods to justify the typical black-box model already at the training stage and lead to many inaccuracies in the final applications. One of the methods to justify the typical black-box model already at the training stage involves extending...
-
Approximate solution for Euler equations of stratified water via numerical solution of coupled KdV system
PublikacjaWe consider Euler equations with stratified background state that is valid for internal water waves. The solution of the initial-boundary problem for Boussinesq approximation in the waveguide mode is presented in terms of the stream function. The orthogonal eigenfunctions describe a vertical shape of the internal wave modes and satisfy a Sturm-Liouville problem. The horizontal profile is defined by a coupled KdV system which is...
-
An Improvement of Global Complex Roots and Poles Finding Algorithm for Propagation and Radiation Problems
PublikacjaAn improvement of the recently developed global roots finding algorithm has been proposed. The modification allows to shorten the computational time by reducing the number of function calls. Moreover, both versions of the algorithms (standard and modified) have been tested for numerically defined functions obtained from spectral domain approach and field matching method. The tests have been performed for three simple microwave...
-
Government in the metaverse: Requirements and suitability for providing digital public services
PublikacjaDigital government comprises all means to enable governments to interact with their constituents digitally. The metaverse provides a virtual reality environment where various activities can be carried out without physically visiting the places of interest, including the public authorities. Yet, how governments can use the metaverse is unknown. This paper aims to extend the understanding of the metaverse architecture requirements...
-
Pedestrian on footbridges, vertical loads and response
PublikacjaThe paper is a synthesis of the experimental and theoretical investigations on dynamics of pedestrian bridges under vertical load The subject is divided into four issues.1) The pedestrian as a vertical dynamic load on footbridges, theoretic load function for walking and crouching.2) Crowd walking on the footbridge - pedestrian flow.3) Vertical lock-in effect.4) Response of the footbridge - numeric and side test results, -...
-
Effect of Temperature and Nanoparticle Concentration on Free Convective Heat Transfer of Nanofluids
PublikacjaA theoretical analysis of the influence of temperature and nanoparticle concentration on free convection heat transfer from a horizontal tube immersed in an unbounded nanofluid was presented. The Nusselt (Nu) number and heat transfer coefficient were parameters of the intensity of the convective heat transfer. For free convection, the Nu number was a function of the Rayleigh (Ra) number and Prandtl (Pr) number. The Rayleigh (Ra)...
-
Position and velocity measurement using incremental encoder and microcontroller.
PublikacjaThere is presented measurement of position and velocity using Atmel's microcontroller ATTiny2313 with 20 MHz clock and encoder with 1024 pulses per revolution. This configuration allows measuring maximum speed 48800 rpm with 1x accuracy, 20200 rpm with 2x accuracy and 9400 rpm with 4x accuracy (quadrature). Position is measured with resolution of 0.352', 0.176' and 0.088' for 1x, 2x, 4x accuracy respectively. Algorithms of position...
-
Words context analysis for improvement of information retrieval
PublikacjaIn the article we present an approach to improvement of retrieval informationfrom large text collections using words context vectors. The vectorshave been created analyzing English Wikipedia with Hyperspace Analogue to Language model of words similarity. For test phrases we evaluate retrieval with direct user queries as well as retrieval with context vectors of these queries. The results indicate that the proposed method can not...
-
Validation of an Agent and Ontology-based Information Technology Assessment System
PublikacjaThe aim of this paper is to present a new method of the validation of an Agent and Ontology-based Information Technology Assessment System. In the introduction part of the paper, the characteristics of the proposed multi-agent system are presented. Next, some important details regarding the ontology functionality of this system are described and an approach to its verification process is proposed. The approach employs semantic...
-
Previous Opinions is All You Need - Legal Information Retrieval System
PublikacjaWe present a system for retrieving the most relevant legal opinions to a given legal case or question. To this end, we checked several state-of-the-art neural language models. As a training and testing data, we use tens of thousands of legal cases as question-opinion pairs. Text data has been subjected to advanced pre-processing adapted to the specifics of the legal domain. We empirically chose the BERT-based HerBERT model to perform...
-
A universal IT system architecture for servicing, collecting, storing, processing and presenting data from wireless devices
PublikacjaIn the article we present a universal IT system architecture, which allows one to develop, based on mobile and multiplatform JAVA language, applications capable of working with many different wireless systems in an easy and effective way. Modular system architecture supports efficient data processing and enables convenient presentation of chosen parameters. Additionally, proposed IT system architecture provides easy adoption to...
-
Dynamic OWL Ontology matching Using Lexical Wordnet-based Measures
PublikacjaOntologies are often used as a means of describing knowledge and the domain of operation of modern applications. S need arises for the ability to quickly match those ontologies to enable interoperability of such systems. This paper presents an extension to Noy and McGuiness ontology construction methodology which should improve ontology interoperability and a lexicon-based algorithm for merging and aligning of such ontologies stored...