Filters
total: 4260
filtered: 3233
-
Catalog
- Publications 3233 available results
- Journals 340 available results
- Conferences 65 available results
- Publishing Houses 1 available results
- People 119 available results
- Projects 5 available results
- e-Learning Courses 62 available results
- Events 2 available results
- Open Research Data 433 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: FUNCTIONAL LANGUAGE
-
Wstęp do międzyjęzykowej homonimii wewnętrznej [An introduction to the internal homonymy between languages]
Publication -
Generating reliable conformance test suites for parallel and distributed languages, libraries, and APIs.
PublicationArtykuł nakreśla nową metodykę dla tworzenia Zestawów Testów Zgodności (ZTG) dla języków, bibliotek i API programowania równoległego i rozproszonego. Autor rozpoczął swoje badania w zakresie testowania zgodności dla języka równoległego sterowanego danymi Athapascan, opracował metodykę dla projektowania i analizowania ZTG nazwaną Metodą Kolejnych Zawężeń (ang. Consecutive Confinements Methods - CoCoM), stworzył narzędzie CTS Designer,...
-
A Parallel Corpus-Based Approach to the Crime Event Extraction for Low-Resource Languages
PublicationThese days, a lot of crime-related events take place all over the world. Most of them are reported in news portals and social media. Crime-related event extraction from the published texts can allow monitoring, analysis, and comparison of police or criminal activities in different countries or regions. Existing approaches to event extraction mainly suggest processing texts in English, French, Chinese, and some other resource-rich...
-
A Nyquist filter of fractional delay
PublicationIn the paper a novel discrete-time FIR fractonal delay specjal filter is investigated. This is a Nyquist filter which, besides the traditional its attribute (interymbol interference (ISI) free property), has the ability to compensate for subsample transmission delay involved, for example, in multipath propagation channel. The performance of the filter is analysed and illustrated.
-
Flexomagneticity in Functionally Graded Nanostructures
PublicationFunctionally graded structures have shown the perspective of materials in a higher efficient and consistent manner. This study reports a short investigation by concentrating on the flexomagnetic response of a functionally graded piezomagnetic nano-actuator, keeping in mind that the converse magnetic effect is only taken into evaluation. The rule of mixture assuming exponential composition of properties along with the thickness...
-
Fractional problems with advanced arguments
PublicationThis paper concerns boundary fractional differential problems with advanced arguments. We investigate the existence of initial value problems when the initial point is given at the end point of an interval. Nonhomogeneous linear fractional differential equations are also studied. The existence of solutions for fractional differential equations with advanced arguments and with boundary value problems has been investigated by using...
-
A Note on Fractional Curl Operator
PublicationIn this letter, we demonstrate that the fractional curl operator, widely used in electromagnetics since 1998, is essentially a rotation operation of components of the complex Riemann–Silberstein vector representing the electromagnetic field. It occurs that after the wave decomposition into circular polarisations, the standard duality rotation with the angle depending on the fractional order is applied to the left-handed basis vector...
-
Leksykografia polska z językiem białoruskim w opisie kwantyfikatywnym [Polish lexicography with the Belarusian language in the quantitative description]
Publication -
Cut-off points for Polish-language versions of depression screening tools among patients with Type 2 diabetes
Publication -
Specialist English as a foreign language for European public health: evaluation of competencies and needs among Polish and Lithuanian students
Publication -
Generalized Euler method for first order partial differential functional equations
PublicationW pracy prezentowana jest nowa klasa metod numerycznych dla nieliniowych równań różniczkowo funkcyjnych pierwszego rzędu.Rozwiązania klasyczne zagadnień początkowo brzegowych przybliżane są w tej pracy przez rozwiązania odpowiedniego układu quasilininowego równań różnicowych. Podajemy kompletną analizę zbieżności metod i pokazujemy na przykładach, iż nowa metoda jest zauważalnie lepsza niż klasyczne schematy różnicowe. Dowód stabilności...
-
BALCONY: an R package for MSA and functional compartments of protein variability analysis
Publication -
Expression of ghrelin and ghrelin functional receptor GHSR1a in human pituitary adenomas
Publication -
Deposition, morphology and functional properties of layers based on DLC:Si and DLC:N on polyurethane
Publication -
Functional properties of Cornelian cherry (Cornus mas L.): a comprehensive review
Publication -
Information technology assessment using a functional prototype of the agent based system
PublicationIn the paper authors present the progress of works related with the agent-based system serving the purpose of information technology assessment. Currently this is a prototype including agents, the knowledge base and the ontology; the domain incorporated by the assessment-enterprise managing technologies with special attention paid to technologies directed to IT projects. In this paper, besides indication of expected functionalities...
-
Functional Protein Composition in Femoral Glands of Sand Lizards (Lacerta agilis)
Publication -
Structure and elastic properties of Mg(OH)2from density functional theory
Publication -
Novel investigation of pyrolysis mechanisms and kinetics for functional groups in biomass matrix
Publication -
Aortic Stiffness Predicts Functional Outcome in Patients After Ischemic Stroke
Publication -
Functional safety in the context of risk appraisal criteria and cost-benefit analysis
PublicationRozdział przedstawia aktualne zagadnienia dotyczące analizy kosztów i efektów rozwiązań związanych z bezpieczeństwem na przykładzie systemów elektrycznych, elektronicznych i programowalnych elektronicznych (E/E/PE) pełniących funkcje sterowania i zabezpieczeń w obiektach podwyższonego ryzyka. Podkreśla się znaczenie kryteriów związanych z bezpieczeństwem, takich jak tolerowalność ryzyka (TOR) w kontekście analizy kosztów i efektów...
-
Quasilinearization methods for nonlinear differential-functional parabolic equations: unbounded case
PublicationRozważamy zagadnienie Cauchy'ego dla nieliniowych równań parabolicznych z zależnością funkcyjną. Przedstawiamy rezultaty dotyczące zbieżności metody quasilinearyzacji dla rozwiązań nieograniczonych.
-
Implicit difference methods for first order partial differential functional equations
PublicationKlasyczne rozwiązania problemów początkowo brzegowych przybliżane są rozwiązaniami uwikłanych metod różnicowych. Wykazana została zbieżność i stabilność uwikłanych schematów. Dowód stabilności opiera się na technice porównawczej z nieliniowym oszacowaniem typu Perrona dla funkcji danych.
-
Stable anions formed by organic molecules substituted with superhalogen functional groups
Publication -
Integrated development plans of the functional urban areas in Pomeranian region in Poland
PublicationThe European Commission put a growing emphasis on the territorial and integrated app roach to policy support addressed in the frame of regional policy. In a special way this process refers to cities along with their functional environment. In Poland the National Spatial Development Concept 2030 has introduced the concept of functional areas, among others – Functional Urban Areas (FUAs). There is...
-
Problems in designing and operating the functional safety solutions of higher integriity levels
PublicationThe aim of this article is to identify and discuss some problems that have been encountered in designing and operating the functional safety solutions of higher safety integrity levels (SIL 3 and SIL 4) in the light of analyses outlined in a new version of the international standard IEC 61508:2010. Examples of such solutions are the electric / electronic / programmable electronic systems (E/E/PESs) and the safety instrumented systems...
-
Integrated Functional Safety and Cybersecurity Evaluation in a Framework for Business Continuity Management
PublicationThis article outlines an integrated functional safety and cybersecurity evaluation approach within a framework for business continuity management (BCM) in energy companies, including those using Industry 4.0 business and technical solutions. In such companies, information and communication technology (ICT), and industrial automation and control system (IACS) play important roles. Using advanced technologies in modern manufacturing...
-
Current issues of functional safety and cybersecurity analysis of the industrial and critical infrastructures
PublicationThis article addresses some functional safety assessment procedures with cybersecurity aspects in critical industrial installations with regard to the functional safety requirements specified in standards IEC 61508 and IEC 61511. The functional safety management includes hazard identification, risk analysis and assessment, specification of overall safety requirements and definition of safety functions. Based on the risk assessment...
-
INTEGRATED FUNCTIONAL SAFETY AND CYBERSECURITY ANALYSIS METHOD FOR SMART MANUFACTURING SYSTEMS
PublicationThis article addresses integrated functional safety and cybersecurity analysis with regard to: the generic functional safety standard IEC 61508 and the cyber security standard IEC 62443 concerning an industrial automation and control system (IACS). The objective is to mitigate the vulnerability of information technology (IT) and operational technology (OT) systems, and reduce relevant risks taking into account a set of fundamental...
-
Implicit difference methods for quasilinear differential functional equations on the Haar pyramid
PublicationW pracy prezentowana jest klasa metod numerycznych dla quasiliniowych równań różniczkowo funkcyjnych pierwszego rzędu. Metody numeryczne są uwikłane względem zmiennej czasowej. Istnienie rozwiązania przybliżonego wykazane zostało przy użyciu nierówności różnicowych. Dowód stabilności bazuje na technice porównawczej z nieliniowym oszacowaniem typu Perona dla funkcji danych. Przedstawione zostały również przykłady numeryczne.
-
First-order functional difference equations with nonlinear boundary value problems
PublicationDyskutowano problem brzegowy dla równań różnicowych z opóźnionym argumentem. Nierówności różnicowe związane z w/w problem też były przedmiotem badań. Stosując metodę iteracji monotonicznych, sformułowano warunki dostateczne na istnienie ekstremalnych rozwiązań problemów brzegowych z opóźnionymi argumentami. Podano dwa przykłady ilustrujące otrzymane wyniki.
-
Existence of solutions with an exponential growth for nonlinear differential-functional parabolic equations
PublicationWe consider the Cauchy problem for nonlinear parabolic equations with functional dependence.We prove Schauder-type existence results for unbounded solutions. We also prove existence of maximal solutions for a wide class of differential functional equations.
-
Method of lines for nonlinear first order partial functional differential equations.
PublicationClassical solutions of initial problems for nonlinear functional differential equations of Hamilton--Jacobi type are approximated by solutions of associated differential difference systems. A method of quasilinearization is adopted. Sufficient conditions for the convergence of the method of lines and error estimates for approximate solutions are given. Nonlinear estimates of the Perron type with respect to functional variables...
-
Smart growth - is it a fairytale or the best initiative for polish cities and their functional regions?
PublicationThe paper presents smart growth perceived as natural step in sustainable development understanding.
-
Designing issues of the alarm system in context of functional safety and human factors
PublicationThis article addresses selected aspects of the alarm system and human factors that should be evaluated during the design and operation of an industrial hazardous installation. In such installations the layer of protection analysis (LOPA) methodology is often applied for simplified risk analysis based on defined accident scenarios. To reduce and control the risks the safety instrumented functions (SIFs) are identified and their...
-
Construction solutions for historical object foundations in the context of changing their functional use
PublicationProperly executed renovation and adaptation of a grade listed property not only ensures its constructional safety, but may also highlight the object’s historical value. Taking into consideration various factors, such as divergence of interests, or technical and legal determinants, it is safe to say that the renovation and adaptation of grade listed properties for new purposes is a complex process. The authors of the paper wish...
-
Numerical method of lines for first order partial differential functional equations
PublicationUdowodniono zbieżność numerycznej metody prostych dla równań różniczkowofunkcyjnych o pochodnych cząstkowych pierwszego rzędu i ich rozwiązań klasycznych określonych na piramidzie Haara. Zastosowano metodę nierówności różniczkowych.
-
Risk analysis and functional safety assessment with regard to human andorganisational factors
PublicationReferat poświęcono wybranym zagadnieniom analizy ryzyka i zarządzania bezpieczeństwem funkcjonalnym systemów związanych z bezpieczeństwem. Systemy takie, zawierające coraz częściej jednostki programowalne, są potencjalnie narażone na błędy człowieka, które mają swoje źródło w uchybieniach organizacyjnych. W procesie analizy ryzyka takich systemów proponuje się stosować metody jakościowe i ilościowe. Potencjalne błędy człowieka...
-
Direct estimation of functional and density operators by local operations and classical communication.
PublicationWykazano, że można dokonywać detekcji splątania w paradygmacie odległych laboratoriów. Pokazano, jak można fizycznie zaimplementować strukturalne przybliżenie fizyczne niefizycznego odwzorowania w tym paradygmacie.
-
Effective methods for functional confermance testing of parallel and distributed programming libraries.
PublicationRozprawa przedstawia kompletna metodykę tworzenia Zestawów Testów Zgodności dla języków programowania, bibliotek i API, ze szczególnym uwzględnieniem języków i bibliotek programowania równoleglego i rozproszonego. Autor rozpoczął badania w dziedzinie testowania zgodności dla bibliotek programowania równoleglego i rozproszonego, ale Metodyka Kolejnych zawężeń (ang. Consecutive Confinenments Method -CoCoM, stworzona przez Autora,...
-
Architecture at the Sites of the Former Nazi Concentration Camps. Functional Changeability of Commemoration
PublicationThe monograph presents a comprehensive analysis of the architectural structures created in the former concentration camps in Europe under the SS Main Economy and Administration Office. It delves into the history of memorial site creation in these areas, emphasizing the unique characteristics of monuments dedicated to the victims of terror. Additionally, the study covers the post-war architectural transformations in these areas,...
-
Differential difference inequalities related to hyperbolic functional differential systems and applications
PublicationZagadnienie początkowo brzegowe dla ukadów quasiliniowych równań różniczkowo funkcyjnych przeksztacane jest w układ równań różniczkowych zwyczajnych poprzez dyskretyzację względem zmiennej przestrzennej. Podane są warunki wystarczające dla zbieżności metody prostych. Otrzymany układ równań różniczkowo funkcyjnych zwyczajnych jest rozwiązywany uwikłaną metodą różnicową. Zbieżność schematu różnicowego jest dowodzona metodą porównawczą....
-
Implicit difference methods for first order partial differential functional equations
PublicationW pracy prezentowana jest nowa klasa metod numerycznych dla quasiliniowych równań różniczkowo funkcyjnych pierwszego rzędu. Są to schematy różnicowe uwikłane względem zmiennej czasowej. Podana jest pełna analiza zbieżności rozważanych metod uwikłanych oraz przykład numeryczny pokazujący, że klasa tych metod jest szersza niż klasa schematów jawnych. Dowód stabilności opiera się na technice porównawczej z nieliniowym oszacowaniem...
-
Caratheodory solutions to hyperbolic functional differential systems with state dependent delays
PublicationMetodą bicharakterystyk i metodą nierówności całkowych dowodzi się istnienia uogólnionych rozwiązań układów równań różniczkowo-funkcyjnych cząstkowych z odchylonym argumentem zależnym od funkcji niewiadomej.
-
Cognitive engineering and functional safety technology for reducing risks in hazardous plants
PublicationCognitive engineering is considered nowadays as interesting multidisciplinary domain that focuses on improving the relations between humans and the systems that are supervised and operated. The industrial automation and control systems (IACS) in hazardous plants are increasingly computerized and perform various safety functions. These are designed and implemented according to the functional safety concept. The objective is to maintain...
-
A method of Functional Test interval selection with regards to Machinery and Economical aspects
PublicationThis paper discusses the problem of choosing the optimal frequency of functional test, including the reliability calculations and production efficiency, but also the effect of company risk management. The proof test as a part of the functional test interval is well described for the process industry. Unfortunately, this situation is not the case for the machinery safety functions with low demand mode. Afterwards, it is presented...
-
Properties of an innovative multi-functional finish for the improvement of indoor air quality
PublicationDue to lifestyle changes, people spend most of their time indoors at present; thus, Indoor Air Quality (IAQ) is a matter of utmost importance. Multi-functional and innovative finishes can help to passively improve the IAQ, benefitting the health and comfort of occupants. For this study, reference and pre-mixed commercial mortars are compared to a new multi-functional hydraulic lime mortar for indoor finishes, in which conventional...
-
Implicit difference methods for infinite systems of hyperbolic functional differential equations
PublicationPraca dotyczy klasycznych rozwiązań problemów początkowo brzegowych dla nieskończonych układów nieliniowych równań rózniczkowo funkcyjnych. Skonstruowane są dwa typy schematów różnicowych. Pokazujemy, ze rozwiązania rozważanego zagadnienia różniczkowego można przybliżyć przy pomocy rozwiązań nieskończonych układów równań różnicowych. W drugiej części pracy udowadniamy, że również rozwiązania skończonych układów równań różnicowych...
-
Direct estimation of linear and nonlinear functionals of quantum state
PublicationWe present a simple quantum network, based on the controlled-SWAP gate, that can extract certain properties of quantum states without recourse to quantum tomography. It can be used as a basic building block for direct quantum estimations of both linear and nonlinear functionals of any density operator. The network has many potential applications ranging from purity tests and eigenvalue estimations to direct characterization of...
-
A general method for the derivation of the functional forms of the effective energy terms in coarse-grained energy functions of polymers. III. Determination of scale-consistent backbone-local and correlation potentials in the UNRES force field and force-field calibration and validation
Publication