Filters
total: 3745
filtered: 3404
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: RESOLVING SETS
-
Multi-state multi-reference Møller-Plesset second-order perturbation theory for molecular calculations
PublicationThis work presents multi‐state multi‐reference Møller–Plesset second‐order perturbation theory as a variant of multi‐reference perturbation theory to treat electron correlation in molecules. An effective Hamiltonian is constructed from the first‐order wave operator to treat several strongly interacting electronic states simultaneously. The wave operator is obtained by solving the generalized Bloch equation within the first‐order...
-
Similarities and Differences Between the Vertex Cover Number and the Weakly Connected Domination Number of a Graph
PublicationA vertex cover of a graph G = (V, E) is a set X ⊂ V such that each edge of G is incident to at least one vertex of X. The ve cardinality of a vertex cover of G. A dominating set D ⊆ V is a weakly connected dominating set of G if the subgraph G[D]w = (N[D], Ew) weakly induced by D, is connected, where Ew is the set of all edges having at least one vertex in D. The weakly connected domination number γw(G) of G is the minimum cardinality...
-
Preference-based evolutionary multi-objective optimization in ship weather routing
PublicationIn evolutionary multi-objective optimization (EMO) the aim is to find a set of Pareto-optimal solutions. Such approach may be applied to multiple real-life problems, including weather routing (WR) of ships. The route should be optimal in terms of passage time, fuel consumption and safety of crew and cargo while taking into account dynamically changing weather conditions. Additionally it must not violate any navigational constraints...
-
Determining Pronunciation Differences in English Allophones Utilizing Audio Signal Parameterization
PublicationAn allophonic description of English plosive consonants, based on audio-visual recordings of 600 specially selected words, was developed. First, several speakers were recorded while reading words from a teleprompter. Then, every word was played back from the previously recorded sample read by a phonology expert and each examined speaker repeated a particular word trying to imitate correct pronunciation. The next step consisted...
-
Bipartite theory of graphs: outer-independent domination
PublicationLet $G = (V,E)$ be a bipartite graph with partite sets $X$ and $Y$. Two vertices of $X$ are $X$-adjacent if they have a common neighbor in $Y$, and they are $X$-independent otherwise. A subset $D \subseteq X$ is an $X$-outer-independent dominating set of $G$ if every vertex of $X \setminus D$ has an $X$-neighbor in $D$, and all vertices of $X \setminus D$ are pairwise $X$-independent. The $X$-outer-independent domination number...
-
Inverse heat transfer problem solution of sounding rocket using moving window optimization
PublicationAn Inverse Heat Transfer Problem is solved for a sounding rocket module given its geometry and measured temperature profile. The solution is obtained via moving window optimization, a technique for solving inverse dynamics. An analysis is performed to modify the method to avoid oscillatory behavior of the resulting heat flux profile. The method parameters are tuned in relation to characteristic phases of the flight. Results are...
-
Emotion Recognition and Its Applications
PublicationThe paper proposes a set of research scenarios to be applied in four domains: software engineering, website customization, education and gaming. The goal of applying the scenarios is to assess the possibility of using emotion recognition methods in these areas. It also points out the problems of defining sets of emotions to be recognized in different applications, representing the defined emotional states, gathering the data and...
-
Objectivization of phonological evaluation of speech elements by means of audio parametrization
PublicationThis study addresses two issues related to both machine- and subjective-based speech evaluation by investigating five phonological phenomena related to allophone production. Its aim is to use objective parametrization and phonological classification of the recorded allophones. These allophones were selected as specifically difficult for Polish speakers of English: aspiration, final obstruent devoicing, dark lateral /l/, velar nasal...
-
Active Learning Based on Crowdsourced Data
PublicationThe paper proposes a crowdsourcing-based approach for annotated data acquisition and means to support Active Learning training approach. In the proposed solution, aimed at data engineers, the knowledge of the crowd serves as an oracle that is able to judge whether the given sample is informative or not. The proposed solution reduces the amount of work needed to annotate large sets of data. Furthermore, it allows a perpetual increase...
-
Performance of LSP preemption methods in different MPLS networks
PublicationPreemption in Multiprotocol Label Switching (MPLS) is an optional traffic engineering technique used to create a new path of high priority when there is not enough bandwidth available. In such case the path is admitted by removing one or more previously allocated paths of lower priority. As there are usually many possible sets of low priority paths which can be selected, a preemption algorithm is being started to select the best...
-
Gender approaches to evolutionary multi-objective optimization using pre-selection of criteria
PublicationA novel idea to perform evolutionary computations (ECs) for solving highly dimensional multi-objective optimization (MOO) problems is proposed. Following the general idea of evolution, it is proposed that information about gender is used to distinguish between various groups of objectives and identify the (aggregate) nature of optimality of individuals (solutions). This identification is drawn out of the fitness of individuals...
-
Accelerating Video Frames Classification With Metric Based Scene Segmentation
PublicationThis paper addresses the problem of the efficient classification of images in a video stream in cases, where all of the video has to be labeled. Realizing the similarity of consecutive frames, we introduce a set of simple metrics to measure that similarity. To use these observations for decreasing the number of necessary classifications, we propose a scene segmentation algorithm. Performed experiments have evaluated the acquired...
-
Outlier detection method by using deep neural networks
PublicationDetecting outliers in the data set is quite important for building effective predictive models. Consistent prediction can not be made through models created with data sets containing outliers, or robust models can not be created. In such cases, it may be possible to exclude observations that are determined to be outlier from the data set, or to assign less weight to these points of observation than to other points of observation....
-
Application of Regression Line to Obtain Specified Number of Points in Reduced Large Datasets
PublicationModern measurement techniques like scanning technology or sonar measurements, provide large datasets, which are a reliable source of information about measured object, however such datasets are sometimes difficult to develop. Therefore, the algorithms for reducing the number of such sets are incorporated into their processing. In the reduction algorithms based on the...
-
ANYTIME POLYNOMIAL HEURISTIC ALGORITHM FOR PARTITIONING GROUPS OF DATA WITH PRESERVING CLASS PROPORTIONS FOR CROSS-VALIDATION
PublicationThe article describes a problem of splitting data for k-fold cross-validation, where class proportions must be preserved, with additional constraint that data is divided into groups that cannot be split into different cross-validation sets. This problem often occurs in e.g. medical data processing, where data samples from one patient must be included in the same cross-validation set. As this problem is NP-complete, a heuristic...
-
Multi-objective optimization for assessment of topological modification in UWB antennas
PublicationThis paper addresses an issue of systematic and rigorous assessment of effects of topological modifications on the performance of compact UWB antennas. Application of fast surrogate-assisted multi-objective optimization procedures allows us for obtaining, in a practically acceptable timeframe, a set of designs representing the best possible trade-offs between conflicting objectives (here, antenna size minimization and reduction...
-
Multistatyczny, Dopplerowski System określania położenia i prędkości ruchomych celów w wodzie
PublicationW omawianym w pracy multistatycznym, dopplerowskim systemie określania położenia i prędkości ruchomych celów w wodzie źródłem sygnału są dwa nadajniki emitujące sinusoidalne, akustyczne fale ciągłe o różnych częstotliwościach, które po odbiciu od ruchomego celu są obierane przez cztery hydrofony. W artykule przedstawiono analize teoretyczna efektu Dopplera, na którym oparte jest działanie systemu oraz metodę rozwiązania głównych...
-
2-bondage in graphs
PublicationA 2-dominating set of a graph G=(V,E) is a set D of vertices of G such that every vertex of V(G)D has 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. The 2-bondage number of G, denoted by b_2(G), is the minimum cardinality among all sets of edges E' subseteq E such that gamma_2(G-E') > gamma_2(G). If for every E' subseteq E we have...
-
Jacobi and gauss-seidel preconditioned complex conjugate gradient method with GPU acceleration for finite element method
PublicationIn this paper two implementations of iterative solvers for solving complex symmetric and sparse systems resulting from finite element method applied to wave equation are discussed. The problem under investigation is a dielectric resonator antenna (DRA) discretized by FEM with vector elements of the second order (LT/QN). The solvers use the preconditioned conjugate gradient (pcg) method implemented on Graphics Processing Unit (GPU)...
-
Musical Instrument Identification Using Deep Learning Approach
PublicationThe work aims to propose a novel approach for automatically identifying all instruments present in an audio excerpt using sets of individual convolutional neural networks (CNNs) per tested instrument. The paper starts with a review of tasks related to musical instrument identification. It focuses on tasks performed, input type, algorithms employed, and metrics used. The paper starts with the background presentation, i.e., metadata...
-
Structural optimization of microjet array cooling system
PublicationThe single phase heat transfer from an upward facing, horizontal copper surface to arrays of impinging water jets was experimentally investigated. Experimental configuration allows for a free-surface unconfined jets flow. Square nozzles 50 × 100 μm arranged in four different geometries were used. Additionally, for the set of two jets array geometry was varied by adjusting the nozzle to nozzle distance. The area averaged heat transfer...
-
A Subspace-Splitting Moment-Matching Model-Order Reduction Technique for Fast Wideband FEM Simulations of Microwave Structures
PublicationThis article describes a novel model-order reduction (MOR) approach for efficient wide frequency band finite-element method (FEM) simulations of microwave components. It relies on the splitting of the system transfer function into two components: a singular one that accounts for the in-band system poles and a regular part that has no in-band poles. In order to perform this splitting during the reduction process, the projection...
-
Graph security testing
PublicationSet S ⊂ V is called secure set iff ∀ X ⊂ S | N [ X ] ∩ S | ≥ | N ( X ) \ S | [3]. That means that every subset of a secure set has at least as many friends (neighbour vertices in S) as enemies (neighbour vertices outside S) and will be defended in case of attack. Problem of determining if given set is secure is co −NP -complete, there is no efficient algorithm solving it [3]. Property testers are algorithms that distinguish inputs...
-
Double bondage in graphs
PublicationA vertex of a graph is said to dominate itself and all of its neighbors. A double dominating set of a graph G=(V,E) is a set D of vertices of G such that every vertex of G is dominated by at least two vertices of D. The double domination number of a graph G, denoted by gamma_d(G), is the minimum cardinality of a double dominating set of G. The double bondage number of G, denoted by b_d(G), is the minimum cardinality among all sets...
-
Interaction of low energy electrons with formic acid monomer, dimer and trimer
PublicationConfigurations of the formic acid monomer, dimer and trimer are presented. We have calculated the total energies for these structures. We have considered also the negatively charged clusters and discussed the possible pathways of interaction of low energy electrons with monomers and clusters. Calculations have been executed using 6-311G** and 6-311++G** basis sets. The electron affinities of monomer and clusters are presented....
-
Simplified probabilistic analysis of settlement of cyclically loaded soil stratum using point estimate method
PublicationThe paper deals with the probabilistic analysis of settlement of a non-cohesive soil layer subjected to cyclic loading. Originally, the settlement assessment is based on deterministic compaction model which requires integration of a set of differential equations. However, making use of the Bessel functions the settlement of the soil stratum can be calculated by means of simplified algorithm. The compaction model parameters were...
-
Monitoring the gas turbine start-up phase on the platform using a hierarchical model based on Multi-Layer Perceptron networks
PublicationVery often, the operation of diagnostic systems is related to the evaluation of process functionality, where the diagnostics is carried out using reference models prepared on the basis of the process description in the nominal state. The main goal of the work is to develop a hierarchical gas turbine reference model for the estimation of start-up parameters based on multi-layer perceptron neural networks. A functional decomposition...
-
Estimation of groundwater recharge in a shallow sandy aquifer using unsaturated zone modeling and water table fluctuation method
PublicationQuantification of groundwater recharge is one of the most important issues in hydrogeology, especially in view of the ongoing changes in climate and land use. In this study, we use numerical models of 1D vertical flow in the vadose zone and the water table fluctuation (WTF) analysis to investigate local-scale recharge of a shallow sandy aquifer in the Brda outwash plain in northern Poland. We show that these two methods can be...
-
Automatic Clustering of EEG-Based Data Associated with Brain Activity
PublicationThe aim of this paper is to present a system for automatic assigning electroencephalographic (EEG) signals to appropriate classes associated with brain activity. The EEG signals are acquired from a headset consisting of 14 electrodes placed on skull. Data gathered are first processed by the Independent Component Analysis algorithm to obtain estimates of signals generated by primary sources reflecting the activity of the brain....
-
Rating Prediction with Contextual Conditional Preferences
PublicationExploiting contextual information is considered a good solution to improve the quality of recommendations, aiming at suggesting more relevant items for a specific context. On the other hand, recommender systems research still strive for solving the cold-start problem, namely where not enough information about users and their ratings is available. In this paper we propose a new rating prediction algorithm to face the cold-start...
-
Comparison of heat transfer characteristics in surface cooling using microjets with water, ethanol and HFE7100 as test fluids
PublicationAccurate control of cooling parameters is required in ever wider range of technical applications. It is known that reducing the dimensions of the size of nozzle leads to an increase in the economy of cooling and improves its quality. Present study describes research related to the design and construction of the nozzles and microjet study, which may be applied in many technical applications such as in metallurgy, electronics, etc....
-
A model development and experimental verification for a vapour microturbine with a permanent magnet synchronous generator
PublicationVapour microturbines with permanent magnet synchronous generators are implemented in micropower plants for dispersed power generation systems. The dynamic model of such a microturbine set was developed and presented. The developed relations result from the generic equations. Experimental data for two different working medium were used for model verification. A microturbine set model was tested during the changes in the parameters...
-
Evolutionary music composition system with statistically modeled criteria
PublicationThe paper concerns an original evolutionary music composition system. On the basis of available solutions, we have selected a finite set of music features which appear to have a key impact on the quality of composed musical phrases. Evaluation criteria have been divided into rule-based and statistical sub-sets. Elements of the cost function are modeled using a Gaussian distribution defined by the expected value and variance obtained...
-
Non-isolating bondage in graphs
PublicationA dominating set of a graph $G = (V,E)$ is a set $D$ of vertices of $G$ such that every vertex of $V(G) \setminus D$ has a neighbor in $D$. The domination number of a graph $G$, denoted by $\gamma(G)$, is the minimum cardinality of a dominating set of $G$. The non-isolating bondage number of $G$, denoted by $b'(G)$, is the minimum cardinality among all sets of edges $E' \subseteq E$ such that $\delta(G-E') \ge 1$ and $\gamma(G-E')...
-
Non-isolating 2-bondage in graphs
PublicationA 2-dominating set of a graph G=(V,E) is a set D of vertices of G such that every vertex of V(G)D has 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. The non-isolating 2-bondage number of G, denoted by b_2'(G), is the minimum cardinality among all sets of edges E' subseteq E such that delta(G-E') >= 1 and gamma_2(G-E') > gamma_2(G)....
-
The Doppler effect in a bistatic system for determining the position of moving targets
PublicationThe article presents the theoretical analysis and the results of numerical calculations of the Doppler effect it occurs in a system designed to determine the position and speed of a moving target. The transmitter is the source of the signal and it emits a sinusoidal, acoustic and continuous wave. Signal reflected off a moving target is received by four hydrophones. Based on the signals, four Doppler shifts are determined and inserted...
-
THE STUDY OF WATER POLLUTION OF THE LOWER VISTULA RIVER BY PLASTIC PARTICLES
PublicationSince the beginning of widespread use of plastic its consumption and production has been constantly increasing. As a result of human activity part of waste ends up in our environment and is deposited in each of the elements of the biosphere. These impurities can be in the form of large elements, small particles fragmented to macroscopic level (pellets, facial scrub grains) and the microparticles visible under a microscope. Particularly...
-
New potent steroid sulphatase inhibitors based on 6-(1-phenyl-1H-1,2,3-triazol-4-yl)naphthalen-2-yl sulphamate derivatives
PublicationIn the present work, we report a new class of potent steroid sulphatase (STS) inhibitors based on 6-(1-phenyl-1H-1,2,3-triazol-4-yl)naphthalen-2-yl sulphamate derivatives. Within the set of new STS inhibitors, 6-(1-(1,2,3-trifluorophenyl)-1H-1,2,3-triazol-4-yl)naphthalen-2-yl sulphamate 3L demonstrated the highest activity in the enzymatic assay inhibiting the STS activity to 7.98% at 0.5 µM concentration. Furthermore, to verify...
-
Connection matrix theory for discrete dynamical systems
PublicationIn [C] and [F1] the connection matrix theory for Morse decomposition is developedin the case of continuous dynamical systems. Our purpose is to study the case of discrete timedynamical systems.
-
Computer experiments with a parallel clonal selection algorithm for the graph coloring problem
PublicationArtificial immune systems (AIS) are algorithms that are based on the structure and mechanisms of the vertebrate immune system. Clonal selection is a process that allows lymphocytes to launch a quick response to known pathogens and to adapt to new, previously unencountered ones. This paper presents a parallel island model algorithm based on the clonal selection principles for solving the Graph Coloring Problem. The performance of...
-
New Approach to Arc Fitting for Railway Track Realignment
PublicationThis article presents a new method of arc fitting for railway track realignment. The theoretical foundations are presented, along with a detailed algorithm of the iterative computational process. This method is based on solving a set of linearized pseudo-observation equations. The formulas of the functional model of the fitting problem were derived, and a special form of objective function is proposed. An iterative method for optimization...
-
NEW TRENDS IN DEVELOPMENT OF ORC'S FOR MICROPOWER GENERATION
PublicationIn the paper, new trends in development of micropower generation of heat and electricity are presented. New type of CHP for domestic usage is developed in the Institute of Fluid-Flow Machinery PAS and methods of its design are presented. The most promising trends in equipment of ORC cycle for this purpose were discussed. Main attention was focused on micro-heat exchangers design based on micro-channels and micro-jets. In our opinion...
-
Modeling SARS‐CoV‐2 proteins in the CASP‐commons experiment
PublicationCritical Assessment of Structure Prediction (CASP) is an organization aimed at advancing the state of the art in computing protein structure from sequence. In the spring of 2020, CASP launched a community project to compute the structures of the most structurally challenging proteins coded for in the SARS-CoV-2 genome. Forty-seven research groups submitted over 3000 three-dimensional models and 700 sets of accuracy estimates on...
-
Discovering Rule-Based Learning Systems for the Purpose of Music Analysis
PublicationMusic analysis and processing aims at understanding information retrieved from music (Music Information Retrieval). For the purpose of music data mining, machine learning (ML) methods or statistical approach are employed. Their primary task is recognition of musical instrument sounds, music genre or emotion contained in music, identification of audio, assessment of audio content, etc. In terms of computational approach, music databases...
-
Human poverty - measuring relative deprivation from basic achievements: a comparative study for 144 countries over the period 1990-2010
PublicationPoverty – differently defined and measured – still remains one the crucial parts of the world development debate. It`s broadly perceived as multidimensional phenomenon which deprives people from basic capabilities and freedoms, limits their opportunity to educate and fully participate in the labor market contributing to overall country`s socioeconomic performance. Referring to seminal works of Sen and many others(see e.g. Morris...
-
Basic sensitivity analysis of a telecommunication tower complementing standard reinforcement design process
PublicationThis paper presents straightforward sensitivity assessment of a telecommunication tower. The analysis is set toidentify the elements of the tower which may be reinforced with the greatest structural advantage. As current expertopin ions on structural redesign of similar structures due to a planned addition of extra loads are mainly based ondeterministic computations or engineering intuition,...
-
Structure and Randomness in Planning and Reinforcement Learning
PublicationPlanning in large state spaces inevitably needs to balance the depth and breadth of the search. It has a crucial impact on the performance of a planner and most manage this interplay implicitly. We present a novel method \textit{Shoot Tree Search (STS)}, which makes it possible to control this trade-off more explicitly. Our algorithm can be understood as an interpolation between two celebrated search mechanisms: MCTS and random...
-
Application of the distributed transfer function method and the rigid finite element method for modelling of 2-D and 3-D systems
PublicationIn the paper application of the Distributed Transfer Function Method and the Rigid Finite Element Method for modelling of 2-D and 3-D systems is presented. In this method an elastic body is divided into 1-D distributed parameter elements (strips or prisms). The whole body (divided into strips or prism) is described by a set of coupled partial differential equations. Solving this equations in the state space form it is possible...
-
Modele i algorytmy dla grafowych struktur defensywnych
PublicationW niniejszej pracy przeprowadzono analizę złożoności istnienia struktur defensywnych oraz równowag strategicznych w grafach. W przypadku struktur defensywnych badano modele koalicji defensywnych, zbiorów defensywnych i koalicji krawędziowych – każdy z nich w wersji globalnej, tj. z wymogiem dominacji całego grafu. W przypadku modeli równowagi strategicznej badano równowagę strategiczną koalicji defensywnych, równowagę strategiczną...
-
Selected manufacturing difficulties encountered during setup of machining on cnc multi-axis linear automatic lathe and on cnc multi-spindle turning centers
PublicationThe article presents the observed manufacturing technology implementation difficulties in workshop practice, resulting from the construction and principles of operation on the DMG’s SPRINT 32/5 CNC linear automatic lathe and on the Mazak’s HQR 150 MSY and QTN 200 MS CNC turn - mill centers, and discusses possible rules for solving the production problems encountered. The article also discusses the principles of dividing the machining...