Filtry
wszystkich: 2378
wybranych: 2179
-
Katalog
- Publikacje 2179 wyników po odfiltrowaniu
- Czasopisma 7 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 26 wyników po odfiltrowaniu
- Wynalazki 10 wyników po odfiltrowaniu
- Projekty 4 wyników po odfiltrowaniu
- Laboratoria 3 wyników po odfiltrowaniu
- Zespoły Badawcze 2 wyników po odfiltrowaniu
- Kursy Online 75 wyników po odfiltrowaniu
- Wydarzenia 35 wyników po odfiltrowaniu
- Dane Badawcze 12 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: WZGLĘDY FORMALNE
-
A model-based approach to analysis of security protocols - a case study
PublikacjaArtykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz...
-
A new OSS design based on parameter sensitivity tochanges in measurements
PublikacjaW wyniku istniejących silnych ograniczeń praktycznych i etycznych nałożonych na eksperymenty medyczne, procedura estymacji parametrów w diagnozie i terapii jest często zagadnieniem skomplikowanym. Jeśli dane pomiarowe pobierane są w postaci próbek krwi, liczba tych próbek, a także czas obserwacji powinny być zminimalizowane. Optymalizacja eksperymentu polega na optymalizacji odpowiedniego sformułowanego kryterium będącego funkcją...
-
Акустическое изображение омонима этнического языка как входной элемент формальной классификации межъязыковой омонимии [The acoustic image of ethnic homonyms as an input element in formal classification of interlinguistic homonymy]
Publikacja -
Акустическое изображение омонима этнического языка как входной элемент формальной классификации межъязыковой омонимии [The acoustic image of ethnic homonyms as an input element in formal classification of interlinguistic homonymy]
Publikacja -
Characterization of white cabbages from different cultivations by isothiocynates content and antioxidant activities
PublikacjaBadania epidemiologiczne wskazują, że wraz z zwiększeniem spożywania kapusty maleje ryzyko zachorowania na niektóre nowotwory. Mechanizmy przeciwrakotwórczego działania nie są do końca wyjaśnione, jednak wiele badań przeprowadzonych z wykorzystaniem zwierząt i ludzi sugeruje, że substancje występujące w tych roślinach, szczególnie izotiocyjaniany (ITC) modulują aktywność enzymów I i II fazy. Aktywność przeciwutleniająca jest innym...
-
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublikacjaArtykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje...
-
Pochodne amfoterycyny B z zawadą przestrzenną - nowa grupa antymykotyków o niskiej toksyczności i aktywnych względem szczepów z opornością wielolekową. Badanie natury i mechanizmów ich właściwości fizykochemicznych i biologicznych
PublikacjaBadania prezentowane w ramach niniejszej rozprawy koncentrują się na poznaniu i wyjaśnieniu molekularnych mechanizmów leżących u podstaw poprawy selektywnej toksyczności pochodnych amfoterycyny B z zawadą przestrzenną jak również ich aktywności względem opornych szczepów grzybowych. Kluczowe wnioski wynikające z pracy są następujące: i) mutanty drożdżaków z defektem biosyntezy ergosterolu zachowują wrażliwość na badane związki...
-
Przegląd mechanizmów integracji wiedzy w projektach interdyscyplinarnych
PublikacjaCelem referatu było dokonanie przeglądu i porównania mechanizmów integracji wiedzy pochodzących z różnych źródeł, zaczynając od podejść kreatywnych, poprzez mniej i bardziej formalne podejścia powiązane z inżynierią oprogramowania, a kończąc na teorii badań interdyscyplinarnych i menadżerskim podejściu do zarządzania zespołami interdyscyplinarnymi. Pod względem metodologicznym, w referacie zastosowano wielodyscyplinarną analizę...
-
Weryfikacja badań i ocena przeprowadzonych przez laboratorium KB POMORZE badan ultradźwiękowych spoin ram konstrukcji naprawczej platformy PG-1 (poziom 25m), względem wad stwierdzonych przez Laboratorium Lotos Serwis w dodatkowych badaniach.
PublikacjaPrzedmiotem pracy było badania ultradźwiękowe KB POMORZE w miesiącu marcu 2013. Konstrukcje będą zamontowane jako wzmocnienia dla podwodnych elementów konstrukcji na 3 poziomach. Dla badań NDT projekt przewidywał badania na podstawie specyfikacji: Quality Plan for Fabrication. 2.1. Badaniom ultradźwiękowym w obu przypadkach podlegały połączenia spawane - spoiny czołowe, obwodowe stalowych rur o średnicach Dz=609,6x25,4mm...
-
Zbiorowe zaopatrzenie w wodę i odprowadzanie ścieków (2). Definicje niekompletne.
PublikacjaKomentarz do nowej ustawy. Formalne braki w regulacjach. Konieczne korekty.
-
Sprawdzanie dokumentacji projektowej
PublikacjaAnaliza problemu sprawdzenia projektu budowlanego. Wymagania prawne. Zmiany formalne, zagrożenia, konflikty.
-
Warunki wprowadzania ścieków do wód lub ziemi.
PublikacjaOmówienie aktualnej regulacji prawnej w przedmiotowym zakresie. Rozporządzenie, wymagania formalne, preferencje.
-
Koncepcja modelu matematycznego procesu eksploatacji okrętowego systemu energetycznego
PublikacjaW czasie eksploatacji siłowni okrętowych użytkownicy w sposób ciągły podejmują decyzje dotyczące użytkowania i obsługiwania poszczególnych jej urządzeń i podsystemów dążąc w tym względzie do zapewnienie sytuacji normalnej. Kompleksowy a jednocześnie praktycznie użyteczny opis własności siłowni wymaga min. identyfikacji i formalnego opisu dwóch nawzajem zależnych podprocesów procesu eksploatacji tzn.: procesu zmian stanów technicznych...
-
Wycena rozrachunków w prawie bilansowym i podatkowym
PublikacjaOmówiono czasowe i formalne instrumenty polityki bilansowej i podatkowej na przykładzie rozrachunków
-
A model-based approach to analysis of authentication protocols.
PublikacjaW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
Leadership, culture, intellectual capital and knowledge processes for organizational innovativeness across industries: the case of Poland
PublikacjaPurpose – This study aims to present the overview of intellectual capital creation micro-mechanisms concerning formal and informal knowledge processes. The organizational culture, transformational leadership and innovativeness are also included in the investigation as ascendants and consequences of the focal relation of intellectual capital and knowledge processes. Design/methodology/approach – Based on a sample of 1,418 Polish...
-
Sprawność egzaminowania. Uprawnienia budowlane - nowe reguły.
PublikacjaNowe zasady prowadzenia egzaminów na uprawnienia budowlane w 2004 roku. Zmiany formalne i rzeczywiste
-
O topologii w architekturze
PublikacjaOpracowanie dotyczy inspiracji we współczesnej architekturze topologicznymi koncepcjami. Wzbogacenie warsztatu projektowego o komputerowe narzędzia obliczeniowe umożliwiające tworzenie i modyfikowanie unikalnej, krzywoliniowej, geometrii katalizuje formalne i konceptualne eksploracje przestrzeni topologicznej przez awangardowych projektantów. Podejście topologiczne manifestuje się zarówno w dynamice procesu projektowania opartego...
-
Samodzielne funkcje w budownictwie wprowadzone w 2014 r; Rozdział w pracy zbiorowej
PublikacjaKonsekwencje zmian prawnych wprowadzonych w 2014 r. Samodzielne funkcje w budownictwie. Wymagania formalne. Zasady uzyskiwania.
-
Synthesis of 7-oxo-7h-naphto[1,2,3-de]quinoline derivatives as potential anticancer agents active on multidrug resistant cell lines
PublikacjaOpierając się na naszym wcześniejszym stwierdzeniu, że tetracykliczne analogi antrachinonów z wbudowanym pierścieniem pirydynowym wykazują aktywną cytotoksyczność względem komórek z indukowaną opornością, przeprowadzono syntezę pochodnych 7-oxo-7h-nafto[1,2,3-de]chinoliny (3, 6-8, 10-12, 14,15 i 18) posiadających jeden lub dwa zasadowe łańcuchy boczne i różne podstawniki w pierścieniu pirydynowym, związków o potencjalnym działaniu...
-
Wody opadowe - aspekty prawne, ekonomiczne i techniczne
PublikacjaProblemy zagospodarowania wód opadowych. Zagadnienia formalne i techniczne, trudności, poszukiwanie dróg rozwiązania. Konflikty. Rezultaty branżowego spotkania włocławskiego.
-
Rura dobrze posadowiona
PublikacjaPosadowienie rurociągu. Znaczenie poznania warunków posadowienia. Podłoże rurociągu - formalne wymagania prawne, Eurokod 07. Konsekwencje rozporządzenia. Podstawowe błędy.
-
Uprawnienia budowlane. Wykształcenie w cenie
PublikacjaWarunki spełniania samodzielnych funkcji w budownictwie po zmianie ustawy prawo budowlane. Warunki uzyskania uprawnień zawodowych - wymagania formalne, postępowanie kwalifikacyjne.
-
Uprawnienia budowlane.
Publikacjaprzedstawiono formalne wymagania stawiane osobom ubiegającym się o przyznanie uprawnień. Omówiono specjalności, specjalizacje oraz zasady kwalifikacji i prowadzenia egzaminu na uprawnienia
-
Zmiany w procesie inwestycyjnym
PublikacjaKonsekwencje zmian w procesie inwestycyjnym, nowe regulacje w zakresie prawa budowlanego. Zmienione procedury. Problemy formalne. Sankcjonowanie odstępstw. Nowe technologie i nowe wyposażenie.
-
Rura w gruncie. Niekończąca się historia?
PublikacjaKonsekwencje błędów posadowienia rurociągu w podłożu gruntowym. Formalne wymagania w stosunku do posadowienia. Główne odstępstwa, ich konsekwencje. Problem zmian podłoża w czasie.
-
Procedura weryfikacji stanu technicznego urządzeń dźwignicowych na przykładzie żurawi portowych.
PublikacjaOmówiono wymogi formalne dopuszczenia dźwignic o przekroczonym resursie do dalszej eksploatacji. Podano algorytmy przeglądów specjalnych. Przedstawiono przykłady weryfikacji stanu technicznego żurawi portowych.
-
Ochrona zabudowy przed zalewaniem.
PublikacjaPrzedstawiono ogólne zasady ochrony budynku przed zalewanie. Wykazano potrzebę nowego podejścia do problemu. Określono braki formalne oraz ogólne zalecenia co do zabezpieczeń.
-
A Method Supporting Monitoring And Repair Processes of Information Systems
PublikacjaW pracy zaproponowano nową metodę (ARM) zarządzania monitorowaniem i naprawą systemów IT, bez przerywania ciągłości ich funkcjonowania. Metoda ta integruje procesy monitorowania (uwzględniając już istniejące i stosowane rozwiązania) z procesami naprawy. Stworzono formalny model koncepcyjny opisujący dziedzinę monitorowania i naprawy oraz formalne specyfikacje mechanizmu napraw oraz wybranych procedur naprawczych. Do specyfikacji...
-
Uwagi do wniosków o dofinansowanie w ramach ZPORR (Zintegrowanego Programu Operacyjnego Rozwoju Regionalnego)
PublikacjaOmówiono podstawowe uchybienia dyskwalifikujące wnioski składane w ramacj ZPORR. Wymagania formalne, motywacje, realność rozwiązań. Prymat eksploatacji nad samą realizacją. Braki w systemie samorządowym.
-
Powodzie miejskie. Wody opadowe – aspekty prawne, ekonomiczne i techniczne.
PublikacjaPowodzie miejskie. Problemy formalne, prawne i techniczne zagospodarowania wód opadowych. Podstawowe braki polskich rozwiązań. Opłaty za wody opadowe - utrudnienia wprowadzania, konsekwencje braku regulacji prawnych
-
Próbne obciążenia statyczne i dynamiczne pali w odniesieniu do zaleceń Eurokodu 7
PublikacjaOmówiono metody badań oraz zalecenia formalne Eurokodu 7. Na przykładach przedstawiono interpretacje badań nośności pali wg PN-83/B-02482 porównując je do Eurokodu 7.
-
Ogólne warunki procesu inwestycyjnego
PublikacjaSpecyficzne warunki realizacji procesu inwestycyjnego. Wymagania formalne. Zagadnienie inwestycji nietypowych, potrzeba zewnętrznego fachowego nadzoru. Podstawowe błędy na etapie projektowania i wykonawstwa. Problem wiarygodności inspektora nadzoru inwestorskiego.
-
Wymagania w stosunku do projektu budowlanego.
PublikacjaOmówiono nowe regulacje prawne określające formalne wymagania w stosunku do dokumentacji w fazie projektu budowlanego. Zwrócono uwagę na daleko idące obostrzenie wymagań formalnych w tym zakresie.
-
Semi-Markow Processes as Models of Devices´ Operating Process of Ship Pro-pulsion System
PublikacjaReferat zawiera formalny opis procesu eksploatacji urządzeń.
-
Theoretical and practical solving of hydroengineering problems
PublikacjaRozważono wzajemne relacje pomiędzy znaczeniem terminów ''teoretyczny'' i ''praktyczny'', w kontekście problematyki nauk technicznych, analizujac aspekty terminologiczne, poznawcze, wolicjonalne i formalne. Wskazano na potrzebę różnicowania ścisłych i potocznych znaczeń uzywanych terminów.
-
Ocena przydatności komercyjnych elektrod otulonych do spawania mokrego pod wodą z wykorzystaniem analizy skupień
PublikacjaNajbardziej uniwersalną i ekonomiczną metodą remontów konstrukcji eksploatowanych pod wodą jest spawanie mokre elektrodami otulonymi. Ze względu na bardzo dobrą operatywność i stabilność jarzenia się łuku w środowisku wodnym stosuje się elektrody o otulinie rutylowej. Na rynku dostępnych jest kilka gatunków elektrod dedykowanych do prac podwodnych, których cena jest znacznie wyższa niż elektrod komercyjnych. Celem pracy było statystyczne...
-
Miało być pięknie a wyszło jak zwykle
PublikacjaPrzedstawiono kwestie barier funkcjonowania i rozwoju infrastruktury energetycznej w aspektach formalno-prawnych.
-
Niektóre przyczyny awarii kanalizacyjnych studzienek rewizyjnych (1). Warunki posadowienia
PublikacjaAnaliza najczęstszych przyczyn awarii kanalizacyjnych studzienek rewizyjnych. Problem posadowienia kanalizacyjnej studzienki rewizyjnej. Formalne wymagania normowe w stosunku do studzienek. Zagadnienie występowania gruntów ekspansywnych w Polsce. Przygotowanie inwestycji, dostosowanie się do wymagań konstrukcji.
-
Ochrona pośrednia ujęć wody
PublikacjaProblemy ochrony sanitarnej ujęć wody pitnej. Formalne wymagania prawne dotyczące wyznaczania stref. Kontrowersyjność polskich rozstrzygnięć prawnych. Potrzeba zmiany polityki w celu podwyższenia rzeczywistego poziomu bezpieczeństwa. Gra pozorów. Konieczność określania stref podwyższonej ochrony.
-
Historia jednej inwestycji
PublikacjaAnaliza przyczyn niepowodzenia inwestycji zbiorvczej gminnej kanalizacji. Rozwiązania projektowe i zrealizowane. Błędy procesu inwestycyjnego, formalne procedury, odstępstwa od wymagań formalnych. Ocena błędów oraz konsekwencji zaistniałej sytuacji. Odpowiedzialność zawodowa i karna uczestników procesu inwestycyjnego.
-
Problemy z deszczem. Wody opadowe – ustalenia ilościowe
PublikacjaProblemy określenia wskaźników ilościowych przy zagospodarowaniu wód opadowych w Polsce. Wymagania formalne, problematyczność ustaleń ilościowych wg wzorów empirycznych. Tworzenie atlasu elektronicznego. Problem zdarzeń niemieszczących się typowych schematach. Zmiany wprowadzane nową ustawą prawo wodne.
-
Ontology-Aided Software Engineering
PublikacjaThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
-
Dokumentacja projektowa w procesie budowlanym
PublikacjaProblemy dokumentacji technicznej występującej w procesie budowlanym. Wymagania formalne w stosunku do dokumentacji. Znaczenie dokumentacji wstępnej, w tym koncepcji, dla prawidłowego przebiegu procesu budowlanego. Znaczenie SIWZ dla ograniczeń w zakresie stosowanych materiałów. Relacje y PYP.
-
Czas koncentracji w uproszczonych obliczeniach odpływu ze zlewni zurbanizowanej
PublikacjaArtykuł poświęcony jest wybranym aspektom związanym z określaniem czasu koncentracji dla potrzeb inżynierskich obliczeń odpływu wód deszczowych ze zlewni zurbanizowanych, w tym m.in. wymiarowania kanalizacji deszczowej. Celem artykułu jest przedstawienie funkcjonującego powszechnie w polskich realiach projektowych podejścia do kwestii określania czasu trwania deszczu miarodajnego dla zlewni zurbanizowanej oraz wynikających z tego...
-
Hipermarkety i miasta pod miastem
PublikacjaJednym z elementów procesu suburbanizacji jest jego silna zależność od rozwoju współczesnych obiektów handlowych jakimi są hipermarkety. Opracowanie analizuje podstawowe aspekty wpływu tych obiektów na struktury podmiejskie, takie jak zagadnienia: funkcjonalne, komunikacyjne, formalne, społeczne i ekonomiczne.
-
Aromatic heptaene antibiotics as an alternative for synthetic triazole fungicides in plant protection
PublikacjaAn in vitro antifungal activity of candicidin and ascosin antibiotics (0,01-10 μg/mL) towards representative strains of phytopathogenic fungi was detd. Both compds. exhibited similar half max. effective concns. inhibiting growth of the fungi as that of tebuconazole used for comparison.
-
Jak sobie pościelisz… czyli o roli prac przedprojektowych
PublikacjaPrace przedprojektowe w inwestycjach liniowych. Przygotowanie procesu inwestycyjnego. Znaczenie poznania rzeczywistych warunków w jakich będzie prowadzony proces inwestycyjny. Ocena podłoża. Wymagania formalne, błędy. Błędy w ocenach cech materiałowych rozwiązań. Identyfikacja cech i warunków. Problemy wykonawstwa. Szczególne ryzyko.
-
Modelowanie architektoniczno-materiałowe obiektów architektonicznych na styku lądu i wody.
PublikacjaObiekty o silnie zindywidualizowanej funkcji posiadają swe odrębne wymagania formalne. Projektowanie ich wymaga od architekta fantazji i wiedzy. Forma inaczej jest kształtowana w krajach nadmorskich o klimacie gorącym inaczej w krajach strefy umiarkowanej. Można to prześledzić na przykładach.
-
Uporządkowanie procesu budowlanego w fazie odbiorów
PublikacjaProces budowlany, konieczność dyscyplinowania procesu. Konsekwencje braku jednoznacznych regulacji prawnych oraz procedur. Problemy związane z dokumentacją projektową. Zasady prowadzenia odbioru, formalne wymagania, konieczność zastrzeżeń w kontraktach. Dwuznaczność roli inspektora nadzoru inwestorskiego. Konsekwencje braku właściwych odbiorów przejściowych oraz ostatecznego.