Filtry
wszystkich: 2925
-
Katalog
- Publikacje 2167 wyników po odfiltrowaniu
- Czasopisma 107 wyników po odfiltrowaniu
- Konferencje 16 wyników po odfiltrowaniu
- Osoby 39 wyników po odfiltrowaniu
- Projekty 4 wyników po odfiltrowaniu
- Kursy Online 26 wyników po odfiltrowaniu
- Wydarzenia 4 wyników po odfiltrowaniu
- Dane Badawcze 562 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: argument pattern
-
Argument strategies and patterns of the Trust-IT framework
PublikacjaArtykuł 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...
-
Cohousing. Dziesięć argumentów ''za'' = Cohousing. Ten arguments ''pro''
PublikacjaCohousing 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....
-
Argumenta
Czasopisma -
Argumenta Oeconomica
Czasopisma -
Argument & Computation
Czasopisma -
Das Argument
Czasopisma -
Extending GQM by argument structures
PublikacjaEffective 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
PublikacjaEffective 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...
-
Argumenta Philosophica
Czasopisma -
Argumenta Historica
Czasopisma -
Support for argument structures review and assessment
PublikacjaArgument 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...
-
GRANULAR MATTER
Czasopisma -
Using argument structures to create a measurement plan
PublikacjaWhile 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
PublikacjaStructured 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
PublikacjaPraca 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.
-
Differential equations with delayed arguments
PublikacjaPraca 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 problems with advanced arguments
PublikacjaThis 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...
-
Integrating Confidence And Assurance Arguments
PublikacjaTo 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...
-
Tempo e Argumento
Czasopisma -
Argumenta Oeconomica Cracoviensia
Czasopisma -
The Eastern Battery in Świnoujście, Poland - history and architecture of a Prussian coastal fort from the 19th century
PublikacjaThe article describes the history, architecture and development of the Eastern Battery (also known as the Gerhard Fort) – one of three remaining coastal forts in Świnoujście (former Swinemünde) located in northern Poland, by the Baltic Sea. The research is mostly based on historical cartographic material and architectural plans verified during field studies. This data served to create a digital model – one of the results of the...
-
Argumentum (online)
Czasopisma -
Nuovi argomenti
Czasopisma -
JOURNAL OF PHYSICS-CONDENSED MATTER
Czasopisma -
Patterns
Czasopisma -
Ordinary differential equations with deviated arguments
PublikacjaPraca 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
PublikacjaTrustworthiness 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...
-
Fractional differential equations with deviating arguments
PublikacjaDla 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.
-
On integro-differential equations with delayed arguments
PublikacjaPraca 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.
-
Spatial pattern of ASG-EUPOS sites
PublikacjaThe article presents the spatial pattern analysis of the ASG-EUPOS permanent GNSS stations in Poland. Using different methods and tools (nearest neighbour, Riplay’s K-function, morphology of Thiessen polygons) we proved that the station distribution model changes within scales. At short distances up to 65 km, which are typical lengths in the network, stations are irregularly dispersed. Increasing this distance to 130 km and over...
-
Gaze pattern lock for elders and disabled
Publikacja...
-
Second-order differential equations with deviating arguments
PublikacjaPodane 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
PublikacjaDyskutowane są zagadnienia brzegowe dla równań różniczkowych z wyprzedzonymi argumentami. Przedstawione są warunki dostateczne istnienia quasirozwiązań i rozwiązań rozważanych zagadnień.
-
Using evidence based arguments to support trust
PublikacjaWprowadzono 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...
-
Temporal pattern of wildlife-train collisions in Poland
Publikacja -
The effect of mechanical coupling on the beam pattern of a multielementarray
PublikacjaW artykule opisano nową metodę redukcji listków bocznych hydroakustycznej anteny wieloelementowej. Wykorzystano tu efekt ważenia amplitud sygnałów odbieranych przez poszczególne elementy poprzez kontrolowane ich mechaniczne sprzężenie. Opisane zostały wyniki badań kilku modeli anten zbudowanych z pięciu elementów. Wyniki badań zostały zweryfikowane obliczeniami symulacyjnymi. Stwierdzono, zarówno na drodze eksperymentalnej jak...
-
The Housing Pattern and Entrepreneurship in Polish Suburban Landscape
PublikacjaAbstract. Housing stimulates the development of SMEs (small and medium enterprises) in the suburbs. The multidisciplinary research in fields of urban planning and economics, carried out by the Authors, confirms this trend. The purpose of this paper is to present the multidisciplinary results of the research on the determinants of SME localization in the suburban areas of Gdansk, Gdynia and Sopot (the Metropolitan Area Gdansk–Gdynia-Sopot...
-
Testing for conformance of parallel programming pattern languages
PublikacjaThis paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.
-
Zbigniew Kaźmierczyk dr hab.
OsobyDr hab. Zbigniew Kaźmierczyk, profesor nadzwyczajny, literaturoznawca, pracuje w Zakładzie Historii Literatury Instytutu Filologii Polskiej na Wydziale Filologicznym Uniwersytetu Gdańskiego; kierownik Pracowni Literatury Etnogenetycznej, prezes Oddziału Gdańskiego Towarzystwa Literackiego im. Adama Mickiewicza i wiceprezes Pomorskiego Towarzystwa Filozoficzno-Teologicznego. Ukazał gnostycko-manichejski wymiar egzystencji w twórczości...
-
Representing and appraising Toulmin model arguments in trust cases
PublikacjaThe 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.
-
Expert assessment of arguments: a method and its experimental evaluation
PublikacjaArgument 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...
-
Numerical solution of boundary value problems with deviated arguments
PublikacjaZastosowano 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.
-
Challenges in providing support for management of evidence-based arguments
PublikacjaThe 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...
-
Cellular neural network application to moire pattern filtering
Publikacja -
Pattern matching localization in ZigBee wireless sensor networks.
PublikacjaLokalizacja typu Pattern matching w sieciach sensorów bezprzewodowych ZigBee.Prezentacja metod implementacji algorytmów lokalizacji. Praktyczne zastosowanie i testowanie lokalizacji sieci ZigBee.
-
Safe-Guarded Agent Design Pattern for Mechatronic Systems
Publikacja -
Pressure distribution and beam pattern of the parametric acoustic arrays.
PublikacjaPrzedstawiono model matematyczny i wyniki badań teoretycznych zjawiska oddziaływań fal dla źródeł parametrycznych. Model matematyczny zbudowano w oparciu o równanie KZK. Do rozwiązania zagadnienia zastosowano metodę różnic skończonych. Badano zmiany ciśnienia fal wybranych częstotliwości w obrębie wiązki akustycznej oraz charakterystyki kierunkowe dla kołowych źródeł parametrycznych generujących fale różnych częstotliwości.
-
Versatile pattern recognition system based on Fisher criterion
PublikacjaZaprezentowano system rozpoznawania obrazów w postaci bitmap. Zaimplementowany algorytm ekstrakcji cech jest uniwersalny i może być używany do różnych obrazów. Cały system bazuje na kryterium Fishera.
-
Scoreboard Architectural Pattern and Integration of Emotion Recognition Results
PublikacjaThis paper proposes a new design pattern, named Scoreboard , dedicated for applications solving complex, multi-stage, non-deterministic problems. The pattern provides a computational framework for the design and implementation of systems that integrate a large number of diverse specialized modules that may vary in accuracy, solution level, and modality. The Scoreboard is an extension of Blackboard design pattern and comes under...
-
Multiclass AdaBoost Classifier Parameter Adaptation for Pattern Recognition
PublikacjaThe article presents the problem of parameter value selection of the multiclass ``one against all'' approach of an AdaBoost algorithm in tasks of object recognition based on two-dimensional graphical images. AdaBoost classifier with Haar features is still used in mobile devices due to the processing speed in contrast to other methods like deep learning or SVM but its main drawback is the need to assembly the results of binary...