displaying 1000 best results Help
Search results for: PROOF-NUMBER SEARCH
-
Project application workshops_InterPhDII_civil and environmental engineering
e-Learning Coursesdisciplinary field: WILiŚ / The aim of the course is to provide the necessary information related to the search for sources of funding for scientific research and development work, with particular emphasis on competitions addressed to young researchers. Procedures for writing grant applications will be presented.
-
Project application workshops_Inter PhDII_chemistry
e-Learning Coursesdisciplinary field: chemistry / The aim of the course is to provide the necessary information related to the search for sources of funding for scientific research and development work, with particular emphasis on competitions addressed to young researchers. Procedures for writing grant applications will be presented.
-
High-resolution wind wave parameters in the area of the Gulf of Gdańsk during 21 extreme storms
Open Research DataThis dataset contains the results of wind-wave parameter modelling in the area of the Gulf of Gdańsk (Southern Baltic). For the simulations, a high resolution SWAN model was used. The dataset consists of the significant wave height, the direction of the wave approaching the shore and the wave period during 21 historical, extreme storms. The storms were...
-
Bifurcation of equilibrium forms of an elastic rod on a two-parameter Winkler foundation
PublicationWe consider two-parameter bifurcation of equilibrium states of an elastic rod on a deformable foundation. Our main theorem shows that bifurcation occurs if and only if the linearization of our problem has nontrivial solutions. In fact our proof, based on the concept of the Brouwer degree, gives more, namely that from each bifurcation point there branches off a continuum of solutions.
-
Recent breakthroughs in the stability testing of pharmaceutical compounds
PublicationPharmaceutical development is mostly focused on the research leading to approval of a new and viable active substance. However, there is a number of old generation compounds that are still being used in contemporary medicinal practice. So that new analytical developments should cover not only the safety of newly developed drug substances, which is obvious, but should also be directed into the search of individual stability issues...
-
High-resolution wind wave parameters in the area of the Gulf of Gdańsk during 21 extreme storms (GIS dataset)
Open Research DataThis GIS dataset contains the results of wind-wave parameter modelling in the area of the Gulf of Gdańsk (Southern Baltic). For the simulations, a high resolution SWAN model was used. The dataset consists of the significant wave height, the direction of the wave approaching the shore and the wave period during 21 historical, extreme storms (rasters)....
-
Device-independent quantum key distribution based on measurement inputs
PublicationWe provide an analysis of a family of device-independent quantum key distribution (QKD) protocols that has the following features. (a) The bits used for the secret key do not come from the results of the measurements on an entangled state but from the choices of settings. (b) Instead of a single security parameter (a violation of some Bell inequality) a set of them is used to estimate the level of trust in the secrecy of the key....
-
Detection of propofol concentrations in blood by Raman spectroscopy
PublicationIn this paper we present a proof-of-concept of a Raman spectroscopy-based approach for measuring the content of propofol, a common anesthesia drug, in whole human blood, and plasma, which is intended for use during clinical procedures. This method utilizes the Raman spectroscopy as a chemically–sensitive method for qualitative detection of the presence of a drug and a quantitative determination of its concentration. A number of...
-
Scheduling with Complete Multipartite Incompatibility Graph on Parallel Machines: Complexity and Algorithms
PublicationIn this paper, the problem of scheduling on parallel machines with a presence of incompatibilities between jobs is considered. The incompatibility relation can be modeled as a complete multipartite graph in which each edge denotes a pair of jobs that cannot be scheduled on the same machine. The paper provides several results concerning schedules, optimal or approximate with respect to the two most popular criteria of optimality:...
-
An improvement of body surface area formulas using the 3D scanning technique
PublicationObjectives: Body surface area (BSA) is one of the major parameters used in several medical fields. However, there are concerns raised about its usefulness, mostly due to the ambiguity of its estimation. Material and Methods: Authors have conducted a voluntary study to investigate BSA distribution and estimation in a group of 179 adult people of various sex, age, and physique. Here, there is provided an extended analysis of the...
-
Inkjet Printing of Lanthanide–Organic Frameworks for Anti-Counterfeiting Applications
PublicationPhotoluminescent lanthanide−organic frameworks (Ln-MOFs) were printed onto plastic and paper foils with a conventional inkjet printer. Ln-MOF inks were used to reproduce color images that can only be observed under UV light irradiation. This approach opens a new window for exploring Ln-MOF materials in technological applications, such as optical devices (e.g., lab-on-a-chip), as proof of authenticity for official documents.
-
A note on simple bifurcation of equilibrium forms of an elastic rod on a deformable foundation
PublicationWe study bifurcation of equilibrium states of an elastic rod on a two-parameter Winkler foundation. In the article "Bifurcation of equilibrium forms of an elastic rod on a two-parameter Winkler foundation" [Nonlinear Anal., Real World Appl. 39 (2018) 451-463] the existence of simple bifurcation points was proved by the use of the Crandall-Rabinowitz theorem. In this paper we want to present an alternative proof of this fact based...
-
Reliable Multi-Stage Optimization of Antennas for Multiple Performance Figures in Highly-Dimensional Parameter Spaces
PublicationDesign of modern antenna structures needs to account for multiple performance figures and geometrical constraints. Fulfillment of these calls for the development of complex topologies described by a large number of parameters. EM-driven tuning of such designs is mandatory yet immensely challenging. In this letter, a new framework for multi-stage design optimization of multi-dimensional antennas with respect to several performance...
-
A bisection‐based heuristic for rapid EM‐driven multiobjective design of compact impedance transformers
PublicationDesign of microwave structures is a multiobjective task where several conflicting requirements have to be considered at the same time. For contemporary circuits characterized by complex geometries, multiobjective optimization cannot be performed using standard population‐based algorithms due to high cost of electromagnetic (EM) evaluations. In this work, we propose a deterministic approach for fast EM‐driven multiobjective design...
-
Management of Textual Data at Conceptual Level
PublicationThe article presents the approach to the management of a large repository of documents at conceptual level. We describe our approach to representing Wikipedia articles using their categories. The representation has been used to construct groups of similar articles. Proposed approach has been implemented in prototype system that allows to organize articles that are search results for a given query. Constructed clusters allow to...
-
Experimental Extraction of Secure Correlations from a Noisy Private State
PublicationWe report experimental generation of a noisy entangled four-photon state that exhibits a separation between the secure key contents and distillable entanglement, a hallmark feature of the recently established quantum theory of private states. The privacy analysis, based on the full tomographic reconstruction of the prepared state, is utilized in a proof-of-principle key generation. The inferiority of distillation-based strategies...
-
The Palais–Smale condition for the Hamiltonian action on a mixed regularity space of loops in cotangent bundles and applications
PublicationWe show that the Hamiltonian action satisfies the Palais-Smale condition over a “mixed regular- ity” space of loops in cotangent bundles, namely the space of loops with regularity H^s, s ∈ (1/2, 1), in the baseand H^{1−s} in the fiber direction. As an application, we give a simplified proof of a theorem of Hofer-Viterbo on the existence of closed characteristic leaves for certain contact type hypersufaces in cotangent bundles.
-
Expedited Globalized Antenna Optimization by Principal Components and Variable-Fidelity EM Simulations: Application to Microstrip Antenna Design
PublicationParameter optimization, also referred to as design closure, is imperative in the development of modern antennas. Theoretical considerations along with rough dimension adjustment through supervised parameter sweeping can only yield initial designs that need to be further tuned to boost the antenna performance. The major challenges include handling of multi-dimensional parameter spaces while accounting for several objectives and...
-
Retrieval with Semantic Sieve
PublicationThe article presents an algorithm we called Semantic Sieve applied for refining search results in text documents repository. The algorithm calculates socalled conceptual directions that enables interaction with the user and allows to narrow the set of results to the most relevant ones. We present the system where the algorithm has been implemented. The system also offers in the presentation layer clustering of the results into...
-
Prediction of maximum tensile stress in plain-weave composite laminates with interacting holes via stacked machine learning algorithms: A comparative study
PublicationPlain weave composite is a long-lasting type of fabric composite that is stable enough when being handled. Open-hole composites have been widely used in industry, though they have weak structural performance and complex design processes. An extensive number of material/geometry parameters have been utilized for designing these composites, thereby an efficient computational tool is essential for that purpose. Different Machine Learning...
-
Optimal Placement of Phasor Measurement Unit in Power System using Meta-Heuristic Algorithms
PublicationThe phasor measurement units (PMUs) play an important and vital role in power system monitoring and controlling, since they provide the power system phasors stamped with a common real time reference through a global positioning system (GPS). Indeed, from economical point of view it is not possible to set PMUs in all system buses due to the high cost and the requirement of more complex communication...
-
Proposed method for estimating the costs of safety barrier life cycle
PublicationToday barrier types are frequently selected for their price with little regard for the total costs the structure will incur over its lifetime. One of the basic tools designed to manage road infrastructure is the life cycle cost method (LCC, Life cycle cost). It sums up the costs to plan, design, build, operate (use and maintain) and decommission a road structure. Having developed dynamically at the turn of the century the method...
-
A design framework for rigorous constrained EM-driven optimization of miniaturized antennas with circular polarization
PublicationCompact radiators with circular polarization are important components of modern mobile communication systems. Their design is a challenging process which requires maintaining simultaneous control over several performance figures but also the structure size. In this work, a novel design framework for multi-stage constrained miniaturization of antennas with circular polarization is presented. The method involves sequential optimization...
-
Expedited Feature-Based Quasi-Global Optimization of Multi-Band Antenna Input Characteristics with Jacobian Variability Tracking
PublicationDesign of modern antennas relies—for reliability reasons—on full-wave electromagnetic simulation tools. In addition, increasingly stringent specifications pertaining to electrical and field performance, growing complexity of antenna topologies, along with the necessity for handling multiple objectives, make numerical optimization of antenna geometry parameters a highly recommended design procedure. Conventional algorithms, particularly...
-
PG_00040165_ PHYSICS II - DaPE- 2023/24
e-Learning CoursesPhysics II lecture for students of DAPE, course number PG_00040165 Lecture runs in academic year 2023/24
-
Weighted difference schemes for systems of quasilinear first order partial functional differential equations
PublicationThe paper deals with initial boundary value problems of the Dirichlet type for system of quasilinear functional differential equations. We investigate weighted difference methods for these problems. A complete convergence analysis of the considered difference methods is given. Nonlinear estimates of the Perron type with respect to functional variables for given functions are assumed. The proof of the stability of difference problems...
-
Data from the survey on Gdańsk University of Technology graduates' professional careers - the year 2018
Open Research DataThe dataset includes data from the survey on the Gdańsk University of Technology graduates’ professional careers, from the year 2018. The survey was conducted in 2020, two years after the respondents obtained graduate status. The research sample included 727 respondents. The study concerned i.a. the percentage of people working among graduates of the...
-
Data from the survey on Gdańsk University of Technology graduates' professional careers - the year 2013.
Open Research DataThe dataset includes data from the survey on the Gdańsk University of Technology graduates’ professional careers, from the year 2013. The survey was conducted in 2015, two years after the respondents obtained graduate status. The research sample included 1777 respondents. The study concerned i.a. the percentage of people working among graduates of the...
-
Data from the survey on Gdańsk University of Technology graduates' professional careers - the year 2017
Open Research DataThe dataset includes data from the survey on the Gdańsk University of Technology graduates’ professional careers, from the year 2017. The survey was conducted in 2019, two years after the respondents obtained graduate status. The research sample included 1594 respondents. The study concerned i.a. the percentage of people working among graduates of...
-
Data from the survey on motivation to study abroad and criteria for choosing a place to study for foreign graduates of Gdańsk University of Technology
Open Research DataThe dataset includes data from the survey on the Gdańsk University of Technology foreign graduates’ on motivation to study abroad and criteria for choosing a place to study. The research was conducted over a four-month period, from December 2019 to March 2020, using the Computer-Assisted Web Interview (CAWI). The research sample included 142 respondents....
-
Data from the survey on Gdańsk University of Technology graduates' professional careers - the year 2015
Open Research DataThe dataset includes data from the survey on the Gdańsk University of Technology graduates’ professional careers, from the year 2015. The survey was conducted in 2017, two years after the respondents obtained graduate status. The research sample included 2553 respondents. The study concerned i.a. the percentage of people working among graduates of the...
-
Data from the survey on Gdańsk University of Technology graduates' professional careers - the year 2014
Open Research DataThe dataset includes data from the survey on the Gdańsk University of Technology graduates’ professional careers, from the year 2014. The survey was conducted in 2016, two years after the respondents obtained graduate status. The research sample included 2004 respondents. The study concerned i.a. the percentage of people working among graduates of the...
-
Data from the survey on Gdańsk University of Technology graduates' professional careers - the year 2016
Open Research DataThe dataset includes data from the survey on the Gdańsk University of Technology graduates’ professional careers, from the year 2016. The survey was conducted in 2018, two years after the respondents obtained graduate status. The research sample included 1947 respondents. The study concerned i.a. the percentage of people working among graduates of the...
-
Seven Different Lighting Conditions in Photogrammetric Studies of a 3D Urban Mock-Up
PublicationOne of the most important elements during photogrammetric studies is the appropriate lighting of the object or area under investigation. Nevertheless, the concept of “adequate lighting” is relative. Therefore, we have attempted, based on experimental proof of concept (technology readiness level—TRL3), to verify the impact of various types of lighting emitted by LED light sources for scene illumination and their direct influence...
-
Searching for innovation knowledge: insight into KIBS companies
PublicationThe 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...
-
Quasi-Global Optimization of Antenna Structures Using Principal Components and Affine Subspace-Spanned Surrogates
PublicationParametric 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...
-
Phylogenetic trees of genus Oncidium Sw. based on analysis of DNA sequences
Open Research DataGenus 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...
-
PG_00055087_ PHYSICS II - DaPE- 2022/23
e-Learning CoursesPhysics II lecture for students of DAPE, course number PG_00055087 Lecture runs in academic year 2022/23
-
PG_00042031_ PHYSICS 2 - ET- 2022/23
e-Learning CoursesPhysics 2 lab for students of ET, course number PG_00042031 lab runs on academic year 2022/23
-
PG_00042018_ PHYSICS I - DaPE- 2022/23
e-Learning CoursesPhysics I lecture for students of DAPE, course number PG_00055087 Lecture runs on academic year 2022/23
-
PG_00042031 PHYSICS 2-ET- 23/24
e-Learning CoursesPhysics 2 lab for students of ET, course number PG_00042031 lab runs on academic year 2022/23
-
PG_00055087_ PHYSICS I - DaPE- 2023/24
e-Learning CoursesPhysics I lecture for students of DAPE, course number PG_00055087 Lecture runs in academic year 2023/24
-
Some Exact Values of Shannon Capacity for Evolving Systems
PublicationWe 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.
-
Method of lines for nonlinear first order partial functional differential equations.
PublicationClassical 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.
PublicationInitial 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
PublicationWe 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
PublicationThe 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
PublicationWe 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...
-
Increasing K-Means Clustering Algorithm Effectivity for Using in Source Code Plagiarism Detection
PublicationThe 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
PublicationThe 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...