Filtry
wszystkich: 3539
-
Katalog
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: proof-number search
-
Phylogenetic trees of genus Oncidium Sw. based on analysis of DNA sequences
Dane BadawczeGenus Oncidium Sw. is widely regarded as a polyphiletic, and the taxonomic boundaries between him and such genera as Odontoglossum Kunth. or Miltonia Lindley remain blurred. The goal of the study was to determine the phylogenetic relationships within the genus Oncidium s.lato based on the DNA sequences analysis. The correlation between molecular data...
-
Quasi-Global Optimization of Antenna Structures Using Principal Components and Affine Subspace-Spanned Surrogates
PublikacjaParametric optimization is a mandatory step in the design of contemporary antenna structures. Conceptual development can only provide rough initial designs that have to be further tuned, often extensively. Given the topological complexity of modern antennas, the design closure necessarily involves full-wave electromagnetic (EM) simulations and—in many cases—global search procedures. Both factors make antenna optimization a computationally...
-
Searching for innovation knowledge: insight into KIBS companies
PublikacjaThe paper analyses the activity of research for “innovation knowledge”—here defined as knowledge that can lead to the introduction of service innovations—by Knowledge-Intensive Business Services (KIBS) companies. It proposes a classification of the possible search approaches adopted by those companies based on two dimensions: the pro-activity of search efforts and the source primarily used. Such classification is then discussed...
-
Method of lines for nonlinear first order partial functional differential equations.
PublikacjaClassical solutions of initial problems for nonlinear functional differential equations of Hamilton--Jacobi type are approximated by solutions of associated differential difference systems. A method of quasilinearization is adopted. Sufficient conditions for the convergence of the method of lines and error estimates for approximate solutions are given. Nonlinear estimates of the Perron type with respect to functional variables...
-
Method of lines for Hamilton-Jacobi functional differential equations.
PublikacjaInitial boundary value problems for nonlinear first order partial functional differential equations are transformed by discretization in space variables into systems of ordinary functional differential equations. A method of quasi linearization is adopted. Suffcient conditions for the convergence of the method of lines and error estimates for approximate solutions are presented. The proof of the stability of the diffrential difference...
-
NO-BROADCASTING OF NON-SIGNALLING BOXES VIA OPERATIONS WHICH TRANSFORM LOCAL BOXES INTO LOCAL ONES
PublikacjaWe deal with families of probability distributions satisfying non-signalling condition, called non-signalling boxes and consider a class of operations that transform local boxes into local ones (the one that admit LHV model). We prove that any operation from this class cannot broadcast a bipartite non-local box with 2 binary inputs and outputs. We consider a function called anti-Robustness which can not decrease under these operations....
-
CMOS realisation of analogue processor for early vision processing
PublikacjaThe architecture concept of a high-speed low-power analogue vision chip, which performs low-level real-time image algorithms ispresented. The proof-of-concept prototype vision chip containing 32 × 32 photosensor array and 32 analogue processors is fabricated usinga 0.35 μm CMOS technology. The prototype can be configured to register and process images with very high speed, reaching 2000 framesper second, or achieve very low power...
-
Reconfiguring Minimum Dominating Sets in Trees
PublikacjaWe provide tight bounds on the diameter of γ-graphs, which are reconfiguration graphs of the minimum dominating sets of a graph G. In particular, we prove that for any tree T of order n ≥ 3, the diameter of its γ-graph is at most n/2 in the single vertex replacement adjacency model, whereas in the slide adjacency model, it is at most 2(n − 1)/3. Our proof is constructive, leading to a simple linear-time algorithm for determining...
-
Some Exact Values of Shannon Capacity for Evolving Systems
PublikacjaWe describe the notion of Shannon Capacity for evolving channels. Furthermore, using a computer search together with some theoretical results we establish some exact values of the measure.
-
Increasing K-Means Clustering Algorithm Effectivity for Using in Source Code Plagiarism Detection
PublikacjaThe problem of plagiarism is becoming increasingly more significant with the growth of Internet technologies and the availability of information resources. Many tools have been successfully developed to detect plagiarisms in textual documents, but the situation is more complicated in the field of plagiarism of source codes, where the problem is equally serious. At present, there are no complex tools available to detect plagiarism...
-
Quantumness in Diagnostics of Marine Internal Combustion Engines and Other Ship Power Plant Machines
PublikacjaThe article provides proof that the diagnostics of marine internal combustion engines and other ship power plant machines should take into account the randomness and unpredictability of certain events, such as wear, damage, the variations of mechanical and thermal loads, etc., which take place during machine operation. In the article, the energy E, like the other forms (methods) that it can be converted into (heat and work), is...
-
Accurate Modeling of Antenna Structures by Means of Domain Confinement and Pyramidal Deep Neural Networks
PublikacjaThe 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...
-
Critical Case Stochastic Phylogenetic Tree Model via the Laplace Transform
PublikacjaBirth–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...
-
The Maslov index and the spectral flow—revisited
PublikacjaWe 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,...
-
Alternative Modeling of Volunteer Based Systems
PublikacjaThe 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...
-
Research project I (February 2024)
Kursy OnlineThis 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
PublikacjaArtykuł 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...
-
Electroactive polymer/graphene oxide nanostructured composites; evidence for direct chemical interactions between PEDOT and GOx
PublikacjaThis 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...
-
Amplifying the Randomness of Weak Sources Correlated With Devices
PublikacjaThe 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...
-
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
PublikacjaSince 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
PublikacjaPredictive 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
PublikacjaIn 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
PublikacjaThis 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
Kursy OnlineThe 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
PublikacjaMotives: 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
PublikacjaWe 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
PublikacjaWe 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...
-
Usage of parametric echosounder with emphasis on buried object searching.
PublikacjaThe 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...
-
Investigation of the antimicrobial potential and microbiota of bee pollen and bee bread derived from Polish apiaries
PublikacjaThe 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...
-
Information retrieval with semantic memory model
PublikacjaPsycholinguistic 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
PublikacjaMany 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...
-
The legal regulations of sewage sludge management
PublikacjaThe 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
PublikacjaDesign 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
PublikacjaConceptual 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
PublikacjaAbstract. 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
PublikacjaIn 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...
-
Modern Platform for Parallel Algorithms Testing: Java on Intel Xeon Phi
PublikacjaParallel 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
PublikacjaResults 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...
-
E-cohomological Conley index
PublikacjaIn 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...
-
Ultrastructure of the bovine testis in cattle (Bos Taurus)
Dane BadawczeThe 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
PublikacjaThe 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.
-
Electronics for Mechanical Engineering (2023)
Kursy OnlineName 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
-
Microbiological analysis of sea water and bottom sediments in Kosakowo – Gdańsk profile
Dane BadawczeThis 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,...
-
Multi-fidelity aerodynamic design trade-off exploration using point-by-point Pareto set identification
PublikacjaAerodynamic 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
PublikacjaMonitoring 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...
-
Global Design Optimization of Microwave Circuits Using Response Feature Inverse Surrogates
PublikacjaModern 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...
-
Supervised-learning-based development of multi-bit RCS-reduced coding metasurfaces
PublikacjaCoding 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...
-
Knowledge-Based Expedited Parameter Tuning of Microwave Passives by Means of Design Requirement Management and Variable-Resolution EM Simulations
PublikacjaThe 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,...
-
Synthesis of phosphono and phosphate derivatives of hydroxyimino-D-alditols as new potential antifungal agents
PublikacjaIn 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,...
-
Prototyp modelu transformacji organizacji informatycznych
PublikacjaCelem 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...