Search
Filters
total: 4108
filtered: 3718
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: EVIDENCE-BASED ARGUMENT, ASSURANCE CASE, CONFORMANCE CASE, TOOL SUPPORT
-
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...
-
Activation maps of convolutional neural networks as a tool for brain degeneration tracking in early diagnosis of dementia in Parkinson's disease based on magnetic resonance imaging
Publication -
Smart Decisional DNA Technology to Enhance Industry 4.0 Environment in Conjunction with Conventional Manufacturing
PublicationKnowledge-based support has become an indispensable part not only to the traditional manufacturing set-ups but also to the new fast-emerging Industry 4.0 scenario. In this regard, successful research has been performed and extensively reported to develop Decisional DNA based knowledge representation models of engineering object and engineering process called Virtual engineering object (VEO), Virtual engineering process (VEP) and...
-
Rec.: Robert Bielecki. Finnish Case Grammar (From the Syntactic and Semantic Perspectives). Poznań: Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza, 2015, 290 s.
Publication -
Economic conditions for the development of energy efficient civil engineering using RES in the policy of cohesion of the European Union (2014–2020). Case study: The town of Zielona Gora
Publication -
Plaża i Park Nadmorski jako szczególny przypadek kreacji przestrzeni publicznej miasta = The beach and Seaside Park as a special case of city's public space creation
PublicationPrzedmiotem rozważań jest plaża miejska i tereny przyległego Parku Nadmorskiego w Sopocie jako szczególny przypadek kreacji przestrzeni wspólnej.
-
Coupled Urban Areas Inundation Model with Interaction Between Storm Water System and Surface Flow - Case Study of Sea Level Impact on Seaside Areas Flooding
PublicationInundations are becoming more frequent than ever. What is connected with increasing area of impervious surface in cities. This makes predicting urban flooding and its scale especially important. At the seaside we observe additional conditions such as sea level that makes accurate numerical modelling of issue even harder. With complex approach to the matter which is simultaneous calculation of storm water conduit flow and overland...
-
Negative CO2 Emission Gas Power Plant As Technology for Utilization of Sewage Sludge, Production of Electrical Energy, and CO2 Capture - Case of Chamber Under Transpiration Cooling
PublicationThis work focuses on the concept developed in the nCO2PP project, which aims to demonstrate a technology that allows to achieve negative CO2 emissions through Carbon Capture and Storage (CCS) applied to sewage sludge. A feedstock is first gasified, then the resulting syngas is burned in a semi-closed oxy-fuel gas turbine with pure oxygen and water, using the advantages of oxy-combustion, to ease the capture of CO2 in the resulting...
-
Results from a collective bound case studies analysis of researched Pol‐ ish metropolises for inspecting information management regarding air quality in light of information ecology
Publication -
Incredible Clinical Causes Beyond A Five-Month-Old Boy's Poor Feeding Include His Rapid Brain Cognition And Preference For Certain Colors: Case Report
Publication -
Aktorzy współpracy sieciowej trójmiejskiego regionu metropolitalnego. Diagnoza, scenariusze i perspektywy przyszłej współpracy (na tle wyników badań w Projekcie USUN CASE).
PublicationTrwanie miasta w dotychczasowej postaci, jakkolwiek nie byłoby uzasadnienie uchronnością współczesnych, globalnych procesów i zdarzeń wymaga rewizji poglądów zarówno w zakresie sposobów jego formowania i podtrzymywania jego struktur przestrzennych, jak i sposobów jego przemijania, a więc organizowania ekonomicznych, społecznych i kulturowych procesów wypełniających te struktury. Tytuł tekstu nawiązuje do postrzegania miasta...
-
Toward Mechanosynthesis of Diamondoid Structures: X. Commercial Capped CNT SPM Tip as Nowadays Available C2 Dimer Placement Tool for Tip-Based Nanofabrication
PublicationAccording to Drexler, advanced mechanosynthesis will employ advanced nano-machines, but advanced nano-machines will themselves be products of advanced mechanosynthesis. This circular relationship must be broken via TBN technology development. In this article, the possibility of using easily available commercial CNT tips to assemble carbon-based intermediate generations of nano-devices is considered. Mechanosynthesis of a target...
-
Executing Multiple Simulations in the MERPSYS Environment
PublicationThe chapter investigates the steps necessary to perform a simulation instance in the MERPSYS environment and discusses potential limitations in case when vast numbers of simulations are required. An extended architecture is proposed which includes a JMS-based simulation queue and multiple distributed simulators, overcoming the potential bottlenecks. The chapter introduces also methods for preparing suites of multiple simulations...
-
Artificial intelligence for software development — the present and the challenges for the future
PublicationSince the time when first CASE (Computer-Aided Software Engineering) methods and tools were developed, little has been done in the area of automated creation of code. CASE tools support a software engineer in creation the system structure, in defining interfaces and relationships between software modules and, after the code has been written, in performing testing tasks on different levels of detail. Writing code is still the task...
-
Cytokine TGFβ Gene Polymorphism in Asthma: TGF-Related SNP Analysis Enhances the Prediction of Disease Diagnosis (A Case-Control Study With Multivariable Data-Mining Model Development)
Publication -
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 -
The impact of initial and boundary conditions on severe weather event simulations using a high-resolution WRF model. Case study of the derecho event in Poland on 11 August 2017
PublicationPrecise simulations of severe weather events are a challenge in the era of changing climate. By performing simulations correctly and accurately, these phenomena can be studied and better understood. In this paper, we have verified how different initial and boundary conditions affect the quality of simulations performed using the Weather Research and Forecasting Model (WRF). For our analysis, we chose...
-
Tracing the latest Jurassic–earliest Cretaceous paleoenvironment evolution in swell carbonate facies: a case study of the High-Tatric succession (Central Western Carpathians, Tatra Mts, Poland)
Publication -
Concentrations and loads of DOC, phenols and aldehydes in a proglacial arctic river in relation to hydro-meteorological conditions. A case study from the southern margin of the Bellsund Fjord – SW Spitsbergen
PublicationClimate warming accelerates the melting and thawing of cryosphere components. Therefore, it favours the release of contaminants stored in High-Arctic glaciers for many years. The rate of land-based glacier retreat is of particular importance for the hydrological regime of glacial rivers, but also for the chemical composition of their waters. In this study, we examined 84 surface water samples collected during a period of 42 days...
-
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...
-
Rare A360T Mutation Alters GSK3β(Ser9) Binding in the Cytosolic Loop of Presenilin 1, Influencing β-Catenin Nuclear Localization and Pro-Death Gene Expression in Alzheimer’s Disease Case
Publication -
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.
-
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...
-
Metachronous adenocarcinoma in a gastric tube after radical surgery for oesophageal cancer
Publication -
Heart laceration during oesophagectomy for the treatment of oesophageal carcinoma
Publication -
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...
-
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...
-
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...
-
Utilisation and outcomes of a mobile (ambulance and air transport) venovenous extracorporeal membrane oxygenation (VV-ECMO) program in Poland during the COVID-19 pandemic – a retrospective, two-centres, case-series study
Publication -
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...
-
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 -
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...
-
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...
-
Proaktywne podejście geotechniczne do zachowania dziedzictwa kulturowego i naturalnego: przypadek San Leo we Włoszech Proactive Geotechnical Approach to Preserve Cultural and Natural Heritage: The Case of the Town of San Leo in Italy
PublicationArtykuł dotyczy miasta San Leo, znanego z atrakcyjnych zabytków historycznych, zwłaszcza twierdzy Rocca Fortezza stanowiącej architektoniczne arcydzieło. Jest ona położona na wysokiej skale, której zbocza od setek lat ulegały procesom osuwiskowym. Najpoważniejsze osuwisko miało miejsce w 2014. Aby uniknąć potencjalnej katastrofy i zapewnić bezpieczeństwo miastu, w pracy przeprowadzono analizę proaktywną, polegającą na przewidywaniu...
-
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...
-
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,...
-
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...
-
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...