Filters
total: 2324
displaying 1000 best results Help
Search results for: zero-knowledge proof
-
Computational Intelligence - 2023/2024 sem.
e-Learning CoursesWidening the students knowledge about the selected methods of artificial intelligence
-
Computational Intelligence - sem. 2023/2024
e-Learning CoursesWidening the students knowledge about the selected methods of artificial intelligence
-
Practical realisation of new method of synchronization for controlled rectifier.
PublicationW artykule zaprezentowano nową metodę synchronizacji sygnałów sterujących prostownika z siecią. W prezentowanej metodzie nie ma potrzeby wykrywania chwili przejścia napięcia zasilającego przez zero. Przedstawiono zależności teoretyczne oraz wyniki badań symulacyjnych i eksperymentalnych uzyskanych w systemie z procesorem sygnałowym.
-
Nanotechnologia, chemia i medycyna
PublicationKsiążka przedstawia chemiczne metody otrzymywania nanomateriałów oraz metody ich funkcjonalizacji. Opisano struktury zero, jedno i dwuwymiarowe zbudowane z różnych materiałów (metale, ceramika, związki organiczne, alotropowe odmiany węgla, chalkogenki metali). Podano wybrane przykłady zastosowania nanostruktur w medycynie i naukach pokrewnych.
-
Ab initio and density functional theory calculations of proton affinities for volatile organic compounds
PublicationThe Hatree-Fock method with 6-311G** split-valence molecular orbitals basis sets and the density function theory-B3LYP have been applied to geometrical optimizations and calculations of total electronic, zero point vibrational energies and proton affinities at 298 K for volatile organic compounds. Calculated values of proton affinities are compared with experimental data.
-
A Study on Influence of Normalization Methods on Music Genre Classification Results Employing kNN Algorithms
PublicationThis paper presents a comparison of different normalization methods applied to the set of feature vectors of music pieces. Test results show the influence of min-nlax and Zero-Mean normalization methods, employing different distance functions (Euclidean, Manhattan, Chebyshev, Minkowski) as a pre-processing for genre classification, on k-Nearest Neighbor (kNN) algorithm classification results.
-
Low-Cost Surrogate Models for Microwave Filters
PublicationA novel low-cost kriging-based multivariable parametric macromodeling technique for microwave filters is presented. Kriging is used to model both the residues and poles of a microwave filter's reflection coefficient, and the zeros of the transmission coefficient. The proposed residue-pole-zero (RPZ) technique is demonstrated to efficiently model a high dimensional (8D) microwave filter with pseudoelliptic characteristics.
-
Mountain pass type periodic solutions for Euler–Lagrange equations in anisotropic Orlicz–Sobolev space
PublicationUsing the Mountain Pass Theorem, we establish the existence of periodic solution for Euler–Lagrange equation. Lagrangian consists of kinetic part (an anisotropic G-function), potential part and a forcing term. We consider two situations: G satisfying at infinity and globally. We give conditions on the growth of the potential near zero for both situations.
-
Intrinsic asymmetry with respect to adversary: a new feature of Bell inequalities
PublicationIt is known that the local bound of a Bell inequality is sensitive to the knowledge of the external observer about the settings statistics. Here we ask how that sensitivity depends on the structure of that knowledge. It turns out that in some cases it may happen that the local bound is much more sensitive to the adversaryʼs knowledge about the settings of one party than the other. Remarkably, there are Bell inequalities which are...
-
On the Existence of Homoclinic Type Solutions of a Class of Inhomogenous Second Order Hamiltonian Systems
PublicationWe show the existence of homoclinic type solutions of a class of inhomogenous second order Hamiltonian systems, where a C1-smooth potential satisfies a relaxed superquadratic growth condition, its gradient is bounded in the time variable, and a forcing term is sufficiently small in the space of square integrable functions. The idea of our proof is to approximate the original system by time-periodic ones, with larger and larger...
-
Low-coherence photonic method of electrochemical processes monitoring
PublicationWe present an advanced multimodality characterization platform for simultaneous optical and electrochemical measurements of ferrocyanides. Specifcally, we combined a fber-optic Fabry– Perot interferometer with a three-electrode electrochemical setup to demonstrate a proof-ofprinciple of this hybrid characterization approach, and obtained feasibility data in its monitoring of electrochemical reactions in a boron-doped diamond flm...
-
Limiting distribution of Lempel Ziv'78 redundancy
PublicationWe show that the Lempel Ziv'78 redundancy rate tends to a Gaussian distribution for memoryless sources. We accomplish it by extending findings from our 1995 paper [3]. We present a new simplified proof of the Central Limit Theorem for the number of phrases in the LZ'78 algorithm. As in our 1995 paper, here we first analyze the asymptotic behavior of the total path length in a digital search tree (a DST) built from independent sequences....
-
On the Limiting distribution of Lempel Ziv'78 Redundancy for Memoryles Sources
PublicationWe show that the Lempel Ziv'78 redundancy rate tends to a Gaussian distribution for memoryless sources. We accomplish it by extending findings from our 1995 paper [3]. We present a new simplified proof of the Central Limit Theorem for the number of phrases in the LZ'78 algorithm. As in our 1995 paper, here we first analyze the asymptotic behavior of the total path length in a digital search tree (a DST) built from independent sequences....
-
Agnieszka Kania Mgr
PeopleUkończyła WZIE PG - kierunek Zarządzanie i Marketing o specjalności Ekonomia i Finanse. Posiada kilkunastoletnie doświadczenie we współpracy z otoczeniem biznesowym. Pierwsze kroki w biznesie stawiała na stanowisku Analityka Finansowego, Doradcy Klienta Biznesowego, następnie zdobywała doświadczenie na stanowiskach manadżerskich rekrutując i budując zespoły jako Kierownik Zespołu w korporacji finansowej, negocjując kontrakty,...
-
Strength of Materials II,Lectures,DAPE,spring 22-23(PG_00050281)
e-Learning CoursesThe aim of the subject is to acquire knowledge related to the advanced fundamentals of Mechanics of Materials
-
Mathematical and numerical modelling, P, IDE, sem. 01, summer 21/22,(M:00057379) (MaNM, P, summer 21/22)
e-Learning CoursesThe aim of this subject is to acquire knowledge to implement engineering problem in Matlab code
-
Strength of Materials I,Lectures,DAPE,fall 23-24(PG_00055150)
e-Learning CoursesThe aim of the course is to acquire knowledge referring to the Mechanics of Materials (Strength of Materials)
-
Concept of the agent system for the information technology evaluation
PublicationIn this paper the concept of the agent system for the information technology evaluation has been presented. This article includes the concept description and shows abilities of using software tools which can be applicable to implementation and verification of proposed solution. The article is the part of common researches over creation solutions for information technology evaluation which range over using expert's evaluation and...
-
Experience Visualizaton
PublicationSet of Experience Knowledge Structure (SOEKS) has proved its capability of storing substantial part of experience at a particular decision point. The management of SOEKS record is also proposed in many papers for example referring to concepts of Decisional DNA knowledge representation, that is a collection of a number of SOEKS. The aim of this paper is to focus on visualization and practical aspects of presenting gathered knowledge...
-
Overview of planar antenna loading metamaterials for gain performance enhancement: the two decades of progress
PublicationMetamaterials (MTMs) are artificially engineered materials with unique electromagnetic properties not occurring in natural materials. MTMs have gained considerable attention owing to their exotic electromagnetic characteristics such as negative permittivity and permeability, thereby a negative refraction index. These extraordinary properties enable many practical applications such as super-lenses, and cloaking technology, and are...
-
Australian Conference for Knowledge Management and Intelligent Decision Support
Conferences -
International Conference on Knowledge-based Intelligent Electronic Systems
Conferences -
International Conference on Decision Support Through Knowledge Management
Conferences -
Workshop on Research Issues in Data Mining and Knowledge Discovery
Conferences -
International Workshop on Knowledge Discovery from Data Streams
Conferences -
Pacific-Asia Conference on Knowledge Discovery and Data Mining
Conferences -
European-Japanese Conference on Information Modelling and Knowledge Bases
Conferences -
Knowledge Discovery and Data Mining in Biological Databases Meeting
Conferences -
Revenues from the sale of books in Poland (2009-2013)
Open Research DataAccording to the report "The book market in Poland 2014, the Library of Analysis", nearly 40,000 publishers were registered in Poland until mid-2013, of which it is estimated that only about 2,000-2,500 were active as publishers. According to the estimates of the authors of the Report, the value of the Polish book market in 2013 amounted to PLN 2.68...
-
Decisional DNA for modeling and reuse of experiential clinical assessments in breast cancer diagnosis and treatment
PublicationClinical Decision Support Systems (CDSS) are active knowledge resources that use patient data to generate case specific advice. The fast pace of change of clinical knowledge imposes to CDSS the continuous update of the domain knowledge and decision criteria. Traditional approaches require costly tedious manual maintenance of the CDSS knowledge bases and repositories. Often, such an effort cannot be assumed by medical teams, hence...
-
Decisional DNA Based Conceptual Framework for Smart Manufacturing
PublicationThis paper presents the conceptual framework for systematic knowledge representation, storage and reuse of manufacturing information in a production scenario. This knowledge structure is designed for three levels in a manufacturing set up viz. first at the engineering objects level, second at process and finally at factory level. Virtual engineering object (VEO) deals with knowledge at the individual object/component/machine level...
-
Don't forget the dark side of green transformation
PublicationDesign/methodology/approach – The study is a continuation of the research by Durst and Zieba (2019) related to knowledge risks and their potential outcomes. This present study makes an update on the literature on knowledge risks and green transformation and describes knowledge risks that can be faced in this process. Originality/value – The paper offers new insights for researchers dealing with the topic of knowledge risks in...
-
Nina Rizun dr
PeopleNina Rizun is an assistant professor at the Faculty of Management and Economics at the Gdańsk University of Technology. In October 1999 she obtained a PhD degree in technical sciences in the Faculty of Enterprise Economy and Production Organization, National Mining Academy, Dnipropetrovsk, Ukraine. PhD thesis title: Development of Complex Subsystem of the Organization and Planning of Mining and Transport Processes. In the years...
-
NOVEL ANALYTICAL TECHNIQUES seminars
e-Learning CoursesStudents will gain theexperience how to presents the knowledge in the range of analysis and monitoring of pullutants.
-
Modern Platform for Parallel Algorithms Testing: Java on Intel Xeon Phi
PublicationParallel algorithms are popular method of increasing system performance. Apart from showing their properties using asymptotic analysis, proof-of-concept implementation and practical experiments are often required. In order to speed up the development and provide simple and easily accessible testing environment that enables execution of reliable experiments, the paper proposes a platform with multi-core computational accelerator:...
-
Air journal bearing utilizing near-field acoustic levitation: stationary shaft case
PublicationResults of a study to examine a unique idea of self-levitating journal bearing are presented in this paper. the idea represents a radical departure from the current bearing technology. it utilisesacoustic levitation, which relies on the sound energy radiated by an object supporting a load. acoustic levitation has been demonstrated to support loads of up to 10 kg. in order to support a load theacoustic wave emitted by the radiating...
-
E-cohomological Conley index
PublicationIn this thesis we continue with developing the E-cohomological Conley index which was introduced by A.Abbondandolo. In particular, we generalize the index to non-gradient flows, we show that it an possesses additional multiplicative structure and we prove the continuation principle. Then, using continuation principle, we show how the computation of the E-cohomological Conley index can be reduced to the computation of the classical...
-
Krzysztof Kutt dr inż.
PeopleComputer scientist and psychologist trying to combine expertise from both disciplines into something cool. My research activity focuses on the development of affective HCI/BCI interfaces (based on multimodal fusion of signals and contextual data), methods for processing sensory data (including semantization of such data) and the development of knowledge-based systems (in particular knowledge graphs and semantic web systems).
-
Virtual Engineering Object (VEO): Toward Experience-Based Design and Manufacturing for Industry 4.0
PublicationIn this article we propose the concept, its framework, and implementation methodology for Virtual Engineering Objects (VEO). A VEO is the knowledge representation of an engineering object that embodies its associated knowledge and experience. A VEO is capable of adding, storing, improving, and sharing knowledge through experience. Moreover, it is demonstrated that VEO is a specialization of a Cyber-Physical System (CPS). In this...
-
Importance of artificial intelligence to support the process of anaerobicdigestion of kitchen waste with bioplastics / Znaczenie sztucznej inteligencji we wspomaganiu procesu beztlenowej fermentacji odpadów kuchennych zawierających bioplastiki
PublicationArtificial intelligence (AI) and machine learning were used to obtain more effective methods for conducting the digestion process and achieving final products. Data acquisition was carried out by an automatic monitoring and anal. research. The knowledge describing the anaerobic digestion process was summarized in the form of rules: IF (premise) THEN (conclusion). The compiled set of rules created a knowledge base of the expert...
-
Data Structures (Doctoral Studies) - New
e-Learning CoursesThe course is designed to provide students with the knowledge regarding basic data structures and associated algorithms used in broad range of applications. Students will also gain knowledge about how to evaluate the quality of algorithms in the context of time and space usage. Additionally, during seminars, students get familiar with biographies of most famous creators of the algorithms.
-
Implementing Smart Virtual Product Development (SVPD) to Support Product Manufacturing
PublicationThis paper illustrates the concept of providing the manufacturing knowledge during early stages of product life cycle to experts working on product development. The aim of this research is to enable a more collaborative product development environment by using Smart Virtual Product Development (SVPD) system, which is powered by Set of Experience Knowledge Structure (SOEKS) and Decisional DNA (DDNA). It enhances the industrial product...
-
Acoustic heating produced in resonators filled by a newtonian fluid
PublicationAcoustic heating in resonators is studied. The governing equation of acoustic heating is derived by means of the special linear combination of conservation equations in differential form, allowing the reduction of all acoustic terms in the linear part of the final equation, but preserving terms belonging to the thermal mode responsible for heating. This equation is instantaneous and includes nonlinear acoustic terms that form a...
-
Interpolator wykorzystujący filtr z maskowaniem charakterystyki częstotliwościowej
PublicationInterpolator o dużej krotności wymaga stosowania dolnoprzepustowych filtrów cyfrowych o bardzo wąskim paśmie przejściowym. Przekłada się to na dużą złożoność obliczeniową i problemy z projektowaniem filtrów interpolacyjnych. W pracy zaproponowano użycie metody FRM rozbijającej filtr o wąskim paśmie przejściowym na grupę filtrów o obniżonych wymaganiach, co zmniejsza liczbę niezerowych współczynników. W rezultacie użycie tego rozwiązania...
-
Bringing Common Sense to WordNet with a Word Game
PublicationWe present a tool for common sense knowledge acquisition in form of a twenty questions game. The described approach uses WordNet dictionary, which rich taxonomy allows to keep cognitive economy and accelerate knowledge propagation, although sometimes inferences made on hierarchical relations result in noise. We extend the dictionary with common sense assertions acquired during the games played with humans. The facts added to the...
-
Fluid Mechanics, LEC/LAB, EaPE (Dezhou), sem.5, winter 23/24 (PG_00059698)
e-Learning CoursesThe aim of the course is to identify and demonstrate knowledge of the major concepts of fluid mechanics.
-
Proton affinities of simple organic compounds
PublicationThe Restricted Hatree-Fock method with 6-311G** split-valence molecular orbitals basis sets has been applied to geometrical optimizations and calculations of total electronic, zero point vibrational energies and proton affinities at 298 K for small neutral and protonated alkanes, alcohols, acetic acid, methyl and ethyl acetate, acetone, and acetaldehyde. Calculated values of proton affinities are compared with experimental data.
-
An Analysis of Contextual Aspects of Conceptualization: A Case Study and Prospects
PublicationIn this chapter we present a new approach to development of modularized knowledge bases. We argue that modularization should start from the very beginning of modeling, i.e. from the conceptualization stage. To make this feasible, we propose to exploit a context-oriented, semantic approach to modularization. This approach is based on the Structural Interpretation Model (SIM) presented earlier elsewhere. In the first part of thischapter...
-
Establishing intelligent enterprise through community of practice for product innovation
PublicationThis paper presents the idea of implementing the virtual Community of Practice for Product Innovation processes towards the establishment of intelligent enterprise. Since the fourth industrial revolution is passing through the developing phase, implementation of Cyber-Physical Production Systems require more realistic approach. Knowledge Management and Engineering plays an important role in manufacturing industries facing global...
-
Experience Based Clinical Decision Support Systems: An Overview and Case Studies
PublicationThis chapter briefly overviews the evolution of the application of the Decisional DNA and the Set of Experience Knowledge Structure (SOEKS) in the medical domain and in particular in the specific case of the experience-based decision support systems. Decisional DNA, as a knowledge representation structure, offers great possibilities on gathering explicit knowledge of formal decision events as well as a tool for decision making...