Filters
total: 3958
filtered: 3574
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: EVIDENCE-BASED ARGUMENT, ASSURANCE CASE, CONFORMANCE CASE, TOOL SUPPORT
-
Współpraca patentowa nauki i biznesu na przykładzie województwa podkarpackiego – analiza sieci / Network analysis of patent cooperation between science and business - the case of Subcarpathian region
Publication -
Wprowadzenie współczesnej architektury do muzeów etnograficznych na przykładzie Kaszubskiego Parku Etnograficznego./ The issue of intoducting contemporary architecture to ethnographic museums - Kashubian Ethmographic Park, case study
PublicationMuzea typu skansenowskiego działają opierając się na ekspozycji, która stara się możliwie wiernie nawiązywać do miejsc, z których pochodzą zbiory. Jednak rozwój muzeów, w tym etnograficznych, wynikający z oczekiwań odbiorców, powoduje że pojawiają się nowe funkcje. Muzea skansenowskie lokalizowane w krajobrazie otwartym posiadają dodatkowe możliwości wynikające ze specyfiki obszaru w jakim się znajdują. Pojawiają się szanse sytuowania...
-
Integrated approach for functional safety and cyber security management in maritime critical infrastructures
PublicationThe work is devoted important issues of the management in maritime critical infrastructure of functional safety analysis, in particular the safety integrity level (SIL) verification of safety functions to be implemented within the distributed control and protection systems with regard to cyber security aspects. A method based on quantitative and qualitative information is proposed for the SIL (IEC 61508, 61511) verification with...
-
Development of environmental analytics and monitoring. Case study - Chemical Faculty of Gdansk University of Technology (GUT) = Rozwój analityki środowiskowej i monitoringu - działalność na Wydziale Chemicznym Politechniki Gdańskiej
PublicationOstatnie dekady są okresem gwałtownego rozwoju analityki i monitoringu środowiskowego. Opracowano nowe metodyki i rozwiązania aparaturowe, co pozwoliło na lepszą oceną stanu środowiska i zachodzących w nim procesów.W tym artykule prezentowana jest działalność zespołu analitykow z Wydziału Chemicznego Politechniki Gdańskiej.
-
Metachronous adenocarcinoma in a gastric tube after radical surgery for oesophageal cancer
Publication -
Heart laceration during oesophagectomy for the treatment of oesophageal carcinoma
Publication -
Zastosowanie metody studium przypadku w kształceniu menedżerów
PublicationKształcenie z wykorzystaniem metod rozwiązywania problemów (problem-based learning) staje się coraz bardziej popularne na wszystkich poziomach kształcenia, również w edukacji biznesowej. Przykładem takiej metody jest studium przypadku (case study). Metoda studium przypadku pozwala na rozwijanie umiejętności i kompetencji wykorzystywanych przez menedżerów w ich pracy, np. umiejętności syntezy, identyfikacji problemów, czy podejmowania...
-
A Loophole of All ‘Loophole-Free’ Bell-Type Theorems
PublicationBell’s theorem cannot be proved if complementary measurements have to be represented by random variables which cannot be added or multiplied. One such case occurs if their domains are not identical. The case more directly related to the Einstein–Rosen–Podolsky argument occurs if there exists an ‘element of reality’ but nevertheless addition of complementary results is impossible because they are represented by elements from different...
-
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...
-
Identification of novel psychoactive substances 25B-NBOMe and 4-CMC in biological material using HPLC-Q-TOF-MS and their quantification in blood using UPLC–MS/MS in case of severe intoxications
PublicationThis paper describes cases of poisoning caused by new psychoactive substances such as: 25BNBOMe (2-(4-bromo-2,5-dimethoxyphenyl)-N-[(2-methoxyphenyl)methyl]ethanamine) and 4-CMC (1-(4-chlorophenyl)-2-(methylamino)-1-propanone). The analytical procedure includes rapid and selective method for the extraction and determination of 4-CMC and 25B-NBOMe in blood samples using UPLC–MS/MS technique. To the best of our knowledge,this is...
-
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...
-
Validation of Services Supporting Healthcare Standards Conformance
PublicationThe paper presents the results of experimental validation of a set of innovative software services supporting processes of achieving, assessing and maintaining conformance with standards and regulations. The study involved several hospitals implementing the Accreditation Standard promoted by the Polish Ministry of Health. First we introduce NOR-STA services that implement the TRUST-IT methodology of argument management. Then we...
-
On the possible increasing of efficiency of ship power plant with the system combined of marine diesel engine, gas turbine and steam turbine in case of main engine cooperation with the gas turbine fed in parallel and the steam turbine
PublicationW pracy przedstawiono koncepcję układu kombinowanego okrętowego dużej mocy złożonego z wiodącego silnika głównego spalinowego silnika tłokowego i skojarzonych z nim turbiny gazowej mocy i układu turbiny parowej, wykorzystujących energię zawartą w spalinach wylotowych głównego silnika spalinowego. Rozpatrzono wariant układu kombinowanego, w którym główny jest silnik tłokowy skojarzony z turbiną gazową mocy i układem turbiny parowej,...
-
On the possible increasing of efficiency of ship power plant with the system combined of marine diesel engine, gas turbine and steam turbine in case of main engine cooperation with the gas turbine fed in series and the steam turbine
PublicationW pracy przedstawiono koncepcję układu kombinowanego okrętowego dużej mocy złożonego z wiodącego silnika głównego silnika spalinowego tłokowego oraz skojarzonych z nim turbiny gazowej mocy i układu turbiny parowej, wykorzystujących energię zawartą w spalinach wylotowych silnika spalinowego. Rozpatrywano wariant układu kombinowanego, którym turbina mocy jest zasilana szeregowo spalinami wylotowymi. Podano algorytm i obliczenia...
-
Tool wear, surface roughness, cutting temperature and chips morphology evaluation of Al/TiN coated carbide cutting tools in milling of Cu–B–CrC based ceramic matrix composites
Publication -
Towards Agile Development of Critical Software
PublicationThe paper presents a case study aiming at collecting opinions of software en-gineers on the risks related to integration of agile practices to safety-critical software development projects. The study has been performed within the scope of our research targetting at providing critical software developers with a comprehensive solution allowing to incorporate agile practices into software development process while still being conformant...
-
Modeling and simulation of tool cycle in manufacturing cell
PublicationThe paper addresses issues concerning modeling and analysis of tool flow within a three-machine manufacturing cell used for small batch manufacturing of a definite spectrum of prismatic parts. The approach utilizes a method for job and tool allocation to work centers with limited number of machines and capacity of tool resources, based on the analysis of formalized relations: job - tool sets required. Selected tool flow control...
-
Functional delay fractional equations
PublicationIn this paper, we discuss functional delay fractional equations. A Banach fixed point theorem is applied to obtain the existence (uniqueness) theorem. We also discuss such problems when a delay argument has a form α(t) = αt, 0 < α < 1, by Rusing the method of successive approximations. Some existence results are also formulated in this case. An example illustrates the main result.
-
Agile Development of Critical Software - Can It be Justified?
PublicationThe paper introduces the problem of application of agile practices in critical software development projects. It summarizes the present state of research and identifies the need for having a ready-to-use model of being agile while still meeting the required assurance levels which could be particularly useful for small and medium sized safety-critical software companies. Then the objective and scope of a research aiming at delivering...
-
Przydział narzędzi obróbkowych a efektywność szeregowania zadań produkcyjnych
PublicationThe paper addresses issues concerning the analysis of tool flow within a multi-machine machining cell, designated to small batch manufacturing a definite spectrum of prismatic parts. The approach utilises a method for job and tool allocation to work centres with limited number of machines and capacity of tool resources, based on the analysis of formalised relations: job - tool sets required. Selected allocation strategies are considered...
-
Does the community-based combined Meeting Center Support Programme (MCSP) make the pathway to day-care activities easier for people living with dementia? A comparison before and after implementation of MCSP in three European countries
Publication -
Analyzing and Visualizing Government-Citizen Interactions on Twitter to Support Public Policy-making
PublicationTwitter is widely adopted by governments to communicate with citizens. It has become a major source of data for analyzing how governments communicate with citizens and how citizens respond to such communication, uncovering important insights about government-citizen interactions that could be used to support public policy-making. This article presents research that aims at developing a software tool called Twitter Analytics for...
-
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...
-
Problematyka konstrukcyjna zabytkowego obiektu przywracanego do użytkowania na przykładzie kamienicy przy ul. Staromiejskiej w Olsztynie = Structural aspects in restoring historical buildings for re-use: the case of a tenement building on Staromiejska Street in Olsztyn
PublicationThe paper discusses the issue of introducing structural changes into a historical building referring to the example of conservation work carried out in the tenement house at 6 Staromiejska in Olsztyn. Building work involved a general renovation. The paper reviews actions carried out in the restoration work, including strengthening and deepening of the foundations, introducing a post and beam system, and putting...
-
Advanced Potential Energy Surfaces for Molecular Simulation
PublicationAdvanced potential energy surfaces are defined as theoretical models that explicitly include many-body effects that transcend the standard fixed-charge, pairwise-additive paradigm typically used in molecular simulation. However, several factors relating to their software implementation have precluded their widespread use in condensed-phase simulations: the computational cost of the theoretical models, a paucity of approximate models...
-
Metoda TrustCritic oceny wiarygodności sklepów internetowych
PublicationW artykule przedstawiono metodę oceny wiarygodności sklepów internetowych TrustCritic. Powszechnie występujące nadużycia w handlu elektronicznym sprawiają, że zaufanie do przedsiębiorcy staje się kluczowym czynnikiem decyzji konsumentów. Przedsiębiorca narażony jest na niezgodność z prawem, utratę wizerunku i klientów. Artykuł omawia problematykę nadużyć w sferze e-biznesu oraz proponuje wielokryterialny model oceny sklepu internetowego,...
-
Decisional-DNA Based Smart Production Performance Analysis Model
Publicationn order to allocate resources effectively according to the production plan and to reduce disturbances, a framework for smart production performance analysis is proposed in this article. Decisional DNA based knowledge models of engineering objects, processes and factory are developed within the proposed framework. These models are the virtual representation of manufacturing resources, and with help of Internet of Things, are capable...
-
Measuring the effectiveness of digital communication - social media performance: an example of the role played by AI-assisted tools at a university
PublicationThe aim of the article is to show the role played by AI-powered tools in measuring the effectiveness of digital communication in social media using a university case study. Therefore, a research problem was formulated to identify the metrics (KPIs) used to measure the effectiveness – non-financial outcomes – of digital social media communication at the university using AI tools. The literature review on the role of AI in digital...
-
Nano-structured Pt embedded in the acidic salts of heteropolymolybdate matrices: MS XAFS study
PublicationMultiple-scattering extended X-ray absorption fine structure (MS EXAFS) study combined with TEM and XRD analysis of a novel Pt-based catalyst operating at low temperature fuel cells (FCs) is presented. Innovation in the case of the considered catalyst resides in the use of a porous inorganic matrix of acidic heteropolymolybdate salts as a catalyst support. Obtained results show the relation between the matrix composition and the...
-
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...
-
Verification of agent system for it project management support
PublicationThis article is a continuation of article series telling about research about possibility of using agent system to information technology evaluation. Following article presents full conception of exploiting agent system and shows how it can support some managers works, especially in taking correct management method and information tool for project management. In this article the agent system that based on knowledge and can process...
-
PRINCIPLES OF ARTIFICIAL INTELLIGENCE APPLICATION IN CONTROL OF THE ENTERPRISE
PublicationThe implementation of the tasks of evaluating historical financial information, the control or audit of business activities are based primarily on professional judgments about the object of study of a professional accountant or auditor. Their findings are drawn on the basis of the study of documents, the use of audit evidence, risk assessment, etc. There is always a probability (and rather high) that professional judgment will...
-
Public Participation practice versus economic pressure: transformation of the Gdansk Coastal Strip
PublicationThe paper focuses on the issue of public participation in the areas that are particularly sensitive to the transformation processes based on the case study of Gdańsk Coastal Strip. Moreover the article presents the outcome of an innovative attempt at promotion of public participation introduced in university education that was built on the experiences gathered during elaboration of the pro publico bono project of the Coastal Strip...
-
Simulation Environment in Python for Ship Encounter Situations
PublicationTo assess the risk of collision in radar navigation distance-based safety measures such as Distance at the Closest Point of Approach and Time to the Closest Point of Approach are most commonly used. Also Bow Crossing Range and Bow Crossing Time measures are good complement to the picture of the meeting situation. When ship safety domain is considered then Degree of Domain Violation and Time to Domain Violation can be applied. This...
-
Knowledge Societies Policy Library
PublicationThe Knowledge Societies Policy Library is a collection of relevant research literature, policies, indicators, case studies and other resources relevant to the development of public policies for Knowledge Societies, and to support the use of the accompanying Knowledge Societies Policy Handbook.
-
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.
-
About the Noether’s theorem for fractional Lagrangian systems and a generalization of the classical Jost method of proof
PublicationRecently, the fractional Noether's theorem derived by G. Frederico and D.F.M. Torres in [10] was proved to be wrong by R.A.C. Ferreira and A.B. Malinowska in (see [7]) using a counterexample and doubts are stated about the validity of other Noether's type Theorem, in particular ([9],Theorem 32). However, the counterexample does not explain why and where the proof given in [10] does not work. In this paper, we make a detailed analysis...
-
Asymptomatic Bacteriuria in Kidney Transplant Recipients—A Narrative Review
PublicationUrinary tract infections (UTIs) are the most prevalent complications in kidney transplant (KTx) recipients. The most frequent finding in this group of patients is asymptomatic bacteriuria (ASB). Here, we provide an overview of the available evidence regarding ASB in KTx recipients, including its etiopathology, clinical impact and management. There is a growing body of evidence from clinical trials that screening for and treating...
-
A Framework for Searching in Graphs in the Presence of Errors
PublicationWe consider a problem of searching for an unknown target vertex t in a (possibly edge-weighted) graph. Each vertex-query points to a vertex v and the response either admits that v is the target or provides any neighbor s of v that lies on a shortest path from v to t. This model has been introduced for trees by Onak and Parys [FOCS 2006] and for general graphs by Emamjomeh-Zadeh et al. [STOC 2016]. In the latter, the authors provide...
-
Basic evaluation of limb exercises based on electromyography and classification methods
PublicationSymptoms caused by cerebral palsy or stroke deprive a person partially or even completely of his ability to move. Nowadays we can observe more technologically advanced rehabilitation devices which incorporate biofeedback into the process of rehabilitation of such people. However, there is still a lack of devices that would analyse, assess, and control (independently or with limited support) specialised movement exercises. Here...
-
RACIAL COMPOSITION OF COMMUNITIES AND PARTICIPATION OF ADOLESCENTS
PublicationThe investigation used the Add Health data set to examine the association between communities’ composition with respect to race and participation in extracurricular school activities in secondary education. Results of this analysis show that the composition of adolescents’ communities matters for individuals’ participation outcomes in extracurricular school activities. The results find further support in previous research connecting...
-
Mini-Cave Automatic Virtual Environment Application in Security, Safety, and Defence Studies
PublicationThe aim of the article is to analyse the use of mini-Cave Automatic Virtual Reality Environment (mini-CAVE) in academic studies on security, safety, and defence. The literature review based on Web of Science database and the case study of the War Studies University research activities indicated the mini-CAVE can be used in two areas as a research infrastructure and as a didactic tool. It can be concluded that due to the development...
-
The KLC Cultures' Synergy Power, Trust, and Tacit Knowledge for Organizational Intelligence
PublicationThis paper examines the impact of knowledge, learning, and collaboration culturessynergy (the KLC approach) on organizational adaptability. The SEM analysis method was applied to verify the critical assumption of this paper: that the KLC approach and trust support knowledge-sharing processes (tacit and explicit) and are critical for organizational intelligence activation.Specifically, the empirical evidence, based on a 640-case...
-
Experimental study on steel columns subjected to impact load under earthquake conditions
PublicationEarthquakes affecting urbanized regions cause exceptional loads to load bearing structural elements such as columns. Such a boost in the load conditions can lead to severe damages which, in a worst case scenario, can lead to a total collapse of a building. This boost is caused by the horizontal ground movement generating a rise in the internal forces due to considerable large displacement between the top and bottom support of columns....
-
Systems of Public Higher Education in Poland and Germany. Evidence from Institution Level Data
PublicationThe chapter presents a comparative analysis of public higher education systems (HES) in Germany and Poland. Instead of limiting our study to macro indicators such as gross expenditure on higher education or R&D as per cent of GDP, we draw on the evidence based on micro data especially collected for this study and concerning individual higher education institutions (HEIs). Comparative analysis is based on a sample of 71 public...
-
Positive solutions to second-order differential equations with dependence on the first-order derivative and nonlocal boundary conditions
PublicationIn this paper, we consider the existence of positive solutions for second-order differential equations with deviating arguments and nonlocal boundary conditions. By the fixed point theorem due to Avery and Peterson, we provide sufficient conditions under which such boundary value problems have at least three positive solutions. We discuss our problem both for delayed and advanced arguments α and also in the case when α(t)=t, t∈[0,1]....
-
The accessibility, necessity, and significance of certified reference materials for total selenium content and its species to improve food laboratories' performance
PublicationMicronutrients are one of the most important groups of nutrients that our body needs daily in trace amounts to tackle deficiencies. Selenium (Se) is a mineral that occurs naturally in foods and is an essential component of selenoproteins that support the healthy functioning of the human body. Therefore, monitoring dietary Se concentrations must be a higher priority to meet daily intakes. Fulfillment can be addressed through applying...
-
Restoration and preservation of the reinforced concrete poles of fence at the former Auschwitz concentration and extermination camp
PublicationThe objective of this study was to assess the present state of the reinforced concrete poles of fence at the former Auschwitz I and Auschwitz II-Birkenau concentration and extermination camp. The poles were subjected to renovation about 10 years ago. After this time some deficiencies of applied renovation method were noticed. Cracks appeared between fresh and original part of concrete cover. Analysis of the reasons of these failures...
-
Ovarian Torsion in a Young Adolescent with Rokitansky Syndrome
Publication -
Towards development of sustainable lightweight 3D printed wall building envelopes – Experimental and numerical studies
Publication