Wyszukiwarka
Filtry
wszystkich: 2291
wybranych: 1966
-
Katalog
- Publikacje 1966 wyników po odfiltrowaniu
- Czasopisma 56 wyników po odfiltrowaniu
- Konferencje 48 wyników po odfiltrowaniu
- Osoby 67 wyników po odfiltrowaniu
- Projekty 5 wyników po odfiltrowaniu
- Kursy Online 85 wyników po odfiltrowaniu
- Wydarzenia 4 wyników po odfiltrowaniu
- Dane Badawcze 60 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: zero-knowledge proof
-
Alternative Modeling of Volunteer Based Systems
PublikacjaThe canonical approach to model a flow of a voluntary based computing, as presented in Chapter 7 may tax the capacity of the simulator, especially when a more complex model of Voluntary Computing, proposed in [1], is used which would imply that, for typical heterogeneous groups of volunteers, several thousands of threads would have to be run inside the simulator, to mimic closely the behaviour of every volunteer. This chapter presents...
-
The Maslov index and the spectral flow—revisited
PublikacjaWe give an elementary proof of a celebrated theorem of Cappell, Lee and Miller which relates the Maslov index of a pair of paths of Lagrangian subspaces to the spectral flow of an associated path of self-adjoint first-order operators. We particularly pay attention to the continuity of the latter path of operators, where we consider the gap-metric on the set of all closed operators on a Hilbert space. Finally, we obtain from Cappell,...
-
Building collective intelligence through experience: a survey on the use of the KREM model
PublikacjaThis article presents a survey on the use of KREM, a generic knowledge-based framework for building collective intelligence through experience. After a discussion on the disadvantages of the traditional architecture used to deploy intelligent systems, the KREM architecture (Knowledge, Rules, Experience, Meta-Knowledge) is presented. The novelty of the proposal comes from the inclusion of the capitalisation of experience and the...
-
Otopy Classification of Gradient Compact Perturbations of Identity in Hilbert Space
PublikacjaWe prove that the inclusion of the space of gradient local maps into the space of all local maps from Hilbert space to itself induces a bijection between the sets of the respective otopy classes of these maps, where by a local map we mean a compact perturbation of identity with a compact preimage of zero.
-
Manufacturing collective intelligence by the means of Decisional DNA and virtual engineering objects, process and factory
PublikacjaEngineering collective intelligence is paramount in current industrial times. This research proposes and presents case studies for collective knowledge structures required in the industry field. Knowledge structures such as Set of Experience and Decisional DNA are extended into more advanced knowledge structures for manufacturing processes. These structures are called Virtual Engineering Object, Virtual Engineering Process and...
-
Decisional DNA based framework for representing Virtual Engineering Objects
PublikacjaIn this paper, we propose a frame-work to represent the Virtual Engineering Objects (VEO) utilizing Set of Knowledge Experience Structure (SOEKS) and Decisional DNA. A VEO will enable the discovery of new knowledge in a manufacturing unit and the generation of new rules that drive reasoning. The proposed VEO framework will not only be knowledge based representation but it will also have its associated experience embedded within...
-
Analiza i badania systemu antyspoofingowego GPS
PublikacjaArtykuł dotyczy problemu spoofingu w systemie GPS, polegającego na niepowołanej transmisji sygnałów imitujących sygnały odbierane z satelitów GPS. Takie działanie prowadzi do wyznaczenia przez odbiornik nawigacyjny nieprawidłowego położenia, prędkości i czasu. Zostały opisane metody przeciwdziałania spoofingowi, w szczególności poprzez przestrzenne przetwarzanie sygnałów. Przedstawiono wyniki badań symulacyjnych efektywności tych...
-
Smart Innovation Engineering Using Set of Experience and Decisional DNA
PublikacjaKnowledge-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. Since the fourth industrial revolution is passing through the developing phase, implementation of Cyber-Physical Production Systems require more realistic approach. Knowledge Management and Knowledge Engineering plays an important role in manufacturing industries facing...
-
Fast Low-fidelity Wing Aerodynamics Model for Surrogate-Based Shape Optimization
PublikacjaVariable-fidelity optimization (VFO) can be efficient in terms of the computational cost when compared with traditional approaches, such as gradient-based methods with adjoint sensitivity information. In variable-fidelity methods, the directoptimization of the expensive high-fidelity model is replaced by iterative re-optimization of a physics-based surrogate model, which is constructed from a corrected low-fidelity model. The success...
-
CONSUMERS’ APPROACH TO THE CREDIBILITY OF THE INFLATION FORECASTS PUBLISHED BY CENTRAL BANKS: A NEW METHODOLOGICAL SOLUTION
PublikacjaModern monetary policy focuses on credibility and shaping inflation expectations. In keeping with the concept of inflation forecast targeting, the inflation forecasts published by central banks play a crucial role in the instrument rate decision-making process and may be treated as a specific intermediate target. This study proposes an inflation forecast credibility index, the scope of which is narrowed to non-specialists’ approach...
-
Voice Multilateration System
PublikacjaThis paper presents an innovative method of locating airplanes, which uses only voice communication between an air traffic controller and the pilot of an aircraft. The proposed method is described in detail along with its practical implementation in the form of a technology demonstrator (proof of concept), included in the voice communication system (VCS). A complete analysis of the performance of the developed method is presented,...
-
Toward Smart Innovation Engineering: Decisional DNA-Based Conceptual Approach
PublikacjaABSTRACT Knowledge and experience are essential requirements for product innovation. The presented paper proposes a systematic approach for product innovation support using a Smart Knowledge Management System comprising a Set of Experience Knowledge Structure (SOEKS) and Decisional DNA (DDNA). This proposed system is dynamic in nature because it updates itself every time a new decision related to innovation is made. Through this...
-
EXPERIENCE-ORIENTED SMART EMBEDDED SYSTEM
PublikacjaThe Experience-Oriented Smart Embedded System (EOSES) is proposed as a new technological platform providing a common knowledge management approach that allows mass embedded systems for experiential knowledge capturing, storage, involving, and sharing. Knowledge in the EOSES is represented as SOEKS, and organized as Decisional DNA. The platform is mainly based on conceptual principles from Embedded Systems and Knowledge Management....
-
Experience oriented enhancement of smartness for Internet of Things
PublikacjaIn this paper, we propose a novel approach, the Experience-Oriented Smart Things that allows experiential knowledge discovery, storage, involving, and sharing for Internet of Things. The main features, architecture, and initial experiments of this approach are introduced. Rather than take all the data produced by Internet of Things, this approach focuses on acquiring only interesting data for its knowledge discovery process. By...
-
Experience based decisional DNA to support smart product design
PublikacjaThis paper presents the idea of Smart Virtual Product Development (SVPD) system to support product design. The foundations of the system are based upon smart knowledge management techniques called Set of Experience Knowledge Structure (SOEKS) and Decisional DNA (DDNA). It enhances the industrial product development process by using the previous experiential knowledge gathered from the formal decisional activities. This experiential...
-
Acoustic streaming caused by some types of aperiodic sound. Buildup of acoustic streaming
PublikacjaThe analysis of streaming caused by aperiodic sound of different types (switched on at transducer sound or sound determined by initial conditions) is undertaken. The analysis bases on analytical governing equation for streaming Eulerian velocity, which is a result of decomposition of the hydrodynamic equations into acoustic and non-acoustic parts. Its driving force (of acoustic nature) represents a sum of two terms; one is the...
-
About definition of modes and magnetosonic heating in a plasma’s flow: Especial cases of perpendicular and nearly perpendicular wave vector and magnetic field
PublikacjaDynamics of hydrodynamic perturbations in a plasma depend strongly on an angle between the wave vector and equilibrium straight magnetic field. The case of perpendicular propagation is especial. There are only two (fast) magnetosonic modes since two (slow) ones degenerate into the stationary one with zero speed of propagation. This demands individual definition of wave modes by the links of hydrodynamic relations. These links are...
-
Is it possible to create a unified urban greenery management system (UGMS) on a national scale? The concept for EU Member State of Poland
PublikacjaMotives: Currently developed urban greenery management systems (UGMS) are limited in scope and profiled towards solving particular issues. Moreover, due to the lack of common standards and solutions, UGMS implementation requires considerable financial effort, which is only feasible for wealthy urban centres. There is a need for universal, cost-effective technological solutions which could constitute a common urban green infrastructure...
-
Developing an Ontology from Set of Experience KnowledgeStructure
PublikacjaWhen referring to knowledge forms,collecting for all decision eventsin a knowledge-explicit way becomes a significant ask for any company. Set of experience knowledge structure can assis in accomplishing this purpose.However,after collecting,distributing and sharing that knowledge as adecisional DNA is even a more important advance.Distributing and sharing companies' decisional DNA through an efficient development of Ontologies...
-
Practical realisation of new method of synchronization for controlled rectifier.
PublikacjaW 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
PublikacjaKsiąż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.
-
Low-Cost Surrogate Models for Microwave Filters
PublikacjaA 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.
-
A Study on Influence of Normalization Methods on Music Genre Classification Results Employing kNN Algorithms
PublikacjaThis 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.
-
Mountain pass type periodic solutions for Euler–Lagrange equations in anisotropic Orlicz–Sobolev space
PublikacjaUsing 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.
-
Ab initio and density functional theory calculations of proton affinities for volatile organic compounds
PublikacjaThe 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.
-
Intrinsic asymmetry with respect to adversary: a new feature of Bell inequalities
PublikacjaIt 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...
-
Limiting distribution of Lempel Ziv'78 redundancy
PublikacjaWe 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
PublikacjaWe 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....
-
Low-coherence photonic method of electrochemical processes monitoring
PublikacjaWe 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...
-
On the Existence of Homoclinic Type Solutions of a Class of Inhomogenous Second Order Hamiltonian Systems
PublikacjaWe 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...
-
Concept of the agent system for the information technology evaluation
PublikacjaIn 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
PublikacjaSet 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
PublikacjaMetamaterials (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...
-
Decisional DNA for modeling and reuse of experiential clinical assessments in breast cancer diagnosis and treatment
PublikacjaClinical 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
PublikacjaThis 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
PublikacjaDesign/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...
-
Modern Platform for Parallel Algorithms Testing: Java on Intel Xeon Phi
PublikacjaParallel 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
PublikacjaResults 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
PublikacjaIn 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...
-
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
PublikacjaArtificial 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...
-
Virtual Engineering Object (VEO): Toward Experience-Based Design and Manufacturing for Industry 4.0
PublikacjaIn 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...
-
Implementing Smart Virtual Product Development (SVPD) to Support Product Manufacturing
PublikacjaThis 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
PublikacjaAcoustic 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...
-
Bringing Common Sense to WordNet with a Word Game
PublikacjaWe 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...
-
Interpolator wykorzystujący filtr z maskowaniem charakterystyki częstotliwościowej
PublikacjaInterpolator 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...
-
Proton affinities of simple organic compounds
PublikacjaThe 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
PublikacjaIn 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...
-
Prototyp modelu transformacji organizacji informatycznych
PublikacjaCelem pracy jest propozycja budowy i wykorzystania modeli transformacji organizacji informatycznych mogących znaleźć zastosowanie w osiąganiu określonych poziomów dojrzałości zgodnych ze standardami CMMI (ang. Capability Maturity Model Integration) Niniejszy tekst opisuje środowisko zaproponowanego przez autorów modelu SITAR (ang Simple IT Transformation AdvisoR). Model ten bazujący na wiedzy i doświadczeniu autorów został zaimplementowany...
-
An Analog Sub-Miliwatt CMOS Image Sensor With Pixel-Level Convolution Processing
PublikacjaA new approach to an analog ultra-low power medium-resolution vision chip design is presented. The prototype chip performs low-level image processing algorithms in real time. Only a photo-diode, MOS switches and two capacitors are used to create an analog processing element (APE) that is able to realize any convolution algorithm based on a full 3x3 kernel. The proof-of-concept circuit is implemented in 0.35 µm CMOS technology,...
-
Texture Features for the Detection of Playback Attacks: Towards a Robust Solution
PublikacjaThis paper describes the new version of a method that is capable of protecting automatic speaker verification (ASV) systems from playback attacks. The presented approach uses computer vision techniques, such as the texture feature extraction based on Local Ternary Patterns (LTP), to identify spoofed recordings. Our goal is to make the algorithm independent from the contents of the training set as much as possible; we look for the...