Filters
total: 25070
-
Catalog
- Publications 3135 available results
- Journals 71 available results
- Conferences 24 available results
- Publishing Houses 1 available results
- People 124 available results
- Inventions 12 available results
- Projects 10 available results
- Research Teams 3 available results
- e-Learning Courses 419 available results
- Events 49 available results
- Open Research Data 21222 available results
displaying 1000 best results Help
Search results for: FORMAT ID3V1
-
International Conference Formal Concept Analysis Conference
Conferences -
International Conference on Formal Ontology in Information Systems
Conferences -
International Conference on Formal Structures for Computation and Deduction
Conferences -
International Conference on Formal Engineering Methods [FEM]
Conferences -
An integrated framework for security protocol analysis
PublicationAssurance of security protocols needs particular attention. Flaws in a protocol can devastate security of the applications that rely on it. Analysis of the protocols is difficult and it is recommended that formal methods are employed to provide for higher levels of assurance. However, the formal methods can cover only a part of the scope of the problem. It is important that the formal models are valid representations of the protocol...
-
A general method for the derivation of the functional forms of the effective energy terms in coarse-grained energy functions of polymers. III. Determination of scale-consistent backbone-local and correlation potentials in the UNRES force field and force-field calibration and validation
Publication -
From chemoresistance to cancer stem cells: the case of BRCP/ABCG2 half transporter
PublicationLudzkie białko ABCG2 jest pompą typu ABC tworzącą homodimery i aktywnie transportującą leki i inne substraty naturalne i syntetyczne. Nadekspresja tego białko prowadzi do oporności na leki przeciwnowotworowe. Białko ABCG2 występuje w wielu formach zmutowanych, różniących się własnościami substratowymi, stąd istotne dla oporności na leki jest jaka forma genu i białka ABCG2 ulega nadekspresji w komórce. Ostatnie badania wskazują,...
-
Pejzaże gdyńskie-gdynia szaro-rózowa
PublicationPrace pejzaże Gdyni w technice akwareli utrzymane w tonacji szaro -rózowej. 34 sztyki format 35 x45 cm.
-
Cassirer E. .Filozofia form symbolicznych. Część Druga: Myślenie Mityczne.Przekład, wstęp i opracowanie Andrzej Karalus i Przemysław Parszutowicz, Kęty: Wydaw.Marek Derewiecki,2020
PublicationTłumaczenie ksiązki: Andrzej Karalus i Przemysław Parszutowicz
-
Closed-form expression for the magnetic shielding constant of the relativistic hydrogenlike atom in an arbitrary discrete energy eigenstate: Application of the Sturmian expansion of the generalized Dirac–Coulomb Green function
PublicationWe present analytical derivation of the closed-form expression for the dipole magnetic shielding constant of a Dirac one-electron atom being in an arbitrary discrete energy eigenstate. The external magnetic field, by which the atomic state is perturbed, is assumed to be weak, uniform, and time independent. With respect to the atomic nucleus we assume that it is pointlike, spinless, motionless, and of charge Ze. Calculations are...
-
Test Execution Logging and Visualization Techniques
PublicationTraditionally, log traces of test cases ex ecution are stored in textual format and their analysis is done in a post- execution phase. Our approach bases on the concept of gr aphical presentation of te st execution which enables better analysis of log traces and also gives the opportunity to consider them on-line. In particular, we discuss the graphical symbols we chose, we pres ent the logging interface we defined a nd describe...
-
Ireneusz Kreja dr hab. inż.
PeopleGraduated from the mathematical class at the Nicolaus Copernicus High School in Gdańsk (1974). Master of Sciences in Civil Engineering after studies at Gdansk University of Technology (GUT), Poland (1974-1979). Since 1979 became an employee of the GUT. In 1989 earned a Ph.D. degree in Civil Engineering (with grade "Summa cum Laude") from the GUT. In 2008 obtained a D. Sc. (Habilitation) degree in Civil Engineering (with grade...
-
Existentia: An International Journal of Philosophy (Former title: Existentia - Pro Philosophia Szegediensi Alapítvány, Szeged - megszűnt
Journals -
FPGA implementation of reverse residue conversion based on the new Chinese Remainder Theorem II- Part I
PublicationW pracy opisano implementację algorytmu konwersji z systemu resztowego do systemu binarnego opartą na nowej formie chińskiego twierdzenia o resztach określanego jako CRT II.Nowa forma CRT nie wymaga operacji modulo M , gdzie M jest zakresem liczbowym systemu resztowego, jednak wymagana jest pewna liczba mnożników. W środowisku FPGA jest zwykle dostępne są mnożniki, stąd mogą być one wykorzystane do realizacji konwertera. Głównym...
-
Zebranie dydaktyków Katedry Zarządzania w Budownictwie i Inżynierii Sejsmicznej WILiŚ PG
e-Learning CoursesCelem spotkania jest ustalenie zakresu i formy zaliczenia przedmiotów realizowanych w formie zdalnej.
-
Śródmiejskie przestrzenie publiczne - współczesne przekształcenia.
PublicationW wyniku procesów globalizacyjnych wejście w okres poprzemysłowy zmienia się sytuacja przestrzeni publicznych. Wzrasta ich komercyjna rola, znaczenie bogactwa i atrakcyjności formy, tendencje do ich mnożenia oraz wykorzystywania dla potrzeb czasu wolnego. Wpływa to na ich relacje z całością miasta, strukturą, a przede wszystkim formą, dzięki której stają się one elementem spektaklu miejskiego.
-
The validation process of truss model with joint eccentricities
PublicationNowadays, due to the technological reasons in modern lightweight steel trusses, fabricated from cold-formed sections, positive eccentricities appear in the truss nodes, to induce additional forces truss chords. In order to account for the real load-carrying capacity of truss node area the steel structure research was conducted in scale 1:1. As a result of experimental research, the forms of deformation and strains of the walls...
-
Kontekst sytuacyjny jako najistotniejszy element w kształtowaniu form architektury sakralnej współczesnego miasta (z uwzględnieniem realizacji z terenu Trójmiasta, w tym z Sopotu)
PublicationŚrodowisko zabudowane trzech miast nadmorskich - Gdańska, Sopotu i Gdyni - jest wyrazem troskliwej działalności budowlanej wokół obiektów sakralnych: stara substancja zabytkowa jest pielęgnowana a najnowsze projekty realizowane. Niemniej, nie daje się zaobserwować (zwłaszcza na terenie Krajobrazowego Parku Nadmorskiego) wysiłku projektanckiego w uwzględnianiu pierwszego i podstawowego warunku dla nowo projektowanej architektury,...
-
The impact of organizational culture on employees' decisions on the selection of bibycles as a form of transportation to work , in the context of creating a new culture for urban mobillity, based on an example of three IT companies located in Gdansk
PublicationCelem artykułu jest wskazanie relacji między kulturą organizacyjną pracodawcy a wyborami transportowymi pracowników. Prowadzone w artykule rozważania odwołują się do modelu kultury organizacyjnej E. Scheina, w którym według kryterium postrzegania przez postronnego obserwatora wyróżnione zostały trzy poziomy: artefakty, wartości i założenia. Przeprowadzone w trzech firmach badania ankietowe, wsparte informacjami z wywiadów osobistych, dowodzą,...
-
Bogdan Ścibiorski dr inż.
People -
Jarosław Przewłócki prof. dr hab. inż.
PeopleJarosław Przewłócki jest profesorem na Wydziale Architektury Politechniki Gdańskiej, zastępca kierownika Katedry Technicznych Podstaw Projektowania Architektonicznego. Podstawowym kierunkiem jego działalności naukowej są badania zjawisk losowych i zastosowanie metod probabilistycznych oraz teorii niezawodności w budownictwie, a w szczególności w geotechnice. Autor i współautor około stu publikacji naukowych, w tym szeregu książek...
-
Model studies to identify input parameters of an algorithm controlling electric supply/consumption process by underground iron ore enterprises
PublicationPurpose is the development of the research format of a mathematical model to select and assess input parameters of an algorithm controlling distribution of electric energy flows in the monitoring structure of electricity supply/ consumption by using equipment of mining enterprises engaged in underground iron ore raw materials extraction. Methods. The analytical research involved a theory of random processes adapted to the real...
-
Apparent molar volumes and compressibilities of electrolytes and ions in gamma-butyrolactone
PublicationW oparciu o zmierzone wartości gęstości roztworów i rozpuszczalnika w temperaturach od 15 do 40oC wyznaczono pozorne molowe objętości bromku litu, nadchloranu litu, nadchloranu sodu, tetrafenyloboranu sodu oraz bromku tetrafenylofosfoniowego w gamma-butyrolaktonie. Ponadto, wyznaczone prędkości rozchodzenia się dźwięku w 25oC w badanych układach pozwoliły obliczyć pozorne molowe ściśliwości wybranej grupy soli. Uzyskane (w wyniku...
-
Formy Różniczkowe
e-Learning Courses -
Jan Cudzik dr inż. arch.
PeopleJan Cudzik (Ph.D. Eng. Arch.) is an assistant professor at the Department of Urban Architecture and Waterside Spaces at the Faculty of Architecture of the Gdańsk University of Technology and the head of the Laboratory of Digital Technologies and Materials of the Future. He is researching kinematic architecture, digital techniques in architectural design, digital fabrication, and forms of artificial intelligence in architecture...
-
Handel targowy jako faux pas
PublicationWspółcześnie występujący handel targowy w przestrzeni publicznej posiada dwoisty charakter, polegający na niejednoznacznej odpowiedzi na pytanie czy powinno się ingerować współczesną architekturę w organizację targowisk czy jarmarków. Może tego rodzaju wydarzenia stanowią pewnego rodzaju nostalgię za tą pierwotną żywiołową formą handlu, której już się nie odnajdzie w galeriach handlowych, hipermarketach, gdzie rzesze ludzi pracują...
-
PROMOWANIE USUGI PRZELEWU NATYCHMIASTOWEGO BLUECASH W BANKACH SPÓŁDZIELCZYCH
PublicationCelem pracy jest prezentacja Systemu Płatności BlueCash, którego operatorem jest firma Blue Media S.A.. Wskazuje on również na charakterystykę usługi szybkiego przelewu. Celem szczegółowym jest wskazanie na formy promocji stosowane przez banki w celu poinformowania klientów o dostępności płatności natychmiastowych. Tytułem zebrania danych na temat form promocji, autor przeprowadził badanie ankietowe pośród banków uczestników systemu płatności.
-
The mechanism of internalization study of QDgreen−CD−FA−C−2028 conjugate at IC80 value to cancer (H460, Du-145, and LNCaP) and normal (MRC-5 and PNT1A) cells
Open Research DataThe influence of different endocytosis inhibitors on the internalization of QDgreen−CD−FA−C−2028 conjugate at IC80 value in cancer (H460, Du-145, and LNCaP) and normal (MRC-5 and PNT1A) cells. First, the cells were preincubated with: drug-free medium (no inhibitor), at 4 °C, 5 µM Cytochalasin D, 30 µM Amiloride, 80 µM Dynasore, 25 µM Pitstop 2 and 1.5...
-
Formal Techniques in Real-Time and Fault Tolerant Systems
Conferences -
International Conference on Formal Methods and Models for Co-Design
Conferences -
Int. Workshop on Formal Methods for Industrial Critical Systems
Conferences -
Formal Methods in Software Engineering and Defence Systems Workshop
Conferences -
The Caustic in the Acoustics of Historic Interiors
PublicationIn the paper, caustics are discussed as ordered forms of focus broadening occurring in concave mirrors. Presented are examples of caustics formed in natural conditions and application of the phenomenon in different fields of science and technology. Against this factual background, the possibility to observe caustics in rooms is pointed out. Special emphasis is put on large rooms of historic character, as such interiors frequently...
-
THE ESSENCE OF THE TRANSFORMATION OF SOCIO-ECONOMIC RELATIONS IN THE NATIONAL ECONOMY: THEORETICAL AND METHODOLOGICAL ASPECT
PublicationThe article is devoted to a thorough study of the theoretical and methodological foundations of the essence of the transformation of socio-economic relations of the national economy. Based on the study of scientific sources, a proper definition of the concept of "transformation of socio-economic relations" was formed. It is proposed to consider transformational processes from the point of view of their direct or indirect impact...
-
Detection of UPEC IH11128 ability to form biofilm in a standard congo red (CR) method of colony staining.
Open Research DataA standard method of testing E. coli's ability to form biofilm is based on the analysis of morphologyof bacterial colonies grown on yeast extract/casamino acids (YESCA) nutrient agar medium containing congored (CR) as an indicator dye of ECM production. The CR dye adsorbed from the culture medium bybacteria binds to the components of the ECM, including...
-
A model of stealth maritime object having some innovative solutions concerning the object form, structure and materials.
Open Research DataThe aim of the project is to work out a model of the stealth maritime object which will have innovative solutions concerning the object form, structure and materials. These solutions should enable a modification of combinations of the object features defining the object stealth characteristics (difficulty of the object detection in the water). It is...
-
Insight into heart regeneration
PublicationThe mammalian heart is thought to be incapable of regeneration because of the limited ability of cardiomyocytes. to proliferate. However, it has been recently shown that the neonatal murine heart is able to restore its normal function after coronary artery ligation or even partial resection. Unfortunately, this feature is lost in a few days after birth, although lower vertebrates as zebrafish or newt, retain this ability until adulthood. Therefore,...
-
An extension to the FEEDB Multimodal Database of Facial Expressions and Emotions
PublicationFEEDB is a multimodal database that contains recordings of people expressing different emotions, captured by using a Microsoft Kinect sensor. Data were originally provided in the device’s proprietary format (XED), requiring both the Microsoft Kinect Studio application and a Kinect sensor attached to the system to use the files. In this paper, we present an extension of the database. For a selection of recordings, we also provide...
-
Analogowe filtry CMOS OTA-C czasu ciągłego realizowane w strukturach pro- gramowalnych.**2002, s. 7-113, 95 rys. 12 tab. maszyn. Rozprawa doktorska ( 22.10.2002 ) PG Wydz. Elektr. Telekom. i Informat. Promotor: prof. dr hab. inż. Michał Białko
Publication.
-
Hydraulic conductivity of a biopolymer treated sand
PublicationThis paper presents results of laboratory assessment of creating seepage barriers in a sandy soil using biopolymer additives (bio substance), which consist of polysaccharides and water. Polysaccharides strongly interact with water to produce a viscous suspension. The aim of the conducted work was to investigate the influence of a biosubstance employed in a highly permeable sandy soil. The amount of the biopolymer used in a sample...
-
Applications of permeability, oedometer and direct shear tests to the sand mixed with waste tire crumb
PublicationThe amount of the used waste rubbers in the world has been increasing every year, and their utilization, become a major environmental problem worldwide. The present experimental work has been performed to investigate the influence of rubber inclusion on the behavior of a sand. Geotechnical properties of the sand, and sand with tire crumb at various ratios mixtures (0%, 2.5%, 7.5%, and 15%) were investigated through a series of...
-
Labile and stable mercury in Harris mud crab (Rhithropanopeus harrisii) from the southern Baltic Sea – Considerations for a role of non-native species in the food web
Publication -
A new library for construction of automata
PublicationWe present a new library of functions that construct minimal, acyclic, deterministic, finite-state automata in the same format as the author's fsa package, and also accepted by the author's fadd library of functions that use finite-state automata as dictionaries in natural language processing.
-
Tworzenie miejskości po 1990r., Geneza niemieckiej urbanistyki współczesnych założeń mieszkaniowych
PublicationArtykuł jest przyczyną do przypomnienia genezy współczesnej formy niemieckich miejskich struktur mieszkaniowych w kontekście zmian rozumienia ich wymiaru miejskości. Niemiecka myśl urbanistyczna łączy w sobie dwie wyraziste tradycje dwudziestego wieku - Gründerzeit i KlassischeModerne. Pozostaje jednak silnie otwarta na innowację generowaną nie tylko dzięki postępowi technicznemu, ale przede wszystkim poprzez planowanie interdyscyplinarne...
-
Continuous three-dimensional radiation dosimetry in tissue-equivalent phantoms using electron paramagnetic resonance in L -α-alanine
Publication -
Generating sequences of Lefschetz numbers of iterates
PublicationDu, Huang and Li showed in 2003 that the class of Dold–Fermat sequences coincides with the class of Newton sequences, which are defined in terms of socalled generating sequences. The sequences of Lefschetz numbers of iterates form an important subclass of Dold–Fermat (thus also Newton) sequences. In this paper we characterize generating sequences of Lefschetz numbers of iterates.
-
Magdalena Kornat inż. arch.
People -
Maciej Furman
People -
Tożsamość, a miejsce zamieszkiwania
PublicationArchitektura jest zjawiskiem uniwersalnym i stanowi niezależną dziedzinę kulturotwórczą. Dlatego jako architekt chciałabym zabrać głos w dyskusji o tożsamości miejsca, które właściwie formowane jest nośnikiem określonych wartości i współdecyduje o zaistnieniu tożsamości z miejscem. W epoce wszechobecnej bezrefleksyjnej konsumpcji i powszechnego unikania słowa pisanego obiekty należące do kultury materialnej, jaką współtworzy architektura,...
-
Runoff Water
PublicationThis entry summarizes the current state of knowledge on the role of atmospheric pollutants' transport to the surface and transformations of wet deposition on contact with various surfaces. Runoff waters are one of the forms in which precipitation reaches the groundwater and surface water. They are formed when rain or melting snow washes the surfaces of roofs, highways, agricultural areas, or tree canopies. Pollutants present in...