Filters
total: 1212
filtered: 1028
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: distributed representations
-
On the Transcendental Philosophy in the Light of the Kantian Aggregate - System Opposition
PublicationTh e article represents an attempt to determine the essence of critical philosophy in the light of Kantian distinction between aggregate and system. In order to achieve this, the article harks back to Kant’s work and to accomplishments of Marburg School of neo-Kantianism and particularly to Ernst Cassirer’s philosophy. Discrimination between aggregate and system as two possible types of knowledge representation rests on the precedent...
-
The equivariant spectral flow and bifurcation of periodic solutions of Hamiltonian systems
PublicationWe define a spectral flow for paths of selfadjoint Fredholm operators that are equivariant under the orthogonal action of a compact Lie group as an element of the representation ring of the latter. This G-equivariant spectral flow shares all common properties of the integer valued classical spectral flow, and it can be non-trivial even if the classical spectral flow vanishes. Our main theorem uses the G-equivariant spectral flow...
-
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...
-
Modeling of Performance, Reliability and Energy Efficiency in Large-Scale Computational Environment
PublicationLarge scale of complexity of distributed computational systems imposes special challanges for prediction of quality in such systems.Existing quality models for lower-scale systems include functionality,performance,reliability,flexibility and usability.Among these attributes,performance and reliability have a particular significance to the large-scale systems computing quality modeling due to their strong dependence on the system...
-
A Point Set Connection Problem for Autonomous Mobile Robots in a Grid
PublicationConsider an orthogonal grid of streets and avenues in a Manhattan-like city populated by stationary sensor modules at some intersections and mobile robots that can serve as relays of information that the modules exchange, where both module-module and module-robot communication is limited to a straight line of sight within the grid. The robots are oblivious and move asynchronously. We present a distributed algorithm that, given...
-
Search for the most useful geometry of an acoustic journal bearing
PublicationComputer simulations of a number of journal bearing’s geometries utilising acoustic levitation were carried out. The choice of the best geometry depended on the ability of a deformed shape, created by piezo-electric elements, to facilitate squeeze film ultrasonic levitation, and also to create three evenly distributed diverging aerodynamic gaps. Deformations of analysed variants of the bearing’s shape were generated by numerical...
-
Suitability of LoRaWAN Technology for the Development of Maritime Applications
PublicationThe LoRaWAN Technology opens new possibilities for gathering and analysis of distributed data. In the paper we concentrate on its maritime usability which was tested by us in the period from June to August 2018. Measurements of the LoRaWAN network coverage in the Bay of Gdansk area were carried out. Various conditions and places were tested. The research was planned in such a way as to gradually increase the range and control the...
-
Acceptance Testing of Software Products for Cloud-Based On-Line Delivery
PublicationSoftware products intended for on-line delivery by distributors serving an open community of subscribers are developed in a specific life-cycle model, in which roles of the major stakeholders are strongly separated, unlike in any other software development model known in software engineering. Its specificity underlines the fact that a distributor of the final product, responsible for its acceptance for publication and delivery...
-
Systems, Environments, and Soliton Rate Equations: Toward Realistic Modeling
PublicationIn order to solve a system of nonlinear rate equations one can try to use some soliton methods. The procedure involves three steps: (1) find a ‘Lax representation’ where all the kinetic variables are combined into a single matrix ρ, all the kinetic constants are encoded in a matrix H; (2) find a Darboux–Bäcklund dressing transformation for the Lax representation iρ˙=[H,f(ρ)], where f models a time-dependent environment; (3) find...
-
Application of autoencoder to traffic noise analysis
PublicationThe aim of an autoencoder neural network is to transform the input data into a lower-dimensional code and then to reconstruct the output from this code representation. Applications of autoencoders to classifying sound events in the road traffic have not been found in the literature. The presented research aims to determine whether such an unsupervised learning method may be used for deploying classification algorithms applied to...
-
Resource constrained neural network training
PublicationModern applications of neural-network-based AI solutions tend to move from datacenter backends to low-power edge devices. Environmental, computational, and power constraints are inevitable consequences of such a shift. Limiting the bit count of neural network parameters proved to be a valid technique for speeding up and increasing efficiency of the inference process. Hence, it is understandable that a similar approach is gaining...
-
Szacowanie estymaty menzurandu temperatury skóry człowieka podczas próby wysiłkowej
PublicationW artykule zaprezentowano wyniki pomiarów temperatury skóry człowieka podczas próby wysiłkowej. Ponieważ uzyskane wyniki nie podlegają rozkładowi normalnemu, wyznaczono wartości pięciu różnych estymatorów menzurandu. Otrzymane rezultaty wykazały, że w rozważanym przypadku najlepszy estymator menzurandu otrzymujemy z metody bootstrap, ponieważ charakteryzuje się on najmniejszym odchyleniem standardowym.
-
Modeling of Performance, Reliability and Energy Efficiency in Large-Scale Computational Environments
PublicationLarge scale of complexity of distributed computational systems imposes special challenges for prediction of quality in such systems. Existing quality models for lower-scale systems include functionality, performance, reliability, flexibility and usability. Among these attributes, performance and reliability have a particular significance to the large-scale systems computing quality modeling due to their strong dependence on the...
-
Scalable Maintenance of Address Mapping and Autodetecion in Environments Where Agents are Uncapable of Self-Registration
PublicationWhen working with multi-agent systems it is often desirable to manage the agent set. The existing methods of central monitoring stems from two different fields of application. The first has its roots in in computer network monitoring, the other in mutli-agent simulation environments. Both approaches are not general enough to cater for loosely controlled environments, where the total agent population is not known and often fluctuating,...
-
Data Partitioning and Task Management in the Clustered Server Layer of the Volunteer-based Computation System
PublicationWhile the typical volunteer-based distributed computing system focus on the computing performance, the Comcute system was designed especially to keep alive in the emergency situations. This means that designers had to take into account not only performance, but the safety of calculations as well. Quadruple-layered architecture was proposed to separate the untrusted components from the core of the system. The main layer (W) consists...
-
Software tool for modelling of mechatronic systems with elastic continua
PublicationThe paper presents a systematic computational package for modelling and analysis of complex systems composed of multiple lumped and distributed parameter subsystems. The constructed computer program enables the frequency domain analysis of a class of linear systems and to obtain reduced order model in the form of bond graph. Obtained modal bond graph can be directly exported into 20-Sim package to further processing including nonlinear...
-
Determinants of Firm Innovation in Indonesia: The Role of Institutions and Access to Finance
PublicationThis paper investigates the determinants of firm innovation in Indonesia. Using quality of local regulations index constructed by the Indonesia’s Regional Autonomy Watch (KPPOD) as measure of institutions, We found that better institutional quality at the local level was associated with more innovation and that firms experiencing major obstacle in access to finance were less likely to innovate. Access to finance is more critical...
-
An Empirical Model for the Polarisation Characteristics of Indoor Off-Body Channels
PublicationThis paper presents an analysis of the polarisation characteristics for the channel in dynamic off-body communications, and an empirical channel model, based on measurements performed at 2.45 GHz in an office environment. Body presence and propagation conditions have a strong influence on signal depolarisation. The model assumes three components for the total path loss: mean path loss, represented by a log-distance function with...
-
Optimization of the System for Determining the Volume of Tissue Needed for Breast Reconstruction
PublicationThis article presents techniques for reconstructing surfaces and volume calculations using a point cloud generated from 3D imaging. The main objective of this article was to optimize the voxel size for the most accurate representation of the surface of the female breast. We experimented with different methods for determining volume using images from the Intel D435i camera. In addition, we designed application and measurement station...
-
Towards Emotion Acquisition in IT Usability Evaluation Context
PublicationThe paper concerns extension of IT usability studies with automatic analysis of the emotional state of a user. Affect recognition methods and emotion representation models are reviewed and evaluated for applicability in usability testing procedures. Accuracy of emotion recognition, susceptibility to disturbances, independence on human will and interference with usability testing procedures are...
-
Expedited Multi-Objective Design Optimization of Miniaturized Microwave Structures Using Physics-Based Surrogates
PublicationIn this paper, a methodology for fast multi-objective design optimization of compact microwave circuits is presented. Our approach exploits an equivalent circuit model of the structure under consideration, corrected through implicit and frequency space mapping, then optimized by a multi-objective evolutionary algorithm. The correction/optimization of the surrogate is iterated by design space confinement and segmentation based on...
-
Standardy Profesjonalnego Public Relations
Publication" Standardy przedstawiają wartości i pryncypia uzasadniające konieczność dokonywania odpowiednich wyborów. Public relations ma godzić interesy zleceniodawców, przedstawicieli mediów i różnych grup społeczeństwa, a przy tym pozostawać w zgodzie z normami etycznymi i odwoływać się do takich wartości jak szacunek, godność, rzetelność, uczciwość, prawda, wiarygodność, niezależność, lojalność i zaufanie. Opracowanie "Standardów profesjonalnego...
-
Design and Evaluation of the Compact and Autonomous Energy Subsystem of a Wave Energy Converter
PublicationThis paper presents the results of the design process focused on the development of the energy subsystem (ES) of a wave energy converter (WEC). The ES is an important electrical part that significantly affects the energy reliability and energy efficiency of the entire WEC device. The designed ES was intended for compact WECs powering IoT network devices working in the distributed grid. The developed ES is an electronic circuit...
-
Reliability Analysis of Data Storage Using Survival Signature and Logic Differential Calculus
PublicationThe Data storage system is an important part of any information system. All the necessary data that must be available for the successful operation of the information system are stored here. Therefore, it is advisable to think about the reliability of such a data storage system. As part of reliability engineering, it is possible to perform a reliability analysis of any system. Therefore, the data storage system can be analyzed as...
-
Information retrieval with semantic memory model
PublicationPsycholinguistic theories of semantic memory form the basis of understanding of natural language concepts. These theories are used here as an inspiration for implementing a computational model of semantic memory in the form of semantic network. Combining this network with a vector-based object-relation-feature value representation of concepts that includes also weights for confidence and support, allows for recognition of concepts...
-
A quasi-2D small-signal MOSFET model - main results
PublicationDynamic properties of the MOS transistor under small-signal excitation are determined by kinetic parameters of the carriers injected into the channel, i.e., the low-field mobility, velocity saturation, mobility at the quiescent-point (Q-point), longitudinal electric field in the channel, by dynamic properties of the channel, as well as by an electrical coupling between the perturbed carrier concentration in the channel and the...
-
Implementation of Addition and Subtraction Operations in Multiple Precision Arithmetic
PublicationIn this paper, we present a digital circuit of arithmetic unit implementing addition and subtraction operations in multiple-precision arithmetic (MPA). This adder-subtractor unit is a part of MPA coprocessor supporting and offloading the central processing unit (CPU) in computations requiring precision higher than 32/64 bits. Although addition and subtraction operations of two n-digit numbers require O(n) operations, the efficient...
-
Model otwartej architektury rozproszonych dokumentów elektronicznych wspierającej proces podejmowania decyzji w trybie obliczeń zespołowych
PublicationModel otwartej architektury mobilnych dokumentów interaktywnych MIND, został opracowany w celu efektywnego zarządzania informacją w procesach podejmowanych przez organizacje oparte na wiedzy. Architektura ta stanowi całościowy opis struktury i funkcjonalności dokumentu, zaprojektowanego w celu realizacji rozproszonego przetwarzania zespołowego i pracy grupowej. Umożliwia automatyczne przejście od statycznej postaci dokumentów...
-
Assessing the time effectiveness of trust management in fully synchronised wireless sensor networks
PublicationThe paper presents the results of the time effectiveness assessment of the distributed WSN Cooperative Trust Management Method - WCT2M in a fully synchronized Wireless Sensor Network (WSN). First we introduce some basic types of synchronization patterns in WSN based on the idea of sleep scheduling. Then we explain how WCT2M works in the network applying the fully synchronized sleep scheduling pattern. Such networks were subjected...
-
A Concept of Modeling and Optimization of Applications in Large Scale Systems
PublicationThe chapter presents the idea that includes modeling and subsequent optimization of application execution on large scale parallel and distributed systems. The model considers performance, reliability and power consumption. It should allow easy modeling of various classes of applications while reflecting key parameters of both the applications and two classes of target systems: clusters and volunteer based systems. The chapter presents...
-
Cyanobacterial and Algal Strains in the Culture Collection of Baltic Algae (CCBA)
PublicationThe dataset titled Microalgal strains from “Culture Collection of Baltic Algae (CCBA)” is a representation of cyanobacterial and microalgal cultures isolated from the Baltic Sea. It is a unique catalogue of strains of the dominant and rare species found in the Baltic phytoplankton and microphytobenthos assemblages. The main purpose of the collection is to extend the knowledge on the Baltic microbial communities by providing...
-
KEMR-Net: A Knowledge-Enhanced Mask Refinement Network for Chromosome Instance Segmentation
PublicationThis article proposes a mask refinement method for chromosome instance segmentation. The proposed method exploits the knowledge representation capability of Neural Knowledge DNA (NK-DNA) to capture the semantics of the chromosome’s shape, texture, and key points, and then it uses the captured knowledge to improve the accuracy and smoothness of the masks. We validate the method’s effectiveness on our latest high-resolution chromosome...
-
The Use of an Autoencoder in the Problem of Shepherding
PublicationThis paper refers to the problem of shepherding clusters of passive agents consisting of a large number of objects by a team of active agents. The problem of shepherding and the difficulties that arise with the increasing number of data describing the location of agents have been described. Several methods for reducing the dimensionality of data are presented. Selected autoencoding method using a Restricted Boltzmann Machine is...
-
Zastosowanie audytu wewnętrznego u operatorów produkcyjnych w zapobieganiu kryzysom-studium przypadku
PublicationGłównym tematem artykułu była analiza badań przeprowadzonych u producenta farb proszkowych przedsiębiorstwa X, w zakresie zastosowania audytu wewnętrznego, jako metody pozwalającej na zapobieganie pojawienia się kryzysu. Właściwa współpraca operatorów produkcyjnych z menedżerami ma kluczowe zna-czenie dla budowy właściwej pozycji audytu wewnętrznego w przedsiębiorstwie X. Brak należytej współpracy na etapie badań, przy braku...
-
An integrated framework for security protocol analysis
PublicationAssurance of security protocols needs particular attention. Flaws in a protocol can devastate security of the applications that rely on it. Analysis of the protocols is difficult and it is recommended that formal methods are employed to provide for higher levels of assurance. However, the formal methods can cover only a part of the scope of the problem. It is important that the formal models are valid representations of the protocol...
-
Bezpieczeństwo funkcjonalne i ochrona informacji w obiektach i systemach infrastruktury krytycznej - analiza i ocena
PublicationW niniejszym rozdziale monografii przedstawiono bardzo aktualną problematykę związaną z analizą bezpieczeństwa funkcjonalnego rozproszonych systemów sterowania i automatyki zabezpieczeniowej w obiektach infrastruktury krytycznej, wykorzystujących przemysłową sieć komputerową, z uwzględnieniem zagadnień ochrony informacji. W obiektach tego typu systemy sterowania i automatyki zabezpieczeniowej są projektowane jako systemy rozproszone,...
-
Saccharides
PublicationSaccharides are widely distributed in nature as the major component of fruits and vegetables (primarily monosaccharides), milk and malt (mainly disaccharides), and grains (mostly polysaccharides). They are an important source of energy, structural material, as well as flavor and taste factors. Molecules of this class of compounds contain mainly carbon, hydrogen, and oxygen atoms; however, most natural saccha- rides do not have...
-
Visual Data Encryption for Privacy Enhancement in Surveillance Systems
PublicationIn this paper a methodology for employing reversible visual encryption of data is proposed. The developed algorithms are focused on privacy enhancement in distributed surveillance architectures. First, motivation of the study performed and a short review of preexisting methods of privacy enhancement are presented. The algorithmic background, system architecture along with a solution for anonymization of sensitive regions of interest...
-
Miniaturized impedance analyzer using AD5933
PublicationThe paper presents the analyzer allowing to measure impedance in a range of 10 ohms <|Zx|<10 Gohms in a wide frequency range from 10 mHz up to 100 kHz. The device specific features are: miniaturization, low power consumptions and the use of impedance measurement method based on DSP. These features were possible thanks to the use of newest generation of large scale integration chips: e.g. „system on a chip” microsystems (AD5933)...
-
The modelling method of discrete-continuous systems
PublicationThe paper introduces a method of discrete-continuous systems modelling. In the proposed method a three-dimensional system is divided into finite elements in only two directions, with the third direction remaining continuous. The thus obtained discrete-continuous model is described by a set of partial differential equations. General difference equations of discrete system are obtained using the rigid finite element method. The limit...
-
Miniaturized impedance analyzer using AD5933
PublicationThe paper presents the analyzer allowing to measure impedance in a range of 10 ohms <|Zx|<10 Gohms in a wide frequency range from 10 mHz up to 100 kHz. The device specific features are: miniaturization, low power consumptions and the use of impedance measurement method based on DSP. These features were possible thanks to the use of newest generation of large scale integration chips: e.g. „system on a chip” microsystems (AD5933)...
-
Reliable Document-Centric Processing in Loosely Coupled Email-Based Systems
PublicationEmail is a simple way to exchange digital documents of any kind. The Mobile INteractive Document architecture (MIND) enables self-coordination and self-steering of document agent systems based on commonly available email services. In this paper, a mechanism for providing integrity and reliability of such an email based agent system is proposed to cope with message soft or hard bounces, user interrupts, and other unexpected events....
-
Przegląd metod pomiaru temperatury przewodów linii napowietrznych wysokiego napięcia
PublicationW artykule przedstawiono przegląd metod pomiaru temperatury napowietrznych linii wysokiego napięcia stosowanych w celu poprawy niezawodności eksploatacji i w celu wyznaczania dopuszczalnej obciążalności linii. Omówiono system DOL dynamicznej obciążalności linii oraz bezdotykowe metody pomiaru temperatury: pomiar z użyciem pasywnych czujników SAW (ang. Surface acoustic wave sensor), DTS (distributed temperature sensing) z wykorzystaniem...
-
Improved methods for stator end winding leakage inductance calculation
PublicationCalculating the stator end-winding leakage inductance, taking into account the rotor, is difficult due to the irregular shape of the end-winding. The end-winding leakage may distribute at the end of the active part and the fringing flux of the air gap. The fringing flux belongs to the main flux but goes into the end-winding region. Then, not all the magnetic flux occurring in the end region is the end-winding leakage flux. The...
-
Virtual Engineering Object / Virtual Engineering Process: A specialized form of Cyber Physical System for Industrie 4.0
PublicationThis paper reviews the theories, parallels and variances between Virtual Engineering Object (VEO) / Virtual Engineering Process (VEP) and Cyber Physical System (CPS). VEO and VEP is an experience based knowledge representation of engineering objects and processes respectively. Cyber–physical systems (CPSs) are the next generation of engineered systems in which computing, communication, and control technologies are tightly integrated....
-
Pipelined division of signed numbers with the use of residue arithmetic for small number range with the programmable gate array
PublicationIn this work an architecture of the pipelined signed residue divider for the small number range is presented. Its operation is based on reciprocal calculation and multiplication by the dividend. The divisor in the signed binary form is used to compute the approximated reciprocal in the residue form by the table look-up. In order to limit the look-up table address an algorithm based on segmentation of the divisor into two segments...
-
Testing A Novel Gesture-Based Mixing Interface
PublicationWith a digital audio workstation, in contrast to the traditional mouse-keyboard computer interface, hand gestures can be used to mix audio with eyes closed. Mixing with a visual representation of audio parameters during experiments led to broadening the panorama and a more intensive use of shelving equalizers. Listening tests proved that the use of hand gestures produces mixes that are aesthetically as good as those obtained using...
-
Important Facts and Observations about Pairwise Comparisons (the special issue edition)
PublicationThis study has been inspired by numerous requests for clarification from researchers who often confuse Saaty’s Analytic Hierarchy Process (AHP) with the pairwise comparisons (PC) method, taking AHP as the only representation of PC. This study should be regarded as an interpretation and clarification of past investigations of PC. In addition, this article is a reflection on general PC research at a higher level of abstraction: the...
-
Hybrid fuzzy-ontological project framework of a team work simulation system
PublicationThe aim of this article is to present the project framework for constructing a Software Process Simulation Modeling (SPSM) system. SPSM systems can be used as a virtual environment for the selection of methods and tools of project management in IT support organizations. The constructed system simulates the Scrum methodology, including the management processes and the project roles. For the implementation of Scrum processes, the...
-
Dynamics analysis of footbridge mode shapes the s8 expressway on the basis of the results of in situ tests
PublicationNon-destructive diagnostics for structure may use dynamic measurements realized during vibrations of a facility induced by dynamic environmental impact, enforced by the use of inductors or impulse impact. Dynamic tests and the analysis were undertaken for a footbridge situated over the expressway S8. The studies in situ allowed for dynamic characteristics to be determined: frequency, shape modes and damping for respective frequency...