Filtry
wszystkich: 1958
wybranych: 1487
-
Katalog
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: algorithmic graph theory
-
Improvement of ships seakeeping performance by application of the Full-scale CFD simulations – case study
PublikacjaThe ship’s fuel economy is increasingly important. The paper presents the effect of redesigning a case study ship for increasing seakeeping performance. Selected wave parameters reflects very difficult operational con-ditions existing on the North Sea and the Baltic Sea. The analyzed variants of a case study ship represent the latest developments of modern hull forms. The concepts similar to V-shaped bulbous bow, X-bow, X-aft,...
-
Effect of the Catalytic Center on the Electron Transfer Dynamics in Hydrogen-Evolving Ruthenium-Based Photocatalysts Investigated by Theoretical Calculations
PublikacjaThe light-induced relaxation pathways in the molecular photocatalyst [(tbbpy)2Ru(tpphz)PtCl2]2+ are investigated with time-dependent density functional theory calculations together with the Marcus theory of electron transfer (ET). The calculations show that metal (Ru) to ligand (tpphz) charge transfer (MLCT) triplet states are populated following an excitation in the longer wavelength range of the absorption spectrum, but that an...
-
Objectivity in the non-Markovian spin-boson model
PublikacjaObjectivity constitutes one of the main features of the macroscopic classical world. An important aspect of the quantum-to-classical transition issue is to explain how such a property arises from the microscopic quantum theory. Recently, within the framework of open quantum systems, there has been proposed such a mechanism in terms of the so-called spectrum broadcast structures. These are multipartite quantum states of the system...
-
Implementation of power transformer controlled switching algorithm
PublikacjaThe 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...
-
Rough Set Based Modeling and Visualization of the Acoustic Field Around the Human Head
PublikacjaThe presented research aims at modeling acoustical wave propagation phenomena by applying rough set theory in a novel manner. In a typical listening environment sound intensity is determined by numerous factors: a distance from a sound source, signal levels and frequencies, obstacles’ locations and sizes. Contrarily, a free-field is characterized by direct, unimpeded propagation of the acoustical waves. The proposed approach is...
-
ICT Diffusion Trajectories and Economic Development: Empirical Evidence for 46 Developing Countries
PublikacjaIn economic theory, technology is treated as a crucial factor contributing significantly to economic development. Seminal works of Schumpeter (Theory of economic development. Transaction Publishers, New Brunswick, 1934, J Econ Hist 7:149–159, 1947), Baumol (Am Econ Rev 76:1072–1084, 1986), Gerschenkron (Economic backwardness in economic perspective. Belknap Press, Cambridge, MA, 1962) or Abramovitz (J Econ Hist 46(2):385–406, 1986)...
-
Contemporary multifunctional buildings towards a sustainable development of the housing environment
PublikacjaDevelopment of contemporary urban centers depends on the basis that buildings present more and more complex structures in terms of size and purpose. They are referred to as multifunctional buildings. This aspiration has its origins in the development of urban centers and in the desire to optimize the built-up areas. The article presents the theory of the approach to the design of multifunctional buildings with a focus on the residential...
-
On Solvability of Boundary Value Problems for Elastic Micropolar Shells with Rigid Inclusions
PublikacjaIn the framework of the linear theory of micropolar shells, existence and uniqueness theorems for weak solutions of boundary value problems describing small deformations of elastic micropolar shells connected to a system of absolutely rigid bodies are proved. The definition of a weak solution is based on the principle of virial movements. A feature of this problem is non-standard boundary conditions at the interface between the...
-
Chemically Selective Alternatives to Photoferroelectrics for Polarization-Enhanced Photocatalysis: The Untapped Potential of Hybrid Inorganic Nanotubes
PublikacjaLinear-scaling density functional theory simulation of methylated imogolite nanotubes (NTs) elucidates the interplay between wall-polarization, bands separation, charge-transfer excitation, and tunable electrostatics inside and outside the NT-cavity. The results suggest that integration of polarization-enhanced selective photocatalysis and chemical separation into one overall dipole-free material should be possible.
-
Architektura jako nauka:eksperyment - teoria - historia
PublikacjaAutorka prezentuje architekturę jako dyscyplinę naukową. Ukazuje trzy obszary badawcze architektury: eksperyment, teorię i historię. Przedstawia elementy projektowanie architektonicznego jako pewien typ eksperymentu naukowego. Ukazuje również rolę teorii architektury i historii architektury w problematyce badawczej tej dyscypliny. Przedstawia całe zagadnienie w szerokim kontekście kulturowym - od czasów antycznych po współczesne...
-
Speed sensorless asynchronous motor drive with inverter output lc filter
PublikacjaIn this paper a speed sensorless ac drive with inverter and output LC filter is proposed. A nonlinear, decoupled field oriented control algorithm with a flux and speed close-loop observer is used. In spite of using LC filter on the inverter output, the sensorless system works precisely. That result are obtained as a result of the appropriate estimation and control system use. The theory, simulation, and experimental results are...
-
Green function diagonal for a class of heat equations
PublikacjaA construction of the heat kernel diagonal is considered as element of generalized zeta function theory, which gradient at the origin defines determinant of a differential operator in a technique for regularizing quadratic path integral. Some classes of explicit expressions of the Green function in the case of finite-gap potential coefficient of the heat equation are constructed. An algorithm and program for Mathematica are presented...
-
Applying case studies to teaching architectural investment
PublikacjaCase studies enable students to encounter practical issues during their education. Experiments conducted in class employing this method often feature simplified models of real-world situations. However, they still enable students to encounter actual problems, to which theoretical knowledge is applied. In architectural education, students carrying out semester projects usually rely on data provided by the teacher, without wondering...
-
Comparing Phylogenetic Trees by Matching Nodes Using the Transfer Distance Between Partitions
PublikacjaAbility to quantify dissimilarity of different phylogenetic trees describing the relationship between the same group of taxa is required in various types of phylogenetic studies. For example, such metrics are used to assess the quality of phylogeny construction methods, to define optimization criteria in supertree building algorithms, or to find horizontal gene transfer (HGT) events. Among the set of metrics described so far in...
-
Research into the Movements of Surface Water Masses in the Basins Adjacent to the Port
PublikacjaThis paper presents the results of the practical and simulation research into determining the routes of movement of small objects moving together with surface water masses in basins adjacent to the port. The results of this research were referenced against the modelling of routes of small objects in port channel basins. The results of practical research concerning the movement of small objects in basins adjacent to the port were...
-
On a matching distance between rooted phylogenetic trees
PublikacjaThe Robinson–Foulds (RF) distance is the most popular method of evaluating the dissimilarity between phylogenetic trees. In this paper, we define and explore in detail properties of the Matching Cluster (MC) distance, which can be regarded as a refinement of the RF metric for rooted trees. Similarly to RF, MC operates on clusters of compared trees, but the distance evaluation is more complex. Using the graph theoretic approach...
-
Extending Service Selection Algorithms with Interoperability Analysis
PublikacjaApplication development by integration of existing, atomic services reduces development cost and time by extensive reuse of service components. In Service Oriented Architecture, there exist alternative versions of services supplying the same functionality but differing in Quality of Service (QoS) attributes, which enables developers to select services with optimal QoS. Existing algorithms of service selection focus on the formal...
-
Eventual Convergence of the Reputation-Based Algorithm in IoT Sensor Networks
PublikacjaUncertainty in dense heterogeneous IoT sensor networks can be decreased by applying reputation-inspired algorithms, such as the EWMA (Exponentially Weighted Moving Average) algorithm, which is widely used in social networks. Despite its popularity, the eventual convergence of this algorithm for the purpose of IoT networks has not been widely studied, and results of simulations are often taken in lieu of the more rigorous proof....
-
Concept of Multifactor Method and Non-Functional Requirements Solution to Increase Resilience through Functional Safety with Cybersecurity Analysis
PublikacjaIn the process of designing safety systems, an integrated approach in safety and cybersecurity analysis is necessary. The paper describes a new technique of increasing resilience through integrated analysis of functional safety and cybersecurity. It is a modeling methodology based on the combination of the multifactor method utilizing modified risk graphs, used previously for Safety Integrity Level (SIL) assessment, and the Non-Functional...
-
Dobór optymalnej liczby jednostek funcjonalnych dla realizacji syntezy wysokiego poziomu układów cyfrowych
PublikacjaW pracy przedstawiono algorytm MNP (ang. minimization the number of procesing elements) wyznaczający liczbę jednostek funkcjonalnych niezbędnych do syntezy wysokiego poziomu zadania opisanego grafem przepływu danych (DFG - ang. data flow graph). Liczba jednostek funkcjonalnych wyznaczana przez prezentowany algorytm jest optymalna zarówno z punktu widzenia kosztów wykonania układu, jak i szybkości jego działania. Rozwiązanie tego...
-
The impact of internal and international migration on regional convergence in Poland
PublikacjaAccording to neoclassical theory, migration is expected to speed up the convergence process between countries (Barro, Sala-i-Martin 2004). The flow of labour from low-wage regions to high-wage regions should equalise payrolls. However, the impact of migration on convergence rates is unclear when the labour flow is heterogeneous. Moreover, the movement of labour towards wealthier areas depresses the demand for goods, services and...
-
General solution of quantum mechanical equations of motion with time-dependent Hamiltonians: A Lie algebraic approach
PublikacjaThe 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...
-
Thin-walled frames and grids - statics and dynamics
PublikacjaFrames and grids assembled with thin-walled beams of open cross-section are widely applied in various civil engineering and vehicle or machine structures. Static and dynamic analysis of theses structures may be carried out by means of different models, startingfrom the classical models made of beam elements undergoing the Kirchhoff assumptions to the FE discretization of whole frame into plane elements. The former model is very...
-
Studies on formation and percolation in ionic liquids/TX-100/water microemulsions
PublikacjaTernary microemulsion systems of H2O/Triton X-100/[BMIM][Tf2N], and H2O/Triton X-100/[BMIM][PF6] were prepared, compared and characterized for phase behavior for different water/surfactant ratios, at 25 °C. It was found that a change of an anion structure in the ionic liquids determines the total monophasic area of the systems. A liquid crystalline mesophase was detected in H2O/Triton X-100/[BMIM][PF6]. The microemulsion domains...
-
An isogeometric finite element formulation for boundary and shell viscoelasticity based on a multiplicative surface deformation split
PublikacjaThis work presents a numerical formulation to model isotropic viscoelastic material behavior for membranes and thin shells. The surface and the shell theory are formulated within a curvilinear coordinate system,which allows the representation of general surfaces and deformations. The kinematics follow from Kirchhoff–Love theory and the discretization makes use of isogeometric shape functions. A multiplicative split of the surface...
-
Evolutionary benefits of personality traits when facing workplace bullying
PublikacjaFacing workplace bullying negatively affects physical and mental health, and consequently quality of life and well-being. Personality traits that can help an individual survive and reproduce entail more benefits than costs. Building on two evolutionary theories, Life History Theory and Costly Signaling Theory, this study aims to provide novel insights into how and why personality traits are associated with facing workplace bullying...
-
Mechanism of Li nucleation at graphite anodes and mitigation strategies
PublikacjaLithium metal plating is a critical safety issue in Li-ion cells with graphite anodes, and contributes significantly to ageing, drastically limiting the lifetime and inducing capacity loss. Nonetheless, the nucleation mechanism of metallic Li on graphite anodes is still poorly understood. But in-depth understanding is needed to rationally design mitigation measures. In this work, we conducted FirstPrinciples studies to elucidate...
-
Theoretical Investigation of the Electron-Transfer Dynamics and Photodegradation Pathways in a Hydrogen-Evolving Ruthenium-Palladium Photocatalyst
PublikacjaTime-dependent density functional theory calcula- tions combinedwith the Marcus theory of electron transfer (ET) were app lied on the molecular photocatalys t [(tbbpy) 2 Ru(tpph z)PdC l 2 ] 2 + in order to elucidate thelight-in- duced relaxation pathways populated upon excitation in the longer wavelength range of its absorption spectrum. The computational resultsshow that after the initial excitation, metal (Ru) to ligand (tpphz)chargetransfer...
-
Photoinduced electron transfer in 5-bromouracil labeled DNA. A contrathermodynamic mechanism revisited by electron transfer theories
PublikacjaThe understanding of the 5-bromouracil (BrU) based photosensitization mechanism of DNA damage is of large interest due to the potential applications in photodynamic therapy. Photoinduced electron transfer (ET) in BrU labeled duplexes comprising the 50 -GBrU or 50 -ABrU sequence showed that a much lower reactivity was found for the 50 -GBrU pattern. Since the ionization potential of G is lower than that of A, this sequence selectivity...
-
Predyspozycje zawodowe artysty a cechy przedsiębiorcze
PublikacjaArtykuł stanowi analizę porównawczą cech osobowości przypisywanych artystom z charakterystyką skutecznego przedsiębiorcy. Podstawą zestawienia jest profil osobowości twórczej, typy osobowości zawodowych oraz profil osobowości przedsiębiorcy. Celem artykułu jest wskazanie zakresu kompetencji, które mogą być niedostępne dla twórców, a które warunkują realizację przedsięwzięć biznesowych. Potwierdzeniem konieczności integracji sylwetki...
-
Some remarks on the Euler ring U(G)
PublikacjaNiech G będzie zwartą grupą Liego i niech U(G) oznacza pierściń Eulera G skonstruoawany przez tom Diecka w [5,6]. Główny wynikpracy (Twierdzenie 4.1) opisuje homomorfizm pierścienia U(SO(3)) w pierścień U(SO(2))indukowany przez włożenie grupy SO(2) w grupę SO(3).
-
Low-dimensional bound entanglement with one-way distillable cryptographic key
PublikacjaIn this paper, we provide a class of bound entangled states that have positive distillable secure key rate. The smallest state of this kind is 4 circle times 4, which shows that peculiar security contained in bound entangled states does not need high-dimensional systems. We show that for these states a positive key rate can be obtained by one-way Devetak-Winter (DW) protocol. Subsequently, the volume of bound entangled key-distillable...
-
Quantum key distribution based on private states: Unconditional security over untrusted channels with zero quantum capacity
PublikacjaIn this paper, we prove unconditional security for a quantum key distribution (QKD) protocol based on distilling pbits (twisted ebits) from an arbitrary untrusted state that is claimed to contain distillable key. Our main result is that we can verify security using only public communication-via parameter estimation of the given untrusted state. The technique applies even to bound-entangled states, thus extending QKD to the regime...
-
Combining the MARTINI and Structure-Based Coarse-Grained Approaches for the Molecular Dynamics Studies of Conformational Transitions in Proteins
Publikacja -
Squashed entanglement for multipartite states and entanglement measures based on the mixed convex roof
PublikacjaNew measures of multipartite entanglement are constructedbased on two definitions of multipartite information anddifferent methods of optimizing over extensions of the states. Oneis a generalization of the squashed entanglement where one takesthe mutual information of parties conditioned on the state's extensionand takes the infimum over such extensions. Additivity ofthe multipartite squashed entanglement is proved for both versionsof...
-
Four-point boundary-value problems for differential-algebraic systems
PublikacjaBadane są czteropunktowe problemy brzegowe dla układów równań różniczkowo-algebraicznych. Stosując metodę iteracji monotonicznych, podano warunki dostateczne na istnienie rozwiązań (jednego lub ekstremalnych) takich problemów. Podano przykład ilustrujacy otrzymane wyniki teoretyczne.
-
Multiple solutions of boundary-value problems for fourth-order differential equations with deviating arguments
PublikacjaPraca dotyczy równań różniczkowych rzędu czwartego z warunkami brzegowymi i odchylonymi argumentami. Podano wystarczające warunki, dla których problemy dotyczące takich równań mają dodatnie rozwiązania. W pracy rozważa się przypadki kiedy argumenty odchylone są typu opóźnionego lub wyprzedzonego. W celu zapewnienia istnienia przynajmniej trzech dodatnich rozwiązań wykorzystano twierdzenie Avery-Petersona.
-
Cooperative mobile guards in grids
PublikacjaPraca dotyczy problemu strzeżenia dwuwymiarowych krat ortogonalnych, przy założeniu, że obszar widoczności strażnika obejmuje jedną ulicę oraz wszystkie ulice ją przecinające. Rozważano wariant straży słabo współpracujących, w którym dodatkowo każdy strażnik musi widzieć przynajmniej jednego innego strażnika. Podano dowód NP-trudności problemu optymalizacyjnego w przypadku ogólnym, algorytm dokładny o złożoności O(n log n) dla...
-
Boundary value problems for ordinary differential equations with deviated arguments
PublikacjaDyskutowane są równania różniczkowe z dwupunktowym nieliniowym warunkiem brzegowym z argumentami typu odchylonego. Podano warunki dostateczne które gwarantują iż problem wyjściowy ma kwazi-rozwiązania. Podano też warunki przy których problem ten ma rozwiązanie. Wyniki uzyskano stosując metodę iteracji monotonicznych.Badano też pewne nierówności różniczkowe z odchylonymi argumentami.
-
The Maslov index and the spectral flow—revisited
PublikacjaWe give an elementary proof of a celebrated theorem of Cappell, Lee and Miller which relates the Maslov index of a pair of paths of Lagrangian subspaces to the spectral flow of an associated path of self-adjoint first-order operators. We particularly pay attention to the continuity of the latter path of operators, where we consider the gap-metric on the set of all closed operators on a Hilbert space. Finally, we obtain from Cappell,...
-
DL_MG: A Parallel Multigrid Poisson and Poisson–Boltzmann Solver for Electronic Structure Calculations in Vacuum and Solution
PublikacjaThe solution of the Poisson equation is a crucial step in electronic structure calculations, yielding the electrostatic potential -- a key component of the quantum mechanical Hamiltonian. In recent decades, theoretical advances and increases in computer performance have made it possible to simulate the electronic structure of extended systems in complex environments. This requires the solution of more complicated variants of the...
-
Non-quadratic quality criteria in parameter estimation of continuous-time models
PublikacjaW pracy wykorzystuje się procedury estymacji parametrycznej do identyfikacji modeli z czasem ciągłym. Rozważane algorytmy minimalizują wskaźnik jakości w postaci sumy lub całki wartości bezwzględnej błędu predykcji. Zastosowanie techniki zmiennych instrumentalnych umożliwia ponadto znaczące polepszenie dokładności ocen parametrów, a wprowadzony do w procedur estymacji mechanizm ważenia błędów predykcji pozwala identyfikować modele...
-
On quasi-compact Markov nets
PublikacjaAnalizuje się strukturę ergodyczną netów Markowa. W szczególności podano charakteryzację ściśle ergodycznych minimalnych (L-R) netów markowskich na zwartej przestrzeni fazowej. Uzyskano warunki równoważne quasi-zwartości (L-R) netów Markowa, rozszerzając tzw. ergodyczne twierdzenie Lotz'a.
-
A few steps more towards NPT bound entanglement
PublikacjaIn this paper, existence of bound entangled states with nonpositive partial transpose (NPT) is considered. As one knows, existence of such states would in particular imply nonadditivity of distillable entanglement. Moreover, it would rule out a simple mathematical description of the set of distillable states. The particular state, known to be 1-copy nondistillable and supposed to be bound entangled, is considered. The problem of...
-
Physics-Based Potentials for the Coupling between Backbone- and Side-Chain-Local Conformational States in the United Residue (UNRES) Force Field for Protein Simulations
Publikacja -
Dynamic Formation and Breaking of Disulfide Bonds in Molecular Dynamics Simulations with the UNRES Force Field
Publikacja -
Application of Multiplexed Replica Exchange Molecular Dynamics to the UNRES Force Field: Tests with α and α+β Proteins
Publikacja -
Implementation of a Serial Replica Exchange Method in a Physics-Based United-Residue (UNRES) Force Field
Publikacja -
Improvement of the Treatment of Loop Structures in the UNRES Force Field by Inclusion of Coupling between Backbone- and Side-Chain-Local Conformational States
Publikacja -
Implementation of Molecular Dynamics and Its Extensions with the Coarse-Grained UNRES Force Field on Massively Parallel Systems: Toward Millisecond-Scale Simulations of Protein Structure, Dynamics, and Thermodynamics
Publikacja