Search
Filters
total: 952
-
Catalog
Search results for: computation
-
Symposium of Asian Association for Algorithms and Computation
Conferences -
Conference on Theory and Applications of Models of Computation
Conferences -
AAAI Conference on Human Computation and Crowdsourcing
Conferences -
International Conference and Workshop on Algorithms and Computation
Conferences -
International Conference on Applications of Evolutionary Computation
Conferences -
International Conference on Experimental Implementation of Quantum Computation
Conferences -
European Conference on Evolutionary Computation in Combinatorial Optimisation
Conferences -
Pacific Asia Conference on Language, Information and Computation
Conferences -
International Conference on Formal Structures for Computation and Deduction
Conferences -
Computational Intelligence - sem. 2022/23
e-Learning CoursesWidening the students knowledge about the selected methods of artificial intelligence
-
Computational Intelligence - 2023/2024 sem.
e-Learning CoursesWidening the students knowledge about the selected methods of artificial intelligence
-
Computational Intelligence - sem. 2023/2024
e-Learning CoursesWidening the students knowledge about the selected methods of artificial intelligence
-
Mining Knowledge of Respiratory Rate Quantification and Abnormal Pattern Prediction
PublicationThe described application of granular computing is motivated because cardiovascular disease (CVD) remains a major killer globally. There is increasing evidence that abnormal respiratory patterns might contribute to the development and progression of CVD. Consequently, a method that would support a physician in respiratory pattern evaluation should be developed. Group decision-making, tri-way reasoning, and rough set–based analysis...
-
Fast collaborative graph exploration
PublicationWe study the following scenario of online graph exploration. A team of k agents is initially located at a distinguished vertex r of an undirected graph. At every time step, each agent can traverse an edge of the graph. All vertices have unique identifiers, and upon entering a vertex, an agent obtains the list of identifiers of all its neighbors. We ask how many time steps are required to complete exploration, i.e., to make sure...
-
Autonomous Driver Based on an Intelligent System of Decision-Making
PublicationThe paper presents and discusses a system (xDriver) which uses an Intelligent System of Decision-making (ISD) for the task of car driving. The principal subject is the implementation, simulation and testing of the ISD system described earlier in our publications for the task of autonomous driving. The design of the whole ISD system is a result of a thorough modelling of human psychology based on an extensive literature study. Concepts...
-
Erratum to "Formulas and Theorems for the Special Functions of Mathematical Physics" by W. Magnus, F. Oberhettinger, R. P. Soni
PublicationWe correct a number of misprints in the handbook "Formulas and theorems for the special functions of mathematial physics" (3rd edition) by Magnus, Oberhettinger and Soni.
-
International Symposium on Parameterized and Exact Computation (was IWPEC pre 2004)
Conferences -
International Work-conference on the Interplay between Natural and Artificial Computation
Conferences -
Meta-computations on the CLUSTERIX Grid
Publication -
Niching mechanisms in evolutionary computations
PublicationDozorowanie nisz stanowi mechanizm, którego celem jest utrzymanie gorzej przystosowanych osobników tak, aby populacja była różnorodna, zawierała odpowiednią liczbę istniejących gatunków, zarówno tych bardziej licznych, jak i tych mniej licznych, a przez to nie powodowała przedwczesnej zbieżności algorytmów ewolucyjnych. Efekt taki uzyskuje się poprzez odpowiednią modyfikację stopnia przystosowania lub rang osobników (zwiększa się...
-
On differential-algebraic problems
PublicationW pracy podano warunki dostateczne na istnienie ekstremalnych lubkwazi rozwiązań dla problemów różniczkowo-algebraicznych z nieliniowymi warunkami brzegowymi. Problem istnienia jednego rozwiązania w/w zagadnień był również dyskutowany.
-
Positive solutions of three-point boundary value problems for second order impulsive differential equations with advanced arguments
PublicationW pracy dyskutowano problem istnienia dodatnich rozwiązań dla równań różniczkowych z impulsami rzędu drugiego i z argumentami typu wyprzedzonego. Podano warunki dostateczne na istnienie jednego lub dwóch rozwiązań dodatnich takich zagadnień.
-
Positive solutions to second order four-point boundary value problems for impulsive differential equations
PublicationPraca dotyczy problemów brzegowych dla równań różniczkowych drugiego rzędu z impulsami. Podane zostały warunki dostateczne na istnienie trzech dodatnich rozwiązań takich problemów z czteropunktowymi warunkami brzegowymi. W badaniach korzystano z twierdzenia Leggetta-Williamsa.
-
Are quantum correlations symmetric?
PublicationWe provide operational definition of symmetry of entanglement: An entangled state contains symmetric entanglement if its subsystems can be exchanged (swapped) by means of local operations and classical communication. We show that in general states have asymmetric entanglement. This allows to construct nonsymmetric measure of entanglement, and a parameter that reports asymmetry of entanglement contents of quantum state. We propose...
-
A new approach to numerical solution of fixed-point problems and its application to delay differential equations
PublicationW pracy rozpatruje się pewne aproksymacje punktu stałego ciągłego operatora A odwzorowującego przestrzeń metryczną w siebie. Wspomniany punkt stały przybliża się tzw. epsilon przybliżonym punktem stałym z przestrzeni skończenie wymiarowej. Udowodnione zostało twierdzenie dające warunki konieczne i dostateczne istnienia punktu stałego w ogólnej przestrzeni metrycznej. Warunki te wyrażone są w terminach epsilon przybliżonego punktu...
-
Initial value problems for neutral fractional differential equations involving a Riemann-Liouville derivative
PublicationBadano równania neutralne typu ułamkowego z odchylonym argumentem. Podano warunki dostateczne na istnienie jednego rozwiązania.
-
Existence of solutions for a coupled system of difference equations with cousal operators
PublicationPraca dotyczy układów równań różnicowych. Podano warunki dostateczne na istnienie rozwiązań takich problemów. Badano również nierówności różnicowe.
-
On dynamic equations with deviating arguments
PublicationPraca dotyczy istnienia rozwiązań równań dynamicznych z odchylonymi argumentami. Podane zostały warunki dostateczne na istnienie rozwiązania. Dwa przykłady ilustrują otrzymane wyniki.
-
On nonlinear two-point boundary value problems for impulsive differential-algebraic problems [online]
PublicationSformułowano warunki dostateczne na istnienie ekstremalnych rozwiązań dla zagadnień brzegowych dla równań różniczkowo-algebraicznych z impulsami. Badano też nierówności różniczkowo-algebraiczne z impulsami przy odpowiednich warunkach brzegowych. Na przykładzie zilustrowano otrzymane wyniki.
-
Positive solutions for three-point one-dimensional p-Laplacian boundary value problems with advanced arguments [online]
PublicationPraca dotyczy problemów istnienia dodatnich rozwiązań dla trzy-punktowych zagadnień brzegowych z wyprzedzonymi argumentami. Zastosowano twierdzenie Avery-Petersona o punkcie stałym aby uzyskać warunki dostateczne na istnienie conajmniej trzech dodatnich rozwiązań.
-
Boundary value problems for differential equations with deviated arguments which depend on the unknown solution
PublicationDyskutowane są zagadnienia brzegowe dla równań różniczkowo funkcyjnych pierwszego rzędu z odchylonym argumentem zależnym od nieznanego rozwiązania. Sformułowane są warunki dostateczne isnienia quasirozwiązań i rozwiązań takich zagadnień.
-
Diffusion process modeling by using fractional-order models
Publication -
Boundary vlue problems for difference equations with causal operators
PublicationPraca dotyczy problemów brzegowych dla równań różnicowych.Podano warunki dostateczne na istnienie ekstremalnych rozwiązań stosując metodę iteracji monotonicznych.
-
First-order advanced difference equations
PublicationBadano istnienie rozwiązań równań różnicowych rzędu pierwszego z wyprzedzonymi argumentami. Podano warunki na istnienie jedynego rozwiązania. Przedmiotem badań były też nierówności różnicowe związane z w/w równaniami różnicowymi. Otrzymane wyniki zilustrowano na przykładzie.
-
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...
-
Positive solutions to fractional differential equations involving Stieltjes integral conditions
PublicationIn this paper, we investigate nonlocal boundary value problems for fractional differential equations with dependence on the first-order derivatives and deviating arguments. Sufficient conditions which guarantee the existence of at least three positive solutions are new and obtained by using the Avery–Peterson theorem. We discuss problems (1) and (2) when argument b can change the character on [0, 1], so in some subinterval I of...
-
Monotone iterative method for first-order differential equations at resonance
PublicationThis paper concerns the application of the monotone iterative technique for first-order differential equations involving Stieltjes integrals conditions. We discuss such problems at resonance when the measure in the Stieltjes integral is positive and also when this measure changes the sign. Sufficient conditions which guarantee the existence of extremal, unique and quasi-solutions are given. Three examples illustrate the results.
-
NO-BROADCASTING OF NON-SIGNALLING BOXES VIA OPERATIONS WHICH TRANSFORM LOCAL BOXES INTO LOCAL ONES
PublicationWe deal with families of probability distributions satisfying non-signalling condition, called non-signalling boxes and consider a class of operations that transform local boxes into local ones (the one that admit LHV model). We prove that any operation from this class cannot broadcast a bipartite non-local box with 2 binary inputs and outputs. We consider a function called anti-Robustness which can not decrease under these operations....
-
ON THE NON-LOCALITY OF TRIPARTITE NON-SINGALING BOXES EMERGING FROM WIRINGS
PublicationIt has been recently shown, that some of the tripartite boxes admittin g bilocal decom- position, lead to non-locality under wiring operation applied to t wo of the subsystems [R. Gallego et al. Physical Review Letters 109 , 070401 (2012)]. In the following, we study this phenomenon quantitatively. Basing on the known classes of bo xes closed un- der wirings, we introduce multipartite monotones which are count erparts of bipartite ones...
-
W-dominance: Tradeoff-inspired dominance relation for preference-based evolutionary multi-objective optimization
PublicationThe paper presents a method of incorporating decision maker preferences into multi-objective meta-heuristics. It is based on tradeoffcoefficients and extends their applicability from bi-objective to multi-objective. The method assumes that a decision maker specifies a priori each objective’s importance as a weight interval. Based on this, w-dominance relation is introduced, which extends Pareto dominance. By replacing reference...
-
Chromatic cost coloring of weighted bipartite graphs
PublicationGiven a graph G and a sequence of color costs C, the Cost Coloring optimization problem consists in finding a coloring of G with the smallest total cost with respect to C. We present an analysis of this problem with respect to weighted bipartite graphs. We specify for which finite sequences of color costs the problem is NP-hard and we present an exact polynomial algorithm for the other finite sequences. These results are then extended...
-
Existence results to delay fractional differential equations with nonlinear boundary conditions
PublicationPraca dotyczy problemów brzegowych dla ułamkowych równań różniczkowych z opóźnionym argumentem. Podano warunki dostateczne na istnienie rozwiązań ekstremalnych takich zagadnień.
-
Multiacces quantum communication and product higher rank numerical range
PublicationIn the present paper we initiate the study of the product higher rank numerical range. The latter, being a variant of the higher rank numerical range, is a natural tool for study- ing a construction of quantum error correction codes for multiple access channels. We review properties of this set and relate it to other numerical ranges, which were recently introduced in the literature. Further, the concept is applied to the construction...
-
Green function diagonal for a class of heat equations
PublicationA 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...
-
Mathematical analysis of a generalised p53-Mdm2 protein gene expression model
PublicationWe propose the generalisation of the p53-Mdm2 protein gene expression model introduced by Monk (2003). We investigate the stability of a unique positive steady state and formulate conditions which guarantee the occurrence of the Hopf bifurcation. We show that oscillatory behaviour can be caused not only by time lag in protein transcription process, but also can be present in the model without time delay. Moreover, we investigate...
-
Average distance is submultiplicative and subadditive with respect to the strong product of graphs
PublicationWe show that the average distance is submultiplicative and subadditive on the set of non-trivial connected graphs with respect to the strong product. We also give an application of the above-mentioned result.
-
Acceleration of the discrete Green's function computations
PublicationResults of the acceleration of the 3-D discrete Green's function (DGF) computations on the multicore processor are presented. The code was developed in the multiple precision arithmetic with use of the OpenMP parallel programming interface. As a result, the speedup factor of three orders of magnitude compared to the previous implementation was obtained thus applicability of the DGF in FDTD simulations was significantly improved.
-
Accuracy of the discrete Green's function computations
PublicationThis paper discusses the accuracy of the discrete Green's function (DGF) computations. Recently closed-form expression of the DGF and its efficient numerical implementation were presented which facilitate the DGF applications in FDTD simulations of radiation and scattering problems. By carefully comparing the DGF results to those of the FDTD simulation, one can make conclusions about the range of the applicability of the DGF for...
-
[NF] Physical Research Methods I: Computational methods for transport phenomena
e-Learning Courses{mlang pl} Dyscyplina: NF Zajęcia obowiązkowe dla doktorantów I i II roku Prowadzący: Prof. Maurizio Dapor Liczba godzin: 15 Forma zajęć: wykład/seminarium {mlang} {mlang en} Discipline: NF Obligatory course for 1st and 2nd-year PhD students Academic teacher: Prof. Maurizio Dapor Total hours of training: 15 teaching hours Course type: lecture/seminar {mlang}
-
Parallel Computations of Text Similarities for Categorization Task
PublicationIn this chapter we describe the approach to parallel implementation of similarities in high dimensional spaces. The similarities computation have been used for textual data categorization. A test datasets we create from Wikipedia articles that with their hyper references formed a graph used in our experiments. The similarities based on Euclidean distance and Cosine measure have been used to process the data using k-means algorithm....