Wyszukiwarka
Filtry
wszystkich: 3585
-
Katalog
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: proof-number search
-
Exploring Relationships Between Data in Enterprise Information Systems by Analysis of Log Contents
PublikacjaEnterprise systems are inherently complex and maintaining their full, up-to-date overview poses a serious challenge to the enterprise architects’ teams. This problem encourages the search for automated means of discovering knowledge about such systems. An important aspect of this knowledge is understanding the data that are processed by applications and their relationships. In our previous work, we used application logs of an enterprise...
-
Evolutionary Planning of Safe Ship Tracks in Restricted Visibility
PublikacjaThe paper presents the continuation of the author's research on ship track planning by means of Evolutionary Algorithms (EA). The presented method uses EA to search for an optimal set of safe tracks for all ships involved in an encounter. Until now the method assumed good visibility – compliance with standard rules of the Convention on the International Regulations for Preventing Collisions at Sea (COLREGS, 1972). However, in restricted...
-
INFORMATION ABOUT DYNAMICS OF THE SEA SURFACE AS A MEANS TO IMPROVE SAFETY OF THE UNMANNED VESSEL AT SEA
PublikacjaOne of the fundamental states of the sea surface is its heave. Despite of years of the intense scientific inquiry, no clear understanding of the influence of this aspect on the dynamics of the sea environment has emerged. The separation of two nearby fluid elements which one may observed for example as a free floating of small objects on the sea surface (rescuers on the rough sea or small research vessels) is caused by the interaction...
-
The newly developed multipurpose ROV or an integrated mine hunting system
PublikacjaA modular mine hunting ROV concept is presented. The design is based on experience gained during 15 years of exploitation of the Ukwial ROV and development of Gluptak single shot mine hunting systems. The design goal was to multiply capabilities of the Ukwial without increasing weight and dimensional envelope. The vehicle is composed around powerful propulsion system that gives the system basic PVDS capability and mine disposal...
-
NbIr 2 B 2 and TaIr 2 B 2 – New Low Symmetry Noncentrosymmetric Superconductors with Strong Spin–Orbit Coupling
PublikacjaSuperconductivity was first observed more than a century ago, but the search for new superconducting materials remains a challenge. The Cooper pairs in superconductors are ideal embodiments of quantum entanglement. Thus, novel superconductors can be critical for both learning about electronic systems in condensed matter and for possible application in future quantum technologies. Here two previously unreported materials, NbIr2B2...
-
Frequency-Based Regularization for Improved Reliability Optimization of Antenna Structures
PublikacjaThe paper proposes a modified formulation of antenna parameter tuning problem. The main ingredient of the presented approach is a frequency-based regularization. It allows for smoothening the functional landscape of the assumed cost function, defined to encode the prescribed design specifications. The regularization is implemented as a special penalty term complementing the primary objective and enforcing the alignment of the antenna...
-
Bridging theory and practice in postgraduate education on development and planning: Gdynia Urban Summer Schools 2016-2018
PublikacjaIn this article, the authors discuss results achieved by the Gdynia Urban Summer School (GUSS) organised annually (between 2016 and 2018) in Gdynia, Poland. The GUSS was meant for young practitioners from various professions such as urban and regional planning, urban design, architecture, civil engineering and transport planning. The objective was to give workshop participantspractical interdisciplinary...
-
Rapid multi-objective design of integrated on-chip inductors by means of Pareto front exploration and design extrapolation
PublikacjaIdentification of the best trade-offs between conflicting design objectives allows for making educated design decisions as well as assessing suitability of a given component or circuit for a specific application. In case of inductors, the typical objectives include maximization of the quality factor and minimization of the layout area, as well as maintaining a required inductance at a given operating frequency. This work demonstrates...
-
Green Analytical Chemistry: Summary of Existing Knowledge and Future Trends
PublikacjaAnalysis of recent publications in green analytical chemistry shows the current trends and future needs in this area. The main issues are related with search for cheaper, more efficient, more accurate, greener and miniaturized alternatives. Miniaturization is perhaps, the most notable current trend in analytical chemistry. Rapid developments and improvements in instrumentation have led to impressive range of benchtop technology...
-
Sound engineering as our commitment to its creators in Poland
PublikacjaSound engineering is an interdisciplinary and rapidly expanding domain. It covers many aspects, such as sound perception, studio and sound mastering technology, music information retrieval including content-based search systems and automatic music transcription frameworks, sound synthesis, sound restoration, electroacoustics, and other ones constituting multimedia technology. Moreover, machine learning methods applied to the topics...
-
Removal of BTEX Compounds From Waste Gases; Destruction and Recovery Techniques
PublikacjaThe tendency for BTEX compounds (benzene, toluene, ethylbenzene, xylenes) to spread into all compartments of the environment together with their influence on both ecosystem and human health means that the emission of thesecompounds into the air is becoming the matter of worldwide concern. The legal regulations introduced by the European Union governing the assessment and management of air quality obliges member states to systematically...
-
The Method of Multi-criteria Analysis to Support the Decision on Load or Micro-generation Connection to a Low- or Medium-voltage Power Grid
PublikacjaThis paper presents a method that supports the decision in terms on selecting the best option of a load connection to a low- or medium-voltage power distribution grid, and of a micro-generation source connection to a low-voltage grid. The method is based on the search for the option with the lowest aggregate assessment measure, which is the weighted average of partial assessment measures determined for each of eight considered...
-
Pareto Ranking Bisection Algorithm for EM-Driven Multi-Objective Design of Antennas in Highly-Dimensional Parameter Spaces
PublikacjaA deterministic technique for fast surrogate-assisted multi-objective design optimization of antennas in highly-dimensional parameters spaces has been discussed. In this two-stage approach, the initial approximation of the Pareto set representing the best compromise between conflicting objectives is obtained using a bisection algorithm which finds new Pareto-optimal designs by dividing the line segments interconnecting previously...
-
Enhancement of the Magnetoresistance in the Mobility‐Engineered Compensated Metal Pt 5 P 2
PublikacjaThe magnetoresistance (MR) in nonmagnetic materials continues to be a fertile research area in materials science. The search for giant, positive MR has been limited to a rather small window of materials such as high-mobility semimetals in single-crystalline form. Here, the observation of a very large positive MR in metallic Pt5P2 in polycrystalline form is reported. The observations reveal that improvement of the crystallinity...
-
Optimized Computational Intelligence Model for Estimating the Flexural Behavior of Composite Shear Walls
PublikacjaThis article presents a novel approach to estimate the flexural capacity of reinforced concrete-filled composite plate shear walls using an optimized computational intelligence model. The proposed model was developed and validated based on 47 laboratory data points and the Transit Search (TS) optimization algorithm. Using 80% of the experimental dataset, the optimized model was selected by determining the unknown coefficients of...
-
A Meta-Analysis of Pulse Arrival Time Based Blood Pressure Estimation
PublikacjaThe paper presents a preliminary meta-analysis of the sample correlation between pulse arrival time (PAT) and blood pressure (BP). The aim of the study was to verify sample correlation coefficient between PAT and BP using an affine model BP = a · P AT + b for systolic and diastolic blood pressure. The databases included in the search were the IEEE Xplore Digital Library, Springer Link and Google Scholar. Only papers from 2005 to...
-
Automatic Rhythm Retrieval from Musical Files
PublikacjaThis paper presents a comparison of the effectiveness of two computational intelligence approaches applied to the task of retrieving rhythmic structure from musical files. The method proposed by the authors of this paper generates rhythmic levels first, and then uses these levels to compose rhythmic hypotheses. Three phases: creating periods, creating simplified hypotheses and creating full hypotheses are examined within this study....
-
Assurance Case Patterns On-line Catalogue
PublikacjaAssurance case is an evidence-based argument demonstrating that a given property of a system (e.g. safety, security) is assured. Assurance cases are developed for high integrity systems, as in many industry domains such argu-ment is explicitly required by regulations. Despite the fact that each assurance case is unique, several reusable argument patterns have been identified and pub-lished. This paper reports work on development...
-
A Reduction Method for Bathymetric Datasets that Preserves True Coastal Water Geodata
PublikacjaWater areas occupy over 70 percent of the Earth’s surface and are constantly subject to research and analysis. Often, hydrographic remote sensors are used for such research, which allow for the collection of information on the shape of the water area bottom and the objects located on it. Information about the quality and reliability of the depth data is important, especially during coastal modelling. In-shore areas are liable...
-
Representing Process Characteristics to Increase Confidence in Assurance Case Arguments
PublikacjaAn assurance case is a structured, evidence-based argument demonstrating that a safety or other quality objective of a high integrity system is assured. Assurance cases are required or recommended in many industry domains as a means to convince the regulatory bodies to allow commissioning of such system. To be convincing, an argument should address all potential doubts and thus cover numerous additional issues, including the processes...
-
Security Assessment of a Turbo-Gas Power Plant
PublikacjaCritical infrastructures are exposed to new threats due to the large number of vulnerabilities and architectural weaknesses introduced by the extensive use of information and communication technologies. This paper presents the results of an exhaustive security assessment for a turbo-gas power plant.
-
On incidence coloring of coloring of complete multipartite and semicubic bipartite graphs
PublikacjaIn 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.
-
AN OVERVIEW OF HEAT TRANSFER ENHANCEMENT BASED UPON NANOPARTICLES INFLUENCED BY INDUCED MAGNETIC FIELD WITH SLIP CONDITION VIA FINITE ELEMENT STRATEGY
PublikacjaThe mathematical model of heat generation and dissipation during thermal energy transmission employing nanoparticles in a Newtonian medium is investigated. Dimensionless boundary layer equations with correlations for titanium dioxide, copper oxide, and aluminium oxide are solved by the finite element method. Parameters are varied to analyze their impact on the flow fields. Various numerical experiments are performed consecutively...
-
On extremal sizes of locally k-tree graphs
PublikacjaA graph G is a locally k-tree graph if for any vertex v the subgraph induced by the neighbours of v is a k-tree, k>=0, where 0-tree is an edgeless graph, 1-tree is a tree. We characterize the minimum-size locally k-trees with n vertices. The minimum-size connected locally k-trees are simply (k + 1)-trees. For k >= 1, we construct locally k-trees which are maximal with respect to the spanning subgraph relation. Consequently, the...
-
Economic migrations to Poland in 2008-2018
PublikacjaThe aim of the article is to present the stream and structure of economic migrants to Poland between 2008-2018. The first part presents economic migrations in its theoretical aspects, explaining the concept and presenting definitions. Then, the institutional and legal conditions of economic migration to Poland with particular emphasis on documents recquired by Polish labor market were presented i.e. work permits, seasonal work...
-
The Suzuki model of the multipath fading channel
Dane BadawczeThe dataset contains the results of simulations that are part of the research on modelling the multipath fading in the communication channel. The Suzuki fading envelope is generated using the Monte-Carlo simulation (MCS) in the LabVIEW programming environment.
-
Numerical Study of the Impinging Jets Formed by an Injector with Different Nozzle Diameters
Dane BadawczeThe data set contains the simulation files related to the research paper “Numerical Study of the Impinging Jets Formed by an Injector with Different Nozzle Diameters”, https://doi.org/10.4271/2022-01-1080.
-
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...
-
Accelerometer signal pre-processing influence on human activity recognition
PublikacjaA study of data pre-processing influence on accelerometer-based human activity recognition algorithms is presented. The frequency band used to filter-out the accelerometer signals and the number of accelerometers involved were considered in terms of their influence on the recognition accuracy.
-
Studies on micellar aggregation of nonionic surfactants in imidazolium liquids
PublikacjaA number of imidazolium ionic liquids, with 2-8 carbon atoms in cation alkyl chains, and tetrafluoroborate, hexafluorophosphate, bis(trifluoromethylsulfony)imide and trifluoromethanesulfonate anions, were characterized for their ability to support micellar aggregation of nonionic surfactants in binary solutions.
-
Machine Learning and Deep Learning Methods for Fast and Accurate Assessment of Transthoracic Echocardiogram Image Quality
PublikacjaHigh-quality echocardiogram images are the cornerstone of accurate and reliable measurements of the heart. Therefore, this study aimed to develop, validate and compare machine learning and deep learning algorithms for accurate and automated assessment of transthoracic echocardiogram image quality. In total, 4090 single-frame two-dimensional transthoracic echocardiogram...
-
Microwave-Induced Processing of Free-Standing 3D Printouts: An Effortless Route to High-Redox Kinetics in Electroanalysis
Publikacja3D-printable composites have become an attractive option used for the design and manufacture of electrochemical sensors. However, to ensure proper charge-transfer kinetics at the electrode/electrolyte interface, activation is often required, with this step consisting of polymer removal to reveal the conductive nanofiller. In this work, we present a novel effective method for the activation of composites consisting of poly(lactic...
-
Knowledge Sharing and Dynamic Capabilities: Does Gender Matter?
PublikacjaKnowledge sharing in organizations is a focal process leading to organizational adaptability and sustainable growth. Dynamic capabilities development is critical for this. Diversity, inclusive culture, and gender balance are seen as factors that also support organizations' development. The question of the role of gender in sharing and using knowledge to initiate change in organizations remains open. This study aims to fill this...
-
Microfluidically Frequency-Reconfigurable Compact Self-Quadruplexing Tunable Antenna with High Isolation Based on Substrate Integrated Waveguide
PublikacjaThis communication presents a novel concept of microfluidically frequency-reconfigurable self-quadruplexing tunable antenna for quad-band applications. At the initial design stage, a substrate-integrated square cavity is divided into four unequal quarter-mode cavity resonators by inserting an X-shaped slot on the top surface of the cavity. Applying four 50-ohm microstrip feed-lines to these four quarter-mode cavity resonators enables...
-
Online Volatile Compound Emissions Analysis Using a Microchamber/Thermal Extractor Coupled to Proton Transfer Reaction-Mass Spectrometry
PublikacjaIndoor air is a complex and dynamic mixture comprising manifold volatile organic compounds (VOCs) that may cause physiological and/or psychological discomfort, depending on the nature of exposure. This technical note presents a novel approach to analyze VOC emissions by coupling a microchamber/thermal extractor (μ-CTE) system to a proton transfer reaction-mass spectrometer (PTR-MS). This configuration provides an alternative to...
-
Compact Quasi-Elliptic-Type Inline Waveguide Bandpass Filters With Nonlinear Frequency-Variant Couplings
PublikacjaThis 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...
-
Discriminating macromolecular interactions based on an impedimetric fingerprint supported by multivariate data analysis for rapid and label-free Escherichia coli recognition in human urine
PublikacjaThis manuscript presents a novel approach to address the challenges of electrode fouling and highly complex electrode nanoarchitecture, which are primary concerns for biosensors operating in real environments. The proposed approach utilizes multiparametric impedance discriminant analysis (MIDA) to obtain a fingerprint of the macromolecular interactions on flat glassy carbon surfaces, achieved through self-organized, drop-cast,...
-
Frequency-Variant Double-Zero Single-Pole Reactive Coupling Networks for Coupled-Resonator Microwave Bandpass Filters
PublikacjaIn this work, a family of frequency-variant reactive coupling (FVRC) networks is introduced and discussed as new building blocks for the synthesis of coupled-resonator bandpass filters with real or complex transmission zeros (TZs). The FVRC is a type of nonideal frequency-dependent inverter that has nonzero elements on the diagonal of the impedance matrix, along with a nonlinear frequency-variation profile of its transimpedance...
-
Photocatalytic hydrogen evolution from glycerol-water mixture under visible light over zinc indium sulfide (ZnIn2S4) nanosheets grown on bismuth oxychloride (BiOCl) microplates
PublikacjaZnIn2S4 (ZIS) is one of the widely studied photocatalyst for photocatalytic hydrogen evolution applications due to its prominent visible light response and strong reduction ability. However, its photocatalytic glycerol reforming performance for hydrogen evolution has never been reported. Herein, the visible light driven BiOCl@ZnIn2S4 (BiOCl@ZIS) composite was synthesized by growth of ZIS nanosheets on a template-like hydrothermally...
-
Randomness Amplification under Minimal Fundamental Assumptions on the Devices
PublikacjaRecently, the physically realistic protocol amplifying the randomness of Santha-Vazirani sources producing cryptographically secure random bits was proposed; however, for reasons of practical relevance, the crucial question remained open regarding whether this can be accomplished under the minimal conditions necessary for the task. Namely, is it possible to achieve randomness amplification using only two no-signaling components...
-
Intencje przedsiębiorcze studentów – analiza międzynarodowa oparta na rozszerzonym modelu Ajzena
PublikacjaPoszukiwanie czynników wpływających na rozpoczęcie działalności gospodarczej doczekało się opisu w wielu publikacjach. Nie ma wątpliwości, że czynnikiem kluczowym w procesie przedsiębiorczym są intencje, a dzięki pracom I. Ajzena wiadomo także, jakie grupy czynników wpływają na intencje. Jednak jego teoria planowanego zachowania wydaje się być niewystarczająca. Celem rozdziału było opracowanie propozycji rozszerzenia teorii Ajzena....
-
Gustav Oelsner i Hugo Althoff. W poszukiwaniu godnych warunków zamieszkania w Altonie i Gdańsku
PublikacjaCelem artykułu jest porównanie aktywności zawodowej dwóch architektów miejskich odpowiedzialnych za przestrzenny i architektoniczny rozwój Gdańska i Altony - Hugona Althoffa i Gustava Oelsnera, oraz porównanie architektury i urbanistyki modernistycznych osiedli socjalnych. Celem porównania jest zbadanie, w jakim stopniu lokalne uwarunkowania i tradycja mogą być nośnikiem uniwersalnych ideałów modernizmu i indywidualnej ekspresji...
-
An evaluation and explanation of (in)efficiency in higher education institutions in Europe and the U.S. with the application of two-stage semi-parametric DEA
PublikacjaThis study uses data envelopment analysis (DEA) to evaluate the relative efficiency of 500 higher education institutions (HEIs) in ten European countries and the U.S. for the period between 2000 and 2010. Efficiency scores are determined using different input-output sets (inputs: total revenue, academic staff, administration staff, total number of students; outputs: total number of publications, number of scientific articles, graduates)...
-
An Ultra-Low-Energy Analog Comparator for A/D Converters in CMOS Image Sensors
PublikacjaThis paper proposes a new solution of an ultra-low-energy analog comparator, dedicated to slope analog-to-digital converters (ADC), particularly suited for CMOS image sensors (CISs) featuring a large number of ADCs. For massively parallel imaging arrays, this number may be as high as tens-hundreds of thousands ADCs. As each ADC includes an analog comparator, the number of these comparators in CIS is always high. Detailed analysis...
-
Banking concentration in the Baltic and Western Balkan states — selected issues
PublikacjaResearch background: In a rapidly changing economic environment companies deepen their cooperation, which entails in all sectors of the economy. The progressive increase in market concentration, especially in the banking sector, is caused by various reasons. Purpose of the article: The purpose of this article is to compare the tendencies within market structures in few countries which origin from similar political systems and...
-
Bibliometric data for a research study on scientific productivity of Polish technical universities (Silesian University of Technology 2016-2020) retrieved by InCites benchmarking tool.
Dane BadawczeThis dataset was created for the purpose of research on scientific productivity at Polish technical universities.The raw data was retrieved in July 2021 by the InCites benchmarking tool in xlsx format and will be used to create the research profiles of the universities and underlying data of journals articles.The most common definition of research productivity...
-
Bibliometric data for a research study on scientific productivity of Polish technical universities (Cracow University of Technology 2016-2020) retrieved by InCites benchmarking tool.
Dane BadawczeThis dataset was created for the purpose of research on scientific productivity at Polish technical universities.The raw data was retrieved in July 2021 by the InCites benchmarking tool in xlsx format and will be used to create the research profiles of the universities and underlying data of journals articles.The most common definition of research productivity...
-
Bibliometric data for a research study on scientific productivity of Polish technical universities (Łódź University of Technology 2016-2020) retrieved by InCites benchmarking tool.
Dane BadawczeThis dataset was created for the purpose of research on scientific productivity at Polish technical universities.The raw data was retrieved in July 2021 by the InCites benchmarking tool in xlsx format and will be used to create the research profiles of the universities and underlying data of journals articles. The most common definition of research...
-
Bibliometric data for a research study on scientific productivity of Polish technical universities (Poznań University of Technology 2016-2020) retrieved by InCites benchmarking tool.
Dane BadawczeThis dataset was created for the purpose of research on scientific productivity at Polish technical universities.The raw data was retrieved in July 2021 by the InCites benchmarking tool in xlsx format and will be used to create the research profiles of the universities and underlying data of journals articles. The most common definition of research...
-
Bibliometric data for a research study on scientific productivity of Polish technical universities (Warsaw University of Technology 2016-2020) retrieved by InCites benchmarking tool.
Dane BadawczeThis dataset was created for the purpose of research on scientific productivity at Polish technical universities.The raw data was retrieved in July 2021 by the InCites benchmarking tool in xlsx format and will be used to create the research profiles of the universities and underlying data of journals articles. The most common definition of research...