Filters
total: 1879
-
Catalog
- Publications 1113 available results
- Journals 25 available results
- Conferences 16 available results
- People 51 available results
- Inventions 1 available results
- Projects 2 available results
- Research Teams 2 available results
- e-Learning Courses 599 available results
- Open Research Data 70 available results
displaying 1000 best results Help
Search results for: MINIMIZATION OF AUTOMATA
-
Low-cost multiband compact branch-line coupler design using response features and automated EM model fidelity adjustment
PublicationDesign closure of compact microwave components is a challenging problem because of significant electromagnetic (EM) cross-couplings in densely arranged layouts. A separate issue is a large number of designable parameters resulting from replacement of conventional transmission line sections by compact microstrip resonant cells. This increases complexity of the design optimization problem and requires employment of expensive high-fidelity...
-
Visually validated semi-automatic high-frequency oscillation detection aides the delineation of epileptogenic regions during intra-operative electrocorticography
PublicationOBJECTIVE: To test the utility of a novel semi-automated method for detecting, validating, and quantifying high-frequency oscillations (HFOs): ripples (80-200 Hz) and fast ripples (200-600 Hz) in intra-operative electrocorticography (ECoG) recordings. METHODS: Sixteen adult patients with temporal lobe epilepsy (TLE) had intra-operative ECoG recordings at the time of resection. The computer-annotated ECoG recordings were visually...
-
Cost-Efficient Surrogate Modeling of High-Frequency Structures Using Nested Kriging with Automated Adjustment of Model Domain Lateral Dimensions
PublicationSurrogate models are becoming popular tools of choice in mitigating issues related to the excessive cost of electromagnetic (EM)-driven design of high-frequency structures. Among available techniques, approximation modeling is by far the most popular due to its versatility. In particular, the surrogates are exclusively based on the sampled simulation data with no need to involve engineering insight or problem-specific knowledge....
-
Improvement of speech intelligibility in the presence of noise interference using the Lombard effect and an automatic noise interference profiling based on deep learning
PublicationThe Lombard effect is a phenomenon that results in speech intelligibility improvement when applied to noise. There are many distinctive features of Lombard speech that were recalled in this dissertation. This work proposes the creation of a system capable of improving speech quality and intelligibility in real-time measured by objective metrics and subjective tests. This system consists of three main components: speech type detection,...
-
An automated learning model for twitter sentiment analysis using Ranger AdaBelief optimizer based Bidirectional Long Short Term Memory
PublicationSentiment analysis is an automated approach which is utilized in process of analysing textual data to describe public opinion. The sentiment analysis has major role in creating impact in the day-to-day life of individuals. However, a precise interpretation of text still relies as a major concern in classifying sentiment. So, this research introduced Bidirectional Long Short Term Memory with Ranger AdaBelief Optimizer (Bi-LSTM RAO)...
-
A Novel Divisive iK-Means Algorithm with Region-Driven Feature Selection as a Tool for Automated Detection of Tumour Heterogeneity in MALDI IMS Experiments
Publication -
Automatic Identification System (AIS) Dynamic Data Integrity Monitoring and Trajectory Tracking Based on the Simultaneous Localization and Mapping (SLAM) Process Model
PublicationTo enhance the safety of marine navigation, one needs to consider the involvement of the automatic identification system (AIS), an existing system designed for ship-to-ship and shipto- shore communication. Previous research on the quality of AIS parameters revealed problems that the system experiences with sensor data exchange. In coastal areas, littoral AIS does not meet the expectations of operational continuity and system availability,...
-
International Conference on Language and Automata Theory and Applications
Conferences -
Rediscovering Automatic Detection of Stuttering and Its Subclasses through Machine Learning—The Impact of Changing Deep Model Architecture and Amount of Data in the Training Set
PublicationThis work deals with automatically detecting stuttering and its subclasses. An effective classification of stuttering along with its subclasses could find wide application in determining the severity of stuttering by speech therapists, preliminary patient diagnosis, and enabling communication with the previously mentioned voice assistants. The first part of this work provides an overview of examples of classical and deep learning...
-
From Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
PublicationFrom Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
-
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...
-
Accurate Modeling of Frequency Selective Surfaces Using Fully-Connected Regression Model with Automated Architecture Determination and Parameter Selection Based on Bayesian Optimization
PublicationSurrogate modeling has become an important tool in the design of high-frequency structures. Although full-wave electromagnetic (EM) simulation tools provide an accurate account for the circuit characteristics and performance, they entail considerable computational expenditures. Replacing EM analysis by fast surrogates provides a way to accelerate the design procedures. Unfortunately, modeling of microwave passives is a challenging...
-
IEEE-CAA Journal of Automatica Sinica
Journals -
Dariusz Karkosiński dr hab. inż.
People -
Automated Detection of Sleep Apnea and Hypopnea Events Based on Robust Airflow Envelope Tracking in the Presence of Breathing Artifacts. - [IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS]
PublicationThe paper presents a new approach to detection of apnea/hypopnea events, in the presence of artifacts and breathing irregularities, from a single channel airflow record. The proposed algorithm, based on a robust envelope detector , identifies segments of signal affected by a high amplitude mo d- ulation corresponding to apnea/hypopnea events. It is show n that a robust airflow envelope - free of breathing artifacts - improves effectiveness...
-
Automatic music genre classification based on musical instrument track separation / Automatyczna klasyfikacja gatunku muzycznego wykorzystująca algorytm separacji dźwięku instrumentó muzycznych
PublicationThe aim of this article is to investigate whether separating music tracks at the pre-processing phase and extending feature vector by parameters related to the specific musical instruments that are characteristic for the given musical genre allow for efficient automatic musical genre classification in case of database containing thousands of music excerpts and a dozen of genres. Results of extensive experiments show that the approach...
-
Analiza porównawcza metod predykcji chwili zgodności fazowejw automatycznym synchronizatorze prądnic = Comparison of the methods of prediction time phase coincidence in automatic synchronizer of power generators
PublicationW artykule porównano dokładność wybranych metod realizacji warunku fazowego podczas synchronizacji obiektów elektroenergetycznych. Do porównania wybrano trzy metody: liniową, wielomianową oraz metodę adaptacyjnej synchronizacji prądnic z ekstrapolacją funkcją wymierną. Badania przeprowadzono dla różnych warunków pracy. Przyjęto stałą różnicę częstotliwości napięć synchronizowanych obiektów, różnicę częstotliwości zmieniającą się...
-
Automated Analysis of Images from Confocal Laser Scanning Microscopy Applied to Observation of Calcium Channel Subunits in Nerve Cell Model Line Subjected Electroporation and Calcium
Publication -
Connected & Automated Urban Mobility, Zombie Cars and Kitchen Knives: Will Autonomous Automobiles, Self-Driving Car-Sharing and Ride-Hailing, and Driverless Shuttles Harm Cities?
PublicationThere is a deficiency of supportive evidence to verify thesis that cities are prepared for mobility revolution which already begun and will advance exponentially. Furthermore, present revisions mostly emphasize how emerging mobility solutions will alter transport efficiency or affect mass transit usage, rather than on urban morphology, metropolitan society, nor local communities. Author is thoroughly concerned that municipalities...
-
Business processes implementation using agent systems
PublicationThis paper will show that some complex and repetitive actions performed in a company can be modelled for the sake of optimization and automaton. It is achieved by connecting business processes management and agent paradigms. Moreover it shows that organization structure can be mapped to distributed multi agent system. Finally it states that interorganization communication can be automated on the same basis as intra-organization...
-
Prediction of consumer electricity needs based on Internet weather forecasts
PublicationElectrical energy is considered both as an important driver for producing and transporting goods in companies, as well as a good in itself which requires planning and management for generating and delivering it to consumers in proper time and amounts. Weather information can be considered to convey part of the data on energy delivery needs of consumers. Free meteorological data sources on the Web do not offer consistent data to...
-
Automated Software Engineering Conference
Conferences -
Logic Programming and Automated Reasoning
Conferences -
International Conference on Automated Deduction
Conferences -
Practice and Theory of Automated Timetabling
Conferences -
Equilibrium constants (Keq) of reforming reactions
Open Research DataThe equilibrium constants (K) of reforming reactions in SOFC were supplied with this dataset
-
Tomasz Adam Rutkowski dr inż.
People -
Marek Moszyński dr hab. inż.
People -
EM-Driven Multi-Objective Optimization of a Generic Monopole Antenna by Means of a Nested Trust-Region Algorithm
PublicationAntenna structures for modern applications are characterized by complex and unintuitive topologies that are difficult to develop when conventional experience-driven techniques are of use. In this work, a method for automatic generation of antenna geometries in a multi-objective setup has been proposed. The approach involves optimization of a generic spline-based radiator with adjustable number of parameters using a nested trust-region-based...
-
Minimal number of periodic points with the periods less or equal to r in the smooth homotopy class of simply-connected manifolds of dimension 4 and homology groups with the sum of ranks less or equal to10
Open Research DataAn important problem in periodic point theory is minimization of the number of periodic points with periods <= r in a given class of self-maps of a space. A closed smooth and simply-connected manifolds of dimension 4 and its self-maps f with periodic sequence of Lefschetz numbers are considered. The topological invariant Jr[f] is equal to the minimal...
-
Minimal number of periodic points with the periods less or equal to r in the smooth homotopy class of simply-connected manifolds of dimension 6 and homology groups with the sum of ranks less or equal to10
Open Research DataAn important problem in periodic point theory is minimization of the number of periodic points with periods <= r in a given class of self-maps of a space. A closed smooth and simply-connected manifolds of dimension 6 and its self-maps f with periodic sequence of Lefschetz numbers are considered. The topological invariant Jr[f] is equal to the minimal...
-
Minimal number of periodic points with the periods less or equal to r in the smooth homotopy class of simply-connected manifolds of dimension 5 and homology groups with the sum of ranks less or equal to10
Open Research DataAn important problem in periodic point theory is minimization of the number of periodic points with periods <= r in a given class of self-maps of a space. A closed smooth and simply-connected manifolds of dimension 5 and its self-maps f with periodic sequence of Lefschetz numbers are considered. The topological invariant Jr[f] is equal to the minimal...
-
Minimal number of periodic points with the periods less or equal to r in the smooth homotopy class of simply-connected manifolds of dimension 8 and homology groups with the sum of ranks less or equal to 10
Open Research DataAn important problem in periodic point theory is minimization of the number of periodic points with periods <= r in a given class of self-maps of a space. A closed smooth and simply-connected manifolds of dimension 8 and its self-maps f with periodic sequence of Lefschetz numbers are considered. The topological invariant Jr[f] is equal to the minimal...
-
Minimal number of periodic points with the periods less or equal to r in the smooth homotopy class of simply-connected manifolds of dimension 7 and homology groups with the sum of ranks less or equal to10
Open Research DataAn important problem in periodic point theory is minimization of the number of periodic points with periods <= r in a given class of self-maps of a space. A closed smooth and simply-connected manifolds of dimension 7 and its self-maps f with periodic sequence of Lefschetz numbers are considered. The topological invariant Jr[f] is equal to the minimal...
-
Euilibrium composition of CH4-CO2-CO-H2-H2O-C system under biogas reforming conditions
Open Research DataThe equilibrium compositions of CH4, CO2, CO, H2, H2O and C under the biogas mixture reforming were supplied with this dataset
-
Simplified Map-based Selection of Optimal Spindle Speeds When Milling Complex Structures
PublicationIn the paper a method for selecting optimal spindle speeds for complex structures during milling operations is presented. It is based on the selection of the spindle speed in accordance with a simple equation resulting from the minimisation of vibration energy, which leads to the minimisation of the work of cut-ting forces presented in previous elaborations by the authors [1]. Optimal spindle speeds are obtained for many points...
-
Euilibrium composition of CH4-CO2-CO-H2-H2O-C system for CO2/H2/H2O methanation
Open Research DataThe equilibrium compositions of CH4, CO2, CO, H2, H2O and C under the methanation reaction of 1:2 CO:H2 syngas mixtures were supplied with this dataset
-
Euilibrium composition of CH4-CO2-CO-H2-H2O-C system under various compositions syngas methanation
Open Research DataThe equilibrium compositions of CH4, CO2, CO, H2, H2O and C under the methanation reaction of various syngas mixtures (different CO/H2 ratio) were supplied with this dataset
-
Euilibrium composition of CH4-CO2-CO-H2-H2O system for CO2/H2/H2O methanation
Open Research DataThe equilibrium compositions of CH4, CO2, CO, H2, H2O without C under the methanation reaction of 1:2 CO:H2 syngas mixtures were supplied with this dataset
-
FIReWORK: FIR Filters Hardware Structures Auto-Generator
PublicationThe paper presents application called FIReWORK, that allows for automatic creation of the VHDL hardware structures of FIR filters. Automat- ically generated specialized hardware solutions dedicated to the FPGA and ASIC are commonly known as Intellectual Property Cores. The essential fu- ture of the application is easy initialization of FIR filter parameters in GUI, and then automatically design, calculate and generate the IP Core...
-
International Joint Conference on Automated Reasoning
Conferences -
International Conference on Automated Planning and Scheduling
Conferences -
Kazimierz Duzinkiewicz dr hab. inż.
People -
Selection of circuit geometry for miniaturized microwave components based on concurrent optimization of performance and layout area
PublicationThe paper presents a framework for automated EM-driven circuit geometry selection of miniaturized microwave components. Selection of a particular layout is based directly on miniaturization rates achieved for a set of candidate circuit geometries. Size reduction of the considered structures is obtained by replacing their main building blocks (i.e., conventional transmission lines) with slow-wave composite cells and meander lines....
-
Euilibrium composition of CH4-CO2-CO-H2-H2O-C system under various compositions syngas methanation with 10% water vapour introduced
Open Research DataThe equilibrium compositions of CH4, CO2, CO, H2, H2O and C under the methanation reaction of various syngas mixtures (different CO/H2 ratio) were supplied with this dataset
-
Euilibrium composition of CH4-CO2-CO-H2-H2O-C system under various compositions syngas methanation with 30vol.% water vapour introduced
Open Research DataThe equilibrium compositions of CH4, CO2, CO, H2, H2O and C under the methanation reaction of various syngas mixtures (different CO/H2 ratio) were supplied with this dataset
-
The Backbone Coloring Problem for Small Graphs
PublicationIn this paper we investigate the values of the backbone chromatic number, derived from a mathematical model for the problem of minimization of bandwidth in radio networks, for small connected graphs and connected backbones (up to 7 vertices). We study the relationship of this parameter with the structure of the graph and compare the results with the solutions obtained using the classical graph coloring algorithms (LF, IS), modified...
-
Compensation of magnetic disturbances caused by sensors in a differential magnetometric system
PublicationStudy of low magnetic fields necessitates the use of precision magnetometers working in a differential system. Minimization of this error is a substantial issue in the case of magnetometers working in a differential system on a mobile platform. The compensation method of heading error consists in taking measurements of changes in magnetic induction with the use of the tested magnetometer for various locations of the sensor in relation...
-
Green Analytical Chemistry Approaches in Sample Preparation
PublicationThis chapter presents environmentally friendly solutions for sample preparation. Attention is focused on extraction techniques and the minimization of organic solvent consumption, as the large quantitiesused in analytical laboratories are a pressing environmental problem. Solventless sample preparation techniques, alternative solvents, mediated extractions are discussed. The principle of each technique isbriefly described, together...
-
Homoclinics for singular strong force Lagrangian systems
PublicationWe study the existence of homoclinic solutions for a class of generalized Lagrangian systems in the plane, with a C1-smooth potential with a single well of infinite depth at a point ξ and a unique strict global maximum 0 at the origin.Under a strong force condition around the singular point ξ, via minimization of an action integral, we will prove the existence of at least two geometrically distinct homoclinic solutions.