Wyszukiwarka
Filtry
wszystkich: 32147
-
Katalog
- Publikacje 18490 wyników po odfiltrowaniu
- Czasopisma 74 wyników po odfiltrowaniu
- Konferencje 1 wyników po odfiltrowaniu
- Wydawnictwa 22 wyników po odfiltrowaniu
- Osoby 654 wyników po odfiltrowaniu
- Wynalazki 151 wyników po odfiltrowaniu
- Projekty 295 wyników po odfiltrowaniu
- Laboratoria 26 wyników po odfiltrowaniu
- Zespoły Badawcze 60 wyników po odfiltrowaniu
- Aparatura Badawcza 42 wyników po odfiltrowaniu
- Kursy Online 3207 wyników po odfiltrowaniu
- Wydarzenia 544 wyników po odfiltrowaniu
- Dane Badawcze 8581 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: rownania rozniczkowo-funkcyjne z opoznionym argumentem
-
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...
-
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.
-
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...
-
Comparision principles for parabolic differential - functional initial - value problems.
PublikacjaBadamy paraboliczne równania z zależnością funkcyjną i podajemy kryteria jednoznaczności przy warunkach porównawczych typu Perrona i Lipschitza dla nieliniowej prawej strony. W przypadku gdy zależność funkcyjna dotyczy również pochodnej funkcji niewiadomej, to stosujemy nierówności typu Henry'ego.
-
Substancja i funkcja : badania nad podstawowymi problemami krytyki poznania
PublikacjaArtykuł Pojęcie substancji i pojęcie funkcji w filozofii Ernsta Cassirera stanowi wprowadzenie do polskiego przekładu jednego z najważniejszych dzieł filozoficznych XX stulecia. Pokazuje genezę i oddziaływanie tej pracy, wskazuje na jej miejsce pośród pozostałych, licznych prac jej autora, uzasadniając jej kluczową rolę nie tylko dla rozwoju jego myśli, lecz także całej XX wiecznej filozofii. Streszcza główne wątki tej rozprawy,...
-
Grzyby wielkoowocnikowe Trójmiejskiego Parku Krajobrazowego - przyczynek do ich poznania.
PublikacjaW opracowaniu przedstawiono wyniki wieloletnich badań różnorodności grzybów wielkoowocnikowych na obszarze Trójmiejskiego Parku Krajobrazowego. Wymieniono 51 gatunków woreczniaków i 324 gatunków podstawczaków. Stwierdzono występowanie 19 gatunków pod ścisłą ochroną, 1 pod ochroną częściową oraz 70 gatunków umieszczonych na polskiej czerwonej liście. Zamieszczono opisy biologii, ekologii oraz stanowisk wybranych cennych gatunków....
-
Historia filozofii jako historia problemu poznania : propozycja Ernsta Cassirera
PublikacjaRozprawka ''Historia filozofii jako historia problemu poznania'' ma na celu przedstawienie sposobu uprawiania historii filozofii reprezentowanego przez filozofów skupionych wokół neokantowskiej szkoły marburskiej, w szczególności zaś przez Ernsta Cassirera. Sposób ten opiera się na analizie historyczno-genetycznej, w wyniku której poszczególne, tak historyczne, jak i współczesne koncepcje filozoficzne, traktuje się jako specjalne...
-
Filozofia jako krytyka poznania. Wprowadzenie do transcendentalizmu Ernsta Cassirera
PublikacjaRdzeń monografii stanowią założenia metodologiczne i refleksja nad zasadami poznania wyrastające z tradycji filozofii krytycznej i przedstawione przez Cassirera jako „krytyka poznania”. Ma ona na celu przedstawienie oraz omówienie historii i teorii transcendentalizmu w jego marburskiej postaci oraz pokazanie jego potencjału wyjaśniającego jako metody współczesnych nauk ścisłych i humanistycznych.
-
Studia z Filozofii Polskiej
Czasopisma -
Z zagadnień zabezpieczenia społecznego
Czasopisma -
Studia z Historii Filozofii
Czasopisma -
Studia z Prawa Wyznaniowego
Czasopisma -
Rozprawy z Dziejów Oświaty
Czasopisma -
Studia z Teorii Wychowania
Czasopisma -
VDI-Z Integrierte Produktion
Czasopisma -
Równania stanu ośrodków płynnych w akustyce nieliniowej. Equations of state for fluid media in nonlinear acoustics.
PublikacjaReferat przedstawia analizę termodynamicznych równań stanu pewnych ośrodków płynnych i ich zastosowanie w akustyce nieliniowej do teoretycznego wyznaczania takich wielkości akustycznych jak prędkość dźwięku i współczynnik B/A, C/A. Podano ogólne wyrażenia dla tych wielkości jako funkcje gęstości i temperatury.
-
Niedokładność równania kinetyki pierwszego rzędu w modelowaniu usuwania związków azotu w oczyszczalniach hydrofitowych
Publikacja -
The role of the European Union and democratisation process in post-communist Romania
Publikacja -
The Dynamics of Trade Relations between Ukraine and Romania: Modelling and Forecasting
PublikacjaThe article examines the monthly dynamics of exports, imports and balance of trade between Ukraine and Romania in the period from 2005 to 2021. Time series from 2015 to 2021 were used for modelling and forecasting (since the date the European Union–Ukraine Association Agreement took effect). Adequate models of the dynamics series of the Box-Jenkins methodology were built: additive models with seasonal component ARIMA (Autoregressive...
-
Boundary value problems for ordinary differential equations with deviated arguments
PublikacjaDyskutowane 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.
-
Hipoteza Sapira-Whorfa – przegląd argumentów zwolenników i przeciwników
Publikacja -
Caratheodory solutions to hyperbolic functional differential systems with state dependent delays
PublikacjaMetodą bicharakterystyk i metodą nierówności całkowych dowodzi się istnienia uogólnionych rozwiązań układów równań różniczkowo-funkcyjnych cząstkowych z odchylonym argumentem zależnym od funkcji niewiadomej.
-
Funkcje prawa w procesie reform oświaty lat 90.
PublikacjaArtykuł ma na celu przedstawienie związków pomiędzy ogólnymi funkcjami systemu prawa a procesem reform, które zostały przeprowadzone w polskim systemie oświaty w latach 90-tych XX wieku. Regulacje prawne odgrywają bardzo istotną rolę w procesie planowania i realizacji zmian systemowych w różnych dziedzinach życia społecznego. Stanowią one główny instrument procesów reform,w tym reformy systemu edukacji. Kształtowanie i...
-
CENTRUM w systemie STRADAR – funkcje, architektura i realizacja
PublikacjaSystem STRADAR jest rozwiązaniem umożliwiającym utworzenie infrastruktury komunikacyjno-teleinformatycznej przeznaczonej dla Morskiego Oddziału Straży Granicznej. Artykuł ten jest kolejną z cyklu publikacji opisujących architekturę i rozwiązanie systemu i dotyczy jego centralnego elementu, jakim jest CENTRUM. Przedstawiono i opisano funkcje, architekturę i realizację oprogramowania CENTRUM, które może być zainstalowane na dowolnym...
-
Poszukiwanie wygodnego analitycznie opisu funkcyjnego dla praktycznych kształtów udaru prądowego
PublikacjaZaproponowano kilka opisów funkcyjnych dla prądowego pobudzania uziemień. Wyznaczono pełną reakcję uziemienia na prądowy udar opisany badanymi rodzinami funkcji. Naszkicowano ogólny schemat analizy, wspólny dla wiekszości badanych opisów.
-
Differential-algebraic systems with maxima
PublikacjaMetoda numeryczno-analityczna została zastosowana do układów równań różniczkowo-algebraicznych z operatorem maximum. Zakładając warunek Lipschitza na funkcje występujące w zagadnieniu pokazano, że ciąg iteracji prostych jest zbieżny do rozwiązania zagadnienia pomocniczego. Podano warunki dostateczne na istnienie rozwiązania problemu wyjściowego. Iteracje Seidla też były przedmiotem badań. W ostatniej części pracy był dyskutowany...
-
Linear boundary problems for ordinary differential equations with deviated arguments
PublikacjaPraca dotyczy istnienia i jednoznaczności rozwiązań dla problemów brzegowych w tym również i problemów z wielopunktowymi warunkami brzegowymi.
-
Monotone method to Volterra and Fredholm integral equations with deviating arguments
PublikacjaPraca 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ń.
-
Representing Process Characteristics to Increase Confidence in Assurance Case Arguments
PublikacjaAn 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...
-
Boundary value problems for differential equations with deviated arguments which depend on the unknown solution
PublikacjaDyskutowane są zagadnienia brzegowe dla równań różniczkowo funkcyjnych pierwszego rzędu z odchylonym argumentem zależnym od nieznanego rozwiązania. Sformułowane są warunki dostateczne isnienia quasirozwiązań i rozwiązań takich zagadnień.
-
Initial value problems for neutral fractional differential equations involving a Riemann-Liouville derivative
PublikacjaBadano równania neutralne typu ułamkowego z odchylonym argumentem. Podano warunki dostateczne na istnienie jednego rozwiązania.
-
Równania konstytutywne stali i stopów pracujących w wysokich temperaturach - identyfikacja parametrów i przykłady zastosowań
PublikacjaW pracy zaprezentowano parktyczne zastosowanie praw konstytutywnych opisujących pełzanie w metalach i ich stopach. Opisano procedurę identyfikacji parametrów przy zastosowaniu metody opartej na algorytmach genetycznych. Przedstawiono wyniki indentyfikacji dla stali austenitycznej 316. Zaprezentowano wyniki obliczeń MES mających na celu wyznaczenie trwałości fragmentu instalacji przemysłowej.
-
Przyczynek do poznania śluzowców (Myxomycetes) Lasów Oliwskich (Trójmiejski Park Krajobrazowy).
PublikacjaWyszczególniono 12 gatunków oraz 12 rodzajów śluzowców występujących w Lasach Oliwskich. Przedstawiono krótką charakterystykę wymienionych gatunków, opisano ich mikrobiotopy, wyszczególniono rodzaje zbiorowisk leśnych. Zwrócono uwagę na zjawisko ustępowania tych organizmów wskutek działalności człowieka m.in. skażenie środowiska oraz usuwanie martwego drewna z obszaru lasu.
-
Quasi-dwuwymiarowe równanie ciagłości dla procesów dynamicznych w tranzystorach polowych
PublikacjaW oparciu o dwuwymiarowy model fizyczny i matematyczny tranzystora polowego zaproponowano quasi-dwuwymiarowy model umożliwiający wyprowadzenie równania ciągłości dla nośników nadmiarowych w przypadku małych zaburzeń ich koncentracji. Rozważania przeprowadzono startując od najbardziej podstawowych praw fizyki.
-
Filozofia transcendentalna między Heglem a Heideggerem : Od teorii poznania do ontologii.
PublikacjaMonografia odsłania dzieje filozofii transcendentalnej od poheglowskiej zapaści w filozofii, kiedy to filozofia straciła swoją dawną dziedzinę przedmiotową - całośc bytu i musiała na nowo zaczynać swą pracę pod szyldem teorii poznania. Praca szeroko prezentuje wszelkie projekty filozofii transcendentalnej, które pojawiły się w obrębie neokantyzmu (szczególnie u Riehla,w szkole marburskiej i szkole badeńskiej) i fenomenologii (Husserl),...
-
The equations for interactions of polarization modes in optical fibres including the kerr effect
PublikacjaWe have derived coupled nonlinear Schro¨ dinger equations (CNLSE) for arbitrary polarized light propagation in a single-mode fibre employing electromagnetic field complete description. We used a basis of transverse eigenmodes with appropriate projecting; hence, the nonlinear constants depend on the waveguide geometry. Accounting for a weak nonlinearity, which is connected to the Kerr effect, we have given explicit expressions for...
-
On differential-algebraic problems
PublikacjaW pracy podano warunki dostateczne na istnienie ekstremalnych lubkwazi rozwiązań dla problemów różniczkowo-algebraicznych z nieliniowymi warunkami brzegowymi. Problem istnienia jednego rozwiązania w/w zagadnień był również dyskutowany.
-
Zarządzanie uprawnieniami i funkcje administracyjne w systemie SETI-1
PublikacjaW artykule przedstawiono zadania i cele podsystemu uprawnień i podsystemu administracyjnego systemu SETI-1, przeznaczonego do wspomagania zarządzania Wydziałem Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej. Omówione zostały podstawowe zagadnienia nadawania i kontroli uprawnień użytkowników. Opisano rejestrowanie stanów dokumentów oraz operacji użytkownika. W artykule przedstawiono także sposób wykorzystania...
-
Existence of solutions of boundary value problems for differential equations with delayed arguments.
PublikacjaPodane 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ę.
-
Quasi-solutions for generalized second order differential equations with deviating arguments
PublikacjaThis 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.
-
Existence of solutions for second order impulsive differential equations with deviating arguments
PublikacjaPraca 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.
-
Boundary value problems for dynamic equations with advanced arguments on time scales
PublikacjaPraca 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.
-
Using Evidence-based Arguments to Support Dependability Assurance-Experiences and Challenges
PublikacjaThe 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
-
Using Evidence-based Arguments to Support Dependability Assurance - Experiences and Challenges
PublikacjaThe 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.
-
Planty, promenady, ringi. Śródmiejskie założenia pierścieniowe Gdańska, Poznania, Wrocławia i Krakowa
Publikacja[notka wydawnicza] Okalają centra miast, określają ich strukturę urbanistyczną i wpływają na codzienne życie mieszkańców. Planty, promenady i ringi – które autor nazywa ogólnie założeniami pierścieniowymi – są charakterystyczne dla wielu polskich miast. Powstały w miejscu dawnej granicy miasta – średniowiecznych murów lub nowożytnych bastionów ziemnych. Dziś stanowią atrakcyjną przestrzeń publiczną wypełnioną alejami, bulwarami...
-
Studia z Dziejów Średniowiecza
Czasopisma -
Ecclesia. Studia z Dziejów Wielkopolski
Czasopisma -
Modus. Prace z Historii Sztuki
Czasopisma -
Civitas. Studia z filozofii polityki
Czasopisma -
Poznańskie Studia z Filozofii Nauki
Czasopisma