displaying 1000 best results Help
Search results for: PROOF-NUMBER SEARCH
-
ACM International Conference on Web Search and Data Mining
Conferences -
The law of the Iterated Logarithm for random interval homeomorphisms
PublicationA 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
PublicationAntarktyczny 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
PublicationIn 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
PublicationWe 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
PublicationWe present a short proof that if two gradient maps on the twodimensional disc have the same degree, then they are gradient homotopic.
-
Polyhedral Ramsey Numbers
PublicationGiven 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...
-
Discovering patterns of Web Page Visits from Associaton Rules Viewpoint
PublicationThe 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...
-
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.
PublicationPolski 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 –...
-
Number of statements issued regarding the intention to entrust the performance of work in 2008-2018, broken down by country of origin of migrants
Open Research DataThe 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.
-
Arterial cannula shape optimization by means of the rotational firefly algorithm
PublicationThe 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,...
-
Low-Cost Multi-Objective Optimization of Antennas By Means Of Generalized Pareto Ranking Bisection Algorithm
PublicationThis 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...
-
Piotr Krajewski dr
PeoplePiotr Krajewski is a librarian at the Library of Gdańsk University of Technology (GUT) and a PhD student at the Medical University of Gdańsk. His research interests focus on the standardization of the e-resources usage data and Open Access publishing, especially the role of institutional repositories in the development of the OA initiative and the phenomenon of “predatory publishers”. He works at Scientific and Technical Information...
-
Reduced-Cost Design Optimization of High-Frequency Structures Using Adaptive Jacobian Updates
PublicationElectromagnetic (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
Open Research DataDespite 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
PublicationChemical 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
PublicationWORK 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
PublicationA 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
PublicationLet 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
PublicationAuto-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...
-
Case Study NEB Atlas / part I - 3D Models / King's Cross, London
Open Research DataThe 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
PublicationA 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,...
-
Macroeconomic Reports - Nowy
e-Learning CoursesThis 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.
-
The Arnold conjecture in $ \mathbb C\mathbb P^n $ and the Conley index
Publicationn 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.
-
Dataset for systematic literature review about phosphorus magnetic resonance spectroscopy (31 P MRS).
Open Research DataThe 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").
-
Neural Network Subgraphs Correlation with Trained Model Accuracy
PublicationNeural 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
PublicationPlanning 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...
-
Design specification management with automated decision-making for reliable optimization of miniaturized microwave components
PublicationThe 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...
-
Adjusting the Stiffness of Supports during Milling of a Large-Size Workpiece Using the Salp Swarm Algorithm
PublicationThis 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...
-
Krzysztof Gierłowski dr inż.
PeopleKrzysztof Gierłowski received his Ph.D. degree in telecommunications from the Faculty of Electronics, Gdańsk University of Technology (GUT), Poland, in 2018. He is author or co-author of more than 80 scientific papers and reviewer for a number of conferences and journals. Krzysztof Gierłowski took part in major IT-oriented projects, including: EU-funded Polish Future Internet Engineering initiative, PL-LAB2020 Infrastructural...
-
Partial hyperbolicity and central shadowing
PublicationWe 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
PublicationInternationalization 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...
-
Wojciech Litwin dr hab. inż.
People1992÷1996 - study on Mechanical Department at Gdansk University of Technology1996 – employed in the Faculty of Ocean Engineering and Ship Technology at the Gdansk University of Technology2004 – PhD2014 – habilitation2016 - vice dean for science at Faculty of Ocean Engineering2020 - dean of the Faculty of Ocean Engineering2021 - head of Institute of Naval Architecture He participated in a number of designing and research programs...
-
E-Technologies in Teaching Research Methodology for Engineers – a Case Study of the Course for International Postgraduate Students
PublicationThe 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
PublicationDue 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....
-
Issues related to noise and protection against noise against the background of hazards present in the working environment
PublicationNoise 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...
-
Construction of phylogenetic trees with topological constraints
PublicationThis 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
PublicationThe 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...
-
Degree product formula in the case of a finite group action
PublicationLet 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.
-
Better understanding EMI generation of power converters
PublicationPrzedstawiono 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
PublicationPrzedstawiono 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...
-
Cops, a fast robber and defensive domination on interval graphs
PublicationThe 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”,...
-
Interactive Query Expansion with the Use of Clustering by Directions Algorithm
PublicationThis 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...
-
Improved-Efficacy EM-Driven Optimization of Antenna Structures Using Adaptive Design Specifications and Variable-Resolution Models
PublicationOptimization-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...
-
The Application of the IODA Document Architecture to Music Data
PublicationThis paper is concerned with storing music data with the use of document architecture called Interactive Open Document Architecture (IODA). This architecture makes it possible to create documents which are executable, mobile, interactive and intelligent. Such documents consist of many files that are semantically related to each other. Semantic links are defined in XML files which are a part of a document. IODA documents with music...
-
PG_00042018_ PHYSICS I - ET- 2021/22
e-Learning CoursesPhysics 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
e-Learning CoursesPhysics 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
e-Learning CoursesPhysics I lecture for students from both faculties, course number PG_00042018 Lecture runs on 2023/24 academic year
-
Difference functional inequalities and applications.
PublicationThe paper deals with the difference inequalities generated by initial boundary value problems for hyperbolic nonlinear differential functional systems. We apply this result to investigate the stability of constructed difference schemes. The proof of the convergence of the difference method is based on the comparison technique, and the result for difference functional inequalities is used. Numerical examples are presented.
-
Generalized Pareto ranking bisection for computationally feasible multi-objective antenna optimization
PublicationMulti-objective optimization (MO) allows for obtaining comprehensive information about possible design trade-offs of a given antenna structure. Yet, executing MO using the most popular class of techniques, population-based metaheuristics, may be computationally prohibitive when full-wave EM analysis is utilized for antenna evaluation. In this work, a low-cost and fully deterministic MO methodology is introduced. The proposed generalized...