Filters
total: 1636
filtered: 1188
displaying 1000 best results Help
Search results for: THEORY
-
Multiple solutions of boundary-value problems for fourth-order differential equations with deviating arguments
PublicationPraca 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.
-
Squashed entanglement for multipartite states and entanglement measures based on the mixed convex roof
PublicationNew 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
PublicationBadane 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.
-
Relations between the domination parameters and the chromatic index of a graph
PublicationIn this paper we show bounds for the sum and the product of the domination parameters and the chromatic index of a graph. We alsopresent some families of graphs for which these bounds are achieved.
-
Performance of the AMOEBA Water Model in the Vicinity of QM Solutes: A Diagnosis Using Energy Decomposition Analysis
PublicationThe importance of incorporating solvent polarization effects into the modeling of solvation processes has been well-recognized, and therefore a new generation of hybrid quantum mechanics/molecular mechanics (QM/MM) approaches that accounts for this effect is desirable. We present a fully self-consistent, mutually polarizable QM/MM scheme using the AMOEBA force field, in which the total energy of the system is variationally minimized...
-
Equitable coloring of corona multiproducts of graphs
PublicationWe give some results regarding the equitable chromatic number for l-corona product of two graphs: G and H, where G is an equitably 3- or 4-colorable graph and H is an r-partite graph, a cycle or a complete graph. Our proofs lead to polynomial algorithms for equitable coloring of such graph products provided that there is given an equitable coloring of G.
-
Dominant Pathways of Adenosyl Radical-Induced DNA Damage Revealed by QM/MM Metadynamics
PublicationBrominated nucleobases sensitize double stranded DNA to hydrated electrons, one of the dominant genotoxic species produced in hypoxic cancer cells during radiotherapy. Such radiosensitizers can therefore be administered locally to enhance treatment efficiency within the solid tumor while protecting the neighboring tissue. When a solvated electron attaches to 8-bromoadenosine, a potential sensitizer, the dissociation of bromide...
-
On incidence coloring of coloring of complete multipartite and semicubic bipartite graphs
PublicationIn the paper, we show that the incidence chromatic number of a complete k-partite graph is at most ∆+2 (i.e., proving the incidence coloring conjecture for these graphs) and it is equal to ∆+1 if and only if the smallest part has only one vertex.
-
Amplifying the Randomness of Weak Sources Correlated With Devices
PublicationThe problem of device-independent randomness amplification against no-signaling adversaries has so far been studied under the assumption that the weak source of randomness is uncorrelated with the (quantum) devices used in the amplification procedure. In this paper, we relax this assumption, and reconsider the original protocol of Colbeck and Renner using a Santha-Vazirani (SV) source. To do so, we introduce an SV-like condition...
-
Theoretical Assessment of Excited State Gradients and Resonance Raman Intensities for the Azobenzene Molecule
PublicationThe ground state geometries and vibrational frequencies as well as the excitation energies and excited state gradients of the S 1(nπ*) and S 2(ππ * ) states of trans - and cis -azobenzene are investigated by several DFT methods, namely B3LYP, PBE, M06-2X, CAM-B3LYP, and ω B97X. Excited state properties and in particular gradients are also assessed using the wave function based methods EOM-CCSD and RASPT2/RASSCF. Comparison with...
-
Interval incidence coloring of subcubic graphs
PublicationIn this paper we study the problem of interval incidence coloring of subcubic graphs. In [14] the authors proved that the interval incidence 4-coloring problem is polynomially solvable and the interval incidence 5-coloring problem is N P-complete, and they asked if χii(G) ≤ 2∆(G) holds for an arbitrary graph G. In this paper, we prove that an interval incidence 6-coloring always exists for any subcubic graph G with ∆(G) = 3.
-
Keep It Flexible: Driving Macromolecular Rotary Motions in Atomistic Simulations with GROMACS
PublicationWe describe a versatile method to enforce the rotation of subsets of atoms, e.g., a protein subunit, in molecular dynamics (MD) simulations. In particular, we introduce a “flexible axis” technique that allows realistic flexible adaptions of both the rotary subunit as well as the local rotation axis during the simulation. A variety of useful rotation potentials were implemented for the GROMACS 4.5 MD package. Application to the...
-
DL_MG: A Parallel Multigrid Poisson and Poisson–Boltzmann Solver for Electronic Structure Calculations in Vacuum and Solution
PublicationThe 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...
-
Bernstein-type theorem for ϕ-Laplacian
PublicationIn this paper we obtain a solution to the second-order boundary value problem of the form \frac{d}{dt}\varPhi'(\dot{u})=f(t,u,\dot{u}), t\in [0,1], u\colon \mathbb {R}\to \mathbb {R} with Sturm–Liouville boundary conditions, where \varPhi\colon \mathbb {R}\to \mathbb {R} is a strictly convex, differentiable function and f\colon[0,1]\times \mathbb {R}\times \mathbb {R}\to \mathbb {R} is continuous and satisfies a suitable growth...
-
Periodic Points for Sphere Maps Preserving MonopoleFoliations
PublicationLet S^2 be a two-dimensional sphere. We consider two types of its foliations with one singularity and maps f:S^2→S^2 preserving these foliations, more and less regular. We prove that in both cases f has at least |deg(f)| fixed points, where deg(f) is a topological degree of f. In particular, the lower growth rate of the number of fixed points of the iterations of f is at least log|deg(f)|. This confirms the Shub’s conjecture in...
-
Domination subdivision and domination multisubdivision numbers of graphs
PublicationThe domination subdivision number sd(G) of a graph G is the minimum number of edges that must be subdivided (where an edge can be subdivided at most once) in order to increase the domination number of G. It has been shown [10] that sd(T)<=3 for any tree T. We prove that the decision problem of the domination subdivision number is NP-complete even for bipartite graphs. For this reason we define the domination multisubdivision number...
-
Some variations of perfect graphs
PublicationWe consider (ψk−γk−1)-perfect graphs, i.e., graphs G for which ψk(H) =γk−1(H) for any induced subgraph H of G, where ψk and γk−1 are the k -path vertex cover number and the distance (k−1)-domination number, respectively. We study (ψk−γk−1)-perfect paths, cycles and complete graphs for k≥2. Moreover, we provide a complete characterisation of (ψ2−γ1)-perfect graphs describing the set of its forbidden induced subgraphs and providing...
-
On-line P-coloring of graphs
PublicationFor a given induced hereditary property P, a P-coloring of a graph G is an assignment of one color to each vertex such that the subgraphs induced by each of the color classes have property P. We consider the effectiveness of on-line P-coloring algorithms and give the generalizations and extensions of selected results known for on-line proper coloring algorithms. We prove a linear lower bound for the performance guarantee function...
-
T-colorings, divisibility and circular chromatic number
PublicationLet T be a T-set, i.e., a finite set of nonnegative integers satisfying 0 ∈ T, and G be a graph. In the paper we study relations between the T-edge spans espT (G) and espd⊙T (G), where d is a positive integer and d ⊙ T = {0 ≤ t ≤ d (max T + 1): d |t ⇒ t/d ∈ T} . We show that espd⊙T (G) = d espT (G) − r, where r, 0 ≤ r ≤ d − 1, is an integer that depends on T and G. Next we focus on the case T = {0} and show that espd⊙{0} (G) =...
-
MERPSYS: An environment for simulation of parallel application execution on large scale HPC systems
PublicationIn this paper we present a new environment called MERPSYS that allows simulation of parallel application execution time on cluster-based systems. The environment offers a modeling application using the Java language extended with methods representing message passing type communication routines. It also offers a graphical interface for building a system model that incorporates various hardware components such as CPUs, GPUs, interconnects...
-
Convex universal fixers
PublicationPraca dotyczy dominowania wypukłego w grafach pryzmowych.
-
TOTAL DOMINATION MULTISUBDIVISION NUMBER OF A GRAPH
PublicationThe domination multisubdivision number of a nonempty graph G was defined in [3] as the minimum positive integer k such that there exists an edge which must be subdivided k times to increase the domination number of G. Similarly we define the total domination multisubdivision number msd_t (G) of a graph G and we show that for any connected graph G of order at least two, msd_t (G) ≤ 3. We show that for trees the total domination...
-
Distortion in the group of circle homeomorphisms
PublicationLet G be the group PAff+(R/Z) of piecewise affine circle homeomorphisms or the group Diff∞(R/Z) of smooth circle diffeomorphisms. A constructive proof that all irrational rotations are distorted in G is given.
-
Periodic Solutions of Generalized Lagrangian Systems with Small Perturbations
PublicationIn this paper we study the generalized Lagrangian system with a small perturbation. We assume the main term in the system to have a maximum, but do not suppose any condition for perturbation term. Then we prove the existence of a periodic solution via Ekeland’s principle. Moreover, we prove a convergence theorem for periodic solutions of perturbed systems.
-
Invariant Measures for Uncountable Random Interval Homeomorphisms
PublicationA necessary and sufficient condition for the iterated function system { f (·, ω) | ω ∈ } with probability P to have exactly one invariant measure μ∗ with μ∗((0, 1)) = 1 is given. The main novelty lies in the fact that we only require the transformations f (·, ω) to be increasing homeomorphims, without any smoothness condition, nei- ther we impose conditions on the cardinality of . In particular, positive Lyapunov exponents conditions...
-
Block graphs with large paired domination multisubdivision number
PublicationThe paired domination multisubdivision number of a nonempty graph G, denoted by msdpr(G), is the smallest positive integer k such that there exists an edge which must be subdivided k times to increase the paired domination number of G. It is known that msdpr(G) ≤ 4 for all graphs G. We characterize block graphs with msdpr(G) = 4.
-
On the Characteristic Graph of a Discrete Symmetric Channel
PublicationWe present some characterizations of characteristic graphs of row and/or column symmetric channels. We also give a polynomial-time algorithm that decides whether there exists a discrete symmetric channel whose characteristic graph is equal to a given input graph. In addition, we show several applications of our results.
-
Domination numbers in graphs with removed edge or set of edges
PublicationW artykule przedstawiony jest wpływ usuwania krawędzi lub zbioru krawędzi na liczby dominowania spójnego i słabo spójnego.
-
Iterative‐recursive estimation of parameters of regression models with resistance to outliers on practical examples
PublicationHere, identification of processes and systems in the sense of the least sum of absolute values is taken into consideration. The respective absolute value estimators are recognised as exceptionally insensitive to large measurement faults or other defects in the processed data, whereas the classical least squares procedure appears to be completely impractical for processing the data contaminated with such parasitic distortions. Since...
-
Revisiting Toroidal Dipolar Moment in Planar Metamaterial
PublicationThis article revisits the electric, magnetic, and toroidal dipolar moments in the metamaterial structure and presents the flatland design for generating a toroidal dipolar response for the electromagnetic plane wave at normal incidence. Based on the numerical analysis of the surface current, the electric field, the magnetic field, and the quantitative analysis of scattered power supported by the electromagnetic multipole theory,...
-
Compact Quasi-Elliptic-Type Inline Waveguide Bandpass Filters With Nonlinear Frequency-Variant Couplings
PublicationThis work presents the design techniques to synthesize a class of compact inline quasi-elliptic-type waveguide cavity bandpass filters based on novel nonlinear frequency-variant couplings (NFVCs). These highly dispersive frequency-variant couplings (FVCs) are realized by means of a pair of partial-height posts that are placed at the junctions between every two cavity resonators. Each NFVC produces a transmission pole in between...
-
Inverse Nonlinear Eigenvalue Problem Framework for the Synthesis of Coupled-Resonator Filters With Nonresonant Nodes and Arbitrary Frequency-Variant Reactive Couplings
PublicationA novel, general circuit-level description of coupledresonator microwave filters is introduced in this article. Unlike well-established coupling-matrix models based on frequency-invariant couplings or linear frequency-variant couplings (LFVCs), a model with arbitrary reactive frequencyvariant coupling (AFVC) networks is proposed. The engineered formulation is more general than prior-art ones—with the only restriction that the coupling...
-
Fixed orbit index for equivariant maps
Publication -
Fourier transform symmetry and invariance for neurocontrol of NARMA models
Publication -
Existence of solutions for second order impulsive differential equations with deviating arguments
PublicationPraca dotyczy równań różniczkowych z impulsami i odchylonymi argumentami. Badano problem istnienia rozwiązań stosując metodę iteracji monotonicznych opartą na dolnych i górnych rozwiązaniach. Praca uogólnia szereg znanych wyników.
-
Analysis of circular cavity with cylindrical objects
PublicationArtykuł opisuje analizę rozpraszania fali elektromagnetycznej na obiektach cylindrycznych rozmieszczonych dowolnie w strukturze rezonatora. Analiza oparta jest na metodzie dopasowania rodzajów. Dokładność i poprawność metody jest zweryfikowana poprzez porównanie uzyskanych wyników z wynikami otrzymanymi z metod alternatywnych i własnych pomiarów wykonanych układów.
-
Projection framework for hybrid methods derived from finite difference operators in time and frequency domain
PublicationW artykule przedstawiono ogólną koncepcję tworzenia algorytmów hybrydowych na bazie operatorowego sformułowania metody różnic skończonych. Wykorzystano koncepcję projekcji ortogonalnej w przestrzeni skończeniewymiarowej w celu modyfilacji pierwotnego sformułowania.
-
Equivalent spice circuits with guaranteed passivity from nonpassive models
PublicationW artykule przedstawiona została nowa technika wymuszania pasywności schematów zastępczych. Opracowana technika pozwala na konstrukcję schematów zastępczych bardzo złożonych układów, oraz pozwala na wymuszenie pasywności modelu tworzonego na podstawie danych niepasywnych.
-
Quadratic programming approach to coupled resonator filter cad
PublicationArtykuł prezentuje technikę komputerowego wspomagania procesu projektowania filtrów zbliżeniowych. Polega ona na sformułowaniu macierzy sprzężeń jako problemu programowania kwadratowego (QP). Dzięki zdefiniowaniu procedury optymalizacyjnej jako problemu QP, przy założeniu liniowej zależności współczynników sprzężeń od wymiarów geometrycznych struktury, uzyskano znaczącą redukcję liczby pełnofalowych symulacji prowadzących do uzyskania...
-
Boundary value problems with causal operators
PublicationPraca dotyczy istnienia rozwiązań dla równań różniczkowych z nieliniowymi dwu-punktowymi warunkami brzegowymi. Podano warunki dostateczne na istnienie rozwiązań takich zagadnień stosując metodę iteracji monotonicznych. Dyskutowano też nierówności różniczkowe rzędu pierwszego z dodatnimi operatorami liniowymi oraz problem rozwiązań ekstremalnych.
-
Otopy classes of equivariant maps
PublicationW artykule definiuje się stopień topologiczny niezmienniczych odwzorowań lokalnych w przypadku gradientowym i niegradientowym. Wyniki dotyczą relacji pomiędzy tymi dwoma niezmiennikami topologicznymi.
-
Hybrid‐mode single‐slope ADC with improved linearity and reduced conversion time for CMOS image sensors
PublicationIn the paper, a single‐slope analog‐to‐digital converter (ADC) for integrated CMOS image sensor applications with an improved technique of conversion has been proposed. The proposed hybrid‐mode ADC automatically uses one of the following conversion techniques: time based (i.e. PWM) or voltage based (i.e. single‐slope). During the ADC operation, the clock frequency and reference voltage are modified in order to reduce the conversion...
-
Multiresolution analysis and adaptive estimation on a sphere using stereographic wavelets
PublicationWe construct an adaptive estimator of a density function on d dimensional unit sphere Sd (d ≥ 2), using a new type of spherical frames. The frames, or as we call them, stereografic wavelets are obtained by transforming a wavelet system, namely Daubechies, using some stereographic operators. We prove that our estimator achieves an optimal rate of convergence on some Besov type class of functions by adapting to unknown smoothness....
-
Combinatorial scheme of finding minimal number of periodic points for smooth self-maps of simply connected manifolds
PublicationLet M be a closed smooth connected and simply connected manifold of dimension m at least 3, and let r be a fixed natural number. The topological invariant D^m_r [f], defined by the authors in [Forum Math. 21 (2009), 491-509], is equal to the minimal number of r-periodic points in the smooth homotopy class of f, a given self-map of M. In this paper, we present a general combinatorial scheme of computing D^m_r [f] for arbitrary dimension...
-
Positive solutions for second order impulsive differential equations involving Stieltjes integral conditions
PublicationIn this paper we investigate integral boundary value problems for fourth order differentialequations with deviating arguments.Wediscuss our problem both for advanced or delayedarguments. We establish sufficient conditions under which such problems have positivesolutions. To obtain the existence of multiple (at least three) positive solutions, we use afixed point theorem due to Avery and Peterson. An example is also included to...
-
Multiple output differential OTA with linearizing bulk-driven active-error feedback loop for continuous-time filter applications
PublicationA CMOS circuit realization of a highly linear multiple-output differential operational transconductance amplifier (OTA) has been proposed. The presented approach exploits a differential pair as an input stage with both the gate and the bulk terminals as signal ports. For the proposed OTA, improved linearity is obtained by means of the active-error feedback loop operating at the bulk terminals of the input stage. SPICE simulations...
-
Rapid Yield Estimation and Optimization of Microwave Structures Exploiting Feature-Based Statistical Analysis
PublicationIn this paper, we propose a simple, yet reliable methodology to expediteyield estimation and optimization of microwave structures. In our approach,the analysis of the entire response of the structure at hand (e.g., $S$-parameters asa function of frequency) is replaced by response surface modeling of suitablyselected feature points. On the one hand, this is sufficient to determinewhether a design satisfies given performance specifications....
-
Asymptotic properties of quadratic stochastic operators acting on the L1 space
PublicationQuadratic stochastic operators can exhibit a wide variety of asymptotic behaviours and these have been introduced and studied recently in the ℓ1 space. It turns out that in principle most of the results can be carried over to the L1 space. However, due to topological properties of this space one has to restrict in some situations to kernel quadratic stochastic operators. In this article we study the uniform and strong asymptotic...
-
On relations between gradient and classical equivariant homotopy groups of spheres
PublicationWe investigate relations between stable equivariant homotopy groups of spheres in classical and gradient categories. To this end, the auxiliary category of orthogonal equivariant maps, a natural enlargement of the category of gradient maps, is used. Our result allows for describing stable equivariant homotopy groups of spheres in the category of orthogonal maps in terms of classical stable equivariant groups of spheres with shifted...
-
The Conley index, cup-length and bifurcation
PublicationZastosowano strukturę modułu w indeksie kohomologicznym Conleya do dowodu twierdzenia o minimalnej ilości rozwiązań okresowych dla układów Hamiltonowskich. Wykazano też ogólne twierdzenia dotyczące nietrywialności struktury mudułu.