displaying 1000 best results Help
Search results for: PROOF-NUMBER SEARCH
-
Critical Case Stochastic Phylogenetic Tree Model via the Laplace Transform
PublicationBirth–and–death models are now a common mathematical tool to describe branching patterns observed in real–world phylogenetic trees. Liggett and Schinazi (2009) is one such example. The authors propose a simple birth–and–death model that is compatible with phylogenetic trees of both influenza and HIV, depending on the birth rate parameter. An interesting special case of this model is the critical case where the birth rate equals the...
-
Alternative Modeling of Volunteer Based Systems
PublicationThe canonical approach to model a flow of a voluntary based computing, as presented in Chapter 7 may tax the capacity of the simulator, especially when a more complex model of Voluntary Computing, proposed in [1], is used which would imply that, for typical heterogeneous groups of volunteers, several thousands of threads would have to be run inside the simulator, to mimic closely the behaviour of every volunteer. This chapter presents...
-
The Maslov index and the spectral flow—revisited
PublicationWe give an elementary proof of a celebrated theorem of Cappell, Lee and Miller which relates the Maslov index of a pair of paths of Lagrangian subspaces to the spectral flow of an associated path of self-adjoint first-order operators. We particularly pay attention to the continuity of the latter path of operators, where we consider the gap-metric on the set of all closed operators on a Hilbert space. Finally, we obtain from Cappell,...
-
Accurate Modeling of Antenna Structures by Means of Domain Confinement and Pyramidal Deep Neural Networks
PublicationThe importance of surrogate modeling techniques has been gradually increasing in the design of antenna structures over the recent years. Perhaps the most important reason is a high cost of full-wave electromagnetic (EM) analysis of antenna systems. Although imperative in ensuring evaluation reliability, it entails considerable computational expenses. These are especially pronounced when carrying out EM-driven design tasks such...
-
Research project I (February 2024)
e-Learning CoursesThis is the course for English-speaking students of Research project I. Access code: KSiSR2024 If you have some problem with access to the course please sent me e-mail to: slagaj@eti.pg.edu.pl (give me the name and your id number).
-
Analiza i badania systemu antyspoofingowego GPS
PublicationArtykuł dotyczy problemu spoofingu w systemie GPS, polegającego na niepowołanej transmisji sygnałów imitujących sygnały odbierane z satelitów GPS. Takie działanie prowadzi do wyznaczenia przez odbiornik nawigacyjny nieprawidłowego położenia, prędkości i czasu. Zostały opisane metody przeciwdziałania spoofingowi, w szczególności poprzez przestrzenne przetwarzanie sygnałów. Przedstawiono wyniki badań symulacyjnych efektywności tych...
-
Amplifying the Randomness of Weak Sources Correlated With Devices
PublicationThe problem of device-independent randomness amplification against no-signaling adversaries has so far been studied under the assumption that the weak source of randomness is uncorrelated with the (quantum) devices used in the amplification procedure. In this paper, we relax this assumption, and reconsider the original protocol of Colbeck and Renner using a Santha-Vazirani (SV) source. To do so, we introduce an SV-like condition...
-
Electroactive polymer/graphene oxide nanostructured composites; evidence for direct chemical interactions between PEDOT and GOx
PublicationThis work concerns electrochemical synthesis of nanocomposites consisting of conducting polymer and reduced graphene oxide (rGOx) as electrode materials for supercapacitors. The electrosynthesis was performed in an aqueous solution of the 3,4-ethylenedioxytiophene (EDOT) monomer and graphene oxide (GOx) without supporting electrolyte. The amount of GOx was optimized to obtain the best electrochemical performance of the nanocomposite...
-
Transformation of the countryside into an open-air museum as a way to rescure its spatial layout and to improve the quality of live = Przekształcenie wsi w muzeum na wolnym powietrzu jako sposób ratowania jej układu przestrzennego i poprawy jakości życia mieszkańców
PublicationSince the first open-air museums until today, the exposition subject-matter has been specialized (ethnographic, archeological, industrial and technical skansens). But idea of the existence of such objects remains unchanged. Still, the goal is to show the collection of wooden buildings in the environment as close to their origin as possible or in the home environment. These distinguish the skansens and make them different then municipal...
-
Using Long-Short term Memory networks with Genetic Algorithm to predict engine condition
PublicationPredictive maintenance (PdM) is a type of approach for maintenance processes, allowing maintenance actions to be managed depending on the machine's current condition. Maintenance is therefore carried out before failures occur. The approach doesn’t only help avoid abrupt failures but also helps lower maintenance cost and provides possibilities to manufacturers to manage maintenance budgets in a more efficient way. A new deep neural...
-
Expedited simulation-driven design optimization of UWB antennas by means of response features
PublicationIn this work, a method for fast design optimization of broadband antennas is considered. The approach is based on a feature-based optimization (FBO) concept where reflection characteristics of the structure at hand are formulated in terms of suitably defined feature points. Redefinition of the design problem allows for reducing the design optimization cost, because the dependence of feature point coordinates on antenna dimensions...
-
Voice Multilateration System
PublicationThis paper presents an innovative method of locating airplanes, which uses only voice communication between an air traffic controller and the pilot of an aircraft. The proposed method is described in detail along with its practical implementation in the form of a technology demonstrator (proof of concept), included in the voice communication system (VCS). A complete analysis of the performance of the developed method is presented,...
-
Fundamentals of Interpersonal Communication Group Work, PG_00041985
e-Learning CoursesThe main objective of this coure is to search information on a given topic. On this course students have to present their opinions on a specific topic in the form of a multimedia presentation. Classes are designed to improve the skills of public speaking and to acquire basic knowledge about verbal and nonverbal communication, speeches principles (rhetoric), statement ethics, the rules of disscusion, the basics of good manners....
-
Is it possible to create a unified urban greenery management system (UGMS) on a national scale? The concept for EU Member State of Poland
PublicationMotives: Currently developed urban greenery management systems (UGMS) are limited in scope and profiled towards solving particular issues. Moreover, due to the lack of common standards and solutions, UGMS implementation requires considerable financial effort, which is only feasible for wealthy urban centres. There is a need for universal, cost-effective technological solutions which could constitute a common urban green infrastructure...
-
Low-coherence photonic method of electrochemical processes monitoring
PublicationWe present an advanced multimodality characterization platform for simultaneous optical and electrochemical measurements of ferrocyanides. Specifcally, we combined a fber-optic Fabry– Perot interferometer with a three-electrode electrochemical setup to demonstrate a proof-ofprinciple of this hybrid characterization approach, and obtained feasibility data in its monitoring of electrochemical reactions in a boron-doped diamond flm...
-
On the Existence of Homoclinic Type Solutions of a Class of Inhomogenous Second Order Hamiltonian Systems
PublicationWe show the existence of homoclinic type solutions of a class of inhomogenous second order Hamiltonian systems, where a C1-smooth potential satisfies a relaxed superquadratic growth condition, its gradient is bounded in the time variable, and a forcing term is sufficiently small in the space of square integrable functions. The idea of our proof is to approximate the original system by time-periodic ones, with larger and larger...
-
Information retrieval with semantic memory model
PublicationPsycholinguistic theories of semantic memory form the basis of understanding of natural language concepts. These theories are used here as an inspiration for implementing a computational model of semantic memory in the form of semantic network. Combining this network with a vector-based object-relation-feature value representation of concepts that includes also weights for confidence and support, allows for recognition of concepts...
-
Machine learning-based seismic fragility and seismic vulnerability assessment of reinforced concrete structures
PublicationMany studies have been performed to put quantifying uncertainties into the seismic risk assessment of reinforced concrete (RC) buildings. This paper provides a risk-assessment support tool for purpose of retrofitting and potential design strategies of RC buildings. Machine Learning (ML) algorithms were developed in Python software by innovative methods of hyperparameter optimization, such as halving search, grid search, random...
-
Investigation of the antimicrobial potential and microbiota of bee pollen and bee bread derived from Polish apiaries
PublicationThe phenomenon of resistance of microorganisms to antibiotics is becoming one of the greatest challenges of modern medicine. At the same time, the number of new antibiotics introduced into clinical practice is decreasing. This creates the need to search for new, effective, non-antibiotic methods of combating and preventing infectious diseases. Over the last two decades, there has been renewed interest in the antimicrobial potential...
-
Usage of parametric echosounder with emphasis on buried object searching.
PublicationThe purpose of this article is to present the results of investigation to search for buried objects. The paper will contain echograms and other means of visualization from buried pipe placed between area of W?adys?awowo and gas platform and interesting in terms of the number of small and medium-sized unidentified objects found in the muddy bottom at different depths localized in the Gulf of Puck - results will be presented also...
-
The legal regulations of sewage sludge management
PublicationThe growing quantity of sludge, high costs of the altered version, as well as new legal adjustments needs more and more higher qualitative requirements, the necessity of search in sludge economy and new solutions. The paper contributes to the discusion about legal ways of sewage sludge managemant.
-
Cost-Efficient Globalized Parameter Optimization of Microwave Components through Response-Feature Surrogates and Nature-Inspired Metaheuristics
PublicationDesign of contemporary microwave devices predominantly utilizes computational models, including both circuit simulators, and full-wave electromagnetic (EM) evaluation. The latter constitutes the sole generic way of rendering accurate assessment of the system outputs that considers phenomena such as cross-coupling or radiation and dielectric losses. Consequently, for reliability reasons, the final tuning of microwave device parameters...
-
Low-Cost Quasi-Global Optimization of Expensive Electromagnetic Simulation Models by Inverse Surrogates and Response Features
PublicationConceptual design of contemporary high-frequency structures is typically followed by a careful tuning of their parameters, predominantly the geometry ones. The process aims at improving the relevant performance figures, and may be quite expensive. The reason is that conventional design methods, e.g., based on analytical or equivalent network models, often only yield rough initial designs. This is especially the case for miniaturized...
-
Categorization of Wikipedia articles with spectral clustering
PublicationAbstract. The article reports application of clustering algorithms for creating hierarchical groups withinWikipedia articles.We evaluate three spectral clustering algorithms based on datasets constructed with usage ofWikipedia categories. Selected algorithm has been implemented in the system that categorize Wikipedia search results in the fly.
-
Rapid design closure of microwave components by means of feature-based optimization and adjoint sensitivities
PublicationIn this article, fast design closure of microwave components using feature-based optimization (FBO) and adjoint sensitivities is discussed. FBO is one of the most recent optimization techniques that exploits a particular structure of the system response to “flatten” the functional landscape handled during the optimization process, which leads to reducing its computational complexity. When combined with gradient-based search involving...
-
E-cohomological Conley index
PublicationIn this thesis we continue with developing the E-cohomological Conley index which was introduced by A.Abbondandolo. In particular, we generalize the index to non-gradient flows, we show that it an possesses additional multiplicative structure and we prove the continuation principle. Then, using continuation principle, we show how the computation of the E-cohomological Conley index can be reduced to the computation of the classical...
-
Modern Platform for Parallel Algorithms Testing: Java on Intel Xeon Phi
PublicationParallel algorithms are popular method of increasing system performance. Apart from showing their properties using asymptotic analysis, proof-of-concept implementation and practical experiments are often required. In order to speed up the development and provide simple and easily accessible testing environment that enables execution of reliable experiments, the paper proposes a platform with multi-core computational accelerator:...
-
Air journal bearing utilizing near-field acoustic levitation: stationary shaft case
PublicationResults of a study to examine a unique idea of self-levitating journal bearing are presented in this paper. the idea represents a radical departure from the current bearing technology. it utilisesacoustic levitation, which relies on the sound energy radiated by an object supporting a load. acoustic levitation has been demonstrated to support loads of up to 10 kg. in order to support a load theacoustic wave emitted by the radiating...
-
Ultrastructure of the bovine testis in cattle (Bos Taurus)
Open Research DataThe data present research results being part of the OPUS-22 project entitled “In search of new markers of male fertility in cattle. Aquaporins expression in the reproductive organs and sperm of the bulls (Bos taurus)” obtained from the National Science Center in Poland (grant no. 2021/43/B/NZ9/00204).
-
THE USE OF GREEN LOGISTICS ELEMENTS DURING THE CONSTRUCTION OF OFFSHORE VESSELS
PublicationThe article is aimed at the presentation referring to the use of green logistics elements during the construction of the offshore vessels in the following aspects: collection, removal and utilisation of any waste that is harmful for natural environment, elimination of the negative impact that such waste can have on natural environment and the search for the optimal solutions as regards these aspects.
-
Microbiological analysis of sea water and bottom sediments in Kosakowo – Gdańsk profile
Open Research DataThis dataset contains the results of microbiological analysis of sea water and bottom sediments in Kosakowo – Gdańsk profile in 2013 - 2014 . The tested material consisted of water samples (surface water and bottom water) and bottom sediment samples. Water and sediment samples were analysed for the following: number of Enterobacteriaceae genus bacteria,...
-
Electronics for Mechanical Engineering (2023)
e-Learning CoursesName of the course: Electronics (M:32011W0)Specialization: Design and Production Engineering (WM), 1st degree - bachelor/eng., stationary, 2018/2019 - winter semester (currently sem. 4) Number of hours: 30hECTS points: 2 Teacher (lecture/laboratories): Piotr Kurgan
-
Multi-fidelity aerodynamic design trade-off exploration using point-by-point Pareto set identification
PublicationAerodynamic design is inherently a multi-objective optimization (MOO) problem. Determining the best possible trade-offs between conflicting aerodynamic objectives can be computationally challenging when carried out directly at the level of high-fidelity computational fluid dynamics simulations. This paper presents a computationally cheap methodology for exploration of aerodynamic design trade-offs. In particular, point-by-point...
-
Accurate Lightweight Calibration Methods for Mobile Low-Cost Particulate Matter Sensors
PublicationMonitoring air pollution is a critical step towards improving public health, particularly when it comes to identifying the primary air pollutants that can have an impact on human health. Among these pollutants, particulate matter (PM) with a diameter of up to 2.5 μ m (or PM2.5) is of particular concern, making it important to continuously and accurately monitor pollution related to PM. The emergence of mobile low-cost PM sensors...
-
Synthesis of phosphono and phosphate derivatives of hydroxyimino-D-alditols as new potential antifungal agents
PublicationIn search for new effective we antyfungals we focus on two enzymes involved in biosynthesis of the fungal cell wall. The first enzyme is glucosamine-6-phosphate (GlmS), which catalyzes transformation of D-fructose-6-phosphate (Fru-6P) to D-glucosamine-6-phodphate (GlcN-6P) in the chitin biosynthesis pathway. The second enzyme is phosphomannose isomerase (PMI) repored to play a crucial role in biosynthesis of many mannosylated structures,...
-
Knowledge-Based Expedited Parameter Tuning of Microwave Passives by Means of Design Requirement Management and Variable-Resolution EM Simulations
PublicationThe importance of numerical optimization techniques has been continually growing in the design of microwave components over the recent years. Although reasonable initial designs can be obtained using circuit theory tools, precise parameter tuning is still necessary to account for effects such as electromagnetic (EM) cross coupling or radiation losses. EM-driven design closure is most often realized using gradient-based procedures,...
-
Supervised-learning-based development of multi-bit RCS-reduced coding metasurfaces
PublicationCoding metasurfaces have been introduced as efficient tools allowing meticulous control over the electromagnetic (EM) scattering. One of their relevant application areas is radar cross section (RCS) reduction, which principally relies on the diffusion of impinging EM waves. Despite its significance, careful control of the scattering properties poses a serious challenge at the level of practical realization. This article is concerned...
-
Global Design Optimization of Microwave Circuits Using Response Feature Inverse Surrogates
PublicationModern microwave design has become heavily reliant on full-wave electromagnetic (EM) simulation tools, which are necessary for accurate evaluation of microwave components. Consequently, it is also indispensable for their development, especially the adjustment of geometry parameters, oriented towards performance improvement. However, EM-driven optimization procedures incur considerable computational expenses, which may become impractical...
-
An Analog Sub-Miliwatt CMOS Image Sensor With Pixel-Level Convolution Processing
PublicationA new approach to an analog ultra-low power medium-resolution vision chip design is presented. The prototype chip performs low-level image processing algorithms in real time. Only a photo-diode, MOS switches and two capacitors are used to create an analog processing element (APE) that is able to realize any convolution algorithm based on a full 3x3 kernel. The proof-of-concept circuit is implemented in 0.35 µm CMOS technology,...
-
Prototyp modelu transformacji organizacji informatycznych
PublicationCelem pracy jest propozycja budowy i wykorzystania modeli transformacji organizacji informatycznych mogących znaleźć zastosowanie w osiąganiu określonych poziomów dojrzałości zgodnych ze standardami CMMI (ang. Capability Maturity Model Integration) Niniejszy tekst opisuje środowisko zaproponowanego przez autorów modelu SITAR (ang Simple IT Transformation AdvisoR). Model ten bazujący na wiedzy i doświadczeniu autorów został zaimplementowany...
-
Texture Features for the Detection of Playback Attacks: Towards a Robust Solution
PublicationThis paper describes the new version of a method that is capable of protecting automatic speaker verification (ASV) systems from playback attacks. The presented approach uses computer vision techniques, such as the texture feature extraction based on Local Ternary Patterns (LTP), to identify spoofed recordings. Our goal is to make the algorithm independent from the contents of the training set as much as possible; we look for the...
-
Marking large amounts of student assignments
PublicationTechnologies offer plenty of possibilities to prepare individual remote online tasks for students. This gives a lot of space to search for ways to overcome the challenges, one of them being grading a high volume of student--generated content. The paper surveys the author’s experience with various forms of student e-activities and various forms of grading.
-
Optimizing the process of railway geometrical layout designing with multi-criteria assessment method
PublicationThe paper presents the main assumptions of the Multi-criteria assessment method used in process of upgrading the railway geometrical layout. The advantages of metaheuristic search were described. The criteria influencing the investment were defined. The fitness function used in the analysis was described. The example of using the optimization algorithm with the help of self developed computer software was described.
-
Interactive Information Retrieval Algorithm for Wikipedia Articels
PublicationThe article presents an algorithm for retrieving textual information in documents collection. The algorithm employs a category system that organizers the repository and using interaction with user improves search precision. The algorithm was implemented for simple English Wikipedia and the first evaluation results indicates the proposed method can help to retrieve information from large document repositories.
-
Self Organizing Maps for Visualization of Categories
PublicationVisualization of Wikipedia categories using Self Organizing Mapsshows an overview of categories and their relations, helping to narrow down search domains. Selecting particular neurons this approach enables retrieval of conceptually similar categories. Evaluation of neural activations indicates that they form coherent patterns that may be useful for building user interfaces for navigation over category structures.
-
Distributed infrastructure of self-organizing service servers
PublicationThis paper presents an idea of creating distributed system consisting of autonomous self-organizing service providers. It shows a real implemented system allowing for dynamic service search without interaction with client based on the inter-servers communication. Moreover presented system can be easily enriched with new elements without the need for restarting already existing servers.
-
Path planning algorithm for ship collisions avoidance in environment with changing strategy of dynamic obstacles
PublicationIn this paper a path planning algorithm for the ship collision avoidance is presented. Tested algorithm is used to determine close to optimal ship paths taking into account changing strategy of dynamic obstacles. For this purpose a path planning problem is defined. A specific structure of the individual path and fitness function is presented. Principle of operation of evolutionary algorithm and based on it dedicated application...
-
Quantum mechanical which-way experiment with an internal degree of freedom
PublicationFor a particle travelling through an interferometer, the trade-off between the available which-way information and the interference visibility provides a lucid manifestation of the quantum mechanical wave-particle duality. Here we analyse this relation for a particle possessing an internal degree of freedom such as spin. We quantify the trade-off with a general inequality that paints an unexpectedly intricate picture of wave-particle...
-
Rebuilding Bailey Bridge to Bridge With Bascule Span – A Case Study
PublicationThe structural analysis of a road foldable prefabricated steel Bailey- type bridge located over the Tuga River in Żelichowo, Poland is performed in this paper. Interesting and untypical bridge redevelopment performed made it possible to lift the middle foldable bridge span by approximately 4.0 m concerning the existing state. The paper begins with a survey of literature carried out on the investigations of foldable Bailey-type...
-
Mitigation of Fake Data Content Poisoning Attacks in NDN via Blockchain
PublicationAbstract—Information-centric networks struggle with content poisoning attacks (CPAs), especially their stronger form called Fake Data CPA, in which an intruder publisher uploads content signed with stolen credentials. Following an existing graphinfection based approach leveraging the constrained time when stolen credentials are useful, we design a blockchain-based mitigation scheme for Named Data Networking architectures. We postulate...