Filtry
wszystkich: 2344
-
Katalog
- Publikacje 2005 wyników po odfiltrowaniu
- Czasopisma 56 wyników po odfiltrowaniu
- Konferencje 48 wyników po odfiltrowaniu
- Osoby 68 wyników po odfiltrowaniu
- Projekty 5 wyników po odfiltrowaniu
- Kursy Online 98 wyników po odfiltrowaniu
- Wydarzenia 4 wyników po odfiltrowaniu
- Dane Badawcze 60 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: zero-knowledge proof
-
VINE Journal of Information and Knowledge Management Systems
Czasopisma -
Dynamic OWL Ontology matching Using Lexical Wordnet-based Measures
PublikacjaOntologies are often used as a means of describing knowledge and the domain of operation of modern applications. S need arises for the ability to quickly match those ontologies to enable interoperability of such systems. This paper presents an extension to Noy and McGuiness ontology construction methodology which should improve ontology interoperability and a lexicon-based algorithm for merging and aligning of such ontologies stored...
-
Elżbieta Żero dr inż
Osoby -
Path components of the space of gradient vector fields on the two dimensional disc
PublikacjaWe present a short proof that if two gradient maps on the twodimensional disc have the same degree, then they are gradient homotopic.
-
Ontology-based text convolution neural network (TextCNN) for prediction of construction accidents
PublikacjaThe construction industry suffers from workplace accidents, including injuries and fatalities, which represent a significant economic and social burden for employers, workers, and society as a whole.The existing research on construction accidents heavily relies on expert evaluations,which often suffer from issues such as low efficiency, insufficient intelligence, and subjectivity.However, expert opinions provided in construction...
-
State aid for entrepreneurs at special economic zones
Dane BadawczeThe dataset encompasses a choice of important legal acts, a list of selected Polish bibliography and a list of important individual sentences issued on the topic of state aid for entreprenuers investing at special economic zones. Thanks to that the reader gets the possibility do acquire basic knowledge on the above mentioned topic.
-
State aid for coal mines in Poland
Dane BadawczeThe dataset encompassed a choice of important legal acts, a list of selected Polish and foreign bibliography and a list of important individual decisions issued on the topic of state aid for coal mines in Poland in the period 1998-2018. Thanks to that the reader gets the possibility do acquire basic knowledge on the above mentioned topic.
-
Language, Data and Knowledge
Konferencje -
Knowledge Domain Visualisation
Konferencje -
Approach to security assessment of critical infrastructures' information systems
PublikacjaThis study presents an approach to the security assessment of the information systems of critical infrastructures. The approach is based on the faithful reconstruction of the evaluated information system in a computer security laboratory followed by simulations of possible threats against the system. The evidence collected during the experiments, stored and organised using a proprietary system InSAW, may later be used for the creation...
-
State aid for airports and airlines in the EU
Dane BadawczeThe dataset encompassed a choice of important legal acts, a list of selected Polish and foreign bibliography and a list of important individual decisions of the EC issued on the topic of state aid forairlines and (regional) airports in EC Member states in the period 2004-2019. Thanks to that the reader gets the possibility do acquire basic knowledge...
-
The concept of stream and system reliability on the example of the bakery industry
PublikacjaThis article presents a new concept of technological system reliability based on the analysis of the relationship of associations of elements of energy streams, matter, information, time and finance. The method of stream specification and the method of determining the reliability values of significant and supporting relationships are given. Relevant relationships between elements of system streams were defined as having one-time...
-
LSP Journal - Language for special purposes, professional communication, knowledge management and cognition (former title: LSP and Professional Communication)
Czasopisma -
state aid for entrepreneurs - access to finance
Dane BadawczeThe dataset encompasses a choice of important legal acts, a list of selected Polish bibliography and a list of important individual sentences issued on the topic of state aid for entreprenuers in the form of better access to finance their development and filling the capital gap. It emcompasses the period 2004-2020 Thanks to that the reader gets the...
-
Sensing of anesthetic drugs in blood with Raman spectroscopy
PublikacjaA proof-of-concept study of a Raman spectroscopy-based approach for measuring the content of anesthesia drugs in blood is presented. Spectra of spiked blood from several patients exhibit prominent changes in regions associated with the drug.
-
Distortion in the group of circle homeomorphisms
PublikacjaLet G be the group PAff+(R/Z) of piecewise affine circle homeomorphisms or the group Diff∞(R/Z) of smooth circle diffeomorphisms. A constructive proof that all irrational rotations are distorted in G is given.
-
state aid for broadband infrastructure
Dane BadawczeThe dataset encompasses a choice of important legal acts, a list of selected bibliography, and a list of important individual sentences issued on the topic of state aid for building the infrastructure and rendering of broadband services during the period 2007-2013 and 2014-2020, as well as beyond, in the EU Member States. Thanks to that the reader gets...
-
The Gini index in Poland in 2008-2017
Dane BadawczeWhen assessing the level of poverty, one should use indicators presenting indicators of social inequality in terms of income, indicators of prosperity and poverty In Poland, the situation in terms of inequality is improving, but as measured by the Gini coefficient. The coefficient, which ranges from zero to one hundred percent, the higher it is, the...
-
UE regional state aid for territories with low standard of living
Dane BadawczeThe dataset encompassed a choice of important legal acts, a list of selected Polish bibliography and a list of important individual decisions issued on the topic of regional state aid ( for investment purposes) in Poland in the periods 2007- 2013 and 2014- 2020. Thanks to that the reader gets the possibility to acquire basic knowledge on the abovementioned...
-
Zarządzanie wiedzą w małych przedsiębiorstwach oferujących wiedzochłonne usługi biznesowe
PublikacjaCelem artykułu jest przedstawienie praktyk zarządzania wiedzą oraz czynników wpływających na sukces, bądź porażkę w ich wdrażaniu na podstawie badania jakościowego przeprowadzonego w trzech firmach działających na terenie województwa pomorskiego. Firmy te należą do sektora małych i średnich przedsiębiorstw oraz oferują wiedzochłonne usługi biznesowe (knowledge-intensive business services – KIBS). W artykule podjęto próbę odpowiedzi...
-
Strengths of studying at Gdańsk University of Technology - the year 2011
Dane BadawczeThe dataset includes data from the survey on the Gdańsk University of Technology graduates from the year 2011 on the strengths of studying at Gdańsk University of Technology. The survey was conducted in 2013, two years after the respondents obtained graduate status. The research sample included 615 respondents. To summarize, among the strengths of studying...
-
Strengths of studying at Gdańsk University of Technology - the year 2013
Dane BadawczeThe dataset includes data from the survey on the Gdańsk University of Technology graduates from the year 2013 on the strengths of studying at Gdańsk University of Technology. The survey was conducted in 2015, two years after the respondents obtained graduate status. The research sample included 1777 respondents. To summarize, among the strengths of...
-
Strengths of studying at Gdańsk University of Technology - the year 2012
Dane BadawczeThe dataset includes data from the survey on the Gdańsk University of Technology graduates from the year 2012 on the strengths of studying at Gdańsk University of Technology. The survey was conducted in 2014, two years after the respondents obtained graduate status. The research sample included 629 respondents. To summarize, among the strengths of studying...
-
Investigating lubricants behaviour in microgravity for vibration damping purposes
PublikacjaVibration is one of the harshest environments an object is exposed to during and after launch into space on a launch vehicle. Such vibrations should be damped to avoid destruction of the spacecraft or its elements. Currently, active and material damping is used. A possibility of using lubrication as the damping factor is suggested by some research. MoS2 is a typical solid lubricant used in space applications. Its properties vary...
-
The Arnold conjecture in $ \mathbb C\mathbb P^n $ and the Conley index
Publikacjan this paper we give an alternative, purely Conley index based proof of the Arnold conjecture in CP^n asserting that a Hamiltonian diffeomorphism of CP^n endowed with the Fubini-Study metric has at least (n+1) fixed points.
-
Partial hyperbolicity and central shadowing
PublikacjaWe study shadowing property for a partially hyperbolic diffeomor- phism f. It is proved that if f is dynamically coherent then any pseudotrajec- tory can be shadowed by a pseudotrajectory with “jumps” along the central foliation. The proof is based on the Tikhonov-Shauder fixed point theorem.
-
EU state aid for fisheries and aquaculture in the perspective 2014-2020
Dane BadawczeThe dataset encompassed a choice of the most important legal acts, a list of selected Polish bibliography, and some examples of decisions issued by the EC on the topic of state aid for fisheries and aquaculture in Poland and in Germany. The data constitute a description of the basic state aid instruments used in practice in the period 2014-2020 for...
-
Information based integration for complex systems. W: Knowledge and infor-mation technology management in the 21st century organizations. Ed. A. Gu- nasekaran, O. Khalil, M.R. Syed. London: Idea**2002 s. 89-104 Informacyjna integracja systemów złożonych.
PublikacjaW rozdziale zaproponowano strukturę inteligentnego systemu wspomagania pro-cesu integracji dla złożonych systemów wytwarzania. System wspomagania opar-to na bazie wiedzy, w której wiedza modelowana jest regulami produkcji. Zbu-dowano również iteracyjny algorytm integracji. Samą ideę integracji opartona przepływach informacyjnych.
-
Fault diagnosing system of wheeled tractors
PublikacjaA defect of complex wheeled tractor assembles most frequently negative influence on exploitation efficiency, safety and exhaust gases emission. Structure complexity of wheeled tractors requires more and more advanced diagnostic methods for identification of their serviceable possibilities as well in manufacturing step as in exploitation. In classical diagnosing methods of wheeled tractor defects states mapping by measured diagnostic...
-
state aid for export activities
Dane BadawczeThe dataset encompassed a choice of the most important legal acts, a list of selected Polish and foreign bibliography, together with a list of important individual EC decisions issued on the topic of state aid for export credits in Poland and some UE countries in the period 2001-2019. Thanks to that the reader gets the possibility do acquire basic...
-
Katarzyna Tubielewicz dr
Osoby -
Australian Knowledge Acquisition Workshop
Konferencje -
Data Warehousing and Knowledge Discovery
Konferencje -
Theoretical Aspects of Rationality and Knowledge
Konferencje -
Knowledge Visualization and Visual Thinking
Konferencje -
Cultural Heritage Knowledge Visualisation
Konferencje -
Lexical Semantics and Knowledge Representation
Konferencje -
Artificial Intelligence in Knowledge Management
Konferencje -
Theory and Applications of Knowledge MAnagement
Konferencje -
European Conference on Knowledge Management
Konferencje -
Knowledge Representation Meets Databases
Konferencje -
Degree product formula in the case of a finite group action
PublikacjaLet V, W be finite dimensional orthogonal representations of a finite group G. The equivariant degree with values in the Burnside ring of G has been studied extensively by many authors. We present a short proof of the degree product formula for local equivariant maps on V and W.
-
state aid for research, development and innovation ( R+D+I)
Dane BadawczeThe dataset encompasses a choice of important legal acts, a list of selected Polish bibliography, some important individual EC decisions issued on the topic of state aid for research, development, and innovation during the budgetary periods 2007-2013 and 2014-2020. Thanks to that the reader gets the possibility to acquire basic knowledge on the abovementioned...
-
state aid for employment of disadvantaged persons
Dane BadawczeThe dataset encompassed a choice of the most important legal acts, a list of selected Polish and foreign bibliography, together with a list of important individual EC decisions issued on the topic of state aid dedicated to including persons with disabilities to the labour market in Poland and some UE countries in the period 2001-2019. Thanks to that...
-
State aid for shipyards
Dane BadawczeThe dataset encompassed a choice of the most important legal acts, a list of selected Polish bibliography and a list of important individual decisions issued on the topic of state aid for shipyards in Poland and in selected UE countries. The data constitute a description of the basic state aid instruments used in practise in the period 1999-2018, but...
-
Difference functional inequalities and applications.
PublikacjaThe paper deals with the difference inequalities generated by initial boundary value problems for hyperbolic nonlinear differential functional systems. We apply this result to investigate the stability of constructed difference schemes. The proof of the convergence of the difference method is based on the comparison technique, and the result for difference functional inequalities is used. Numerical examples are presented.
-
PA32 aluminum alloy - tensile properties
Dane BadawczeIn addition to steel, aluminium alloys are the main building material used in the shipbuilding industry. Due to its undoubted advantages, such as low density (nearly three times lower than in the case of steel for shipbuilding) and high corrosion resistance, it is often used for hulls of yachts and small vessels as well as superstructures. For safety...
-
Strucutral steel - tensile test results
Dane BadawczeModern floating structures such as ships, oil platforms and offshore wind towers are built mostly of structural steel. It is a material that is subject to requirements which, when met, allows the construction and safe operation of the structure throughout its entire work cycle. One of the basic criteria that a material must meet is its strength. The...
-
Seiberg-Witten invariants the topological degree and wall crossing formula
PublikacjaFollowing S. Bauer and M. Furuta we investigate finite dimensional approximations of a monopole map in the case b 1 = 0. We define a certain topological degree which is exactly equal to the Seiberg-Witten invariant. Using homotopy invariance of the topological degree a simple proof of the wall crossing formula is derived.
-
Data from the survey on Gdańsk University of Technology graduates’ competencies assessment by entrepreneurs
Dane BadawczeThe dataset includes data from the survey on the Gdańsk University of Technology (GUT) graduates’ competencies assessment by entrepreneurs. The survey was conducted in 2017. The research sample included 102 respondents representing various firms from Pomeranian Voivodship. The study concerned i.a. assessment of GUT graduates' preparation for the requirements...