Wyszukiwarka
Wyniki wyszukiwania dla: ARBITRAŻ
-
Modeling of TEC Variations Based on Signals from Near Zenith GNSS Satellite Observed by Dense Regional Network
PublikacjaCurrently the substantial successes in high-resolution ionospheric mapping is declared in many publications. Nevertheless, up to now there are no examples of dynamic visualization of TEC disturbances on regional scale with as high resolution as tropospheric models. Over the years, ionosphere has been modeling basing on the simple assumption, that it is a thin layer, which surrounds the Earth at some arbitrary height. However, the...
-
Global defensive sets in graphs
PublikacjaIn the paper we study a new problem of finding a minimum global defensive set in a graph which is a generalization of the global alliance problem. For a given graph G and a subset S of a vertex set of G, we define for every subset X of S the predicate SEC ( X ) = true if and only if | N [ X ] ∩ S | ≥ | N [ X ] \ S | holds, where N [ X ] is a closed neighbourhood of X in graph G. A set S is a defensive alliance if and only if for...
-
Iterative Global Sensitivity Analysis Algorithm with Neural Network Surrogate Modeling
PublikacjaGlobal sensitivity analysis (GSA) is a method to quantify the effect of the input parameters on outputs of physics-based systems. Performing GSA can be challenging due to the combined effect of the high computational cost of each individual physics-based model, a large number of input parameters, and the need to perform repetitive model evaluations. To reduce this cost, neural networks (NNs) are used to replace the expensive physics-based...
-
The searchlight problem for road networks
PublikacjaWe consider the problem of searching for a mobile intruder hiding in a road network given as the union of two or more lines, or two or more line segments, in the plane. Some of the intersections of the road network are occupied by stationary guards equipped with a number of searchlights, each of which can emit a single ray of light in any direction along the lines (or line segments) it is on. The goal is to detect the intruder,...
-
Application of the Fractional Fourier Transform for dispersion compensation in signals from a fiber-based Fabry-Perot interferometer
PublikacjaOptical methods of measurement do not require contact of a probe and the object under study, and thus have found use in a broad range of applications such as nondestructive testing (NDT), where noninvasive measurement is crucial. Measuring the refractive index of a material can give a valuable insight into its composition. Low‑coherence radiation sources enable measurement of the sample’s properties across a wide spectrum, while...
-
Numerical analysis of pile installation effects in cohesive soils
PublikacjaIn this thesis the empirical equation for radial effective stress calculation after displacement pile installation and following consolidation phase has been proposed. The equation is based on the numerical studies performed with Updated Lagrangian, Arbitrary Lagrangian-Eulerian and Coupled Eulerian-Lagrangian formulations as well as the calibration procedure with database containing world-wide 30 pile static loading tests in cohesive...
-
A perfect hashing incremental scheme for unranked trees using pseudo-minimal automata
PublikacjaWe describe a technique that maps unranked trees to arbitrary hash codes using a bottom-up deterministic tree automaton (DTA). In contrast to other hashing techniques based on automata, our procedure builds a pseudo-minimal DTA for this purpose. A pseudo-minimal automaton may be larger than the minimal one accepting the same language but, in turn, it contains proper elements (states or transitions that are unique) for every input...
-
Hypericum alpestre extract exhibits in vitro and in vivo anticancer properties by regulating the cellular antioxidant system and metabolic pathway of L‐arginine
PublikacjaConventional treatment methods are not effective enough to fight the rapid increase in cancer cases. The interest is increasing in the investigation of herbal sources for the development of new anticancer therapeutics. This study aims to investigate the antitumor capacity of Hypericum alpestre (H. alpestre) extract in vitro and in vivo, either alone or in combination with the inhibitors of the L‐arginine/polyamine/nitric oxide...
-
Scheduling of compatible jobs on parallel machines
PublikacjaThe dissertation discusses the problems of scheduling compatible jobs on parallel machines. Some jobs are incompatible, which is modeled as a binary relation on the set of jobs; the relation is often modeled by an incompatibility graph. We consider two models of machines. The first model, more emphasized in the thesis, is a classical model of scheduling, where each machine does one job at time. The second one is a model of p-batching...
-
Drawing maps with advice
PublikacjaW pracy podejmujemy temat konstrukcji algorytmu dla agenta, który zostaje umieszczony w dowolnym wierzchołku grafu (wierzchołki są nierozróżnialne, krawędzie mają etykiety portów), po czym realizuje algorytm zmierzający do znalezienia drzewa spinającego grafu lub izomorficznej kopii grafu. Dla obu problemów podajemy asymptotycznie dokładne lub prawie dokładne oszacowania na ilość bitów dodatkowej informacji, którą agent musi otrzymać...
-
Zaawansowane Metody Pomiarowe i Diagnostyczne 2022/2023
Kursy Online{mlang en} 1. Introduction/Guide for the use of the International System of Units2. Rules and style conventions for expressing values of quantities.3. The role of measurement uncertainty in conformity assessment. 4. Probabilistic model for measurement processes, estimation theory5. Analog-digital conversion methods6. Selected structures of classical analog-digital converters7. New techniques of analog-digital conversion: sigma-delta...
-
Zaawansowane Metody Pomiarowe i Diagnostyczne 2023/2024
Kursy Online{mlang en} 1. Introduction/Guide for the use of the International System of Units2. Rules and style conventions for expressing values of quantities.3. The role of measurement uncertainty in conformity assessment. 4. Probabilistic model for measurement processes, estimation theory5. Analog-digital conversion methods6. Selected structures of classical analog-digital converters7. New techniques of analog-digital conversion: sigma-delta...
-
Zaawansowane Metody Pomiarowe i Diagnostyczne 2024/2025
Kursy Online{mlang en} 1. Introduction/Guide for the use of the International System of Units2. Rules and style conventions for expressing values of quantities.3. The role of measurement uncertainty in conformity assessment. 4. Probabilistic model for measurement processes, estimation theory5. Analog-digital conversion methods6. Selected structures of classical analog-digital converters7. New techniques of analog-digital conversion: sigma-delta...
-
Marek Czachor prof. dr hab.
Osoby