Filters
total: 225
filtered: 158
Search results for: CYGARA
-
The effect of surfactants on activated sludge process
PublicationBadano wpływ anionowego surfaktantu (SDBS) na proces biologicznego oczyszczania ścieków metoda osadu czynnego. Stwierdzono, że stężenie SDBS powyżej 50 mg/l miało wyraźny wpływ na przemiany związków azotu i fosforu w czasie oczyszczania ścieków. Wpływ badanego związku na usuwanie związków organicznych (wyrażonych jako ChZT) był mniej wyraźny.
-
The effect of anionic surfactant concentration on activated sludge condition and phosphate release in biological treatment plant
PublicationThis paper discusses the influence of a wide range of anionic surfactant concentrations on activated sludge. Linear alkylbenzene sulphonate (LAS) was chosen as an example of a commonly used anionic surfactant. The fate of the surfactant during biological treatment of wastewater was tested. The effect of surfactant on glucose and starch removal was studied.
-
JeromeDL-System zarządzania bibliotekami cyfrowymi z wykorzystaniem technologii semantycznych i społecznych
PublicationPrzedstawiono system zarządzania biblioteką cyfrową JeromeDL, który powstał w wyniku współpracy pomiędzy Instytutem DERI (Narodowy Uniwersytet Irlandzki w Galway) i Politechniką Gdańską. Omowiono architekturę systemu JeromeDL. Zaprezentowano różne usługi semantyczne i społeczne dostaczone przez tą biblioteke cyfrową; w szczególności omówiono komponenty wspierajace proces wyszukiwania informacji. Przedstawiono wyniki ewaluacji porównującej...
-
Supporting Compliance with Security Standards by Trust Case Templates
PublicationTrust Cases are used to justify that a given object (a system, an infrastructure, an organization) exhibits certain properties. One of possible applications of trust cases is related to the processes of achieving and demonstrating the compliance with standards. A Trust Case Template derived from a given standard constitutes a skeleton of justification (encompassing evidence and argumentation) of the compliance with the standard....
-
Supporting compliance with safety standards by trust case templates
PublicationStandard Compliance (SC) Framework presented in this paper encompasses methods and tools which provide support for application of standards. The framework is based on trust case methodology. A trust case is a data structure which represents a justification that an object (a system, an infrastructure, an organization) exhibits certain properties. It contains an argument and related evidence which support claimed properties. A trust...
-
Extending GQM by argument structures
PublicationEffective metrics definition methods are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how the well known Goal-Question-Metric (GQM) method of systematic metrics derivation from measurement goals can be extended by applying argument structures. The proposed approach is called Goal-Argument-Metric (GAM). We briefly introduce general ideas of GQM...
-
Standard Compliance Framework for effective requirements communication
PublicationStandard Compliance Framework (SCF) is a framework, which supports application of standards at the stages of achieving, assessing and maintaining the compliance. It uses Trust Case language to develop argument structures demonstrating compliance with standards. The paper presents how SCF is applied to increase effectiveness of requirements communication. Relevant mechanisms of the framework are thoroughly described referring to...
-
Using argument structures to create a measurement plan
PublicationWhile planning an experiment the same question always arises: What are the goals of the experiment and which measurements are needed to demonstrate that the goals have been achieved? Deciding about the extent of raw data to be collected, the metrics to be constructed on those data and the interpretation of the metrics with respect to the assumed goals is by no means a trivial task. In this paper we show how a well known Gal-Question-Metrics...
-
Expert assessment of arguments: a method and its experimental evaluation
PublicationArgument structures are commonly used to develop and present cases for safety, security and other properties. Such argument structures tend to grow excessively. To deal with this problem, appropriate methods of their assessment are required. Two objectives are of particular interest: (1) systematic and explicit assessment of the compelling power of an argument, and (2) communication of the result of such an assessment to relevant...
-
Standards Conformity Framework in comparison with contemporary methods supporting standards application
PublicationAchieving and assessing conformity with standards and compliance with various sets of requirements generates significant costs for contemporary economies. Great deal of this is spent on fulfilment of safety and security requirements. However, standards application is not supported sufficiently by the tools available on the market. Therefore, Standards Conformity Framework (SCF) containing methods and tools which provide support...
-
Extending GQM by Argument Structures
PublicationEffective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how the well known Goal-Question-Metric (GQM) method of systematic metrics derivation from measurement goals can be extended by applying argument structures. The proposed approach is called Goal-Argument-Metric (GAM). The general ideas of GQM and GAM are...
-
An approach to evaluation of arguments in trust cases
PublicationTrustworthiness of IT systems can be justified using the concept of a trust case. A trust case is an argument structure which encompasses justification and evidence supporting claimed properties of a system. It represents explicitly an expert's way of assessing that a certain object has certain properties. Trust cases can be developed collaboratively on the basis of evidence and justification of varying quality. They can be complex...
-
SCF - a Framework Supporting Achieving and Assessing Conformity with Standards
PublicationStandards Conformity Framework (SCF) presented in this paper encompasses methods and tools whichprovide support for application of standards and other normative documents. The approach taken focuses ondevelopment, assessment and maintenance of an electronic document which demonstrates conformity. Sucha document contains an argument structure developed in accordance with the Trust-IT methodology. Thepaper discusses details of the...
-
Support for argument structures review and assessment
PublicationArgument structures are commonly used to develop and present cases for safety, security and for other properties of systems. Such structures tend to grow excessively, which causes problems with their review and assessment. Two issues are of particular interest: (1) systematic and explicit assessment of the compelling power of an argument, and (2) communication of the result of such an assessment to relevant recipients. The paper...
-
Zastosowanie szablonów Trust Case w pracy z normą BS 7799
PublicationTrust Case stanowi strukturę danych zawierającą argumentację oraz związany z nią materiał dowodowy uzasadniający, że interesujący nas obiekt (system, infrastruktura, organizacja) posiada wskazane własności. Wykorzystanie Trust Case do analizy i uzasadniania zaufania do systemów IT jest przedmiotem aktywnych badań. Podejście to znalazło zastosowanie w stosunku do systemów związanych z bezpieczeństwem (ang. safety critical), a ostatnio...
-
Praca z normą Common Criteria wspomagana szablonami Trust Case
PublicationTrust Case stanowi strukturę danych zawierającą argumentację oraz związany z nią materiał dowodowy uzasadniający, że interesujący nas obiekt (system, infrastruktura, organizacja) posiada wskazane własności. Metoda jest przedmiotem intensywnych badań. Jeden z kierunków rozwoju dotyczy tworzenia szablonów oceny zgodności ze standardami. Szablon Trust Case jest odwzorowaniem wymagań zawartych w normie w strukturę drzewa dowodowego....
-
Closer Look at the Uncertainty Estimation in Semantic Segmentation under Distributional Shift
PublicationWhile recent computer vision algorithms achieve impressive performance on many benchmarks, they lack robustness - presented with an image from a different distribution, (e.g. weather or lighting conditions not considered during training), they may produce an erroneous prediction. Therefore, it is desired that such a model will be able to reliably predict its confidence measure. In this work, uncertainty estimation for the task...
-
Influence of Binders and Lightweight Aggregates on the Properties of Cementitious Mortars: From Traditional Requirements to Indoor Air Quality Improvement
Publication -
REJESTRACJA, PARAMETRYZACJA I KLASYFIKACJA ALOFONÓW Z WYKORZYSTANIEM BIMODALNOŚCI
PublicationPraca dotyczy rejestracji i parametryzacji alofonów w języku angielskim z wykorzystaniem dwóch modalności. W badaniach dokonano rejestracji wypowiedzi w języku angielskim mówców, których znajomość tego języka odpowiada poziomowi rodowitego mówcy. W kolejnym etapie wyodrębnione zostały alofony z nagrań fonicznych i odpowiadające im sygnały wizyjne. W procesie tworzenia wektorów cech wykorzystano odrębne systemy parametryzacji,...
-
Is sequential batch reactor an efficient technology to protect recipient against non-steroidal anti-inflammatory drugs and paracetamol in treated wastewater?
PublicationThe tested facility was a wastewater treatment plant (WWTP) in Swarzewo, where the wastewater treatment takes place in aeration chambers with activated sludge using sequential batch reactors (SBRs). The concentration of the following pharmaceuticals: ibuprofen, paracetamol, flurbiprofen, naproxen, diclofenac, and its metabolites 5OH-diclofenac and 4OH-diclofenac was tested in influents and effluents. Simultaneously, the conventional...
-
Detection of low- and high-frequency rhythms in the variability of skin sympathetic nerve activity
Publication -
Looking through the past: better knowledge retention for generative replay in continual learning
PublicationIn this work, we improve the generative replay in a continual learning setting to perform well on challenging scenarios. Because of the growing complexity of continual learning tasks, it is becoming more popular, to apply the generative replay technique in the feature space instead of image space. Nevertheless, such an approach does not come without limitations. In particular, we notice the degradation of the continually trained...
-
High-Speed Serial Embedded Deterministic Test for System-on-Chip Designs
PublicationThe paper presents a high-speed serial interface between external tester and Embedded Deterministic Test (EDT) compression logic hosted by SoC designs. With only a single bidirectional link, the system is capable of feeding distributed heterogeneous cores with hundreds of test channels. Moreover, it synergistically supports EDT bandwidth management to improve the overall test performance. A detailed study indicates a high potential...
-
Towards an efficient multi-stage Riemann solver for nuclear physics simulations
PublicationRelativistic numerical hydrodynamics is an important tool in high energy nuclear science. However, such simulations are extremely demanding in terms of computing power. This paper focuses on improving the speed of solving the Riemann problem with the MUSTA-FORCE algorithm by employing the CUDA parallel programming model. We also propose a new approach to 3D finite difference algorithms, which employ a GPU that uses surface memory....
-
Optimizing the computation of a parallel 3D finite difference algorithm for graphics processing units
PublicationThis paper explores the possibilities of using a graphics processing unit for complex 3D finite difference computation via MUSTA‐FORCE and WENO algorithms. We propose a novel algorithm based on the new properties of CUDA surface memory optimized for 2D spatial locality and compare it with 3D stencil computations carried out via shared memory, which is currently considered to be the best approach. A case study was performed for...
-
Using GPUs for Parallel Stencil Computations in Relativistic Hydrodynamic Simulation
PublicationThis paper explores the possibilities of using a GPU for complex 3D finite difference computation. We propose a new approach to this topic using surface memory and compare it with 3D stencil computations carried out via shared memory, which is currently considered to be the best approach. The case study was performed for the extensive computation of collisions between heavy nuclei in terms of relativistic hydrodynamics.
-
Sugar matters: sugar moieties as reactivity-tuning factors in quercetin O-glycosides
PublicationQuercetin, one of the most abundant flavonoids in plant-based foods, commonly occurs in nature in various glycosylated forms. There is still a less explored aspect regarding the cause of its glycosides diversity, depending on the sugars moiety attached. This work focuses on four widespread quercetin glycosides—hyperoside, isoquercitrin, quercitrin and rutin—by testing property-tuning capacity of different sugar moieties and thus...
-
Altered Cardiovascular Variability in Obstructive Sleep Apnea
Publication -
Adapt Your Teacher: Improving Knowledge Distillation for Exemplar-free Continual Learning
PublicationIn this work, we investigate exemplar-free class incremental learning (CIL) with knowledge distillation (KD) as a regularization strategy, aiming to prevent forgetting. KDbased methods are successfully used in CIL, but they often struggle to regularize the model without access to exemplars of the training data from previous tasks. Our analysis reveals that this issue originates from substantial representation shifts in the teacher...
-
Divide and not forget: Ensemble of selectively trained experts in Continual Learning
PublicationClass-incremental learning is becoming more popular as it helps models widen their applicability while not forgetting what they already know. A trend in this area is to use a mixture-of-expert technique, where different models work together to solve the task. However, the experts are usually trained all at once using whole task data, which makes them all prone to forgetting and increasing computational burden. To address this limitation,...
-
Editorial: Multiple Identities Management: Effects on (of) Identification, Attitudes, Behavior and Well-Being
Publication -
Radiosensitization of DNA in presence of Pt(II)-based compounds
PublicationX-ray irradiation of plasmid DNA in presence of platinum (II)-based compounds was carried out in order to assess the radiosensitization capabilities of these drugs. In present investigations pBR322 plasmid DNA was used to monitor the effectiveness of chosen compounds in inducing strand breaks. Samples were incubated in the presence of potential radiosensitisers: platinum (II) bromide and cis-diamminedibromoplatinum (II). The results...
-
Zanieczyszczenie metalami ciężkimi osadów dennych małych miejskich zbiorników wodnych.
PublicationW pracy przedstawiono badania zawartości sześciu metali ciężkich (cynku, miedzi, ołowiu, niklu, chromu i kadmu) w osadach dennych zbiorników miejskich zlokalizowanych w Gdańsku. Wyniki wskazują na znaczne różnice w zawartości metali w osadach różnych zbiorników zależnie od ich lokalizacji. Zawartość cynku wahała się w zakresie 31,9÷254,4 mg/kg s.m., miedzi 5,20÷338,5 mg/kg s.m., ołowiu 10,3÷103,7 mg/kg s.m., niklu 5,9÷17,5 mg/kg...
-
Building a heterogeneous network of digital libraries on the Semantic Web
PublicationBiblioteki dążą do skupiania się w grupy, które poza lokalnym wyszukiwaniem pozwalają na wyszukiwanie zasobów w pozostałych bibliotekach cyfrowych. Jednakże różne typy użytkowników zapoczątkowały różne rodzaje bibliotek. W niniejszym artykule przedstawiamy jak obecnie odbywa się komunikacja między bibliotekami cyfrowymi. Prezentujemy również w jaki sposób technologie Semantic Web mogą pomóc w rozwiązaniu problemów heterogenicznych...
-
Towards Cancer Patients Classification Using Liquid Biopsy
PublicationLiquid biopsy is a useful, minimally invasive diagnostic and monitoring tool for cancer disease. Yet, developing accurate methods, given the potentially large number of input features, and usually small datasets size remains very challenging. Recently, a novel feature parameterization based on the RNA-sequenced platelet data which uses the biological knowledge from the Kyoto Encyclopedia of Genes and Genomes, combined with a classifier...
-
Mo93m isomer depletion via nuclear excitation by electron capture in resonant transfer into highly excited open-shell atomic states
Publication -
Representing and appraising Toulmin model arguments in trust cases
PublicationThe paper presents a Toulmin-based argument model used in trust cases, which allows to argue various properties of IT systems. Argument patterns encountered in trust cases are discussed together with some real-life examples. A method of argument appraisal is introduced together with the corresponding aggregation mechanism. Practical applications of trust cases in industrial and research projects are outlined.
-
Argument strategies and patterns of the Trust-IT framework
PublicationArtykuł dotyczy metodologicznego i narzędziowego środowiska Trust-IT wspierającego budowę dowodów zaufania (ang. trust case), a w szczególności strategii tworzenia dowodu zaufania. Strategia uzależniona jest od właściwości systemu (lub innego rozważanego obiektu), która podlega analizie w ramach dowodu zaufania. W artykule zaprezentowano dwie strategie: oparta na ryzyku i oparta na standardach oraz omówiono kilka często stosowanych...
-
Characterization and Filtration Efficiency of Sustainable PLA Fibers Obtained via a Hybrid 3D-Printed/Electrospinning Technique
PublicationThe enormous world demand for personal protective equipment to face the current SARS-CoV-2 epidemic has revealed two main weaknesses. On one hand, centralized production led to an initial shortage of respirators; on the other hand, the world demand for single-use equipment has had a direct and inevitable effect on the environment. Polylactide (PLA) is a biodegradable, biocompatible, and renewable thermoplastic polyester, mainly...
-
Relativistic hydrodynamics on graphics processing units
Publication -
System automatycznego dowiązania geograficznego i korekcji geometrycznej danych AVHRR
PublicationStandardowe procedury pozwalające na dowiązanie geograficzne zdjęć z satelitów meteorologicznych z serii Tiros N/NOAA, przy użyciu modelu predykcji orbity satelitarnej, obarczone są błędami. Związane są one z niedokładnym wyznaczeniem pozycji satelity, a także z nieznajomością dokładnej jego orientacji względem Ziemi. Z tych powodów błędy dowiązania geograficznego wynoszą zwykle kilka kilometrów, a w...
-
Designing Atomic Resonance Conditions for $^{93m}$Mo Isomer Depletion Via Nuclear Excitation by Electron Capture in a Beam-based Scenario for Selected Targets
Publication -
Resonance conditions for Mo93m isomer depletion via nuclear excitation by electron capture in a beam-based scenario
Publication -
$^{93m}$Mo Isomer Depletion via Nuclear Excitation by Electron Capture: Energy Released for Different Atomic Subshells as Benchmarks for a Beam-based Scenario Approach
Publication -
Beam-based scenario for Am242m isomer depletion via nuclear excitation by electron capture
Publication -
Studies of Optimal Conditions for Depletion of the $^{110m}$Ag Isomer Via Nuclear Excitation by Electron Capture in a Beam-based Scenario
Publication -
Novel Approach to Mo93m Isomer Depletion: Nuclear Excitation by Electron Capture in Resonant Transfer Process
Publication -
Optical properties of Eu(III) and Tb(III) complexes with pyridine- and quinoline- based ligands under high hydrostatic pressure
Publication -
Deep Learning-Based, Multiclass Approach to Cancer Classification on Liquid Biopsy Data
Publication -
Cross-Lingual Knowledge Distillation via Flow-Based Voice Conversion for Robust Polyglot Text-to-Speech
PublicationIn this work, we introduce a framework for cross-lingual speech synthesis, which involves an upstream Voice Conversion (VC) model and a downstream Text-To-Speech (TTS) model. The proposed framework consists of 4 stages. In the first two stages, we use a VC model to convert utterances in the target locale to the voice of the target speaker. In the third stage, the converted data is combined with the linguistic features and durations...