This HTML5 document contains 91 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
n5http://ispras.linux-foundation.org/index.php/
dbohttp://dbpedia.org/ontology/
n20http://dbpedia.org/resource/File:
foafhttp://xmlns.com/foaf/0.1/
geohttp://www.w3.org/2003/01/geo/wgs84_pos#
n10https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbpedia-ruhttp://ru.dbpedia.org/resource/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
freebasehttp://rdf.freebase.com/ns/
n12http://www.grid.ac/institutes/
n24http://linuxtesting.org/
n23http://viaf.org/viaf/
n19http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n26http://www.ispras.ru/en/
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
georsshttp://www.georss.org/georss/
n22http://d-nb.info/gnd/

Statements

Subject Item
dbr:Viktor_Ivannikov
dbo:wikiPageWikiLink
dbr:Institute_for_System_Programming
dbp:workplaces
dbr:Institute_for_System_Programming
dbo:institution
dbr:Institute_for_System_Programming
Subject Item
dbr:Institute_for_System_Programming
rdf:type
yago:Group100031264 geo:SpatialThing yago:Abstraction100002137 yago:Organization108008335 yago:Institute108407330 yago:Association108049401 yago:SocialGroup107950920 owl:Thing yago:WikicatResearchInstitutesInRussia yago:YagoLegalActor yago:YagoLegalActorGeo yago:YagoPermanentlyLocatedEntity dbo:Company
rdfs:label
Институт системного программирования РАН Institute for System Programming
rdfs:comment
The Institute for System Programming (ISP) of the Russian Academy of Sciences (RAS; Russian: Институт системного программирования) was founded on January 25, 1994, on the base of the departments of System Programming and Numerical Software of the Institute for Cybernetics Problems of the RAS. ISP RAS belongs to the Division of Mathematical Sciences of the RAS. Институт системного программирования РАН — научно-исследовательское учреждение в структуре Отделения математических наук Российской академии наук, ведущее фундаментальные и прикладные исследования в области информатики. Полное наименование — Федеральное государственное бюджетное учреждение науки Институт системного программирования имени В. П. Иванникова Российской академии наук. Основан 25 января 1994 года на базе бывшего Института проблем кибернетики РАН, основатель и первый директор — академик В. П. Иванников, директор с августа 2015 года — академик А. И. Аветисян.
dbp:name
Institute for System Programming
geo:lat
55.74499893188477
geo:long
37.66450119018555
foaf:depiction
n19:Moscow._Kommunistichesky_Lane.jpg
dcterms:subject
dbc:Institutes_of_the_Russian_Academy_of_Sciences
dbo:wikiPageID
24983146
dbo:wikiPageRevisionID
1011765947
dbo:wikiPageWikiLink
dbc:Institutes_of_the_Russian_Academy_of_Sciences dbr:Common_Object_Request_Broker_Architecture dbr:XML_database dbr:Sedna_(database) n20:Moscow._Kommunistichesky_Lane.jpg dbr:Text_mining dbr:Database_management_system dbr:Logic_programming dbr:Computational_complexity_theory dbr:Cryptography dbr:Information_retrieval dbr:XML dbr:Institute_for_Cybernetics_Problems dbr:Modeling_language dbr:Computer_Science dbr:Software_engineering dbr:Linux dbr:Static_code_analysis dbr:Mathematical_logic dbr:Arutyun_Avetisyan dbr:Parallel_computing dbr:Reverse_engineering dbr:Combinatorics dbr:Russian_Academy_of_Sciences
dbo:wikiPageExternalLink
n5:ISP_RAS_Company_Profile n24: n26:
owl:sameAs
wikidata:Q4201729 n10:3tonH yago-res:Institute_for_System_Programming n22:1086073029 n23:128314813 dbpedia-ru:Институт_системного_программирования_РАН freebase:m.09g6xz8 n22:10092002-0
dbp:wikiPageUsesTemplate
dbt:Authority_control dbt:Infobox_research_institute dbt:Unreferenced dbt:Coord
dbo:thumbnail
n19:Moscow._Kommunistichesky_Lane.jpg?width=300
dbp:director
dbr:Arutyun_Avetisyan
dbp:established
1994
dbp:type
dbr:Computer_Science
georss:point
55.745 37.6645
dbo:abstract
Институт системного программирования РАН — научно-исследовательское учреждение в структуре Отделения математических наук Российской академии наук, ведущее фундаментальные и прикладные исследования в области информатики. Полное наименование — Федеральное государственное бюджетное учреждение науки Институт системного программирования имени В. П. Иванникова Российской академии наук. Основан 25 января 1994 года на базе бывшего Института проблем кибернетики РАН, основатель и первый директор — академик В. П. Иванников, директор с августа 2015 года — академик А. И. Аветисян. По данным на 2018 год в ИСП РАН трудится более 200 специалистов, в том числе 14 докторов наук и 44 кандидата наук. Большинство сотрудников — выпускники МГУ и МФТИ. Выполняет фундаментальные исследования в области информатики, прикладные разработки, ведёт подготовку специалистов по системному программированию.Направления фундаментальных научных исследований: * операционные системы, * компиляторные технологии, * параллельные и распределённые вычисления, * технологии верификации и тестирования программного обеспечения, * анализ и обработка больших объёмов данных, семантический поиск и другие. На базе института работает аспирантура. Сотрудники института преподают на базовых кафедрах в университетах: ВМК МГУ, Физтех-школе прикладной математики и информатики (ФПМИ) МФТИ и Факультета компьютерных наук ВШЭ. Есть также учёный совет и диссертационный совет. Основные ежегодные мероприятия — Международная открытая конференция ИСП РАН, научно-практическая конференция OS Day, «Иванниковские чтения». Печатный орган — журнал «Труды ИСП РАН»; редакционное руководство журналом «Программирование» Отделения математики РАН сформировано в основном из ведущих сотрудников института. The Institute for System Programming (ISP) of the Russian Academy of Sciences (RAS; Russian: Институт системного программирования) was founded on January 25, 1994, on the base of the departments of System Programming and Numerical Software of the Institute for Cybernetics Problems of the RAS. ISP RAS belongs to the Division of Mathematical Sciences of the RAS.
schema:sameAs
n23:128314813
skos:closeMatch
n12:grid.454315.2
prov:wasDerivedFrom
wikipedia-en:Institute_for_System_Programming?oldid=1011765947&ns=0
dbo:wikiPageLength
4556
foaf:isPrimaryTopicOf
wikipedia-en:Institute_for_System_Programming
geo:geometry
POINT(37.664501190186 55.744998931885)
Subject Item
dbr:10.15514
dbo:wikiPageWikiLink
dbr:Institute_for_System_Programming
dbo:wikiPageRedirects
dbr:Institute_for_System_Programming
Subject Item
dbr:Russian_Academy_of_Sciences
dbo:wikiPageWikiLink
dbr:Institute_for_System_Programming
Subject Item
dbr:BLAST_model_checker
dbo:wikiPageWikiLink
dbr:Institute_for_System_Programming
dbo:developer
dbr:Institute_for_System_Programming
Subject Item
dbr:ISPRAS
dbo:wikiPageWikiLink
dbr:Institute_for_System_Programming
dbo:wikiPageRedirects
dbr:Institute_for_System_Programming
Subject Item
dbr:ISP_RAS
dbo:wikiPageWikiLink
dbr:Institute_for_System_Programming
dbo:wikiPageRedirects
dbr:Institute_for_System_Programming
Subject Item
dbr:Institute_for_System_Programming_of_the_Russian_Academy_of_Sciences
dbo:wikiPageWikiLink
dbr:Institute_for_System_Programming
dbo:wikiPageRedirects
dbr:Institute_for_System_Programming
Subject Item
wikipedia-en:Institute_for_System_Programming
foaf:primaryTopic
dbr:Institute_for_System_Programming