Filters
total: 4260
-
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
displaying 1000 best results Help
Search results for: FUNCTIONAL LANGUAGE
-
Language Matters
Journals -
Language and Linguistics
Journals -
Language in Society
Journals -
Neurobiology of Language
Journals -
STUDIES IN LANGUAGE
Journals -
Functional safety and security assessment of the control and protection systems
PublicationW artykule zostały poruszone kluczowe aspekty integracji podejścia bezpieczeństwa funkcjonalnego ''safety'' i ochrony informacji ''security'' w rozproszonych systemach sterowania i zabezpieczeniowych. Próba integracji zagadnień ''safety'' @ ''security'' została zilustrowana na przykładzie systemu monitoringu i zabezpieczeń pracującego w obiekcie podwyższonego ryzyka.
-
Numerical methods for systems of nonlinear differential functional equations
PublicationPraca dotyczy zagadnień początkowo brzegowych dla nieliniowych układów różniczkowo funkcyjnych. Rozważana jest aproksymacja rozwiązań rozważanego problemu różniczkowo funkcyjnego przez rozwiązania odpowiedniego problemu różnicowego. W pracy analizowana jest zbieżność prezentowanych metod. Dowód zbieżności opiera się na technice porównawczej z nieliniowym oszacowaniem typu Perron'a dla danych operatorów.
-
Heart rate variability and functional outcome in ischemic stroke
Publication -
General concept of functional safety - standarisation and sector aspects
PublicationRozdział poświęcono koncepcji bezpieczeństwa funkcjonalnego. Bezpieczeństwo funkcjonalne jest częścią bezpieczeństwa całkowitego zależną od odpowiedniej odpowiedzi systemów sterowania i/lub zabezpieczeń na sygnały wejściowe podczas wystąpienia stanów nienormalnych maszyny, instalacji lub obiektu podwyższonego ryzyka. Koncepcja bezpieczeństwa funkcjonalnego przedstawiona w normie IEC 51508 stanowi przykład dobrej praktyki inżynierskiej...
-
Towards β-selectivity in functional estrogen receptor antagonists
PublicationBased on the benzo[b]naphtho[1,2-d]furan and benzo[b]naphtho[1,2-d]thiophene frameworks, a series of ligands with different basic side chains (BSCs) has been synthesized and pharmacologically evaluated. Also, their binding modes have been modelled using docking techniques. It was found that the introduction of a BSC in these systems brings about a decrease of affinity for both estrogen receptors α and β in an in vitro competitive...
-
POLISH CONSUMERS’ AWARENESS AND KNOWLEDGE ABOUT FUNCTIONAL FOOD
Publication -
On the generalized model of shell structures with functional cross-sections
PublicationIn the present study, a single general formulation has been presented for the analysis of various shell-shaped structures. The proposed model is comprehensive and a variety of theories can be used based on it. The cross-section of the shell structure can be arbitrarily analyzed with the presented equations. In other words, various types of shell structures, including cylindrical, conical, spherical, elliptical, hyperbolic, parabolic,...
-
The ONETEP linear-scaling density functional theory program
PublicationWe present an overview of the ONETEP program for linear-scaling density functional theory (DFT) calculations with large basis set (planewave) accuracy on parallel computers. The DFT energy is computed from the density matrix, which is constructed from spatially localized orbitals we call Non-orthogonal Generalized Wannier Functions (NGWFs), expressed in terms of periodic sinc (psinc) functions. During the calculation, both the...
-
MANDARIN PEEL AS AN AUSPICIOUS FUNCTIONAL FILLER FOR POLYMER COMPOSITES
PublicationThis work describes the application of mandarin peel (MP) as a waste filler for high-density polyethylene (HDPE) composites. The main goal was to investigate the impact of the filler's essential oils, which include multiple terpenes and terpenoids, on the processing, physicochemical, mechanical, and thermal properties of the composites as a function of different filler content (1 – 10 wt%), as well as its effect on the color and...
-
Method of lines for Hamilton-Jacobi functional differential equations.
PublicationInitial boundary value problems for nonlinear first order partial functional differential equations are transformed by discretization in space variables into systems of ordinary functional differential equations. A method of quasi linearization is adopted. Suffcient conditions for the convergence of the method of lines and error estimates for approximate solutions are presented. The proof of the stability of the diffrential difference...
-
Framework for RIDM within functional safety management process
PublicationThe functional safety management in life cycle is a complex process starting with identifying hazards and defining safety-related functions (SRFs) with risk assessment oriented at determining the safety integrity level. Another element of such life cycle is a verification of required SIL for designed safety-related system which implements safety function. Due to complexity of the problem, to overcome difficulties in safety-related...
-
Nonlocal problems for functional partial differential equations of firstorder
PublicationRozważa się istnienie uogólnionych rozwiązań nielokalnych problemów dla quasiliniowych i nieliniowych równań różniczkowo-funkcyjnych cząstkowych pierwszego rzędu. Dowody twierdzeń bazują na metodzie bicharakterystyk i metodzie kolejnych przybliżeń.
-
Quasilinearization methods for nonlinear parabolic equations with functional dependence
PublicationRozważamy problem Cauchy`ego dla nieliniowych równań parabolicznych z zależnością funkcyjną. Dowodzimy twierdzeń o szybkiej zbieżności ciągów kolejnych przybliżeń określonych w metodzie quasilinearyzacji w dwóch przypadkach: (i) argumentem funkcyjnym jest funkcja niewiadoma, (ii) zależność funkcyjna dotyczy również pochodnej funkcji niewiadomej.
-
Waveform relaxation methods for periodic differential-functional systems.
PublicationPrzedmiotem badań były układy różniczkowo-funkcyjne z warunkiem okresowym.Prawą stronę układu z argumentem funkcyjnym przedstawiono w nowej formie wygodnej do stosowania metody relaksacyjnej ''waveform''. Podano warunki dostateczne (dyskutowano dwa typy takich warunków) przy których wyjściowy problem ma rozwiązanie i odpowiednie ciągi relaksacyjne są do niego zbieżne. Dyskutowano w szczegółach przedstawiony problem numeryczny...
-
Antiperiodic boundary value problems for functional differential equations
PublicationRównania różniczkowo funkcyjne z antyokresowymi warunkami brzegowymi są przedmiotem rozważań tej pracy. Podane zostały warunki dostateczne na istnienie jedynego rozwiązania, które jest granicą dwóch monotonicznych ciągów. Szybkość tej zbieżności jest również określona. Metoda dowodzenia oparta jest na metodzie kwasilinearyzacji. Otrzymano również pewne wyniki dotyczące problemów liniowych.
-
Periodic boundary value problems for functional differential equations
PublicationPrzedmiotem badań były równania różniczkowo-funkcyjne dość ogólnej postaci z warunkami brzegowymi typu okresowego. Podano warunki dostateczne na istnienie jedynego rozwiązania (zerowego) odpowiedniego zagadnienia liniowego z okresowymi warunkami brzegowymi. Te wyniki zostały wykorzystane aby pokazać, że odpowiednio skonstruowane ciągi monotoniczne są jednostajnie zbieżne do jedynego, w pewnym segmencie, rozwiązania zagadnienia...
-
Boundary value problems for systems of functional differential equations
PublicationPraca dotyczy przybliżonych rozwiązań zagadnienia brzegowego dla funkcyjnych równań różniczkowych 2-go rzędu. Podano numeryczne algorytmy na wyznaczenie tego rozwiązania i warunki dostateczne, przy których metoda jest zgodna i zbieżna. Podano też konstrukcję metody dowolnego rzędu.
-
Implicit difference methods for parabolic functional differential equations.
PublicationPraca dotyczy przybliżania rozwiązań quasiliniowych parabolicznych równań różniczkowo-funkcyjnych za pomocą schematów różnicowych, uwikłanych ze względu na zmienną czasową. Wykonano pełną analizę zbieżności metod i pokazano na przykładzie, że nowe metody są istotnie lepsze od schematów jawnych. Dowód stabilności oparty jest na metodzie porównawczej z nieliniowymi oszacowaniami typu Perrona. Otrzymane wyniki można zastosować do...
-
Human Factors and Cognitive Engineering in Functional Safety Analysis
PublicationHuman factors and cognitive engineering are considered nowadays as important multidisciplinary domains that focus on improving the relations between humans, technology and systems to be supervised and operated. The industrial automation and control systems (IACS) in hazardous plants are increasingly computerized and perform various safety functions. These are usually designed and implemented according to the functional safety requirements....
-
Existence of unbounded solutions to parabolic equations with functional dependence
PublicationThe Cauchy problem for nonlinear parabolic differential-functional equations is considered. Under natural generalized Lipschitz-type conditions with weights, the existence and uniqueness of unbounded solutions is obtained in three main cases: (i) the functional dependence u(·); (ii) the functional dependence u(·) and ∂xu(·); (iii) the functional dependence u(·)and the pointwise dependence ∂xu(t,x).
-
Functional properties of edible films for food applications - a review
PublicationApplication of natural polymers to forming edible films for food applications has been reviewed. Due to the hydrophilic nature of proteins and polysaccharides, films prepared from these polymers are too susceptible to moisture. Modification of them with critically selected a suitable compounds can result in their improved functional properties and making them useful for food packaging.
-
Minimization of integral functionals in Sobolev spaces
PublicationPraca ma charakter przeglądowy i jest skierowana do młodych matematyków i doktorantów. Dotyczy problematyki omawianej przeze mnie na Zimowej Szkole Centrum Badań Nieliniowych im. J.P. Schaudera w Toruniu w roku 2009. Zawarłam w niej wybrane, znane wyniki dotyczące problemu minimalizacji funkcjonałów całkowych w przestrzeniach Sobolewa funkcji jednej zmiennej.
-
Comparison of Language Models Trained on Written Texts and Speech Transcripts in the Context of Automatic Speech Recognition
Publication -
KABA Subject Heading Language as the Main Resource Subject Organization Tool in a Semantic Knowledge Base
Publication -
Computer aided funcional safety assessment
PublicationReferat porusza wybrane zagadnienia związane z oceną bezpieczeństwa funkcjonalnego w nawiązaniu do normy międzynarodowej IEC 61508. Podkreśla się znaczenie modelowania probabilistycznego systemów elektrycznych, elektronicznych i programowalnych elektronicznych (E/E/PE). Opisuje się wyznaczanie poziomu nienaruszalności bezpieczeństwa (SIL). W następnym kroku analizy weryfikuje się poziom SIL w procesie modelowania probabilistycznego...
-
O Karelach i językach karelskich [About the Karelians and the Karelian languages
Publication -
Selected aspects of customization of cognitive dimensions for evaluation of visual modeling languages.
PublicationFor the successful application of diagrams in software engineering, high quality visual modelling languages (VML) are required. There is a need for new effective methodologies of VML evaluation. This paper discusses selected aspects of applying cognitive dimensions as a basis of the evaluation. Then, it briefly presents CD-VML methodology which integrates the cognitive dimensions with a theory of visual modelling languages. Finally,...
-
Journal of Applied Biomaterials & Functional Materials
Journals -
Gongneng Cailiao/Journal of Functional Materials
Journals -
Eurasian Journal of Physics and Functional Materials
Journals -
Fractional Differential Calculus
Journals -
Fractional Spectral and Fractional Finite Element Methods: A Comprehensive Review and Future Prospects
PublicationIn this article, we will discuss the applications of the Spectral element method (SEM) and Finite element Method (FEM) for fractional calculusThe so-called fractional Spectral element method (f-SEM) and fractional Finite element method (f-FEM) are crucial in various branches of science and play a significant role. In this review, we discuss the advantages and adaptability of FEM and SEM, which provide the simulations of fractional...
-
Cadernos de Linguagem e Sociedade - Papers on Language and Society
Journals -
Generalized solutions of first order partial differential functional inequalities
PublicationW pracy rozważa się zagadnienia początkowo brzegowe dla nieliniowych równań różniczkowo funkcyjnych cząstkowych pierwszego rzędu. Podano dowód jednoznaczności rozwiązań uogólnionych. Oparty jest on na twierdzeniu porównawczym dla nierówności różniczkowo funkcyjnych w sensie Caratheodory'ego. Prezentowane jest twierdzenie o uogólnionych rozwiązaniach nierówności różniczkowo funkcyjnych.
-
Implicit difference methods for Hamilton-Jacobi differential functional equations
PublicationKlasyczne rozwiązania problemów początkowych przybliżane są rozwiązaniami odpowiedniego układu quasiliniowego równań różniczkowo funkcyjnych. Rozpatrywana metoda numeryczna jest uwikłana względem zmiennej przestrzennej. 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.
-
Numerical approximations of parabolic functional differential equations on unbounded domains
PublicationSkonstruowano schematy różnicowe zagadnień początkowych dla nieliniowych parabolicznych równań różniczkowo funkcyjnych. Przedstawiono twierdzenie o oszacowaniu błędu rozwiązań przybliżonych dla równań różnicowo funkcyjnych typu Volterry z niewiadomą funkcją kilku zmiennych. Udowodniono twierdzenie o zbieżności jawnych schematów różnicowych. Podano przykłady numeryczne.
-
Structural and Functional Analysis of Human HtrA3 Protease and Its Subdomains
Publication -
Functional Thin Films Resulting from Parylene–Vinyl Copolymerization
Publication -
Gold nanoparticles evaluation using functional optical coherence tomography
PublicationThe main object of this research was to assess the ability to characterize the gold nanoparticles using optical modalities like optical coherence tomography. Since the nanoparticles, especially gold one, have been very attractive for medical diagnosis and treatment the amount of research activities have been growing rapidly. The nanoparticles designed for different applications like contrast agents or drugs delivery change the...
-
On the Peano Theorem for Some Functional Differential Equations on Time Scale
PublicationThe Peano Theorem for some functional differential equations on time scale is proved. Assumptions are of Caratheodory type. Two counter examples for false Peano theorems in the literature are presented.
-
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...
-
Changes in Functional and Spatial Layouts of Polish Single-Family Houses
PublicationArticle presents the evolution of functional and spatial layouts of single-family houses in Poland, with particular emphasis on the functions of a contemporary house. Singlefamily housing constitutes a significant part of the construction market in Poland. The way of forming functions in single-family buildings in the historical cycle has characteristic features resulting from the culture of the society in a given period. The functional...
-
Functional Safety and Cybersecurity Analysis and Management in Smart Manufacturing Systems
PublicationThis chapter addresses some of the issues of the integrated functional safety and cybersecurity analysis and management with regard to selected references and the functional safety standards: IEC 61508, IEC 61511, ISO 13849-1 and IEC 62061, and a cybersecurity standard IEC 62443 that concerns the industrial automation and control systems. The objective is to mitigate the vulnerability of industrial systems that include the information...
-
A Qualitative Study on Non-functional Requirements in Agile Software Development
PublicationWidespread use of agile software development (ASD) methods can be observed nowadays. Non-functional requirements (NFRs) are often reported to be a problematic issue for agile projects, since ASD methods tend to neglect NFRs while focusing on incremental delivery of functional features. Despite that, only very few studies have explored the requirements engineering practices used in ASD and dedicated particularly to NFRs. Objective:...
-
Functional properties of packaging materials from chemical modified stach.
PublicationThis work is focused on study of the mechanical and barrier properties of films obtained from potato starch modified with sodium tetrahydroxozincate generated in situ. The results show that the chemical modification of starch improved the water vapor permeability by about 25%, unfortunately decreased the elongation at break by 60%, when compared with unmodified starch films. However, placitization of films with glycerol at a concentration...