Search
Filters
total: 2369
displaying 1000 best results Help
Search results for: zero-knowledge proof
-
On the Limiting Distribution of Lempel-Ziv’78 Redundancy for Memoryless Sources
PublicationWe study the Lempel-Ziv'78 algorithm and show that its (normalized) redundancy rate tends to a Gaussian distribution for memoryless sources. We accomplish it by extending findings from our 1995 paper, in particular, by presenting a new simplified proof of the central limit theorem (CLT) for the number of phrases in the LZ'78 algorithm. We first analyze the asymptotic behavior of the total path length in the associated digital search...
-
Fluid Mechanics, W/C, EaPE (Dezhou), sem.5, zimowy 23/24 (PG_00059698)
e-Learning CoursesObjective of the subject is to supply the student with the theoretical and practical knowledge, enabling him to solve engineering computational and experimental problems related to fluid mechanics.
-
Possibilities for Developing Electromobility by Using Autonomously Powered Trolleybuses Based on the Example of Gdynia
PublicationTrolleybus transport refers to contemporary challenges related to a reduction in emissions of greenhouse gases and CO2 into the atmosphere formulated by international institutions, such as the United Nations, the Organisation for Security and Co-operation in Europe, or the European Union. Departure from fossil fuels in urban transport is one of the key challenges for the coming years. Trolleybuses are an important tool in this...
-
Lexicon Based Algorithm for Domain Ontology Merging and Alignment
PublicationMore and more systems contain some kind of knowledge describing their field of operation. Such knowledge in many cases is stored as an ontology. A need arises for ability to quickly match those ontologies to enable interoperability of such systems. The paper presents a lexicon based algorithm for merging and aligning of OWL ontologies. The proposed similarity levels are being presented and the proposed algorithm is being described....
-
Justyna Martyniuk-Pęczek dr hab. inż. arch.
PeopleJustyna Martyniuk-Peczek, Ph.D., D.Sc. Associate Professor Department of Urban Design and Regional Planning, Faculty of Architecture Gdansk University of Technology My academic and research activity has been concentrated around one specialty — urban planning, however it involves an interdisciplinary reference to other fields, such as lighting and the science of management. In terms of quantity, my academic work...
-
Landscape perception and the teaching of it in Poland
PublicationA preliminary assessment of the state of knowledge of landscape perception is contained in this article. A survey was carried out of students of architecture and urban planning during the rural design course in the academic year 2017/2018. The pilot project involved the initial establishment of categories of the countryside image. It was assumed that the results represented students’ knowledge of the landscape characteristics and...
-
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...
-
Training Services in Small and Medium-sized Enterprises: Evidence from Poland
PublicationIn the knowledge-based economy knowledge and skills are becoming more and more significant for the success of companies. This applies also to firms from small and medium-sized enterprises (SMEs) sector. As large companies in many cases posses special divisions devoted to trainings, they normally have no problems with updating the knowledge and skills of their employees. The situation is different with regard to SMEs, which often...
-
Smart Innovation Engineering: Toward Intelligent Industries of the Future
PublicationKnowledge-based Engineering Systems are founded upon integration of knowledge into computer systems and are one of the core requirements for the future Industry 4.0. This paper presents a system called Smart Innovation Engineering (SIE) capable of facilitating product innovation process semi-automatically. It enhances decision-making processes by using the explicit knowledge of formal decision events. The SIE system carries the...
-
Decisional DNA and Optimization Problem
PublicationMany researchers have proved that Decisional DNA (DDNA) and Set of Experience Knowledge Structure (SOEKS or SOE) is a technology capable of gathering information and converting it into knowledge to help decision-makers to make precise decisions in many ways. These techniques have a feature to combine with different tools, such as data mining techniques and web crawlers, helping organization collect information from different sources...
-
Discovering relationships between data in an enterprise information system using log analysis
PublicationEnterprise systems are inherently complex and maintaining their full, up-to-date overview poses a serious challenge to the enterprise architects’ teams. This problem encourages the search for automated means of discovering knowledge about such systems. An important aspect of this knowledge is understanding the data that are processed by applications and their relationships. In our previous work, we used application logs of an enterprise...
-
Comparative analysis of three‐phase dual active bridge converter with different transformer topology and modern universal control for DC microgrids
PublicationThe presented work discusses issues related to the use of modern multiphase topologies of Dual Active Bridge (DAB)-type converters. Converters of this type are widely used in most DC microgrid applications. The introduction emphasizes a comparative analysis between single-phase and multi-phase DAB topologies within high-power DC microgrids, delving into their respective advantages, drawbacks, design procedures, and considerations...
-
Hybrid approach to ontology specification and development
PublicationIn this chapter a first draft of a hybrid ontology development approach is presented. The context of this method encompasses the multi-agent system equipped with knowledge bases and inferring engine. The process of ontology engineering appears as a complex issue, as it addresses different point-views of both, a client and a modeler with a requirements/system analyst. Regarding this, an approach based on the knowledge preprocessing...
-
Advances in Architectures, Big Data, and Machine Learning Techniques for Complex Internet of Things Systems
PublicationTe feld of Big Data is rapidly developing with a lot of ongoing research, which will likely continue to expand in the future. A crucial part of this is Knowledge Discovery from Data (KDD), also known as the Knowledge Discovery Process (KDP). Tis process is a very complex procedure, and for that reason it is essential to divide it into several steps (Figure 1). Some authors use fve steps to describe this procedure, whereas others...
-
Komputerowe wspomaganie projektowania (CAD), W/P, ZiIP, sem. 04 lato 2023/2024 [PG_00061990]
e-Learning CoursesNabycie wiedzy i umiejętności projektowania z użyciem systemów CAD. (Acquiring knowledge and skills in designing using CAD systems.)
-
Selected results of measurements carried out in a ship power station with two generators working in parallel with the use of the NI PXIe-1062Q based measurement system
Open Research DataThe presented dataset is part of research focusing on the assessment of metrological properties of the instrument, Estimator/Analyzer (A/E v.2), developed and made at the Faculty of Electrical Engineering, Department of Marine Electrical Power Engineering, of Gdynia Maritime University. The attached data set contains the results of measurements made...
-
Count Data Modeling About Relationship Between Dubai Housing Sales Transactions and Financial Indicators
PublicationIn this study, illustrating and comparing the performances of count data models such as Poisson, negative binomial (NB), Hurdle and zero-inflated models for the determination of factors affected housing sales in Dubai. Model comparisons are made via Akaike’s information criterion (AIC), the Vuong test and examining the residuals. Main purpose of this study is building reliable statistical model for relationship between Dubai housing...
-
Impedance monitoring of corrosion degradation of plasma electrolytic oxidation coatings (PEO) on magnesium alloy
PublicationImpedance technique based on continuous multisinusoidal current perturbation was used to explain degradation process of plasma electrolytic oxidation coatings (PEO) on magnesium alloy. An obtained impedance spectrum was fitted by electrical equivalent circuit to describe properties of conversion layer on magnesium alloy. Additionally, galvanostatic mode maintained during experiment, with DC current equal to zero, allowed to achieve...
-
Programowanie dynamiczne w rozwiązywaniu problemów szeregowania zadań w systemach o acyklicznej strukturze
PublicationRozważono rozrzedzone systemy niepodzielnych zadań dwuprocesorowych o jednostkowych długościach operacji oraz systemy maszyn dedykowanych (open shop,flow shop, mixed shop) o operacjach zero-jedynkowych. Przedstawiono rodzinę wielomianowych algorytmów opartych na programowaniu dynamicznym, pozwalających na znalezienie optymalnego uszeregowania względem szerokiej rodziny funkcji kryterialnych. Stopień rozrzedzenia systemu zdefiniowano...
-
Investigation of R 22 and R 134a flow boiling in enhanced tubes
PublicationPrzedstawiono wyniki pomiarów współczynnika przejmowania ciepła i spadków ciśnienia podczas wrzenia w przepływie R22 oraz R134a. Do badań użyto dwie rurki o rozwiniętej wewnętrznej powierzchni, tj. rurkę śrubowo-formowaną i rurkę niskożebrowaną oraz dwie rurki gładkie, jako rurki referencyjne. Eksperymenty przeprowadzono przy temperaturze nasycenia ok. zero stopni Celsjusza i końcowym stopniu suchości ok. 0.7. Wyniki badań eksperymentalnych...
-
Assessing business process complexity based on textual data: Evidence from ITIL IT ticket processing
PublicationPurpose This study aims to draw the attention of business process management (BPM) research and practice to the textual data generated in the processes and the potential of meaningful insights extraction. The authors apply standard natural language processing (NLP) approaches to gain valuable knowledge in the form of business process (BP) complexity concept suggested in the study. It is built on the objective, subjective and meta-knowledge...
-
LIDAR data from a topographic survey conducted in the area where the Gdańsk Głowa Fortress was located
Open Research DataThe measurement data was obtained during research aimed at utilizing LiDAR observations to detect remnants of the historical complex of the Gdańsk Głowa Fortress. The collected information comes from a spatial survey conducted using a scanner mounted on an unmanned aerial vehicle. This advanced measurement system allows for precise registration of the...
-
Manufacturing Data Analysis in Internet of Things/Internet of Data (IoT/IoD) Scenario
PublicationComputer integrated manufacturing (CIM) has enormous benefits as it increases the rate of production, reduces errors and production waste, and streamlines manufacturing sub-systems. However, there are some new challenges related to CIM operating in the Internet of Things/Internet of Data (IoT/IoD) scenarios associated with Industry 4.0 and cyber-physical systems. The main challenge is to deal with the massive volume of data flowing...
-
Detekcja i lokalizacja nieprzewodzenia tranzystorów falownika napięcia na podstawie analizy prądu obciążenia
PublicationPrzedstawiono nową metodę detekcji i lokalizacji nieprzewodzenia tranzystorów w falownikach napięcia zasilających silniki indukcyjne małej mocy. Metoda bazuje na monitorowaniu wartości dwóch sygnałów dia-gnostycznych. Pierwszy z nich, wskaźnik braku przepływu prądu, wykorzystano w celu detekcji uszkodzeń. Drugi, stosunek wartości średniej prądu do wartości średniej bezwzględnej, zawiera informacje umożliwiające lokalizację uszkodzonych...
-
Zastosowanie odcinków nieliniowej krzywizny w torze zwrotnym rozjazdu kolejowego
PublicationW pracy została przedstawiona analityczna metoda kształtowania toru zwrotnego rozjazdu kolejowego posiadającego na swojej długości odcinki nieliniowej krzywizny. Odcinki te służą łagodzeniu wykresu krzywizny w skrajnych strefach rozjazdu W omawianej metodzie dokonano identyfikacji problemu rozkładu krzywizny za pomocą równań różniczkowych. Uzyskane rozwiązania mają charakter uniwersalny; m. in. pozwalają na przyjmowanie dowolnych...
-
Concept description vectors and the 20 question game
PublicationKnowledge of properties that are applicable to a given object is a necessary prerequisite to formulate intelligent question. Concept description vectors provide simplest representation of this knowledge, storing for each object information about the values of its properties. Experiments with automatic creation of concept description vectors from various sources, including ontologies, dictionaries, encyclopedias and unstructured...
-
Editorial, SI EATA2023
PublicationThe European Asphalt Technology Association (EATA) is an organisation of leading European engineers and scientists involved in the asphalt material research. Every two years, the EATA celebrates its international pavement conference, with the aim of disseminating the key advances in scientific knowledge related to asphalt materials and technologies, and to encourage the transfer and application of this knowledge worldwide. Since...
-
Safety and risk in transportation systems (PG_00057094), C, TiL, 1 sem., letni 22/23
e-Learning CoursesThe aim of the lectures, exercises is to present the current knowledge of Safety and risk in transportation systems in maritime transportation and inland water transportation, land transport.
-
Professional practice, P, DaPE, sem.07, winter, 23/24 (PG_00040197)
e-Learning CoursesThe student undergoes apprenticeship in order to develop the skills of practical use of knowledge obtained during education at the Faculty of Mechanical Engineering and Ship Technology.
-
Professional practice, P, DaPE, sem.07, winter, 24/25 (M:32021P0)
e-Learning CoursesThe student undergoes apprenticeship in order to develop the skills of practical use of knowledge obtained during education at the Faculty of Mechanical Engineering and Ship Technology.
-
Semantic Memory for Avatars in Cyberspace
PublicationAvatars that show intelligent behavior should have an access to general knowledge about the world, knowledge that humans store in their semantic memories. The simplest knowledge representation for semantic memory is based on the Concept Description Vectors (CDVs) that store, for each concept, an information whether a given property can be applied to this concept or not. Unfortunately large-scale semantic memories are not available....
-
The role of case studies and management experience in the education and personal developement of IT project managers
PublicationThe purpose of this article is to indicate the need for project management experience and knowledge in order to improve the competence of IT project managers. In the first part of the article there is shown the impact of experience on the development of project management skills. Also the need for having historical data about the projects - in order to make better project decisions - is shown in the article.In the following parts...
-
Extended Reflexive Ontologies for the Generation of Clinical Recommendations
PublicationDecision recommendations are a set of alternative options for clinical decisions (e.g., diagnosis, prognosis, treatment selection, follow-up, and prevention) that are provided to decision makers by knowledge-based Clinical Decision Support Systems (k-CDSS) as aids. We propose to follow a ‘‘reasoning over domain’’ approach for the generation of decision recommendations by gathering and inferring conclusions from production rules....
-
Green Chemistry in Higher Education: State of the Art, Challenges, and Future Trends
PublicationNowadays, there is increasing interest in global sustainability, and thus, university students would like to know how human actions affect the health status of our planet. This is mainly due to their basic knowledge of problems such as global warming and greenhouse gases. Students would like to gain knowledge on how to safeguard the earth for future generations. This must involve changes in education programs at interested institutions...
-
Influence and selection of basic concepts on ontology design
PublicationOntologies as entities representing individual point of view on surrounding world introduce heterogeneity to knowledge representation. Common set of core concepts can introduce similarity big enough for further interoperability between ontologies. In this paper an experiment is presented proving that despite differences in detail ontologies stay similar in regard of core concepts. During the experiments NOIA methodology enhanced...
-
Security ontology construction and integration
PublicationThere are many different levels on which we can examine security. Each one is different from others, all of them are dependent on the context. Hence the need to bear additional knowledge enabling efficient utilization of the knowledge by the computers. Such information can be provided by ontologies. The paper presentsgathered requirements needed to be taken into account when creating an ontology. The method of ontology creation...
-
Description logic based generator of data-centric applications
PublicationThe knowledge stored in Ontology Management Systems (OMS) that originally has the form of expressions, can be seen as a user application specification or as knowledge provided by an expert. The generator of applications discussed in this paper is defined as a program that automatically generates an application that meets a certain specification stored in OMS. It is shown that it is possible to build a user interface for data management...
-
Description logic based generator of data-centric applications
PublicationThe knowledge stored in Ontology Management Systems (OMS) that originally has the form of expressions, can be seen as a user application specification or as knowledge provided by an expert. The generator of applications discussed in this paper is defined as a program that automatically generates an application that meets a certain specification stored in OMS. It is shown that it is possible to build a user interface for data management...
-
PROGRAMMABLE YANG - BASED INTERFACE IN CONTROL OF OPTICAL TRANSPORT NETWORK
PublicationSince over a decade we observe intensive effort of research institutions and industrial consortia on extending flexibility and automation of the transport network control also known under the term network programmability. Key aspect of each programming interface is ability to evolve but also sensitivity to future modifications. As indicated in the past work in the specific context of optical transport networks an important criterion...
-
Towards truly sustainable IoT systems: the SUPERIOT project
PublicationThis paper provides an overview of the SUPERIOT project, an EU SNS JU (Smart Networks and Services Joint Undertaking) initiative focused on developing truly sustainable IoT systems. The SUPERIOT concept is based on a unique holistic approach to sustainability, proactively developing sustainable solutions considering the design, implementation, usage and disposal/reuse stages. The concept exploits radio and optical technologies...
-
HARDWARE AND SOFTWARE OF DIAGNOSTIC SYSTEM OF WHEELED TRACTORS = Hardwer i softwer systemu diagnostycznego ciągników kołowych
PublicationPodstawowym elementem systemu diagnostycznego jest komputer pokładowy Fujitsu FUTURO S100 z chłodzeniem pasywnym w wykonaniu odpornym na drgania i wstrząsy, z pamięcią Compact Flesh 16Gb. Do komputera dołączony jest monitor dotykowy NVOX LCD 10" VGA/FVAT. Oprogramowanie komputera obejmujesystem operacyjny Windows XP-2000, driver konwertera USB/DeviceNet oraz opracowany program diagnostyczny. Komputer połączony jest łączem USB z...
-
A NEW MASTER'S DEGREE PROGRAM IN GEODESY
PublicationFaculty of Civil and Environmental Engineering (WILiS) at Gdansk University of Technology (GUT) offers studies in the fields of Geodesy and Cartography. The bachelor program (7 semesters) was started ten years ago in 2009. It provides the student with the basic skills and knowledge in the fields of surveying, geodesy and more generally geomatics and cartography. It is strongly related to expertise knowledge of civil building (geodetic...
-
Smart Virtual Product Development: Manufacturing Capability Analysis and Process Planning Module
PublicationSmart Virtual Product Development (SVPD) system provides effective use of information, knowledge, and experience in industry during the process of product development in Industry 4.0 scenario. This system comprises of three primary modules, each of which has been developed to cater to a need for digital knowledge capture for smart manufacturing in the areas of product design, production planning, and inspection planning. Manufacturing...
-
Visual content representation and retrieval for Cognitive Cyber Physical Systems
PublicationCognitive Cyber Physical Systems have gained significant attention from academia and industry during the past few decade. One of the main reasons behind this interest is the potential of such technologies to revolutionize human life since they intend to work robustly under complex visual scenes, which environmental conditions may vary, adapting to a comprehensive range of unforeseen changes, and exhibiting prospective behavior...
-
Minimal surfaces and conservation laws for bidimensional structures
PublicationWe discuss conservation laws for thin structures which could be modeled as a material minimal surface, i.e., a surface with zero mean curvatures. The models of an elastic membrane and micropolar (six-parameter) shell undergoing finite deformations are considered. We show that for a minimal surface, it is possible to formulate a conservation law similar to three-dimensional non-linear elasticity. It brings us a path-independent...
-
Driving force of acoustic streaming caused by aperiodic sound beamin unbounded volumes
PublicationRównanie dynamiczne kierujące lokalnej w czasie siłą radiacyjną ruchu wirowego wyprowadzono. Stwierdzono, iż zawiera ona trzy części: jedna stanowi wzór klasyczny, druga daje zero po uśrednieniu względem okresu fali akustycznej, lecz różni się od zera dla nieokresowego dźwięku. Trzecia składowa związana jest z małymi dyfrakcyjnymi efektami, zachodzącymi podczas propagacji wiązki. Przejście do wzoru klasycznego w przypadku źródła...
-
Characterizing the Performance of <span class="sc">xor</span> Games and the Shannon Capacity of Graphs
PublicationIn this Letter we give a set of necessary and sufficient conditions such that quantum players of a two-party xor game cannot perform any better than classical players. With any such game, we associate a graph and examine its zero-error communication capacity. This allows us to specify a broad new class of graphs for which the Shannon capacity can be calculated. The conditions also enable the parametrization of new families of games...
-
Coupled-Resonator Waveguide Filter in Quadruplet Topology With Frequency-Dependent Coupling - A Design Based on Coupling Matrix
PublicationThis letter presents an application of a recently developed coupling matrix synthesis technique to design of coupled-resonator filters with dispersive inter-resonator couplings. This technique is used to design a novel coupled-cavity bandpass filter. Measurements validate the design and confirm effectiveness of the synthesis method. The filter is a four-pole generalized Chebyshev filter with three transmission zeros. Resonators...
-
Enthalpies of formation of rare earth niobates, RE3NbO7
PublicationHigh-temperature oxide melt solution calorimetry was used to investigate energetics of a series of rare earth niobates RE3NbO7. All of investigated compounds were found to be stable in enthalpy in respect to their oxides. The enthalpy of formation from oxides becomes more exothermic as the size of the RE cation increases, a trend seen previously in other RE compounds including pyrochlores, perovskites, and phosphates. For smaller...
-
Microwave Alignment and Displacement Sensors in Groove Gap Waveguide Technology
PublicationThis paper is aimed at presenting highly sensitive microwave displacement and alignment sensors. With this goal, the method of realizing mechanically tunable cavity resonators in groove gap waveguides technology is presented. The resonance frequency of the cavity is then used for displacement sensing. It is also demonstrated that the symmetry properties of a pair of groove gap waveguide cavities can be used to improve the robustness...