Filters
total: 3070
filtered: 2273
-
Catalog
- Publications 2273 available results
- Journals 517 available results
- Conferences 65 available results
- Publishing Houses 3 available results
- People 80 available results
- Projects 5 available results
- e-Learning Courses 83 available results
- Events 3 available results
- Open Research Data 41 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: MATHEMATICAL THEORY OF EVIDENCE
-
Evidence of Ligand Elasticity Occurring in Temperature-, Light-, and Pressure-Induced Spin Crossover in 1D Coordination Polymers [Fe(3ditz)3]X2(X = ClO4-, BF4-)
Publication -
Does the carbon emissions trading system reduce carbon emissions by promoting two-way FDI in developing countries? Evidence from Chinese listed companies and cities
PublicationHow developing countries can effectively promote cities’ carbon emission reduction through the carbon emission trading system (ETS) is a topic worthy of attention in the global carbon reduction campaign. Policy changes in China's ETS provide a unique opportunity to measure whether ETS impacts carbon emissions through two-way FDI. Hence, this paper employs difference-in-differences (DID) method to test the causal impact of ETS...
-
Bio and slide biobearings, their lubrication by non-newtonian fluids and application in non-conventional systems. Vol. 2, The theory of human joint unsteady lubrication.
PublicationW monografii przedstawiono zasady niestacjonarnego smarowania stawów człowieka o odkształcalnych chrząstkach i powierzchniach kostnych w polach indukcji magnetycznej. W opisie stochastycznym uwzględnione zostały nienewtonowskie, lepkosprężyste właściwości cieczy synowialnych jako czynnika smarującego. Monografia prezentuje rozkłady wartości ciśnienia i nośności stawów człowieka w warunkach niestacjonarnego smarowania dla drgań...
-
Spectroscopic and cytotoxic characteristics of (p-cymene)Ru(II) complexes with bidentate coumarins and density functional theory comparison with selected Pd(II) complexes
PublicationThis paper presents the synthesis of two new (p-cymene)-ruthenium(II) complexes with the bidentate coumarin ligands. Both complexes were characterized by FTIR spectroscopy, 1H NMR, 13C NMR, MS, elemental analysis and DFT calculations. The X-ray structure of complex 3a was also solved. The cytotoxic properties of both complexes were examined on human leukemia NALM-6 and HL-60 cells and melanoma WM-115 cells. The complexes possess...
-
A constitutive model for concrete based on continuum theory with non-local softening coupled with eXtended Finite Element Method. Computational Modelling of Concrete Structures,
PublicationArtykuł omawia model połączony ciągły-nieciągły do modelowania stref lokalizacji i rys w betonie niezbrojonym. Obliczenia wykonano stosując rozszerzoną metodę elementów skończonych. Wyniki numeryczne porównano z doświadczeniami.
-
Risk of incorrect pass-fail decisions associated with assessment uncertainty
PublicationA mathematical framework for calculation teacher's and student's risks of incorrect pass-fail decisions under uncertainty of assessment, is presented. The probabilistic model of assessment process is adapted from interdisciplinary probabilistic theory of measurement.
-
MULTI-CRITERIA MODEL IN MULTIFUNCTIONAL BUILDING SYSTEM DESIGN PROCESS
PublicationThe paper presents a multi-criteria approach in multifunctional building system design process. The aim is to develop a theory relative to the engineering system of multifunctional with a mathematical representation defined by a holistic network for the lifecycle of the designed object. The idea of work was to define the structure of a complex system. Background for the presented field is to develop a design strategy for multifunctional...
-
A framework for detection of selfishness in multihop mobile ad hoc networks
PublicationThe paper discusses the need for a fully-distributed selfishness detection mechanism dedicated for multihop wireless ad hoc networks which nodes may exhibit selfish forwarding behaviour. The main contribution of this paper is an introduction to a novel approach for detecting and coping with the selfish nodes. Paper describes a new framework based on Dempster-Shafer Theory called Dempster-Shafer Theory-based Selfishness Detection...
-
The History of the Theory of Structures [Historia teorii konstrukcji] / K.-E. Kurrer. - Berlin : Ernst & Sohn, 2008.- 848 s. :501 rys. - Bibliogr. 1158 poz.
PublicationOmówiono angielskojęzyczne dzieło nt. historii teorii konstrukcji jako duże rozszerzenie wcześniejszej jego wersji niemieckojęzycznej. W opinii recenzenta w dziele tym zebrano i uporządkowano obszerny materiał przedmiotu, w dużej mierze - unikatowy.
-
Application of the theory of semi-markov processes to the development of a reliability model of an automotiv vrhicle = Zastosowanie teorii procesów semi-Markowa do opracowania modelu niezawodnościowego samochodu
PublicationW artykule przedstawiono możliwość zastosowania teorii procesów semi-Markowa (semimarkowskich) do opisu niezawodności samochodu, na przykładzie samochodu osobowego. W rozważaniach uwzględniony został samochód, w którym wyróżniono takie węzły konstrukcyjne (zespoły funkcjonalne) jak: silnik z układami zasilania czynnikami energetycznymi (paliwem, olejem smarowym i cieczą chłodzącą), sprzęgło, skrzynia biegów, wał napędowy, most...
-
Przepływ wody w ośrodkach nienasyconych o podwójnej porowatości: zastosowanie metody homogenizacji. Unsaturated water flow in double porosity media: application of the homogenization theory
PublicationPrzedstawiono model matematyczny przepływu w gruncie o podwójnej porowatości wyprowadzony metodą homogenizacji. Otrzymano równanie makroskopowe z parametrami efektywnymi i członem źródłowym. Przedstawiono wyniki przykładowych obliczeń numerycznych i porównania z modelem znanym z literatury.
-
In the search for experimental and quantumchemical evidence for zwitterionic nature of (2 E )-3-[4-(dimethylamino)phenyl]-2-nitroprop-2-enenitrile – An extreme example of donor–π–acceptor push–pull molecule
Publication -
Preface of guest editors
PublicationA special issue of Discussiones Mathematice Graph Theory (DMGT) is dedicated to selected papers presented at the 12th Workshop on Graph Theory: Colourings, Independence and Domination (CID) held on 16-21 September 2007 in Karpacz, Poland. It continues a series of international workshops: 1993-1997 in Lubiatów, 1998-2001 in Gronów, 2003 and 2005 in Karpacz. About 70 participants formed the audience of six invited lectures and 68...
-
Analysis of Interspike-Intervals for the General Class of Integrate-and-Fire Models with Periodic Drive
PublicationWe study one-dimensional integrate-and-fire models of the general type x˙=F (t, x) and analyze properties of the firing map which iterations recover consecutive spike timings. We impose very week constraints for the regularity of the function F (t, x), e.g. often it suffices to assume that F is continuous. If additionally F is periodic in t, using mathematical study of the displacement sequence of an orientation preserving circle...
-
Average Redundancy of the Shannon Code for Markov Sources
PublicationIt is known that for memoryless sources, the average and maximal redundancy of fixed–to–variable length codes, such as the Shannon and Huffman codes, exhibit two modes of behavior for long blocks. It either converges to a limit or it has an oscillatory pattern, depending on the irrationality or rationality, respectively, of certain parameters that depend on the source. In this paper, we extend these findings, concerning the Shannon...
-
DST-Based Detection of Non-cooperative Forwarding Behavior of MANET and WSN Nodes
Publication. Selfish node behavior can diminish the reliability of a mobile ad hoc network (MANET) or a wireless sensor network (WSN). Efficient detection of such behavior is therefore essential. One approach is to construct a reputation scheme, which has network nodes determine and share reputation values associated with each node; these values can next be used as input to a routing algorithm to avoid end-to-end routes containing ill-reputed...
-
General solution of quantum mechanical equations of motion with time-dependent Hamiltonians: A Lie algebraic approach
PublicationThe unitary operators U(t), describing the quantum time evolution of systems with a time-dependent Hamiltonian, can be constructed in an explicit manner using the method of time-dependent invariants. We clarify the role of Lie-algebraic techniques in this context and elaborate the theory for SU(2) and SU(1,1). In these cases we give explicit formulae for obtaining general solutions from special ones. We show that the constructions...
-
Stability by linear approximation for time scale dynamical systems
PublicationWe study systems on time scales that are generalizations of classical differential or difference equations and appear in numerical methods. In this paper we consider linear systems and their small nonlinear perturbations. In terms of time scales and of eigenvalues of matrices we formulate conditions, sufficient for stability by linear approximation. For non-periodic time scales we use techniques of central upper Lyapunov exponents...
-
DESIGN LOGICAL LINGUISTIC MODELS TO CALCULATE NECESSITY IN TRUCKS DURING AGRICULTURAL CARGOES LOGISTICS USING FUZZY LOGIC
Publication: The study is aimed to develop the logic-linguistic models to design a number of rules for the correct calculation of the vehicles needed, taking into account the technical, technological, and weather and climate conditions of the harvesting and transport complex. The article has shown that the construction of the design of logic-linguistic models was not performed earlier to solve the problem of the agro-industrial production...
-
Restrained differential of a graph
PublicationGiven a graph $G=(V(G), E(G))$ and a vertex $v\in V(G)$, the {open neighbourhood} of $v$ is defined to be $N(v)=\{u\in V(G) :\, uv\in E(G)\}$. The {external neighbourhood} of a set $S\subseteq V(G)$ is defined as $S_e=\left(\cup_{v\in S}N(v)\right)\setminus S$, while the \emph{restrained external neighbourhood} of $S$ is defined as $S_r=\{v\in S_e : N(v)\cap S_e\neq \varnothing\}$. The restrained differential of a graph $G$ is...
-
Preface
PublicationThis special issue of Discussiones Mathematice Graph Theory (DMGT) is dedicated to selected papers presented at the 13th Workshop on Graph Theory: Colourings, Independence and Domination (CID) held on 18-23 September 2009 in Szklarska Poręba, Poland. It continues a series of international workshops: 1993-1997 in Lubiatów, 1998-2001 in Gronów, and 2003-2007 in Karpacz. The meeting was organized by the Faculty of Mathematics, Computer...
-
Hopf bifurcation in time‐delayed gene expression model with dimers
PublicationWe study a mathematical model of gene transcription and protein synthesis with negative feedback. We consider a system of equations taking into account the formation of dimers (i.e., complex formed by two protein monomers), the way in which dimers bind to DNA and time delay in translation process. For the model consisting of three ordinary differential equations with time delay, we derive conditions for stability of the positive...
-
Możliwość oszacowania niezawodności silników o zapłonie samoczynnym z zastosowaniem teorii procesów semi-Markowa oraz podejmowania decyzji eksploatacyjnych z uwzględnieniem wiarygodności diagnozy o stanie technicznym tego rodzaju silników spalinowych = Possibility of estimating the reliability of diesel engines by applying the theory of semi-Markov processes and making operational decisions by considering reliability of diagnosis on technical state of this sort of combustion engines/
PublicationThe paper presents semi-Markov models of technical state transitions for diesel engines, useful for determining reliability of the engines. A possibility of application of a three-state model with a simplified matrix function, or even a two-state model, to determine reliability of the engines, has been described herein on examples of known from literature semi-Markov models, for the case when appropriate diagnosing systems (SDG)...
-
The Method of a Two-Level Text-Meaning Similarity Approximation of the Customers’ Opinions
PublicationThe method of two-level text-meaning similarity approximation, consisting in the implementation of the classification of the stages of text opinions of customers and identifying their rank quality level was developed. Proposed and proved the significance of major hypotheses, put as the basis of the developed methodology, notably about the significance of suggestions about the existence of analogies between mathematical bases of...
-
Periodic Properties of 1D FE Discrete Models in High Frequency Dynamics
PublicationFinite element discrete models of various engineering 1D structures may be considered as structures of certain periodic characteristics. The source of this periodicity comes from the discontinuity of stress/strain field between the elements. This behaviour remains unnoticeable, when low frequency dynamics of these structures is investigated. At high frequency regimes, however, its influence may be strong enough to dominate calculated...
-
Analysis and improvement attempt of prof. Alan Fowler’s negotiation game
PublicationThe main goal of the following article is to design an improved version of the negotiation game created by prof. Alan Fowler (Fowler, 1997). I have tried to achieve this by constructing four separate versions of the game which represent different approaches while preserving rules, chosen basic technical assumptions and the simplicity of the base game. Each version of the game is supposed to i.a. make it less obvious, create new...
-
Decision-Making Models of the Human-Operator as an Element of the Socio-Technical Systems
PublicationThe authors of the chapter proved that the fundamental intellectual processes, which lie on the basis of decision-making behavior of the human-operator, could be identified on the bases on the analogies with the devices (elements). The basic intellectual processes of the Rational decision-making models can be adequately identified by the transient processes of the PID-controller; the intellectual processes of the Bounded Rationality...
-
COMPARISON OF INFINITE ELEMENT MODELS
PublicationThe main objective of this paper is to show the comparison of two models of infinite ab- sorbing layer with increasing damping in numerical investigations of elastic wave prop- agation in unbounded structures. This has been achieved by the Authors by a careful in- vestigation of two different engineering structures characterised by gradually increasing geometrical and mathematical description complexities. The analysis included...
-
Selecting the optimum location for logistics facilities using Solver
PublicationSiting logistics facilities strategically in the most costeffective geographic location is one of the key decisions a contemporary company will make. The aim of the paper is to present a solution to this problem using the Solver add-on. In the case study discussed in the paper, the company’s central warehouse location was selected based on the classic location theory, which addresses the need to minimize the cost of transport....
-
What matters most to patients? On the Core Determinants of Patient Experience from Free Text Feedback
PublicationFree-text feedback from patients is increasingly used for improving the quality of healthcare services and systems. A major reason for the growing interest in harnessing free-text feedback is the belief that it provides richer information about what patients want and care about. The use of computational approaches such as structural topic modelling for analysing large unstructured textual data such as free-text feedback from patients...
-
Semi-definite programming and quantum information
PublicationThis paper presents a comprehensive exploration of semi-definite programming (SDP) techniques within the context of quantum information. It examines the mathematical foundations of convex optimization, duality, and SDP formulations, providing a solid theoretical framework for addressing optimization challenges in quantum systems. By leveraging these tools, researchers and practitioners can characterize classical and quantum correlations,...
-
On the interspike-intervals of periodically-driven integrate-and-fire models
PublicationWe analyze properties of the firing map, which iterations give information about consecutive spikes, for periodically driven linear integrate-and-fire models. By considering locally integrable (thus in general not continuous) input functions, we generalize some results of other authors. In particular, we prove theorems concerning continuous dependence of the firing map on the input in suitable function spaces. Using mathematical...
-
Validating the Rules of Government Automation
PublicationThere is growing evidence on the benefits and risks of government automation, and how should government organizations proceed with automation when the benefits outweigh the risks. This evidence was recently consolidated into the "rules of government automation", part of the project funded by the Inter-American Development Bank. The project uncovered that the combined nature of government work and its transformation into digital...
-
Informal work in Poland - a regional approach
PublicationIn our paper we try to combine the theories explaining the prevalence of informal work, using a regional approach. Reviewing the literature, we observe that, there is no evidence to confirm that the relationships that occur in cross-country comparisons remain significant when we use regional data and analyse cross-regional variations. Our general question is therefore whether there is simply more informal work in less-developed...
-
TRAVELLING WAVES FOR LOW–GRADE GLIOMA GROWTH AND RESPONSE TO A CHEMOTHERAPY MODEL
PublicationLow-grade gliomas (LGGs) are primary brain tumours which evolve very slowly in time, but inevitably cause patient death. In this paper, we consider a PDE version of the previously proposed ODE model that describes the changes in the densities of functionally alive LGGs cells and cells that are irreversibly damaged by chemotherapy treatment. Besides the basic mathematical properties of the model, we study the possibility of the...
-
COLREGS compliance in Evolutionary Sets of Cooperating Ship Trajectories
PublicationIn general, Evolutionary Sets of Cooperating Ship Trajectories combine some of the assumptions of game theory with evolutionary programming and aim to find optimal set of cooperating trajectoriesof all ships involved in an encounter situation. In a two-ship encounter situation the method enables the operator of an on-board collision-avoidance system to predict the most probable behaviour of atarget and to plan the own manoeuvres...
-
Periodic and chaotic dynamics in a map‐based neuron model
PublicationMap-based neuron models are an important tool in modeling neural dynamics and sometimes can be considered as an alternative to usually computationally costlier models based on continuous or hybrid dynamical systems. However, due to their discrete nature, rigorous mathematical analysis might be challenging. We study a discrete model of neuronal dynamics introduced by Chialvo in 1995. In particular, we show that its reduced one-dimensional...
-
Supporting Cybersecurity Compliance Assessment of Industrial Automation and Control System Components
PublicationThe chapter presents a case study demonstrating how security requirements of an Industrial Automation and Control System (IACS) component can be represented in a form of Protection Profile that is based on IEC 62443 standards and how compliance assessment of such component can be supported by explicitly representing a conformity argument in a form based on the OMG SACM meta-model. It is also demonstrated how an advanced argument...
-
An Assessment of RASSCF and TDDFT Energies and Gradients on an Organic Donor−Acceptor Dye Assisted by Resonance Raman Spectroscopy
PublicationThe excitation energies and gradients in the ground and the first excited state of a novel donor−(π- bridge)−acceptor 4-methoxy-1,3-thiazole-based chromophore were investigated by means of MS-RASPT2/RASSCF and TDDFT in solution. Within both methods, the excitation energies strongly depend on the employed equilibrium structures, whose differences can be rationalized in terms of bond length alternation indexes. It is shown that functionals with...
-
Numerical analysis of elastic wave propagation in unbounded structures
PublicationThe main objective of this paper is to show the effectiveness and usefulness of the concept of an absorbing layer with increasing damping (ALID) in numerical investigations of elastic wave propagation in unbounded engineering structures. This has been achieved by the authors by a careful investigation of three different types of structures characterised by gradually increasing geometrical and mathematical description complexities....
-
Support for argument structures review and assessment
PublicationArgument structures are commonly used to develop and present cases for safety, security and for other properties of systems. Such structures tend to grow excessively, which causes problems with their review and assessment. Two issues are of particular interest: (1) systematic and explicit assessment of the compelling power of an argument, and (2) communication of the result of such an assessment to relevant recipients. The paper...
-
High-accuracy computation of hard X-ray focusing and imaging for refractive optics
PublicationA mathematical apparatus for solving problems of X-ray wave propagation through complex optical systems, when the lens thickness can change with jumps, is developed and presented. The developed method is based on the use of the superposition of oriented Gaussian beams, which satisfy the Helmholtz equation with high accuracy. The wave propagation in air and through kinoform and ordinary lenses is considered. Focusing and imaging...
-
A Model of Thermal Energy Storage According to the Convention of Bond Graphs (BG) and State Equations (SE)
PublicationThe main advantage of the use of the Bond Graphs method and State Equations for modeling energy systems with a complex structure (marine power plants, hybrid vehicles, etc.) is the ability to model the system components of different physical nature using identical theoretical basis. The paper presents a method of modeling thermal energy storage, which is in line with basic BG theory. Critical comments have been put forward concerning...
-
Implementation of power transformer controlled switching algorithm
PublicationThe article presents two new algorithms of controlled switching the power transformer. The main aim of the paper is to obtain formulas that determine the moments of closing of the circuit breaker poles. The study contains projects of control systems for both algorithms. Mathematical formulas for the time instants of the breaker poles closing were developed on the basis of electric circuit theory and magnetic circuit theory. The...
-
Reprezentation of mechanic hysteresis in a railway track using the Preisach model
PublicationThis paper presents an implementation of the classic scalar Preisach model to describe the hysteresis phenomenon created in a railway track subjected to lateral (in the horizontal plane) displacements. The principles of the Preisach theory and the scalar mathematical model of the mechanical hysteresis that is based on statistically distributed modified hysteresis operators are briefly presented. This article presents the characteristic...
-
An Alternative Proof of a Lower Bound on the 2-Domination Number of a Tree
PublicationA 2-dominating set of a graph G is a set D of vertices of G such that every vertex not in D has a at least two neighbors in D. The 2-domination number of a graph G, denoted by gamma_2(G), is the minimum cardinality of a 2-dominating set of G. Fink and Jacobson [n-domination in graphs, Graph theory with applications to algorithms and computer science, Wiley, New York, 1985, 283-300] established the following lower bound on the 2-domination...
-
Observation Value Analysis – Integral Part of Bayesian Diagnostics
PublicationThe decision making process, in general, is understood as a process of selecting one of the available solutions to the problem. One of possible approaches supporting the process is Bayesian statistical decision theory providing a mathematical model to make decisions of a technical nature in conditions of uncertainty. Regarding above, a detailed subject of the research is to analyze the value of the observation, which is a part...
-
Application of sliding switching functions in backstepping based speed observer of induction machine
PublicationThe paper presents an analysis of the speed observer which is based on the backstepping and sliding mode approach. The speed observer structure is based on the extended mathematical model of an induction machine. The observer structure is based on the measured phase stator currents and transformed to ( αβ ) coordinate system. The stator voltage vector components are treated as known values. Additionally, such an observer structure...
-
Firing map of an almost periodic input function
PublicationIn mathematical biology and the theory of electric networks the firing map of an integrate-and-fire system is a notion of importance. In order to prove useful properties of this map authors of previous papers assumed that the stimulus function f of the system ẋ = f(t,x) is continuous and usually periodic in the time variable. In this work we show that the required properties of the firing map for the simplified model ẋ = f(t) still...
-
Local hidden–variable models for entangled quantum states
PublicationWhile entanglement and violation of Bell inequalities were initially thought to be equivalent quantum phenomena, we now have different examples of entangled states whose correlations can be described by local hidden-variable models and, therefore, do not violate any of the Bell inequalities. We provide an up-to-date overview of the existing literature regarding local hidden-variable models for entangled quantum states, in both...