Filtry
wszystkich: 2167
wybranych: 1076
-
Katalog
- Publikacje 1076 wyników po odfiltrowaniu
- Czasopisma 31 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Wydawnictwa 6 wyników po odfiltrowaniu
- Osoby 176 wyników po odfiltrowaniu
- Projekty 8 wyników po odfiltrowaniu
- Laboratoria 6 wyników po odfiltrowaniu
- Zespoły Badawcze 5 wyników po odfiltrowaniu
- Aparatura Badawcza 2 wyników po odfiltrowaniu
- Kursy Online 651 wyników po odfiltrowaniu
- Wydarzenia 83 wyników po odfiltrowaniu
- Dane Badawcze 99 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: jezyki formalne
-
Przemówienie wygłoszone 16 maja 2017 roku podczas inauguracji konferencji naukowej "Obszary fennistyki: język – kultura – naród" na Uniwersytecie Gdańskim (Konferenssin terveliaispuhe)
Publikacja -
Język białoruski w leksykografii polskiej. Bibliografia słowników (za lata 1807–2012) [The Byelorussian language in the Polish lexicography. A bibliography of dictionaries for the years 1807–2012]
Publikacja -
Zbiorowe zaopatrzenie w wodę i odprowadzanie ścieków (2). Definicje niekompletne.
PublikacjaKomentarz do nowej ustawy. Formalne braki w regulacjach. Konieczne korekty.
-
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...
-
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.
-
Zastosowanie systemów chatter-bot do wspomagania zarządzania
PublikacjaCelem rozdziału jest analiza systemów przetwarzania języka naturalnego do wspomagania zarządzania na przykładzie chatter-botów - tzw. wirtualnych konsultantów - systemów informatycznych, które potrafią odpowiadać na pytania zadawane w języku naturalnym. Przedstawiono zakres zastosowań systemów, główne czynniki wpływające na ich funkcjonalność, analizę kosztów wdrożenia i efektywności inwestycji oraz przykłady komercyjnych zastosowań.
-
Wycena rozrachunków w prawie bilansowym i podatkowym
PublikacjaOmówiono czasowe i formalne instrumenty polityki bilansowej i podatkowej na przykładzie rozrachunków
-
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
-
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.
-
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.
-
Object Views - metoda mapowania obiektowo-ontologicznego
PublikacjaNiniejszy rozdział opisuje koncepcję biblioteki Object Views. Biblioteka ta służy do realizacji mapowania obiektowo-ontologicznego, które stanowi interfejs pomiędzy bazą wiedzy a aplikacją napisaną w obiektowym języku programowania, jakim jest Java. Rozwiązanie to wzorowane jest na Java Persistence API - mapowaniu obiektowo-relacyjnym. Architektura Object Views pozwala na łatwe dostosowanie do dowolnej bazy wiedzy bez względu na...
-
DEVELOPMENT OF THE ALGORITHM OF POLISH LANGUAGE FILM REVIEWS PREPROCESSING
PublikacjaThe algorithm and the software for conducting the procedure of Preprocessing of the reviews of films in the Polish language were developed. This algorithm contains the following steps: Text Adaptation Procedure; Procedure of Tokenization; Procedure of Transforming Words into the Byte Format; Part-of-Speech Tagging; Stemming / Lemmatization Procedure; Presentation of Documents in the Vector Form (Vector Space Model) Procedure; Forming...
-
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.
-
Tool support for ECSDM fault tree methodology
PublikacjaExtended Common Safety Description Model (ECSDM) jest językiem do formalnej specyfikacji systemów związanych z bezpieczeństwem oraz ich komponentów. Język ten zawiera konstrukcje umożliwiające specyfikację zależności czasowych. Może on zostać użyty w analizie drzew błędów, aby uzyskać jednoznaczną specyfikację hazardów w sytuacji, gdy są one uzależnione od związków czasowych pomiędzy przyczynami. Artykuł opisuje narzędzie wytworzone...
-
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
-
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...
-
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ń.
-
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.
-
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.
-
Continuous Optimisation Algorithms
PublikacjaKsiążka poświęcona jest zagadnieniom optymalizacji ciągłej. Oprócz klasycznych algorytmów gradientowych omawiane są w współczesne algorytmy bezgradientowe, które stosowane są z powodzeniem w optymalizacji globalnej. Większość prezentowanych algorytmów określona może być mianem metaheurystycznych. Zaliczyć do nich można metody optymalizacji inspirowane procesami zachodzącymi w przyrodzie, które dalej można dzielić na inspirowane...
-
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.
-
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.
-
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.
-
Nota wydawnicza na IV stronie okładki książki Pauliny Bortnowskiej Дефисные субстантивно-субстантивные конструкции личной семантики в современном русском языке [Substantywno-substantywne konstrukcje łącznikowe o znaczeniu osobowym we współczesnym języku rosyjskim]
Publikacja -
Miało być pięknie a wyszło jak zwykle
PublikacjaPrzedstawiono kwestie barier funkcjonowania i rozwoju infrastruktury energetycznej w aspektach formalno-prawnych.
-
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.
-
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.
-
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.
-
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.
-
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...
-
Wykorzystanie ontologii wzbogaconych o reguły logiczne w systemach integracji danych.
PublikacjaCelem systemów integracji danych jest dostarczenie jednolitego interfejsu do wielu, dostępnych w sieci heterogenicznychźródeł informacji. Wraz z rozwojem Internetu opracowanie metodologii zarządzania wiedzą poprzez systemy integracji danych stało się jednym z fundamentalnych problemów zarządzania informacją. W ramach inicjatywy semantic Web powstał język OWL (Web Ontology Language) umożliwiający opisywanie semantyki różnych danych....
-
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.
-
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.
-
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.
-
Minimalizm jako metoda twórcza w architekturze współczesnej na wybranych przykładach z lat 1990-2005
PublikacjaPunktem wyjścia do pracy nad niniejszą książką była zaobserwowana zarówno w języku krytyki architektonicznej jak i w języku potocznym tendencja do utożsamiania, a za tym ograniczania, znaczenia architektonicznego minimalizmu do jego aspektu wizualnego. Niemal każde formalne lub stylistyczne uproszczenie wpisane zostaje w jakiś szeroki nurt minimalizmu, a prosty wygląd architektury stał się jego podstawowym kryterium klasyfikacyjnym....
-
Integracyjna metoda konstruowania aplikacji
PublikacjaZaproponowano metodę wytwarzania oprogramowania IMAC, która może stanowić pewien przełom w inżynierii oprogramowania na miarę jaką stanowiło wprowadzenie języków obiektowych zwłaszcza dla aplikacji rozproszonych do zastosowań biznesowych. W metodzie tej proponuje się ścisłe powiązanie analizy, projektu i implementacji w jednym, spójnym środowisku graficznym i stosowanie wspólnego języka modelowania i implementacji IML. Głównym...
-
Łagodne wprowadzenie do analizy algorytmów
PublikacjaKsiążka jest 11. wydaniem podręcznika akademickiego poświęconego podstawom algorytmiki. Składa się z trzech rozdziałów. Rozdział 1 daje podstawy formalne niezbędne przy analizie algorytmów pod kątem złożoności obliczeniowej. Rozdział 2 wprowadza w zagadnienia analizy algorytmów z różnych punktów widzenia.Rozdział 3 przedstawia podstawowe struktury danych.
-
Opinia ekspercka w zakresie ustalenia przyczyn powstania ujawnionej wady kolektora zrealizowanego w ramach zadania inwestycyjnego „Budowa kanalizacji sanitarnej w miejscowości Rozwadza wraz z tranzytem do oczyszczalni ścieków w Zdzieszowicach, pompownie P1 i P2 Rozwadza”
PublikacjaAnaliza przyczyn i konsekwencji zaistniałej awarii nowo budowanego kolektora. Ocena przebiegu procesu inwestycyjnego. Braki formalne - zawodowe uczestników procesu, braki w dokumentacji. Problem niewłaściwej oceny warunków posadowienia kanału w dokumentacji projektowej. Błędy kierownika budowy. Negatywna ocena propozycji rozwiązania problemów. Wnioski dotyczące kierunku rozwiązania.
-
MATLAB i jego środowisko
PublikacjaMATLAB jest pakietem obliczeniowym i programistycznym przygotowanym przede wszystkim do obliczeń numerycznych, analizy danych i wizualizacji wyników. Pakiet stanowi środowisko wyposażone w wiele narzędzi obliczeniowych i graficznych działających na bazie predefiniowanych funkcji oraz język programowania umożliwiający tworzenie własnych skryptów. Podstawowym typem danych w języku MATLAB jest macierz (matrix). Stąd nazwa MATrix...
-
Wyznaczanie charakterystyk hydraulicznych dla trójwymiarowych obiektów przepływowych
PublikacjaZaproponowano systematyczną klasyfikację reaktorów, służących do oczyszczania wody i ścieków, uwzględniającą formalny charakter zmiennych przepływu. Opisano zasady wymiarowania obiektów dla poszczególnych kategorii.