Filters
total: 1444
-
Catalog
- Publications 1226 available results
- Journals 8 available results
- Conferences 24 available results
- Publishing Houses 1 available results
- People 41 available results
- Inventions 12 available results
- Projects 3 available results
- Laboratories 2 available results
- Research Teams 1 available results
- e-Learning Courses 95 available results
- Events 29 available results
- Open Research Data 2 available results
displaying 1000 best results Help
Search results for: FORMALNE REGULACJE
-
Estończycy na Wybrzeżu Gdańskim. Relacje Alicji Majewskiej (1906-1988)
PublicationW panoramie mniejszości narodowych i grup etnicznych na Pomorzu Gdańskim szczególne miejsce zajmuje społeczność estońska. Wielu jej przedstawicieli przybywało do Polski w latach trzydziestych XX w. Byli to głównie inżynierowie, którzy podejmowali wyzwania zawodowe, zwłaszcza w gospodarce morskiej i budownictwie. Liczne osoby zamieszkiwały w granicach Gdyni, co wiązało się z podejmowaniem pracy przy budowie miasta. Nie była to społeczność...
-
A multi‐industry and cross‐country comparison of technology contribution to formal and informal knowledge sharing processes for innovativeness
PublicationThe study explores the impact of organizational information technology (IT) competency on knowledge sharing, both explicit and tacit, in the context of innovativeness of products and processes. Knowledge sharing is then assessed in terms of tacit-to-explicit conversion and the impact of both types of knowledge on organizational innovation. Both process (internal) and product/service (external) innovation are included. As an extension,...
-
Work and formal retirement age - opinions of SWE employees participating in the Best Agers Lighthouses International Project
PublicationThe paper presents selected results of studies carried out within the framework of the international project Best Agers Lighthouses – Strategic Age Management for SME in the Baltic Sea Region, related to the assessment of the opportunities to continue working beyond the retirement age in the opinion of workers.
-
Regulacja topologii DNA przez topoizomerazę typu II, czyli jak struktura DNA wpływa na funkcjonowanie genów
PublicationW wielu ważnych procesach jakie zachodzą w komórce zmienia się topologia DNA i struktura chromatyny. Enzym, topoizomeraza typu II, jest jednym z ważnych czynników, który reguluje zmiany topologiczne i strukturalne w jądrze, przez co ma bezpośredni lub pośredni wpływ na takie procesy jak uporządkowanie struktury chromatyny poprzez wiązanie pętli chromatyny do szkieletu jądrowego, transkrypcję i replikację DNA, reperację uszkodzeń...
-
Specyficzne problemy regulacji automatycznej turbozespołów wpływające na bezpieczeństwo elektrowni jądrowych i pewność zasilania systemu elektroenergetycznego
PublicationWskazano na odmienność cech regulacyjnych turbozespołów w elektrowniach jądrowych, w porównaniu z konwencjonalnymi, ich wpływ na bezpieczeństwo bloków jądrowych oraz pewność zasilania systemu elektroenergetycznego. Na tle wymagań odnoszących się do pożądanej struktury układu regulacji automatycznej częstotliwości i mocy bloku jądrowego m.in. porównano trzy warianty struktury układu regulacji. Zbadano wpływ udziału elektrowni jądrowych...
-
Powodzie miejskie. Wody opadowe – aspekty prawne, ekonomiczne i techniczne.
PublicationPowodzie 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
-
Ogniwa estońskich kontaktów z Gdynią. Relacje Alicji Maciejewskiej (1906-1988)
PublicationW latach dziewięćdziesiątych XX w. elementem wzmacniającym budzenie się świadomości estońskiego pochodzenia narodowego były przeobrażenia społeczno-polityczne dokonujące się w Polsce i krajach w Europy Środkowo-Wschodniej, a w tym w Estonii. Zauważa się, że we współczesnym obrazie życia społeczności estońskiej w Gdyni ważną rolę pełnią kobiety; podejmują one wyzwanie podtrzymania estońskich więzi, tradycji i kultury; zmierzają...
-
Kompozycyjne relacje założeń fortyfikacyjnych i terenów zieleni w panoramie Jerozolimy.
PublicationPraca omawia problematykę kształtowania relacji pomiędzy fortyfikacjami a zielenią w panoramie miasta na przykładzie Jerozolimy.
-
Realizacja układu sterowania blokiem wymienników ciepła w postaci programu komputerowego wykorzystującego zmodyfikowany algorytm regulacji predykcyjnej DMC
PublicationW artykule przedstawiono eksperymentalny układ sterowania blokiem wymienników ciepła elektrociepłowni wykorzystujący zmodyfikowany algorytm regulacji predykcyjnej DMC. Na początku krótko opisano obiekt sterowania, zadania stawiane przed układem regulacji i wybrany algorytm sterowania. Następnie omówiono sposób realizacji regulatora opartego na idei programu komputerowego uruchamianego na stacji operatorskiej i komunikującego się...
-
Rozdział 8. Wpływ automatycznej regulacji i przemysłowych warunków pomiarowych na pozyskiwanie symptomów niesprawnej pracy bloków energetycznych
PublicationOpisano badania prowadzące do oceny wpływu automatycznej regulacji i rzeczywistych warunków pomiarowych bloków energetycznych na dokładność i wiarygodność relacji diagnostycznych. Relacje te i ich oceny dotyczą zarówno diagnostyki on-line jak i off-line.
-
ANNALES SCIENTIFIQUES DE L ECOLE NORMALE SUPERIEURE
Journals -
PAD4, LSD1 and EDS1 regulate drought tolerance, plant biomass production, and cell wall properties
Publication -
Potencjał aplikacyjny i możliwości regulacyjne wielopulsowych falowników napięcia (MP-VSI) z dławikami sprzężonymi
PublicationW artykule pokazano sposób budowy oraz metody syntezy i regulacji sinusoidalnego napięcia wyjściowego niekonwencjonalnych falowników napięcia, cechujących się bardzo małą częstotliwością przełączania. Falowniki są budowane z typowych modułów połączonych równoległe za pomocą dławików sprzężonych. Przedstawiono wyniki wybranych badań symulacyjnych i eksperymentalnych, oraz omówiono najważniejsze obszary potencjalnych zastosowań.
-
Mathematical Modelling of Drive System with an Elastic Coupling Based on Formal Analogy between the Transmission Shaft and the Electric Transmission Line
PublicationIn the paper, the kinematic structure of the transmission shaft between the driving motor and the working mechanism is studied. The analysis is based on electrical and mechanical similarities. The equivalent circuits, typical for electrical systems, are defined for the transmission shaft concerned. Modelling of the transmission shaft based on a formal analogy between the transmission shaft and the electric transmission line is...
-
Wykorzystanie źródeł rozproszonych zainstalowanych w sieci SN do celów regulacji U i Q - praca w stanie ustalonym
PublicationW artykule przedstawiono i omówiono przykładowe wyniki badań pokazujące potencjalne możliwości wykorzystania źródeł rozproszonych zainstalowanych w sieci SN, w procesie sterowania U i Q.
-
Bilansowanie KSE z udziałem procesu regulacji pierwotnej po wypadnięciu źródeł generacji rozproszonej. Cześć I: Praca wydzielona KSE.
PublicationW referacie przedstawiono problem bilansowania mocy czynnej w Krajowym Systemie Elektroenergetycznym po wypadnięciu źródeł generacji rozproszonej. Zakłada się jednocześnie, duże nasycenie energetyką wiatrową, czyli źródłami energii, które obecnie mają największą szanse rozwoju. W referacie analizuje się proces bilansowania mocy czynnej z udziałem regulacji pierwotnej po wypadnięciu określonej liczby źródeł generacji rozproszonej.
-
Probabilistic concept of defining the situations possible to occur during operation of floating docks
PublicationW artykule zasygnalizowana została możliwość oszacowania bezpieczeństwa doków pływajacych, w wyniku zastosowania teorii procesów semimarkowskich, zarówno w fazie projektowania jak też eksploatacji. Przedstawiono opis formalny sytuacji, jakie mogą zaistnieć podczas funkcjonowania (działania) doków pływających, zarówno budowlanych jak również remontowych. Wyróżniono takie sytuacje jak: normalna, skomplikowana, niebezpieczna, awaryjna...
-
Uporządkowanie procesu budowlanego w fazie odbiorów
PublicationProces 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.
-
Mikroprocesorowy miernik impedancji pętli zwarciowej eliminujący wpływ odkształcenia napięcia przez regulację argumentu obciążenia pomiarowego. - [przedruk rek nr 128902]
PublicationW artykule przedstawiono problematykę pomiaru impedancji pętli zwarciowej w sieciach o napięciu odkształconym. Zaproponowano metodę pomiaru impedancji pętli eliminującą wpływ odkształcenia napięcia i zbudowano mikroprocesorowy miernik, który ją wykorzystuje. W mierniku zastosowano impedancyjne obciążenie pomiarowe o stałej wartości modułu i regulowanym automatycznie argumencie. Przy zrównaniu argumentu impedancji obciążenia pomiarowego...
-
Regulacja osi toru w warunkach pomiarów satelitarnych :(program badań) = Geometrical adjustment of the railway track in the conditions of the satellite surveying : (research program)
PublicationW pracy zwrócono uwagę na uwarunkowania związane z zastosowaniem technik pomiarów satelitarnych GPS w pomiarach inwentaryzacyjnych linii kolejowych. Wskazano na konieczność nawiązania współpracy pomiędzy specjalistami z dziedziny pomiarów satelitarnych i środowiskiem kolejowym. Może to spowodować radykalną poprawę w zakresie poziomu utrzymania kształtu geometrycznego torów, gdzie występująca obecnie sytuacja budzi poważne zastrzeżenia....
-
Ocena jakości osadów portowych z Portów Gdańsk i Gdynia pod względem zawartości metali ciężkich w świetle regulacji prawnych
PublicationPrzedstawiono uwarunkowania prawne dotyczące poziomu zanieczyszczeń osadów portowych oraz warunków ich składowania w Polsce oraz innych krajach europejskich: Holandii, Belgii, Finlandii, Francji, Hiszpanii i Niemiec. Przeprowadzono badania zawartości metali ciężkich w osadach portowych pobranych z portów Gdańsk i Gdynia.
-
267: Mesenchymal cells regulate growth of intestinal crypts by a Wnt independent mechanism in 3D culture system
Publication -
Relacje jako element wartości dla klienta na przykładzie hoteli Grupy Hotelowej Orbis
PublicationW artykule poruszono kwestie związane z kształtowaniem wartości dla klienta hotelu w kontekście budowanych z nim związków lojalnościowych. Głównym celem było zbadanie znaczenia relacji w kształtowaniu wartości dla klienta. Rozważaniom przyświecał model wpływu relacji na wartość dla klienta, u którego podstaw leżało założenie, że wartość dostarczana klientowi decyduje o poziomie satysfakcji odczuwanej w kontaktach z przedsiębiorstwem....
-
Igor Garnik dr inż.
PeopleIgor Garnik graduated from the Faculty of Electronics at the Gdańsk University of Technology (1992). He works at the Gdańsk University of Technology since 1997 - first employed as an assistant in the Department of Ergonomics and Maintenance of Technical Systems at the Faculty of Management and Economics, and then - after obtaining the degree of doctor in 2006 as an assistant professor. In the years 2009–2015 he was the coordinator...
-
Regulacje prawne dotyczące wykorzystywania komórek macierzystych oraz hybryd cytoplazmatycznych w wybranych krajach europejskich. Legal Regulations for the Use of Stem Cells and Cytoplasmic Hybrids in Selected European Countrie.
Publication"Przedmiotem publikacji jest analiza rozwiązań regulacji prawnych w wybranych państwach europejskich w zakresie badań przeprowadzanych przy użyciu komórek macierzystych o różnym pochodzeniu: z embrionów, hybryd cytoplazmatycznych oraz indukowanych pluripotencjalnych komórek macierzystych. Artykuł przedstawia obecną sytuację na gruncie polskiego ustawodawstwa, a następnie omawia zastosowane rozwiązania prawne we Włoszech, Hiszpanii,...
-
Valence and Ionic Lowest-Lying Electronic States of Isobutyl Formate Studied by High-Resolution Vacuum Ultraviolet Photoabsorption, Photoelectron Spectroscopy, and Ab Initio Calculations
PublicationThe highest resolution vacuum ultraviolet photoabsorption spectrum of isobutyl formate, C5H10O2, yet reported is presented over the energy range 4.5−10.7 eV (275.5−118.0 nm) revealing several new spectral features. Valence and Rydberg transitions and their associated vibronic series observed in the photoabsorption spectrum have been assigned in accordance with new ab initio calculations of the vertical excitation energies and oscillator...
-
Bilansowanie KSE z udziałem procesu regulacji pierwotnej po wypadnięciu źródeł generacji rozproszonej. Cześć II: Synchroniczna praca KSE z UCTE.
PublicationReferat jest kontynuacją tematu o takim samym tytule, przy czym rozważana jest w nim praca synchroniczna KSE z UCTE. W referacie tym analizuje się proces bilansowania mocy po wypadnięciu źródeł generacji rozproszonej w ramach regulacji pierwotnej, w której biorą udział bloki wytwórcze w całym UCTE.
-
Theoretical and practical solving of hydroengineering problems
PublicationRozważ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.
-
Zagospodarowanie wód opadowych. Szczególne problemy.
PublicationOmówiono główne problemy zagospodarowania wód opadowych w Polsce. Wykazano brak jednoznacznych regulacji prawnych oraz określenia kompetencji. Wskazano problemy finansowania systemów. Uwzględniono regulacje europejskie w przedmiotowym zakresie.
-
Polskie regulacje prawne, na tle przepisów unii europejskiej, dotyczące zawartości pestycydów w produktach żywnościowych=Polish regulations, comparing with European Union legislation, relating to pesticides content in foodstuffs
PublicationZanieczyszczenia żywności, m.in. pestycydy, występują w różnych produktach żywnościowych często w ilościach śladowych, stanowiąc mimo to poważne zagrożenie dla zdrowia człowieka. Prowadzone obecnie badania składu określonych produktów spożywczych i surowców rolniczych oraz występujących w nich zanieczyszczeń wykonywane na zlecenie producentów, importerów i eksporterów żywności, a także organizacji odpowiedzialnych za monitoring...
-
Dokumentacja projektowa w procesie budowlanym
PublicationProblemy 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.
-
Prawne aspekty wykorzystania Internetu w procesie kształcenia studentów
PublicationZajęcia prowadzone z wykorzystaniem metod i technik kształcenia na odległość nabierają coraz większego znaczenia w związku z rozwojem technologii informacyjno−komunikacyjnych. Pozwalają one na zastosowanie nowych form przekazywania wiedzy oraz komunikacji nauczycieli akademickich i studentów. Pamiętać należy, że przepisy dotyczące usług internetowych nie zostały stworzone z myślą o regulacji e−nauczania. W 2006 roku Ministerstwo...
-
Route vertical alignment design in the process of its regulation
PublicationRegulacja toru kolejowego ma za zadanie dostosowanie niewłaściwego lub też zdeformowanego położenia osi toru do położenia odpowiadającego parametrom technicznym wymaganym dla danej linii kolejowej. Projekt regulacji wykonywany jest na podstawie pomiaru geodezyjnego wysokości toków szynowych metodą punktów stałych, tzn. w oparciu o umieszczone na słupach wskaźniki regulacji osi toru, których wysokość jest znana. Wykonany w ten sposób...
-
Valence and ionic lowest-lying electronic states of ethyl formate as studied by high-resolution vacuum ultraviolet photoabsorption, He(I) photoelectron spectroscopy, and ab initio calculations
PublicationThe highest resolution vacuum ultraviolet photoabsorption spectrum of ethyl formate, C2H5OCHO, yet reported is presented over the wavelength range 115.0–275.5 nm (10.75–4.5 eV) revealing several new spectral features. Valence and Rydberg transitions and their associated vibronic series, observed in the photoabsorption spectrum, have been assigned in accordance with new ab initio calculations of the vertical excitation energies...
-
Człowiek i jego samochód - relacje w strukturach mieszkaniowych w warunkach zrównoważonego rozwoju. Zapis refleksji
PublicationJakość środowiska zbudowanego - przekształcanego i tworzonego dla coraz liczniejszych pokoleń mieszkańców jest przedmiotem wieloletniej i narastającej dyskusji zawodowej środowiska architektonicznego.Ludzka potrzeba samorealizacji poprzez codzienną aktywność, działalność zawodową, przyjmowane role społeczne wpływa na kształtowanie indywidualnych modeli codzienności miejskiej, na decyzje o wyborach miejsca zamieszkania, miejsca...
-
Relacje diagnostyczne układów tribologicznych silnika o zapłonie samoczynnym dla potrzeb sterowania zużyciem przez pitting
PublicationCechą charakterystyczną zużycia przez pitting jest fakt, że występuje on jedynie w obecności oleju smarowego. Wpływ oleju smarowego na przebieg pittingu jest niezwykle złożony i nie całkiem zbadany. W artykule przedstawiono możliwość zastosowania wyników badań laboratoryjnych oleju smarowego jako relacji do budowy topologicznego modelu diagnostycznego dla potrzeb sterowania zużyciem układów tribologicznych przez pitting.
-
Marek Dzida dr hab. inż.
PeopleHe was born on 6 August 1953 in Bielsko-Biała. He is a graduate of the Institute of Shipbuilding at Gdańsk University of Technology. Since 1978 he has been working at Faculty of Ocean Engineering and Ship Technology at GUT. In 1983 he received the title of Doctor of Technical Sciences, and in 2001 – the title of Doctor with habilitation. He is currently employed as Associate Professor at GUT. He worked as vice-dean for Education...
-
Regulacja epigenetyczna a potencjał regeneracyjny ssaków. Badania globalnych profili metylacji w tkankach dorosłej myszy MRL/MpJ i w sercach noworodków myszy C57BL/6J.
PublicationW pracy tej otrzymano genomowe profile metylacji DNA dla dwóch modeli regeneracji u ssaków: (i) dorosłej myszy MRL/MpJ, która jest zdolna do zamykania otworów w małżowinie usznej oraz wykazuje podwyższone zdolności regeneracyjne w wielu innych narządach oraz (ii) sercach noworodków myszy, u których zachodzi regeneracja rozległych uszkodzeń lewej komory serca. Zidentyfikowano szereg odmiennie metylowanych regionów DNA, regionów DMR,...
-
Rozdział 4. Cieplno-przepływowe relacje diagnostyczne ustabilizowanych cieplnie bloków energetycznych wykorzystujące sztuczne sieci neuronowe (SSN)
PublicationPodano przykłady relacji diagnostycznych budowanych dla bloków energetycznych pracujących w warunkach stabilizacji cieplnej. Należą one do metod off-line. Dobrze sprawdzają się w nich sztuczne sieci neuronowe. Przy modułowej strukturze relacji diagnostycznych wykorzystywane są z powodzeniem SSN zarówno z ciągłymi jak i skokowymi funkcjami przejścia, w zależności od oczekiwanego wyniku obliczeń neuronowych.
-
Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych
PublicationAutoFocus jest narzędziem wspomagającym wytwarzanie systemów wbudowanych charakteryzujących się wysoką niezawodnością. Artykuł prezentuje studium przypadku zastosowania narzędzia i związanej z nim metody formalnej Focus do analizy bezpieczeństwa (ang. security) protokołu tworzenia podpisu cyfrowego w środowisku rozproszonym. Zastosowana metoda formalna wykorzystana została jako ostatni etap zintegrowanej metody oceny protokołów...
-
Oceny środowiskowe jako narządzie kształtowania krajobrazu.
PublicationArtykuł prezentuje możliwości wykorzystania procedury oceny oddziaływania na środowisko do ochrony i kształtowania krajobrazu miasta. Przedstawiono zagrożenia krajobrazów miast we współczesnym świecie, istotę ocen środowiskowych, jak i możliwości wykorzystania tej procedury z punktu widzenia uwarunkowań formalno-prawnych, czyli działań organów administracji publicznej oraz innych zainteresowanych instytucji i organizacji. Usystematyzowano...
-
FORMAL ASPECTS OF COMPUTING
Journals -
Multiple transcriptional factors regulate transcription of the rpoE gene in Escherichia coli under different growth conditions and when the lipopolysaccharide biosynthesis is defective.
PublicationThe RpoE sigma factor is essential for the viability of Escherichia coli. RpoE regulates extracytoplasmic functions including lipopolysaccharide (LPS) translocation and some of its non-stoichiometric modifications. Transcription of the rpoE gene is positively autoregulated by EσE and by unknown mechanisms that control the expression of its distally located promoter(s). Mapping of 5′ ends of rpoE mRNA identified five new transcriptional...
-
Dual inhibition of PI3K/Akt signaling and the DNA damage checkpoint in p53-deficient cells with strong survival signaling: implications for cancer therapy
PublicationOporność komórek nowotworowych na leki uszkadzjące DNA związana jest ściśle ze zdolnością do utrzymywania blok z fazie G2 cyklu komórkowego. Blok ten regulowany jest przez mechanizmy punktu kontrolnego G2/M oraz szlaki przeżycia komórkowego. W pracy badaliśmy rolę szlaku kinazy PI3K/Akt w funkcjonowaniu punktu kontrolnego cyklu komórkowego i wpływ na przeżycie komórek traktowanych lekiem przeciwnowotworowym - cisplatyną. Nasze...
-
Relationship between heavy metal distribution in sediment samples and their ecotoxicity by the use of the Hasse diagram technique
PublicationOpisane badania wskazują, że istnieje nowe podejście oszacowywania ryzyka zanieczyszczenia określonych przedziałów środowiska morskiego dzięki równoczesnemu monitorowaniu zawartości metali ciężkich i parametrów ekotoksykologicznych. Rutynowe podejście stosuje oddzielnie wskaźniki zawartości metali ciężkich i wskaźniki ekotoksykologiczne w celu wykrycia zależności między poziomami zawartości metali ciężkich a mierzalnymi parametrami...
-
Przeciwdziałanie procederowi prania pieniędzy na przykładzie wybranych regulacji prawnych Unii Europejskiej i Polski. Action against Money laundering as Exempliefied by selected legal Regulations of the European union and Poland
PublicationW opracowaniu omówiono zjawisko prania pieniędzy oraz jego negatywny wpływw na sktor finansowy i gospodarkę, ze szczególnym uwzględnieniem Polski i Unii Europejskiej.Krajowe regulacje bankowe w zakresie zwalczania tego procederu są w znacznym stopniu zgodne zarówno z regulacjami międzynarodowymi w tym FATF, jak i Unii Europejskiej.
-
Układy regulacji grupowej w węzłach wytwórczych. Elektrownie i sieci - zagadnienia wybrane: generacja rozproszona i odnawialne źródła energii, urządzenia i sieci nN - SN, problemy wybrane,
PublicationW węzłach wytwórczych i przesyłowych w celu zapewnienia prawidłowego procesu regulacji napięć i sterowania rozpływem mocy biernej w systemie należy dążyć do zastosowania układów regulacji grupowej napięcia i mocy biernej. Układy regulacji grupowej powinny swoim sterowaniem (nadrzędnym) obejmować wszystkie układy regulacji biorące udział w procesie regulacji U i Q w danym węźle. W referacie przedstawiono wymagania dla układów...
-
A model-based approach to analysis of security protocols - a case study
PublicationArtykuł 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...
-
ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA-CLASSE DI SCIENZE
Journals -
Акустическое изображение омонима этнического языка как входной элемент формальной классификации межъязыковой омонимии [The acoustic image of ethnic homonyms as an input element in formal classification of interlinguistic homonymy]
Publication