Filtry
wszystkich: 3549
-
Katalog
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: proof-number search
-
Electrical measurements of the dewetting of metal thin films
Dane BadawczeIn situ observations of dewetting of thin films is very complicated. One of the method, that helps to observe it, could be electrical measurements. For experiments, thin gold, silver and gold-silver nanoalloy films were deposited by magnetron sputtering method. Films were deposited on a Corning glass substrates. Samples were measured by four point method...
-
Krzysztof Goczyła prof. dr hab. inż.
OsobyKrzysztof Goczyła, profesor zwyczajny Politechniki Gdańskiej, informatyk, specjalista z inżynierii oprogramowania, inżynierii wiedzy i baz danych. Ukończył studia wyższe na Wydziale Elektroniki Politechniki Gdańskiej w 1976 r. jako magister inżynier elektronik w specjalności automatyka. Na Politechnice Gdańskiej pracuje od 1976. Na Wydziale Elektroniki PG w 1982 r. uzyskał doktorat z informatyki, a w 1999 r. habilitację. W 2012...
-
Fast multi-objective design optimization of microwave and antenna structures using data-driven surrogates and domain segmentation
PublikacjaPurpose Strategies and algorithms for expedited design optimization of microwave and antenna structures in multi-objective setup are investigated. Design/methodology/approach Formulation of the multi-objective design problem oriented towards execution of the population-based metaheuristic algorithm within the segmented search space is investigated. Described algorithmic framework exploit variable fidelity modeling, physics- and...
-
ACM International Conference on Web Search and Data Mining
Konferencje -
The law of the Iterated Logarithm for random interval homeomorphisms
PublikacjaA proof of the law of the iterated logarithm for random homeomorphisms of the interval is given.
-
Cloning, expression, and purification of a recombinant cold-adapted β-galactosidase from antarctic bacterium Pseudoalteromonas sp. 22b
PublikacjaAntarktyczny szczep, gram-ujemnych bakterii Pseudoalteromonas sp. 22b, wyizolowanych z przewodu pokarmowego kryla z gatunku Thyssanoessa macrura, jest producentem wewnątrzkomórkowej zimnolubnej beta-galaktozydazy. Białko to jest homotetramerem, w którym każda z jednostek monomeru zbudowana jest z 1028 reszt aminokwasowych. Gen kodujący ten enzym został sklonowany i eksprymowany w komórkach E. coli. Następnie z zastosowaniem procedury...
-
Distribution of the displacement sequence of an orientation preserving circle homeomorphism
PublikacjaIn some applications not only the knowledge of the behaviour of trajectories of a map is important, but also their displacements. We describe in detail the distribution of elements of the displacement sequence along a trajectory of an orientation preserving circle homeomorphism ϕ with irrational rotation number ϱ(ϕ). The values of displacement are dense in a set which depends on the map γ (semi-)conjugating ϕ with the rotation...
-
The searchlight problem for road networks
PublikacjaWe consider the problem of searching for a mobile intruder hiding in a road network given as the union of two or more lines, or two or more line segments, in the plane. Some of the intersections of the road network are occupied by stationary guards equipped with a number of searchlights, each of which can emit a single ray of light in any direction along the lines (or line segments) it is on. The goal is to detect the intruder,...
-
Path components of the space of gradient vector fields on the two dimensional disc
PublikacjaWe present a short proof that if two gradient maps on the twodimensional disc have the same degree, then they are gradient homotopic.
-
Discovering patterns of Web Page Visits from Associaton Rules Viewpoint
PublikacjaThe popularity of the Internet results from the almost unlimited resources of information stored in it. At the same time, Internet portals have become a widespread source of information and note very large number of visits. The list of web pages opened by users is stored in web servers' log files. Extraction of knowledge on the navigation paths of users has become carefully analyzed problem. Currently, there are a number of algorithms...
-
Polyhedral Ramsey Numbers
PublikacjaGiven two polygons or polyhedrons P1 and P2, we can transform these figures to graphs G1 and G2, respectively. The polyhedral Ramsey number Rp(G1,G2) is the smallest integer n such that every graph, which represents polyhedron on n vertices either contains a copy of G1 or its complement contains a copy of G2. Using a computer search together with some theoretical results we have established some polyhedral Ramsey numbers, for example...
-
Poszukiwanie sankcji optymalnej w perspektywie projektu ustawy z dnia 7 lipca 2022 r. o zmianie ustawy Kodeks karny oraz niektórych innych ustaw. The search for the optimal sanction in the perspective of the draft act of 7 July 2022 amending the Penal Code and some other acts.
PublikacjaPolski ustawodawca opublikował w połowie września 2021 r. na stronie Rządowego Centrum Legislacji projekt gruntownej zmiany – między innymi – Kodeksu karnego. W dniu 7 lipca 2022 r. Sejm RP przyjął ww. projekt ustawy (druk sejmowy nr 2024). W zasadniczym stopniu nowelizacja - między innymi - zwiększa wysokość kar grożących za poszczególne przestępstwa. Ustawodawca – poprzez zabiegi legislacyjne –...
-
Low-Cost Multi-Objective Optimization of Antennas By Means Of Generalized Pareto Ranking Bisection Algorithm
PublikacjaThis paper introduces a generalized Pareto ranking bisection algorithm for low-cost multi-objective design optimization of antenna structures. The algorithm allows for identifying a set of Pareto optimal sets of parameters (that represent the best trade-offs between considered objectives) by iterative partitioning of the intervals connecting previously found designs and executing a Pareto-ranking-based poll search. The initial...
-
Arterial cannula shape optimization by means of the rotational firefly algorithm
PublikacjaThe article presents global optimization results of arterial cannula shapes by means of the newly modified firefly algorithm. The search for the optimal arterial cannula shape is necessary in order to minimize losses and prepare the flow that leaves the circulatory support system of a ventricle (i.e. blood pump) before it reaches the heart. A modification of the standard firefly algorithm, the so-called rotational firefly algorithm,...
-
Number of statements issued regarding the intention to entrust the performance of work in 2008-2018, broken down by country of origin of migrants
Dane BadawczeThe declaration of the intention to entrust work (applicable in the years 2007-2017) and the declaration of entrustment of work (applicable since 2018) are instruments for legalizing the work of foreigners in Poland, which by the ease of meeting the procedural requirements are by far the most popular among economic migrants and their employers.
-
Piotr Krajewski dr
OsobyPiotr Krajewski pracuje jako starszy bibliotekarz w Bibliotece Politechniki Gdańskiej. Jako pracownik Sekcji Informacji Naukowo-Technicznej skupia się przede wszystkim na zagadnieniach związanych z ruchem Open Access oraz rolą repozytoriów instytucjonalnych w jego rozwoju. Jest także autorem artykułów poruszających kwestie standaryzacji statystyk wykorzystania zasobów elektronicznych jak również problematykę „drapieżnych wydawców”....
-
Reduced-Cost Design Optimization of High-Frequency Structures Using Adaptive Jacobian Updates
PublikacjaElectromagnetic (EM) analysis is the primary tool utilized in the design of high-frequency structures. In vast majority of cases, simpler models (e.g., equivalent networks or analytical ones) are either not available or lack accuracy: they can only be used to yield initial designs that need to be further tuned. Consequently, EM-driven adjustment of geometry and/or material parameters of microwave and antenna components is a necessary...
-
Tax discount for children deducted from income in selected EU countries, available according to the criterion of the number of children (in EUR) in 2017
Dane BadawczeDespite the far-reaching harmonization of collection mechanisms and the amount of VAT and excise duty rates in the European Union, individual countries, as a rule, conduct individual income tax policies, including a system of reliefs and exemptions. It is worth noting that, as shown below, each European Union country uses at least one method of supporting...
-
Initial Considerations
PublikacjaChemical processes have made use of a wide number of volatile organic solvents due to their efficiency in countless unit operations. The increasing knowledge on the environmental, health, and safety hazards associated to their use has significantly contributed to the search for greener alternatives. The primary purpose of this book is to provide an overview of alternative solvents with reduced issues that have successfully replaced...
-
LOCAL E-MARKETING AND PHARAMACY SELECTION PROCESS AMONG CURRENT AND PROSPECTIVE CONSUMERS
PublikacjaWORK OBJECTIVES: To examine whether and to what extent a company's presence in Google Search mobile results, and Google Maps service search results, affects pharmacies' acquisition of new consumers RESEARCH QUESTIONS: Does the presence of pharmacies in Google MyBusiness increase the number of their customers ? Is the increase in the...
-
Sensing of anesthetic drugs in blood with Raman spectroscopy
PublikacjaA proof-of-concept study of a Raman spectroscopy-based approach for measuring the content of anesthesia drugs in blood is presented. Spectra of spiked blood from several patients exhibit prominent changes in regions associated with the drug.
-
Distortion in the group of circle homeomorphisms
PublikacjaLet G be the group PAff+(R/Z) of piecewise affine circle homeomorphisms or the group Diff∞(R/Z) of smooth circle diffeomorphisms. A constructive proof that all irrational rotations are distorted in G is given.
-
Auto-tuning methodology for configuration and application parameters of hybrid CPU + GPU parallel systems based on expert knowledge
PublikacjaAuto-tuning of configuration and application param- eters allows to achieve significant performance gains in many contemporary compute-intensive applications. Feasible search spaces of parameters tend to become too big to allow for exhaustive search in the auto-tuning process. Expert knowledge about the utilized computing systems becomes useful to prune the search space and new methodologies are needed in the face of emerging heterogeneous...
-
Macroeconomic Reports - Nowy
Kursy OnlineThis course intends to teach and train students in their analytical skills. Students are supposed to search data and information through international databases and then, using various analytical techniques, prepare a macroeconomic report in selected topic.
-
Case Study NEB Atlas / part I - 3D Models / King's Cross, London
Dane BadawczeThe data presents the results of work on the analysis of contemporary neighbourhoods. The aim of this part of the research was to create a digital model - a simplified digital twin - for selected parts of housing estates already realised in various cities in Europe. This group presents a model for a fragment of the King's Cross, London, UK. The students...
-
Nested Kriging Surrogates for Rapid Multi-Objective Optimization of Compact Microwave Components
PublikacjaA procedure for rapid EM-based multi-objective optimization of compact microwave components is presented. Our methodology employs a recently developed nested kriging modelling to identify the search space region containing the Pareto-optimal designs, and to construct a fast surrogate model. The latter permits determination of the initial Pareto set, further refined using a separate surrogate-assisted process. As an illustration,...
-
Dataset for systematic literature review about phosphorus magnetic resonance spectroscopy (31 P MRS).
Dane BadawczeThe file contains the publications retrived for systematic literature review from sleceted databases: Web of Science Core Collection, Scopus, Chochrane Library, and Pubmed. Records were identified by using nesting technique. Our search log stated as follow: "phosphorus" AND ("mri spectroscopy" OR "31P MRS").
-
The Arnold conjecture in $ \mathbb C\mathbb P^n $ and the Conley index
Publikacjan this paper we give an alternative, purely Conley index based proof of the Arnold conjecture in CP^n asserting that a Hamiltonian diffeomorphism of CP^n endowed with the Fubini-Study metric has at least (n+1) fixed points.
-
Adjusting the Stiffness of Supports during Milling of a Large-Size Workpiece Using the Salp Swarm Algorithm
PublikacjaThis paper concerns the problem of vibration reduction during milling. For this purpose, it is proposed that the standard supports of the workpiece be replaced with adjustable stiffness supports. This affects the modal parameters of the whole system, i.e., object and its supports, which is essential from the point of view of the relative tool–workpiece vibrations. To reduce the vibration level during milling, it is necessary to...
-
Design specification management with automated decision-making for reliable optimization of miniaturized microwave components
PublikacjaThe employment of numerical optimization techniques for parameter tuning of microwave components has nowadays become a commonplace. In pursuit of reliability, it is most often carried out at the level of full-wave electromagnetic (EM) simulation models, incurring considerable computational expenses. In the case of miniaturized microstrip circuits, densely arranged layouts with strong cross-coupling effects make EM-driven tuning...
-
Neural Network Subgraphs Correlation with Trained Model Accuracy
PublikacjaNeural Architecture Search (NAS) is a computationally demanding process of finding optimal neural network architecture for a given task. Conceptually, NAS comprises applying a search strategy on a predefined search space accompanied by a performance evaluation method. The design of search space alone is expected to substantially impact NAS efficiency. We consider neural networks as graphs and find a correlation between the presence...
-
Structure and Randomness in Planning and Reinforcement Learning
PublikacjaPlanning in large state spaces inevitably needs to balance the depth and breadth of the search. It has a crucial impact on the performance of a planner and most manage this interplay implicitly. We present a novel method \textit{Shoot Tree Search (STS)}, which makes it possible to control this trade-off more explicitly. Our algorithm can be understood as an interpolation between two celebrated search mechanisms: MCTS and random...
-
Partial hyperbolicity and central shadowing
PublikacjaWe study shadowing property for a partially hyperbolic diffeomor- phism f. It is proved that if f is dynamically coherent then any pseudotrajec- tory can be shadowed by a pseudotrajectory with “jumps” along the central foliation. The proof is based on the Tikhonov-Shauder fixed point theorem.
-
Internationalization and Quality Assurance in Higher Education
PublikacjaInternationalization is an inevitable phenomenon among all contemporary higher education institutions (HEIs) in a globalizing world. It is the driving force for development and progress. In course of the last 30 years, it became an inevitable element of HE management. However, it carries along a number of risks, pitfalls, and organizational challenges. To hedge those, quality assurance (QA) is called to the stage. HEIs therefore...
-
Krzysztof Gierłowski dr inż.
OsobyKrzysztof Gierłowski uzyskał tytuł doktora inżyniera telekomunikacji na Wydziale Elektroniki, Telekomunikacji i Informatyki w 2018 roku. Jest autorem lub współautorem ponad 80 publikacji naukowych oraz recenzentem wielu czasopism i konferencji. Brał udział w szeregu projektów badawczych dotyczących tematyki IT, wliczając w to: finansowany ze źródeł UE projekt Inżynieria Internetu Przyszłości, projekt infrastrukturalny PL-LAB2020,...
-
Wojciech Litwin dr hab. inż.
Osoby1992÷1996 – Studia na Wydziale Mechanicznym Politechniki Gdańskiej1996 – Zatrudniony na Wydziale Oceanotechniki i Okrętownictwa PG2004 – Obrona pracy doktorskiej2014 – obrona rozprawy habilitacyjnej2012 – obejmuje funkcję prodziekan ds. Nauki na Wydziale Oceanotechniki i OkrętownictwaUczestniczył w wielu projektach badawczych oraz pracach zleconych przez przemysł związanych z łożyskowaniem ślizgowym wałów głównych oraz niekonwencjonalnymi...
-
Issues related to noise and protection against noise against the background of hazards present in the working environment
PublikacjaNoise is one of the physical factors that poses the greatest threat in the working environment. In order to reduce the noise exposure, noise reduction at the source should be considered. Next, the engineering and administrative controls are being developed. Finally, hearing protectors are used. Issues related to protection against noise are part of the topics in the field of occupational...
-
E-Technologies in Teaching Research Methodology for Engineers – a Case Study of the Course for International Postgraduate Students
PublikacjaThe Research Methodology course for postgraduate students is challenging, even for an experienced academic teacher. The primary objective of this course is to prepare participants to conduct scientific research and publish the results. This case study presents an original teaching method applied to Research Methodology with Emphasis on Engineering Science, for international engineering students at...
-
An Application Supporting Gastroesophageal Multichannel Intraluminal Impedance-pH Analysis
PublikacjaDue to a significant rise in the number of patients diagnosed with diseases of the upper gastrointestinal tract and the high cost of treatment, there is a need to further research on one of the most popular diagnostic tests used in this case – esophageal Multichannel Intraluminal Impedance and pH measurement. This may lead to finding new diagnostically relevant information, used to quicken and improve the diagnostic procedure....
-
Construction of phylogenetic trees with topological constraints
PublikacjaThis paper proposes a method of reconstruction of phylogenetic trees based on heuristic search with topological constraints. Using topological constraints it is possible to reduce the set of solutions as well as to enforce that the result is consistent with a given hypothesis about the evolution process within some group of species. Along with this work a number of algorithms used for phylogenetic analysis were implemented. Those...
-
The complexity of bicriteria tree-depth
PublikacjaThe tree-depth problem can be seen as finding an elimination tree of minimum height for a given input graph G. We introduce a bicriteria generalization in which additionally the width of the elimination tree needs to be bounded by some input integer b. We are interested in the case when G is the line graph of a tree, proving that the problem is NP-hard and obtaining a polynomial-time additive 2b-approximation algorithm. This particular...
-
Better understanding EMI generation of power converters
PublikacjaPrzedstawiono metodę przewidywania poziomu zaburzeń w układzie podwyższającym napięcie w oparciu o metodę filtracji Wienera. Pozwoliło to na określenie odpowiedzi impulsowej pomiędzy przyczyną zaburzenia (zmianą napięcia na elementach półprzewdonikowych) a zaburzeniem. Metodę zwerifikowano przy użyciu danych z symulacji oraz pomiarów w rzeczywistym obiekcie
-
Energy policy and the role of bioenergy in Poland
PublikacjaPrzedstawiono sytuacje energetyczną kraju. Omówiono poszczególne sektory wytwarzania energii oraz zapotrzebowania na energię i paliwa. Omówiono przekształcenia sektorów energetycznych w Polsce na przestrzeni lat 1990-2002. Na tym tle przedstawiono techniczne, ekonomiczne, społeczne i prawne aspekty rozwoju energetyki źródeł odnawialnych a w szczególności opartych o bioenergię. Przedstawiono wnioski dla Polski płynące z dotychczasowych...
-
Degree product formula in the case of a finite group action
PublikacjaLet V, W be finite dimensional orthogonal representations of a finite group G. The equivariant degree with values in the Burnside ring of G has been studied extensively by many authors. We present a short proof of the degree product formula for local equivariant maps on V and W.
-
Cops, a fast robber and defensive domination on interval graphs
PublikacjaThe game of Cops and ∞-fast Robber is played by two players, one controlling c cops, the other one robber. The players alternate in turns: all the cops move at once to distance at most one each, the robber moves along any cop-free path. Cops win by sharing a vertex with the robber, the robber by avoiding capture indefinitely. The game was proposed with bounded robber speed by Fomin et al. in “Pursuing a fast robber on a graph”,...
-
PG_00042018_ PHYSICS I - ET- 2021/22
Kursy OnlinePhysics I lecture for students from both faculties, course number PG_00042018 Lecture runs on 2021/22 academic year
-
PG_00042018_ PHYSICS I - ET- 2022/23
Kursy OnlinePhysics I lecture for students from both faculties, course number PG_00042018 Lecture runs on 2022/23 academic year
-
PG_00042018_ PHYSICS I - ET- 2023/24
Kursy OnlinePhysics I lecture for students from both faculties, course number PG_00042018 Lecture runs on 2023/24 academic year
-
Improved-Efficacy EM-Driven Optimization of Antenna Structures Using Adaptive Design Specifications and Variable-Resolution Models
PublikacjaOptimization-driven parameter tuning is an essential step in the design of antenna systems. Although in many cases it is still conducted through parametric studies, rigorous numerical methods become a necessity if truly optimum designs are sought for, and the problem intricacies (number of variables, multiple goals, constraints) make the interactive approaches insufficient. The two practical considerations of electromagnetic (EM)-driven...
-
Interactive Query Expansion with the Use of Clustering by Directions Algorithm
PublikacjaThis paper concerns Clustering by Directions algorithm. The algorithm introduces a novel approach to interactive query expansion. It is designed to support users of search engines in forming web search queries. When a user executes a query, the algorithm shows potential directions in which the search can be continued. This paper describes the algorithm and it presents an enhancement which reduces the computational complexity of...