Wyniki wyszukiwania dla: zero-knowledge proof - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: zero-knowledge proof

Wyniki wyszukiwania dla: zero-knowledge proof

  • On the Limiting Distribution of Lempel-Ziv’78 Redundancy for Memoryless Sources

    Publikacja

    We 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Fluid Mechanics, W/C, EaPE (Dezhou), sem.5, zimowy 23/24 (PG_00059698)

    Kursy Online
    • M. Banaszek

    Objective 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.

  • Lexicon Based Algorithm for Domain Ontology Merging and Alignment

    Publikacja

    More 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....

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Possibilities for Developing Electromobility by Using Autonomously Powered Trolleybuses Based on the Example of Gdynia

    Publikacja

    - ENERGIES - Rok 2021

    Trolleybus 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...

    Pełny tekst do pobrania w portalu

  • Landscape perception and the teaching of it in Poland

    A 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...

    Pełny tekst do pobrania w portalu

  • Discovering patterns of Web Page Visits from Associaton Rules Viewpoint

    Publikacja

    The 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

    In 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Smart Innovation Engineering: Toward Intelligent Industries of the Future

    Publikacja

    - CYBERNETICS AND SYSTEMS - Rok 2018

    Knowledge-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...

    Pełny tekst do pobrania w portalu

  • Decisional DNA and Optimization Problem

    Publikacja

    - Rok 2013

    Many 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

    Publikacja

    - Rok 2023

    Enterprise 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...

    Pełny tekst do pobrania w portalu

  • Justyna Martyniuk-Pęczek dr hab. inż. arch.

    Justyna Martyniuk-Pęczek, dr hab. inż. arch., urbanista, architekt światła.  Doktor habilitowany nauk technicznych w dyscyplinie architektura i urbanistyka, z dodatkową specjalnością architektonicznego projektowania światłem. Podstawowym obszarem jej zainteresowań naukowych jest urbanistyka, w obrębie której skoncentrowała się na trzech nurtach badawczych, a mianowicie: Problemy kształtowania współczesnych przestrzeni publicznych,...

  • Hybrid approach to ontology specification and development

    Publikacja

    In 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

    Publikacja

    - COMPLEXITY - Rok 2019

    Te 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...

    Pełny tekst do pobrania w portalu

  • Comparative analysis of three‐phase dual active bridge converter with different transformer topology and modern universal control for DC microgrids

    Publikacja

    - IET Power Electronics - Rok 2024

    The 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...

    Pełny tekst do pobrania w portalu

  • Komputerowe wspomaganie projektowania (CAD), W/P, ZiIP, sem. 04 lato 2023/2024 [PG_00061990]

    Kursy Online
    • P. Sender
    • E. Kozłowska

    Nabycie 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

    Dane Badawcze
    open access
    • R. Maśnicki
    • D. Hallmann
    • J. Mindykowski
    • T. Tarasiuk
    • M. Górniak
    • M. Szweda
    • B. Pałczyńska

    The 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

    Publikacja

    - Rok 2017

    In 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Impedance monitoring of corrosion degradation of plasma electrolytic oxidation coatings (PEO) on magnesium alloy

    Publikacja

    Impedance 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Programowanie dynamiczne w rozwiązywaniu problemów szeregowania zadań w systemach o acyklicznej strukturze

    Rozważ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

    Przedstawiono 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

    Publikacja

    - Business Process Management Journal - Rok 2021

    Purpose 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...

    Pełny tekst do pobrania w portalu

  • LIDAR data from a topographic survey conducted in the area where the Gdańsk Głowa Fortress was located

    Dane Badawcze
    open access

    The 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

    Publikacja

    - CYBERNETICS AND SYSTEMS - Rok 2018

    Computer 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...

    Pełny tekst do pobrania w portalu

  • Detekcja i lokalizacja nieprzewodzenia tranzystorów falownika napięcia na podstawie analizy prądu obciążenia

    Przedstawiono 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...

    Pełny tekst do pobrania w portalu

  • Zastosowanie odcinków nieliniowej krzywizny w torze zwrotnym rozjazdu kolejowego

    Publikacja

    W 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...

    Pełny tekst do pobrania w portalu

  • Concept description vectors and the 20 question game

    Publikacja

    - Rok 2005

    Knowledge 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Editorial, SI EATA2023

    Publikacja

    The 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...

    Pełny tekst do pobrania w portalu

  • Semantic Memory for Avatars in Cyberspace

    Publikacja

    - Rok 2005

    Avatars 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

    Publikacja

    The 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

    Publikacja

    - CYBERNETICS AND SYSTEMS - Rok 2015

    Decision 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....

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Green Chemistry in Higher Education: State of the Art, Challenges, and Future Trends

    Publikacja

    - CHEMSUSCHEM - Rok 2018

    Nowadays, 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...

    Pełny tekst do pobrania w portalu

  • Safety and risk in transportation systems (PG_00057094), C, TiL, 1 sem., letni 22/23

    Kursy Online
    • I. Szwoch

    The 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)

    Kursy Online
    • G. Banaszek

    The 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)

    Kursy Online
    • G. Banaszek

    The 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.

  • Influence and selection of basic concepts on ontology design

    Publikacja

    - Rok 2010

    Ontologies 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

    Publikacja

    - Rok 2011

    There 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

    The 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Description logic based generator of data-centric applications

    Publikacja

    - Rok 2010

    The 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • PROGRAMMABLE YANG - BASED INTERFACE IN CONTROL OF OPTICAL TRANSPORT NETWORK

    Since 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Towards truly sustainable IoT systems: the SUPERIOT project

    Publikacja
    • M. Katz
    • T. Paso
    • K. Mikhaylov
    • L. Pessoa
    • H. Fontes
    • L. Hakola
    • J. Leppäniemi
    • E. Carlos
    • G. Dolmans
    • J. Rufo... i 5 innych

    - Journal of Physics-Photonics - Rok 2024

    This 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...

    Pełny tekst do pobrania w portalu

  • A NEW MASTER'S DEGREE PROGRAM IN GEODESY

    Publikacja

    Faculty 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Smart Virtual Product Development: Manufacturing Capability Analysis and Process Planning Module

    Publikacja

    - CYBERNETICS AND SYSTEMS - Rok 2022

    Smart 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...

    Pełny tekst do pobrania w portalu

  • Visual content representation and retrieval for Cognitive Cyber Physical Systems

    Publikacja

    - Procedia Computer Science - Rok 2019

    Cognitive 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...

    Pełny tekst do pobrania w portalu

  • HARDWARE AND SOFTWARE OF DIAGNOSTIC SYSTEM OF WHEELED TRACTORS = Hardwer i softwer systemu diagnostycznego ciągników kołowych

    Publikacja

    - Journal of KONBiN - Rok 2013

    Podstawowym 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...

    Pełny tekst do pobrania w portalu

  • Minimal surfaces and conservation laws for bidimensional structures

    We 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...

    Pełny tekst do pobrania w portalu

  • Driving force of acoustic streaming caused by aperiodic sound beamin unbounded volumes

    Publikacja

    - ULTRASONICS - Rok 2009

    Ró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...

    Pełny tekst do pobrania w portalu

  • Characterizing the Performance of <span class="sc">xor</span> Games and the Shannon Capacity of Graphs

    Publikacja

    - PHYSICAL REVIEW LETTERS - Rok 2014

    In 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Coupled-Resonator Waveguide Filter in Quadruplet Topology With Frequency-Dependent Coupling - A Design Based on Coupling Matrix

    This 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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Enthalpies of formation of rare earth niobates, RE3NbO7

    Publikacja

    - AMERICAN MINERALOGIST - Rok 2015

    High-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...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Microwave Alignment and Displacement Sensors in Groove Gap Waveguide Technology

    This 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...

    Pełny tekst do pobrania w serwisie zewnętrznym