Polska Akademia Nauk. Instytut Podstaw Informatyki.
Instytut Podstaw Informatyki (Polska Akademia Nauk)
Instytut podstaw informatyki Pologne
Instytut Podstaw Informatyki Warszawa
Instytut Podstaw Informatyki (Warschau)
Instytut Podstaw Informatyki Polskiej Akademii Nauk
VIAF ID: 131137693 ( Corporate )
Permalink: http://viaf.org/viaf/131137693
Preferred Forms
-
- 151 _ _ ‡a Instytut Podstaw Informatyki Polskiej Akademii Nauk
- 110 2 _ ‡a Instytut Podstaw Informatyki Warszawa
- 110 2 _ ‡a Instytut Podstaw Informatyki ‡g Warschau
- 110 2 _ ‡a Instytut podstaw informatyki (Pologne)
- 210 | | ‡a Instytut podstaw informatyki ‡c Pologne
-
-
-
- 110 2 _ ‡a Polska Akademia Nauk. ‡b Instytut Podstaw Informatyki
-
4xx's: Alternate Name Forms (46)
5xx's: Related Names (8)
- 510 2 _ ‡a Centrum Obliczeniowe (Polska Akademia Nauk)
- 510 2 _ ‡a Polska Akademia Nauk Warszawa
- 510 2 _ ‡a Polska Akademia Nauk Warszawa ‡b Centrum Obliczeniowe
- 510 2 _ ‡a Polska Akademia Nauk. ‡b Centrum Obliczeniowe
- 510 2 _ ‡a Polska Akademia Nauk ‡b Centrum Obliczeniowe ‡4 vorg ‡4 https://d-nb.info/standards/elementset/gnd#precedingCorporateBody ‡e Vorgaenger
- 510 2 _ ‡a Polska Akademia Nauk ‡4 adue ‡4 https://d-nb.info/standards/elementset/gnd#hierarchicalSuperiorOfTheCorporateBody ‡e Ueberordnung
- 551 _ _ ‡a Warschau ‡4 orta ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBusiness
- 510 2 _ ‡a Wydział IV Nauk Technicznych (Polska Akademia Nauk)
Works
Title | Sources |
---|---|
Additive and multiplicative representations of integer functions on semi-lattice | |
Advances in machine learning II : dedicated to the memory of professor Ryszard S. Michalski | |
AI-19'2004 | |
An algebraic framework for concurrent systems | |
Algorithms of cluster analysis | |
Analysis of time series : theory | |
ANCL bulletin | |
Applied non-classical logics bulletin | |
Bi͡ulleten ́Komissii nauchnykh voprosov vychislitelńoĭ tekhniki. | |
Computational methods in data analysis - ITRIA 2015 | |
Continuum as a primitive type | |
Decomposition of the concentration index and its implications for the Gini inequality and dependence measures | |
Domain corpora as a source of information | |
Fixed-points and algebras with infinitely long expressions. | |
From lexical functional grammar to enhanced universal dependencies : linguistically informed treebanks of Polish | |
Fuzzy numbers : approximations, ranking and applications | |
Implementation and properties of certain tools for quasi-parallel and parallel computations | |
Information technologies: research and their interdisciplinary applications, Warsaw, 22-24 October 2015 - ITRIA 2015 | |
Intelligent information systems V | |
ITRIA 2012 proceedings | |
J. Lang. Model. (Online) | |
JLM | |
Journal of Language Modelling. | |
KNVVT bi͡ulleten | |
Logical methods for specification and verification of multi-agent systems | |
Machine graphics & vision. | |
MG & V | |
Model checking temporal properties of reaction systems | |
Models and methods of grade data analysis : recent developments | |
Monotoniczna zależność wektorów losowych | |
Monte Carlo methods : theory, algorithms and applications to selected financial problems | |
Named entity recognition for Polish | |
Narodowy Korpus Diachroniczny Polszczyzny : projekt | |
Nowoczesne technologie i nowe źródła danych w pomiarze inflacji | |
On synchronizing tools for parallel programs | |
Optimizaciâ po koèfficientam linejnoj formy linejnogo zamykaniâ konečnoj sistemy raspoznaniâ algoritmov | |
Ordered retrieval in a cellular associative memory | |
Pamięć dynamiczna dla emc ODRA serii 1300 | |
Partially ordered domains for representing activities | |
Perspektivy razvitii︠a︡ vychislitelʹnoĭ tekhniki, 1983: | |
A phenomenological analysis of the posthumanized future workplace | |
Prace Instytut Podstaw Informatyki Polskiej Akademii Nauk | |
Prace IPI PAN = ICS PAS reports. | |
Praktyczne aspekty sztucznej inteligencji : materiały konferencji naukowej, Zakopane, 7-11.12.1992 r. | |
Pro-con fuzzy reasoning | |
Proceedings of the PolEval 2021 Workshop | |
Proceedings on VI International Conference on Artificial Intelligence AI-19'2004 : (research, development, applications) | |
Projekt zastosowania protokołu INWG 96.1 w sieci komputerowej PAN | |
Reasoning about database constraints | |
Results of the theory of vectors of coroutines | |
O różnych strukturach na zbiorze graczy w grach kooperacyjnych | |
The semantic analysis of modular programs : an approach towards the software reliability studies | |
Semantics of query language for network databases | |
Semantyka | |
Sentiment analysis for Polish | |
Słownik walencyjny języka polskiego Walenty. | |
Software for data bases in teleprocessing systems : proceedings of international symposium, Yachranka, October 16-21, 1978. | |
Static large games with finitely many types of players and strategies | |
Statystyczny moduł systemu "LINDA" | |
Strukturalny model sparametryzowany | |
Suboptymalny algorytm wyznaczania organizacji zwartej zbioru zapisów | |
System LEXIS : generowanie komputerowego słownika wyrazów języka polskiego | |
System z dostępem w języku polskim : stan prac | |
System zarządzania bazą danych LINDA | |
Theoretical foundations for modeling of membrane transport in medicine and biomedical engineering | |
Time evolution of prey fertility coefficient in Lotka-Volterra model | |
Time - varying automata : a survey | |
Too fast causal inference under causal insufficiency | |
Towards automated abstract planning based on a genetic algorithm | |
Towards partial order reductions for fragments of alternating-time temporal logic | |
Underapproximating ATL with imperfect information and imperfect recall | |
Verification oriented microprogramming language | |
Warszawski Kurs Zastosowań Matematyki, 41 | |
Wprowadzenie w teorię translacji | |
Wybrane problemy minimalizacji czasu odpowiedzi w procesach wyszukiwania informacji | |
Zastosowania dziedziczenia do konstrukcji słownika leksemowego dla języka polskiego | |
Zastosowanie algorytmów genetycznych do wnioskowania z przykładów | |
Zastosowanie taśm z fotoskładu w produkcji wydawnictw brajlowskich | |
O zastosowaniu twierdzeń o punkcie stałym w teorii gier i matematycznej ekonomii | |
Złożoność obliczeniowa algorytmów. | |
Złożoność półgrupy charakterystycznej automatów asynchronicznych i ich rozszerzeń | |
Znakowanie semantyczne "Składnicy frazowej" : założenia ogólne, nazwy własne, aktualizacja |