Filters
total: 1836
filtered: 741
-
Catalog
Chosen catalog filters
Search results for: confidence argument
-
Integrating Confidence And Assurance Arguments
PublicationTo be considered compelling an assurance case should address its potential deficits, possibly with the use of a confidence argument. Assurance argument and confidence argument should be clearly separated and consistent at the same time. We propose a way of their integration with the use of an element representing rationale for each argumentation strategy. The rationale integrates confidence argument for a given argumentation step...
-
Representing Process Characteristics to Increase Confidence in Assurance Case Arguments
PublicationAn assurance case is a structured, evidence-based argument demonstrating that a safety or other quality objective of a high integrity system is assured. Assurance cases are required or recommended in many industry domains as a means to convince the regulatory bodies to allow commissioning of such system. To be convincing, an argument should address all potential doubts and thus cover numerous additional issues, including the processes...
-
Cohousing. Dziesięć argumentów ''za'' = Cohousing. Ten arguments ''pro''
PublicationCohousing to jedna z koncepcji wspólnotowego kształtowania środowiska mieszkaniowego, praktykowana z powodzeniem od kilkudziesięciu lat w Danii, a z czasem i w wielu innych krajach Europy Zachodniej i Ameryki. Z architektonicznego punktu widzenia oznacza przede wszystkim partycypację przyszłych użytkowników w projektowaniu. Wydaje się, że i w Polsce idea ta może i powinna zyskać swoich zwolenników. A jest ku temu wiele powodów....
-
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...
-
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...
-
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...
-
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...
-
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...
-
Supporting Assurance by Evidence-based Argument Services
PublicationStructured arguments based on evidence are used in many domains, including systems engineering, quality assurance and standards conformance. Development, maintenance and assessment of such arguments is addressed by TRUST-IT methodology outlined in this paper. The effective usage of TRUST-IT requires an adequate tool support. We present a platform of software services, called NOR-STA, available in the Internet, supporting key activities...
-
On dynamic equations with deviating arguments
PublicationPraca dotyczy istnienia rozwiązań równań dynamicznych z odchylonymi argumentami. Podane zostały warunki dostateczne na istnienie rozwiązania. Dwa przykłady ilustrują otrzymane wyniki.
-
Fractional problems with advanced arguments
PublicationThis paper concerns boundary fractional differential problems with advanced arguments. We investigate the existence of initial value problems when the initial point is given at the end point of an interval. Nonhomogeneous linear fractional differential equations are also studied. The existence of solutions for fractional differential equations with advanced arguments and with boundary value problems has been investigated by using...
-
Differential equations with delayed arguments
PublicationPraca dotyczy problemów brzegowych dla równań różniczkowych z opóźnionymi argumentami. Podane zostały warunki dostateczne na istnienie jednego rozwiązania bądź rozwiązań ekstremalnych. Dyskusja dotyczy również nierówności różniczkowych. Przykłady ilustrują otrzymane wyniki.
-
Fractional differential equations with deviating arguments
PublicationDla równań różniczkowych typu ułamkowego, zostały podane warunki dostateczne na istnienie jednego rozwiązania lub rozwiazań ekstremalnych. Nierówności różniczkowe są też doskutowane.
-
Ordinary differential equations with deviated arguments
PublicationPraca dotyczy istnienia i przybliżonych rozwiązań dla problemów brzegowych z opóźnionymi oraz wyprzedzonymi argumentami. Dyskutowano też pewne nierówności różniczkowe powyższego typu.
-
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...
-
On integro-differential equations with delayed arguments
PublicationPraca dotyczy problemów różniczkowo-całkowych z warunkami początkowymi oraz brzegowymi typu okresowego. Podano warunki na istnienie i jednoznaczność rozwiązania. Badania dotyczyły również nierówności różniczkowo-całkowych z argumentami typu opóżnionego. Podano przykłady, które mogą mieć zastosowanie w problemach inżynierskich.
-
Experience-based knowledge increases confidence in discriminating our memories
Publication -
Using evidence based arguments to support trust
PublicationWprowadzono podstawowe koncepcje metodyki TRUST-IT: argumentu i dowodu, modelu argumentacji, szablonu argumentacji, oceny argumentu oraz kontekstu aplikacyjnego. Przedstawiono zakres funkcjonalności, modele udostepniania oraz politykę bezpieczeństwa informacji związane z usługami NOR-STA wspomagającymi zastosowania metodyki TRUST-IT. Przedstawiono również dotychczasowe doświadczenia związane z wdrażaniam uzług NOR-STA w różnych...
-
Second-order differential equations with deviating arguments
PublicationPodane zostały warunki dostateczne na istnienie kwazi-rozwiązań oraz na istnienie jedynego rozwiązania dla równań różniczkowych rzędu drugiego z warunkami brzegowymi i odchylonymi argumentami. Otrzymane wyniki zilustrowano przykładami i wykresami.
-
Boundary problems for differential equations with advanced arguments
PublicationDyskutowane są zagadnienia brzegowe dla równań różniczkowych z wyprzedzonymi argumentami. Przedstawione są warunki dostateczne istnienia quasirozwiązań i rozwiązań rozważanych zagadnień.
-
The Conference Report of Why R? Turkey 2022: The First R Conference with Call For Papers in Turkey
PublicationWhy R? Turkey 2022 was a non-profit conference that aimed to bring Turkish R users together and encourage them to attend the R conferences. The targeted audience of the conference consisted of, data scientists, data analysts, and all R users from academia and industry. The three-day conference, which consisted of several events such as workshops, regular talks, lightning talks, short tutorials, and panels, was free of charge and...
-
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...
-
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.
-
Challenges in providing support for management of evidence-based arguments
PublicationThe paper considers selected challenges related to the application of evidence based arguments and maps them on the tool support level. In particular, we consider: communication and teamwork, handling large arguments, evidence management and integration, argument assessment and communication, change control and reporting, evidence reuse, user data security and argument portfolio management. Then we explain how these challenges...
-
Numerical solution of boundary value problems with deviated arguments
PublicationZastosowano metodę różnicową, aby wyznaczyć przybliżone rozwiązanie problemubrzegowego z odchylonymi argumentami. Pokazano, że metoda różnicowa, przyodpowiednich warunkach, jest zbieżna do rozwiązania i podano oszacowaniabłędów.
-
International conference “Images of Europe in Transition”, Kiev/Ukraine, 25th-26th november 2016 Conference report
Publication -
Editorial [general conference information and history]
Publication -
52. ''KRYNICA 2006'' Scientific Conference
PublicationPraca jest raportem z konferencji naukowej ''Krynica 2006'', na której autor pełnił funkcję sekretarza naukowego. W pracy omówiono częć ogólnš i problemowš Konferencji. Przedstawiono udział poszczególnych jednostek naukowo badawczych w Konferencji oraz grupy tematyczne tam reprezentowane.
-
Networks 2010 Conference in Warsaw, Poland
PublicationArtykuł sprawozdawczy z konferencji.
-
Regulation of Telecommunications Markets. Conference Report
Publication -
Investor confidence and high financial literacy jointly shape investments in risky assets
PublicationHouseholds consistently invest less in equities and bonds than predicted by economic theory. We explain this from a behavioral economics perspective and distributional analysis using rich US survey microdata. We find that higher investor self-confidence in her financial abilities and financial literacy jointly increase the probability of investing in equities. Conditional on participation, confidence in the macroeconomy additionally...
-
Monetary Incentives Increase Metacognitive Confidence in Source Memory Performance in Patients With Schizophrenia
Publication -
Investor confidence and high financial literacy jointly shape investments in risky assets
PublicationHouseholds consistently invest less in equities and bonds than predicted by economic theory. We explain this from a behavioral economics perspective and distributional analysis using rich US survey microdata. We find that higher investor self-confidence in her financial abilities and financial literacy jointly increase the probability of investing in equities. Conditional on participation, confidence in the macroeconomy additionally...
-
Boundary value problems for ordinary differential equations with deviated arguments
PublicationDyskutowane są równania różniczkowe z dwupunktowym nieliniowym warunkiem brzegowym z argumentami typu odchylonego. Podano warunki dostateczne które gwarantują iż problem wyjściowy ma kwazi-rozwiązania. Podano też warunki przy których problem ten ma rozwiązanie. Wyniki uzyskano stosując metodę iteracji monotonicznych.Badano też pewne nierówności różniczkowe z odchylonymi argumentami.
-
Monotone method to Volterra and Fredholm integral equations with deviating arguments
PublicationPraca dotyczy problemów istnienia rozwiązań równań całkowych typu Volterry i Fredholma z odchylonymi argumentami. Podano warunki dostateczne na istnienie rozwiązań w odpowiedniej klasie. Pewne nierówności całkowe typu opóźnionego są również przedmiotem badań.
-
First-order impulsive ordinary differential equations with advanced arguments
PublicationPraca dotyczy problemów istnienia rozwiązań dla równań różniczkowych z impulsami i nieliniowymi warunkami brzegowymi. Są to równania z argumentami wyprzedzonymi. Podano warunki dostateczne na istnienie rozwiązań. W pracy są również dyskutowane nierówności różniczkowe z impulsami. Podano też przykłady ilustrujące otrzymane wyniki.
-
Linear boundary problems for ordinary differential equations with deviated arguments
PublicationPraca dotyczy istnienia i jednoznaczności rozwiązań dla problemów brzegowych w tym również i problemów z wielopunktowymi warunkami brzegowymi.
-
Confidence, Financial Literacy and Investment in Risky Assets: Evidence from the Survey of Consumer Finances
PublicationWe employ recent Survey of Consumer Finances (SCF) microdata from the US to analyze the impacts of confidence in one's own financial knowledge, confidence in the economy, and objective financial literacy on investment in risky financial assets (equity and bonds) on both the extensive and intensive margins. Controlling for a rich set of covariates including risk aversion, we find that objective financial literacy is positively...
-
The Impact of a Single Educational Lecture on the Vaccine Confidence among Pregnant Women and Young Mothers
Publication -
Third Baltic Conference on Electrochemistry ?Corrosion and Materials?
Publication -
Wybrane przedsięwzięcia inwestycyjne - projekt Lyon Confluence
PublicationArtykuł opisuje proces planowania i wdrożenia projektu Lyon Confluence oraz jego wpływ na rozwój miasta i regionu
-
International Conference on Diagnostics of Processes and Systems 2022
PublicationWydarzenie stanowiło 15 ogniwo cyklu organizowanego od 1996 roku, naprzemiennie przez Politechnikę Warszawską, Uniwersytet Zielonogórski oraz Politechnikę Gdańską. Tegoroczna edycja konferencji została objęta patronatem JM Rektora Politechniki Gdańskiej, prof. Krzysztofa Wilde, Komitetu Automatyki i Robotyki Polskiej Akademii Nauk, Towarzystwa Konsultantów Polskich (FSNT-NOT) oraz Polskiego Stowarzyszenia Pomiarów Automatyki i...
-
Third Baltic Conference on Electrochemistry ''Corrosion and Materials''
PublicationW dniach 23- 26.04.2003 roku odbyła się w Gdańsku - Sobieszewie 3 - cia Bałtycka Konferencja Elektrochemiczna ''Korozja i Materiały.Konferencja ta była organizowana przez Katedrę Elektrochemii i Korozji i Inżynierii Materiałowej oraz Sekcję Elektrochemiczną Polskiego Towarzystwa Chemicznego.Podczas konferencji wygłoszono 44 referaty oraz przedstawiono 109 posterów. Najciekawsze prace zostały opublikowane w Journal Solid State...
-
Quasi-solutions for generalized second order differential equations with deviating arguments
PublicationThis paper deal with boundary value problems for generalized second order differential equations with deviating arguments. Existence of quasi-solutions and solutions are proved by monotone iterative method. Examples with numerical results are added.
-
Boundary value problems for dynamic equations with advanced arguments on time scales
PublicationPraca dotyczy równań i nierówności dynamicznych z wyprzedzonym argumentami. Przedmiotem badań były problemy istnienia rozwiązań równań dynamicznych. Sformułowano warunki dostatczne na istnienie jedynego rozwiązania w odpowiednim obszarze ograniczonym przez górne i dolne rozwiązanie.
-
Existence of solutions for second order impulsive differential equations with deviating arguments
PublicationPraca dotyczy równań różniczkowych z impulsami i odchylonymi argumentami. Badano problem istnienia rozwiązań stosując metodę iteracji monotonicznych opartą na dolnych i górnych rozwiązaniach. Praca uogólnia szereg znanych wyników.
-
Using Evidence-based Arguments to Support Dependability Assurance - Experiences and Challenges
PublicationThe presentation introduces to the problem of evidence-based arguments and their applications. Then, based on the experiences collected during development and commercial deployment of a concrete solution to this problem (system NOR-STA) we overview selected challenges and the ways of addressing them.
-
Using Evidence-based Arguments to Support Dependability Assurance-Experiences and Challenges
PublicationThe article introduces to the problem of evidence-based arguments and their applications. Then, based on the experiences collected during commercial deployment of a concrete solution to this problem (system NOR-STA) we overview selected challenges and the ways of addressing them
-
Existence of solutions of boundary value problems for differential equations with delayed arguments.
PublicationPodane zostały warunki dostateczne na istnienie i jednoznaczność rozwiązań problemów brzegowych dla równań różniczkowych z odchylonymi argumentami.Problem istnienia ekstremalnych rozwiązań również był przedmiotem badań. Podano konstrukcję monotonicznych iteracji i pokazano, że iteracje te są zbieżne do szukanego rozwiązania. Praca zawiera przykłady które ilustrują ogólną teorię.
-
Building Confidence and Trust in Ireland's National Maternity Services Workforce –What matters most and how?
PublicationNational surveys on care experiences are increasingly adopted as regulatory mechanisms for improving care quality and increasing public trust in healthcare services. Based on data collected as part of Ireland's 2020 National Maternity Experience Survey, this study investigates care-related factors that contribute most to confidence and trust in the professional workforce (or carers) within Irish maternity services. The survey covered...