Filtry
wszystkich: 1002
-
Katalog
- Publikacje 791 wyników po odfiltrowaniu
- Czasopisma 24 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 61 wyników po odfiltrowaniu
- Wynalazki 8 wyników po odfiltrowaniu
- Projekty 16 wyników po odfiltrowaniu
- Zespoły Badawcze 7 wyników po odfiltrowaniu
- Kursy Online 74 wyników po odfiltrowaniu
- Wydarzenia 7 wyników po odfiltrowaniu
- Dane Badawcze 13 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: Turski
-
On the hardness of computing span of subcubic graphs
PublikacjaIn the paper we study the problem of finding ξ-colorings with minimal span, i.e. the difference between the largest and the smallest color used.
-
Organizacja wystawy projektów GALERII PŁYWAJĄCEJ, towarzyszącej obradom Międzynarodowego Kongresu Architektury ARCHITEKTURA I WODA
PublikacjaWystawa jest prezentacją projektów GALERII PŁYWAJĄCEJ przemieszczającej się po drogach wodnych Gdańska, wykonanych przez studentów Wydziału Architektury PG w ramach w ramach przedmiotu ''Przeobrażenia stref nadwodnych miast i zagadnienia architektury pływającej'', prowadzonego przez profesor architekt Lucynę Nyka oraz doktorantkę Wydziału Architektury PG architekt Izabelę Burda.
-
Kryteria oceny metody wspomagającej interakcję klient-Dostawca oprogramowania i ich zastosowanie do metody WIKLIDO
PublikacjaW rozdziale przedstawiono metodę Wspomagania Interakcji KLIent-Dostawca Oprogramowa-nia (WIKLIDO) oraz wyjaśniono w jaki sposób wykorzystano metodę GQM (ang. Goal Question Metrics) do systematycznego wywiedzenia metryk oceny tej metody.
-
Context sensitive privacy management in a distributed environment
PublikacjaArtykuł przedstawia mechanizm zarządzania prywatnością stworzony dla systemu rozproszonego z założeniem, że węzły systemu mają ograniczone zasoby (moc procesora, pamięć). Podstawowy pomysł zakłada, że prywatne dane są filtrowane zgodnie z polityką prywatności użytkowników przed ich ujawnieniem innym użytkownikom. Te decyzje są silnie umiejscowione, co ogranicza narzut związany z zarządzaniem prywatnością na węzłach systemu. Sam...
-
Testowanie w przyrostowym i ewolucyjnym cyklu życia oprogramowania
PublikacjaArtykuł prezentuje doświadczenia dotyczące procesu testowania złożonego systemu internetowego rozwijanego w okresie ostatnich pięciu lat. System ten powstaje w cyklu przyrostowym i ewolucyjnym, przechodząc do kolejnych wydań. Rozróżniono wydania główne, które są poprzedzane pełnym zakresem testów regresji oraz wydania rozszerzające, gdzie zakres testowania jest zawężony. Wyjaśniono miejsce procesu testowania w kontekście zarządzania...
-
Wymiana ciepła-podstawy teoretyczne
PublikacjaJedną ze współczesnych dziedzin poznawania określonych zjawisk przyrody jest nauka o przenoszeniu energii. Przenoszenie energii między ciałami następuje, między innymi właśnie na sposób ciepła. Wymiana ciepła posiada ogromne znaczenie dla praktyki, ponieważ z jednej strony, daje podstawy do intensyfikacji przebiegu procesów technologicznych w różnych gałęziach przemysłu, a drugiej strony, pozwala racjonalnie dobrać właściwy poziom...
-
A method of supporting client-provider cooperation in software acquisition processes and its evaluation criteria
PublikacjaArtykuł przedstawia metodę Wspomagania Interakcji KLienta i Dostawcy Oprogramowania (WIKLIDO). Metoda ta została zpowodzeniem zastosowana w dwóch studiach przypadków w komercyjnych projektach pozyskiwania oprogramowania. Artykuł wyjaśnia w jaki sposób metoda wykorzystuje środki modelowania do usystematyzowania interakcji pomiędzy klientem i dostawcą oprogramowania. Przedstawia również w jaki sposób wykorzystano podejście GQM (ang....
-
Podstawy oceny energetycznej systemów ogrzewania, chłodzenia i zaopatrzenia w ciepłą wodę użytkową
PublikacjaUkład termodynamiczny jest to część analizowanej przestrzeni wyodrębniona za pomocą abstrakcyjnej osłony (osłony kontrolnej lub bilansowej, albo granicy przyjętego obszaru obserwacji). Bilans substancji i energii, definicje strumienia, składu, temperatury i ciśnienia substancji doprowadzanych do układu i wyprowadzanych z niego, powinny dokonywać się dla miejsca ich przejścia przez osłonę kontrolną. Pozostała część przestrzeni,...
-
SCF - a Framework Supporting Achieving and Assessing Conformity with Standards
PublikacjaStandards 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...
-
The HAlF4 superacid fragmentation induced by an excess electron attachment
Publikacja -
Towards an understanding of the nature of superhalogen anions: anab initiostudy of the system
Publikacja -
Introducing various ligands into superhalogen anions reduces their electronic stabilities
Publikacja -
Toward the preparation of the HAuF6 , HAu2 F11 , and HAu3 F16 superacids: Theoretical study
Publikacja -
An excess electron bound to urea. III. The urea dimer as an electron trap
Publikacja -
Moderately Reactive Molecules Forming Stable Ionic Compounds with Superhalogens
Publikacja -
A dipole-bound dianion
Publikacja -
Negative Ion Formation in Sodium Chloride TrimerAn ab Initio Study
Publikacja -
Enormously large (approaching 14 eV!) electron binding energies of [HnFn+1]- (n= 1–5, 7, 9, 12) anions
Publikacja -
Attaching Be or Mg to BH3 results in the formation of BeBH3 and MgBH3 molecules capable of forming stable anions
Publikacja -
An excess electron bound to urea. I. Canonical and zwitterionic tautomers
Publikacja -
The IP vs. VDE competition as a key factor determining the stability of the MgBX5 (X = F, Cl) compounds
Publikacja -
The existence and gas phase acidity of the HAlnF3n+1 superacids (n=1–4)
Publikacja -
Stable anions formed by organic molecules substituted with superhalogen functional groups
Publikacja -
The acid strength of the HF/AlX3 Lewis-Brønsted complexes involving various electron acceptors as ligands
Publikacja -
Cationic and anionic daughters of AlOH and GaOH. An ab initio study
Publikacja -
Halogenoids as Ligands in Superhalogen Anions
Publikacja -
The mechanisms of isobutene hydration yielding tert-butanol catalyzed by a strong mineral acid (H2SO4) and Lewis-Brønsted superacid (HF/SbF5)
Publikacja -
Is hydrogen capable of playing a central atom role in superhalogen anions?
Publikacja -
Mechanism of the ethanol-based (C2H5OH2)+(SbF6)− salt formation by the superacid-catalyzed acetaldehyde hydrogenation
Publikacja -
Strength of the Lewis–Brønsted Superacids Containing In, Sn, and Sb and the Electron Binding Energies of Their Corresponding Superhalogen Anions
Publikacja -
Shape resonance of the ethylene anion stabilized in a molecular trap
Publikacja -
The saturation of the excess electron binding energy in AlnF3n+1- (n= 1–5) anions
Publikacja -
Unusual structures of Mg2F5- superhalogen anion
Publikacja -
An excess electron bound to urea oligomers. II. Chains and ribbons
Publikacja -
Dipole-bound anions supported by charge-transfer interaction: valence- and dipole-bound anionic states of H3N→BF3
Publikacja -
An ab initio study on BeX3− superhalogen anions (X = F, Cl, Br)
Publikacja -
O obliczeniach płyt fundamentowych
PublikacjaW pracy przedstawiono analizę sposobu przylożenia obciążenia na wyniki wymiarowania zbrojenia w płycie fundamentowej. Dodatkowo autorzy dokonali krótkiego przeglądu literatury z zakresu płyt fundamentowych.
-
The Backbone Coloring Problem for Small Graphs
PublikacjaIn this paper we investigate the values of the backbone chromatic number, derived from a mathematical model for the problem of minimization of bandwidth in radio networks, for small connected graphs and connected backbones (up to 7 vertices). We study the relationship of this parameter with the structure of the graph and compare the results with the solutions obtained using the classical graph coloring algorithms (LF, IS), modified...
-
An O ( n log n ) algorithm for finding edge span of cacti
PublikacjaLet G=(V,E) be a nonempty graph and xi be a function. In the paper we study the computational complexity of the problem of finding vertex colorings c of G such that: (1) |c(u)-c(v)|>=xi(uv) for each edge uv of E; (2) the edge span of c, i.e. max{|c(u)-c(v)|: uv belongs to E}, is minimal. We show that the problem is NP-hard for subcubic outerplanar graphs of a very simple structure (similar to cycles) and polynomially solvable for...
-
A METHOD OF TRUST MANAGEMENT IN WIRELESS SENSOR NETWORKS
PublikacjaThe research problem considered in this paper is how to protect wireless sensor networks (WSN) against cyber-threats by applying trust management and how to strengthen network resilience to attacks targeting the trust management mechanism itself. A new method, called WSN Cooperative Trust Management Method (WCT2M), of distributed trust management in multi-layer wireless sensor networks is proposed and its performance is evaluated....
-
Supporting Cybersecurity Compliance Assessment of Industrial Automation and Control System Components
PublikacjaThe chapter presents a case study demonstrating how security requirements of an Industrial Automation and Control System (IACS) component can be represented in a form of Protection Profile that is based on IEC 62443 standards and how compliance assessment of such component can be supported by explicitly representing a conformity argument in a form based on the OMG SACM meta-model. It is also demonstrated how an advanced argument...
-
Introducing agile practices into development processes of safety critical software
PublikacjaIn this paper we present AgileSafe - a method which supports introduction of agile practices into safety-critical software development processes. To represent safety assurance constraints resulting from the regulatory context, AgileSafe uses assurance case patterns. The knowledge base of AgileSafe helps the user to select the agile practices relevant for the considered software development project. The corresponding assurance case...
-
Numerical studies on the influence of selected construction features and road conditions on the performance of road cable barriers
PublikacjaCable barriers are commonly used on Polish roads, including motorways and local roads. Their main elements are pre-stressed wire ropes, which are usually anchored at two ends in concrete blocks buried in the soil. In this work numerical studies concerning the influence of selected construction features and parameters of the vehicle motion on the performance of cable barriers were performed. Numerical simulations are a useful tool...
-
Assessing vehicle restraint systems on horizontal curves
PublikacjaHorizontal curves, an element of road infrastructure, have a statistically high number of accidents. Considering that horizontal curves in the last ten years have had app. 10% of all road accidents representing app. 14% of all fatalities on Polish roads, the issue is serious and requires more research and proper road safety treatments. Data for 2007 - 2016 show that in the case of accidents on horizontal curves app. 45% of the...
-
Meeting Requirements Imposed by Secure Software Development Standards and Still Remaining Agile
PublikacjaThe paper introduces the AgileSafe method of selecting agile practices for software development projects that are constrained by assurance requirements resulting from safety and/or security related standards. Such requirements are represented by argumentation templates which explain how the evidence collected during agile practices implementation will support the conformity with the requirements. Application of the method is demonstrated...
-
Generation of random fields to reflect material and geometric imperfections of plates and shells
PublikacjaThe paper covers two patterns of random field generation: conditional acceptance – rejection method and Karhunen – Loève expansion. The generation of two-dimensional random fields is essential in plates and shells analysis, allowing for a relevant limit and critical state assessment of geometrically and ma-terially imperfect structures. The features of both generation methods dedicate them to selected problems.
-
AgileSafe – a method of introducing agile practices into safety-critical software development processes
PublikacjaThis article introduces AgileSafe, a new method of incorporating agile practices into critical software development while still maintaining compliance with the software assurance requirements imposed by the application domain. We present the description of the method covering the process of its application and the input and output artefacts.
-
The impact of footing conditions of a vertical-axis floating-roof tank on structural shell deformation
PublikacjaStructural shells of fuel tanks are often subjected to geometric imperfections which may lead to exceeding the ultimate and serviceability limit states. One of the means triggering shell deformation is non-uniform settlement caused by incoherent soil conditions. Analysis carried out in the work concerns of vertical-axis, floating-roof cylindrical shell which volume is 50.000 m3, founded on a complex multi-layered soil. The sensitivity...
-
Modeling, simulation, and validation of a TB41 crash test of the H2/W5/B concrete vehicle restraint system
PublikacjaThe paper addresses numerical simulations of a concrete vehicle restraint system. The model is described in detail. The advanced material law of the continuous surface cap model was used to analyze the damage locations in concrete barrier segments. The results were validated against the TB41 full-scale crash test. The test was conducted in compliance with European standard EN 1317, and the validation was performed in accordance...
-
Methodology of research on the impact of ramp metering on the safety and efficiency of road traffic using transport models
PublikacjaThe methods currently used to assess the impact of Intelligent Transport Systems (ITS) services on traffic safety and efficiency are mainly based on expert assessments, statistical studies or traffic models that need further development. There is no structured, uniform evaluation method to compare the impact of different ITS services and their different configurations. The impact of ITS deployment on the road network adjacent to...