Filtry
wszystkich: 7009
wybranych: 5999
-
Katalog
- Publikacje 5999 wyników po odfiltrowaniu
- Czasopisma 29 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 212 wyników po odfiltrowaniu
- Wynalazki 54 wyników po odfiltrowaniu
- Projekty 25 wyników po odfiltrowaniu
- Laboratoria 4 wyników po odfiltrowaniu
- Zespoły Badawcze 10 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 280 wyników po odfiltrowaniu
- Wydarzenia 96 wyników po odfiltrowaniu
- Dane Badawcze 298 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: klasa caratheodory'ego
-
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.
-
Caratheodory solutions to quasi-linear hyperbolic systems of partial differential equations with state dependent delays
PublikacjaW pracy udowodniono twierdzenie o istnieniu i jednoznaczności rozwiązań oraz o ich ciągłej zależności od warunków początkowych dla układów równań różniczkowych cząstkowych z opóźnionym argumentem, zależnym od funkcji niewiadomej. Posłużono się metodą bicharakterystyk a istnienia dowiedziono stosując twierdzenie Banacha o punkcie stałym.
-
Długoczasowa niezawodność detektorów klasy S.
PublikacjaDetektory alarmowe klasy S mają możliwość dopasowywania się do pracy w zmiennych warunkach oraz układy do samokontroli sprawności. Przedstawiono podwójnie i potrójnie zbalansowane detektory magnetyczne, detektory wibracji oraz kontaktowe i bezkontaktowe detektory stłuczenia szyby. Omówiono podstawowe parametry decydujące o niezawodności detektorów. Omówiono nowe elementy w architekturze detektorów wpływające na ich niezawodnośc...
-
Wdrażanie systemu informatycznego klasy ERP
PublikacjaWobec wysokiej złożoności oraz kosztów wdrożenia systemu klasy ERP rodzio się pytanie-co robić, aby minimalizować ryzyka niepowodzenia? Nie ma w tym zakresie jednego kanonu postępowania, a firmy informatyczne prześcigają sie w przedstawianiu bogatych ofert. Autorzy artykułu, wykorzystując swoje doświadczenia praktyczne, przedstawili, w podziale na poszczególne fazy cyklu zycia projektu, pewne wskazówki w tym zakresie.
-
Systemy Wspomagania Zarządzania Należnościami (DRMS) jako nowa klasa systemów informatycznych
PublikacjaW polskim obrocie gospodarczym powszechnym zjawiskiem stało się niepłacenie przez dłużników swoich zobowiązań. Dla wierzyciela kluczowym procesem biznesowym staje się zarządzanie swoimi należnościami, od skuteczności którego zależy niejednokrotnie utrzymanie przezeń płynności finansowej. By zarządzanie owo było efektywne, niezbędny jest stały monitoring wielu informacji w firmie - począwszy od analizy kwot i dat wymagalności faktur,...
-
Optymalizacja równoważenia obciążeń w systemach klasy grid
PublikacjaZaprezentowano techniki równoważenia obciążeń testowane w systemie rozproszonym Comcute o architekturze typu grid. Omówiono niezbędne uwarunkowania środowiska prowadzenia obliczeń w zestawie laboratoryjnym Politechniki Gdańskiej, a także odniesiono się do kryteriów kierunkujących równoważenie obciążeń. Przedstawiono wielopoziomową metodę równoważenia obciążeń.
-
Kontrolki ActiveX - Projektowanie kontrolek ActiveX wykorzystujących klasy MFC
PublikacjaPrzedstawiono środowisko edycyjne MFC ActiveX ControlWizard do projektowania komponentów ActiveX. Opisano zasady wizualizacji kontrolek, metody przekazywania właściwości do kontrolek oraz podano instruktaż pisania własnych funkcji i procedur obsługi zdarzeń w ramach komponentu ActiveX. Wszystkie etapy projektowania zilustrowano przykładami.
-
Zintegrowany System Informatyczny Klasy ERP - planowanie zasobów przedsiębiorstwa.
Publikacja...
-
NUMERYCZNY MODEL OBLICZENIOWY OBIEGU TURBINY KLASY 300 MW
PublikacjaNiniejszy artykuł stanowi opis modelu obiegu cieplnego turbiny o mocy 360MW, utworzonego w preprocesorze numerycznego programu obliczeniowego onazwie DIAGAR. Zadaniem opisywanego modelu jest odtwarzanie zjawisk fizycznych zachodzących w poszczególnych urządzeniach składowych obiegu, zarówno podczas poprawnej (sprawnej) pracy bloku energetycznego, jak i w przypadku pojawienia się niesprawności. Utworzony...
-
Zarządzanie wiedzą-podejmowanie decyzji w systemie klasy 'workflow'
PublikacjaOmowiono propblemy zarzadzania wiedza oraz zaproponowano model wspomagania tym zarzadzaniem w systemach opratych na przeplywach 'workflow'.
-
Baza doświadczeń w oparciu o system klasy workflow
PublikacjaW pracy przedstawiono koncepcję bazy wiedzy opartej na doświadczeniach gromadzonych w systemie zarządzania zwanym WORKFLOW.
-
Ocena jakości życia wschodzącej klasy wyższej w Polsce
PublikacjaW pracy zastosowano dwa modele teoretyczne do oceny jakości życia wschodzącej klasy wyższej w Polsce. Jakość życia wyrażono za pomocą wskaźnikowej zmiennej „zadowolenie z życia” na 5-stopniowej skali Likerta. Model pierwszy zakłada ciągły charakter pomiaru wyników skali Likerta i wykorzystuje ortogonalną regresję epsilon. Model drugi respektuje porządkowy pomiar skali Likerta i korzysta z porządkowej regresji logistycznej. Dane...
-
Optymalne pokolorowania średnicowe dla wybranych klas grafów
PublikacjaW pracy opisano wybrane właściwości szczególnego przypadku radiowego kolorowania grafów, zwanego kolorowaniem średnicowym. Podano zasadę działania algorytmu optymalnego kolorowania średnicowego i oszacowania liczby średnicowej grafu w przypadku ogólnym oraz dla ścieżek i cykli. Korzystając z podanego algorytmu, znaleziono dokładne wartości liczby średnicowej dla ścieżek i cykli niewielkiej długości, co pozwoliło na obalenie wcześniej...
-
Liczby Ramseya on-line dla różnych klas grafów
PublikacjaRozpatrujemy grę rozgrywaną na nieskończonej liczbie wierzchołków, w której każda runda polega na wskazaniu krawędzi przez jednego gracza - Budowniczego oraz pokolorowaniu jej przez drugiego gracza - Malarkę na jeden z dwóch kolorów, czerwony lub niebieski. Celem Budowniczego jest zmuszenie Malarki do stworzenia monochromatycznej kopii wcześniej ustalonego grafu H w jak najmniejszej możliwej liczbie ruchów. Zakładamy, że gracze...
-
Wybrane rozwiązania występujące w architekturach systemów rozproszonych klasy grid
PublikacjaOpisano wybrane rozwiązania występujące w architekturach systemów rozproszonych klasy grid. Odniesiono się do zapewnienia przezroczystości, a także do możliwości zarządzania i kontroli wykorzystania zasobów. Omówiono zasady optymalizacji zarządzania takimi systemami.
-
Wykorzystanie sprzętu komputerowego klasy SOHO do modelowania złożonych rozwiązań sieciowych
PublikacjaW artykule dokonano oceny możliwosci modelowania złożonych rozwiązań sieciowych, za pomocą modyfikacji otwartoźródłowego sterownika tanich kart ethernetowych. Zaproponowano wykorzystanie koncepcji interfejsów logicznych, znakowania ramek z uzyciem pola Tag standardu IEEE 802.1Q - VLAN oraz wielu pierscieniami DMA do priorytetyzowania klas ruchu. Techniki te, w połaczeniu z implemtacja w sterowniku odpowiednich algorytmów, umożliwiają...
-
Techniki audytowania zabezpieczeń sieci bezprzewodowej z wykorzystaniem systemów klasy grid
PublikacjaZaprezentowano efektywne zasady weryfikacji zabezpieczeń sieci bezprzewodowych z wykorzystaniem oprogramowania Back/Track w dystrybucji systemu Linux. Omówiono algorytmy RC4, MIC i AES, które wspierają techniki zabezpieczeń WEP, WPA i WPA2 wchodzące w skład protokołu IEEW 802.11. Zamieszczano także opis wykorzystania systemu rozproszonego Comcute o architekturze typu grid do prowadzenia audytu bezprzewodowej sieci.
-
Generatory labiryntów: modyfikacje algorytmu komórkowego i analiza właściwości generowanej klasy
PublikacjaWyróżniamy trzy podstawowe algorytmy generujące labirynty, których grafowa reprezentacja ma postać drzew: błądzenia losowego, budowania ścian i komórkowy[1]. W pracy przedstawione zostaną modyfikacje algorytmu komórkowego, które potrafią wygenerować tę samą klasę labiryntów, co podstawowa wersja algorytmu, przy jednoczesnej zmianie parametrów opisujących ich wygląd (preferencja kierunku wyjścia, średnia liczba wyjść z pokoju, średnia...
-
Kryteria wspomagające dobór kombinowanych układów napędowych okrętów klasy korweta i fregata.
PublikacjaPodano kryteria wspomagające dobór kombinowanych układów napędowych okrętów klasy korweta i fregata. Scharakteryzowano podstawowe układy napędowe oraz powiązano ich dobór z innymi wymaganiami konstrukcyjnymi, taktycznymi i ekonomicznymi. Opisano wybrane relacje ''zysk-koszt'' w obszarze przyjmowanych rozwiązań.
-
Techniki rozszerzonej rzeczywistości i ich zastosowanie w systemach klasy dual-use.PREPRINT
PublikacjaW pracy przedstawiono ogólną koncepcję systemów rozszerzonej rzeczywistości i technik łączących w sobie elementy świata realnego oraz tzw. rzeczywistości wirtualnej. W sposób szczególny praca została poświęcona wyświetlaczom holograficznym 3D, które mogą znaleźć szerokie zastosowanie m.in. w systemach klasy dual-use. W artykule wskazano także kilka przykładów praktycznych zastosowań wielodotykowego wyświetlacza holograficznego...
-
Wpływ parametrów technologicznych nagniatania tocznego na chropowatość powierzchni części klasy wałek
PublikacjaW artykule zamieszczono wyniki badań wpływu nagniatania tocznego na chropowatość powierzchni wałków ze stali C45. Badania przeprowadzono na serii próbek o średnicy 56 mm na tokarce CNC z użyciem nagniataka z tensometrycznym pomiarem siły nagniatanej podczas obróbki.
-
Efektywne zrównoleglanie obliczeń w systemie klasy grid na przykładzie hipotezy Collatza
PublikacjaZaprezentowano problem Collatza oraz sposób jego adaptacji, pozwalający na realizację obliczeń w systemie typu grid. Zidentyfikowano również pożądane cechy problemów obliczeniowych, dzięki którym mogą one zostać zrównoleglone w sposób efektywny w systemach typu grid i porównano je z cechami zadań realizowanych typowo przy użyciu klastrów obliczeniowych.
-
Zastosowanie systemów informatycznych klasy CRM w procesach zarządzania relacjami z klientami
PublikacjaPrzedstawiono znaczenie i rolę systemów informatycznych w procesie zarządzania nowoczesną jednostką organizacyjną. Zaprezentowano cykl rozwojowy systemów zarządzania w dobie ciągłego zapotrzebowania na informację. Pokazano rozwój narzędzi informatycznych wspierających rozwój i funkcjonowanie przedsiębiorstw. Określono pojęcie procesu biznesowego. W szczególności zwrócono uwagę na systemy typu CRM (Customer Relationship Management)...
-
ANALIZA WPŁYWU WŁAŚCIWOŚCI PALIWA ŻEGLUGOWEGO TYPU MGO NA CHARAKTERYSTYKĘ ENERGETYCZNĄ SILNIKA WYSOKOPRĘŻNEGO, NIEZAWODNOŚĆ PRACY I ZUŻYCIE JEGO CZĘŚCI
PublikacjaW ramach opracowania przedstawiono wyniki badania silnika laboratoryjnego Farymann Diesel D10 zasilanego paliwem żeglugowym MGO produkowanym przez koncern paliwowy GRUPA LOTOS S.A. Badania miały na celu opracowanie charakterystyk energetycznych i emisyjnych silnika w stanie pracy ustalonej na reprezentatywnych obciążeniach wyznaczanych według charakterystyki śrubowej oraz określenie jego cech dynamicznych w procesie forsownego...
-
Ocena możliwości emulacji protokołu RPR na sprzęcie klasy SOHO i systemie Linux
PublikacjaW pracy dokonano oceny możliwości realizacji protokołu RPR (Resilient Packet Ring - IEEE 802.17) na sprzęcie klasy SOHO i systemie Linux. Przedstawiono wytworzony na Politechnice Gdańskiej naukowo-dydaktyczny emulator stacji RPR zgodny z wersją 3.0 standardu. Funkcjonalność emulatora skupiono na algorytmach sprawiedliwości podziału pasma. Opisano sposób rozwiązania najważniejszych problemów związanych z implementacją, a w szczególności...
-
Wspomaganie procesu decyzyjnego doboru i wdrożenia systemu informatycznego klasy ERP w przedsiębiorstwie
PublikacjaW artykule opisano próbę opracowania metody analizy stosowanej w procesie wspomagania decyzji o rozpoczęciu prac nad doborem i wdrożeniem systemu klasy ERP w przedsiębiorstwie. Istotnym elementem prezentowanej metody jest uwzględnienie opinii użytkowników systemu obecnie wykorzystywanego w procesie podejmowania decyzji.
-
Wpływ napięcia takielunku na odkształcenia kadłuba jachtu regatowego na przykładzie jednostki klasy Omega
PublikacjaPrzedstawiono problem deformacji kadłuba pod wpływem sił generowanych przez takielunekj, w kontekście przepisów klasowych oraz pożądanych i niepożądanych własności konstrukcyjnych kadłuba.
-
The circular chromatic index of some class 2 graphs
PublikacjaW artykule został wyznaczony cyrkularny indeks chromatyczny dla dwóch rodzin grafów klasy 2. Co więcej, podano nie trywialne oszacowania tego parametru dla snarków Isaacsa i Goldberga. Na koniec artykułu rozważana jest złożoność obliczeniowa problemów związanych z cyrkularnym kolorowaniem krawędzi.
-
Aktywność biologiczna i selektywna toksyczność nowej klasy N-podstawionych pochodnych antybiotyku polienowego Nystatyny A1
PublikacjaCelem badań, których wyniki zaprezentowano w niniejszej pracy było określenie aktywności biologicznej nowej klasy N–podstawionych pochodnych Nystatyny A1 w stosunku do komórek grzybowych z rodzaju i ssaczych oraz ustalenie wpływu modyfikacji chemicznej na selektywną toksyczność tych związków. W toku wieloletnich prac badawczych zaproponowano, że wprowadzenie podstawnika na grupie aminowej cząsteczki antybiotyku o charakterze objętościowym...
-
Komputerowe wspomaganie zarządzania jakością w systemach klasy MRP/ERP z uwzględnieniem specyfiki sektora MŚP
PublikacjaW opracowaniu przedstawiono koncepcje integracji komputerowych aplikacji wspomagających zarządzanie jakością z systemami klasy MRP/ERP. W rezultacie przeprowadzonej analizy dotyczącej genezy i zastosowań modułów wspierających zarządzanie jakością w systemach zintegrowanych sformułowano wnioski dotyczące funkcjonalności tych systemów zarządzania oraz ich możliwości aplikacyjnych w sektorze MŚP.
-
AKTYWNOŚĆ BIOLOGICZNA I SELEKTYWNA TOKSYCZNOŚĆ NOWEJ KLASY N–PODSTAWIONYCH POCHODNYCH ANTYBIOTYKU POLIENOWEGO NYSTATYNY A1
PublikacjaCelem badań, których wyniki zaprezentowano w niniejszej pracy było określenie aktywności biologicznej nowej klasy N–podstawionych pochodnych Nystatyny A1 w stosunku do komórek grzybowych z rodzaju i ssaczych oraz ustalenie wpływu modyfikacji chemicznej na selektywną toksyczność tych związków. W toku wieloletnich prac badawczych zaproponowano, że wprowadzenie podstawnika na grupie aminowej cząsteczki antybiotyku o charakterze objętościowym...
-
Homoclinic solutions for nonautonomous second order Hamiltonian
PublikacjaW pracy dowodzi się istnienia rozwiązań homoklinicznych dla pewnych typów równań różniczkowych zwyczajnych drugiego rzędu typu hamiltonowskiego.
-
Joint Analysis of National Eco-Efficiency, Eco-Innovation and SDGs in Europe: DEA Approach
PublikacjaThe growing complexity and intertwining of different socio-economic issues both in individual countries and internationally mean that single-theme analyses do not consider all the relationships and thus have cognitive limitations. Therefore, studies that combine several research areas are increasingly common in the literature to clarify the connections and relationships. In this study, considering the sequential nature of the...
-
JOINT ANALYSIS OF NATIONAL ECO-EFFICIENCY, ECO-INNOVATION AND SDGS IN EUROPE: DEA APPROACH
Publikacja -
APLIKACJA MARKOWSKIEGO MODELU NIEZAWODNOŚCIOW EGO UKŁADU TŁOKOWO – KORBOWEGO SILNIKA SPALINOWEGO Z ZAPŁONEM SAMOCZYNNYM
PublikacjaPrognozowanie niezawodności okrętowych silników spalinowych jest szczególnie istotnym problemem. Pozwala bowiem na przewidywanie stanów niezawodnościowych w przyszłości na podstawie informacji o tych stanach w przeszłości. Trafne prognozowanie niezawodności, to złożony proces przetwarzania empirycznych wyników badań uzyskanych w praktyce eksploatacyjnej, uzupełniony rozważaniami analitycznymi. Proces zmian stanu technicznego każdego...
-
Analiza stanu nawierzchni i klas pojazdów na podstawie parametrów ekstrahowanych z sygnału fonicznego
PublikacjaCelem badań jest poszukiwanie parametrów wektora cech ekstrahowanego z sygnału fonicznego w kontekście automatycznego rozpoznawania stanu nawierzchni jezdni oraz typu pojazdów. W pierwszej kolejności przedstawiono wpływ warunków pogodowych na charakterystykę widmową sygnału fonicznego rejestrowanego przy przejeżdżających pojazdach. Następnie, dokonano parametryzacji sygnału fonicznego oraz przeprowadzano analizę korelacyjną w celu...
-
Miasto i jego obywatele.
PublikacjaTekst stanowi próbę włączenia się w dyskusję nad sensem rozwijania i budowania harmonijnych relacji: mieszkaniec-obywatel a jego miejskie środowisko zamieszkania. Ma to istotne znaczenie w polskich realiach, w warunkach demokratyzującego się systemu zarządzania strukturami miejskimi i często antydemokratycznymi w swej istocie praktykami koncesjonowania i zawłaszczania przestrzeni publicznych. Przestrzenie te wyznaczają ramy obywatelskiego...
-
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...
-
Performance analysis of untraceability protocols for mobile agents using an adaptable framework
PublikacjaArtykuł przedstawia środowisko oceny wydajności protokołów ochrony przed tropieniem agentów mobilnych oraz wyniki analiz przeprowadzonych za jego pomocą. Chociaż środowisko projektowano i implementowano z myślą o ewaluacji zaproponowanych przez nas protokołów ochrony przed tropieniem, w trakcie badań okazało się, że może ono zostać również wykorzystane do badań całej klasy protokołów bezpieczeństwa dla agentów mobilnych. Chodzi...
-
On the Peano Theorem for Some Functional Differential Equations on Time Scale
PublikacjaThe Peano Theorem for some functional differential equations on time scale is proved. Assumptions are of Caratheodory type. Two counter examples for false Peano theorems in the literature are presented.
-
Bank komercyjny a jego prawne otoczenie.
PublikacjaBank komercyjny jest systemem. Jest on podatny na oddziaływanie swojego otoczenia. Ponieważ bank jest instytucją zaufania publicznego, szczególnie istotne jest dla niego otoczenie prawne. W artykule określono relacje: prawe otoczenie - bank komercyjny.
-
Protokół SIP i jego implementacja
PublikacjaW pracy została przedstawiona zrealizowana implementacja protokołu SIP dla potrzeb czteroportowej wersji Abonenckiego Terminala Kablowego 7410 firmy DGT z wykorzystaniem dostępnych otwartych kodów źródłowych. W referacie zawarto opis ATK, wykorzystane metody wytwarzania oprogramowania dla potrzeb ATK. Następnie przeprowadzono rozpoznanie możliwości implementacji protokołu SIP w ATK i opisano kryteria wymagań w stosunku do tego...
-
Protokół SOAP i jego zastosowanie.
PublikacjaW pracy przedstawiono zasadę działania i organizację protokołu SOAP, który w chwili obecnej może być uważany za jeden z najważniejszych standardów w systemach rozproszonych. Zaprezentowano genezę powstania protokołu i jego współczesne zastosowania ze szczególnym uwzględnieniem problemów przenośności. Ponadto opisano formaty wiadomości i modele przesyłania danych w SOAP. Protokół, podobnie jak niemal wszystkie technologie informatyczne,...
-
Standard Bluetooth i jego profile.
PublikacjaPrzedstawiono historie rozwoju oraz zasady dostępu do medium transmisyjnego standardu Bluetooth 1.1 (oraz 1.2). Scharaktyzowano architekturę protokolarną tego standardu oraz przedstawiono jego profile, które umożliwiają realizacje konkretnych modeli zastosowań (tzw. modeli użytkowych) technologii Bluetooth.
-
Protokół SIP i jego implementacja
PublikacjaW pracy została przedstawiona zrealizowana implementacja protokołu SIP dla potrzeb czteroportowej wersji Abonenckiego Terminala Kablowego 7410 firmy DGT z wykorzystaniem dostępnych otwartych kodów źródłowych. W referacie zawarto opis ATK, wykorzystane metody wytwarzania oprogramowania dla potrzeb ATK. Następnie przeprowadzono rozpoznanie możliwości implementacji protokołu SIP w ATK i opisano kryteria wymagań w stosunku do tego...
-
Werner Siemens i jego upamiętnienie
PublikacjaWerner Siemens żył w latach 1816-1892, w czasach niezwykłego postępu w naukach przyrodniczych i największych odkryć w zakresie elektrotechniki. Jako osoba z wykształceniem technicznym i niezwykłym zacięciem naukowym, przez całe życie łączył te dwie działalności. Jego prace naukowe służyły rozwojowi techniki, a wdrażane rozwiązania techniczne wymuszały tematy prowadzonych badań. Wykazał się też talentem jako przedsiębiorca. Założone...
-
The influance of infiltration of LNF cathode with CGO
Publikacja -
Geo-location of the commune of an IP user
PublikacjaThis paper describes a system of geo-location of an IP user that would enable VoIP users to call 112. Basic requirement is fast (under 50ms) determination of the commune of the subscriber. To obtain as accurate information as possible aggregation of several methods was proposed: using a database of locations of IP ranges created by specialized companies, traceroute using history of user locations to assume his current one.It is...
-
Nikola Tesla i jego wynalazki
PublikacjaPrzedstawiono biografię Nikoli Tesli. Omówiono dziedziny, którymi się zajmował i opisano najważniejsze wynalazki.
-
Photos and rendered images of LEGO bricks
PublikacjaThe paper describes a collection of datasets containing both LEGO brick renders and real photos. The datasets contain around 155,000 photos and nearly 1,500,000 renders. The renders aim to simulate real-life photos of LEGO bricks allowing faster creation of extensive datasets. The datasets are publicly available via the Gdansk University of Technology “Most Wiedzy” institutional repository. The source files of all tools used during...