| http://dbpedia.org/ontology/abstract
|
Институт системного программирования РАН — … Институт системного программирования РАН — научно-исследовательское учреждение в структуре Отделения математических наук Российской академии наук, ведущее фундаментальные и прикладные исследования в области информатики. Полное наименование — Федеральное государственное бюджетное учреждение науки Институт системного программирования имени В. П. Иванникова Российской академии наук. Основан 25 января 1994 года на базе бывшего Института проблем кибернетики РАН, основатель и первый директор — академик В. П. Иванников, директор с августа 2015 года — академик А. И. Аветисян. По данным на 2018 год в ИСП РАН трудится более 200 специалистов, в том числе 14 докторов наук и 44 кандидата наук. Большинство сотрудников — выпускники МГУ и МФТИ. Выполняет фундаментальные исследования в области информатики, прикладные разработки, ведёт подготовку специалистов по системному программированию.Направления фундаментальных научных исследований:
* операционные системы,
* компиляторные технологии,
* параллельные и распределённые вычисления,
* технологии верификации и тестирования программного обеспечения,
* анализ и обработка больших объёмов данных, семантический поиск и другие. На базе института работает аспирантура. Сотрудники института преподают на базовых кафедрах в университетах: ВМК МГУ, Физтех-школе прикладной математики и информатики (ФПМИ) МФТИ и Факультета компьютерных наук ВШЭ. Есть также учёный совет и диссертационный совет. Основные ежегодные мероприятия — Международная открытая конференция ИСП РАН, научно-практическая конференция OS Day, «Иванниковские чтения». Печатный орган — журнал «Труды ИСП РАН»; редакционное руководство журналом «Программирование» Отделения математики РАН сформировано в основном из ведущих сотрудников института.основном из ведущих сотрудников института.
, The Institute for System Programming (ISP) … 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.ision of Mathematical Sciences of the RAS.
|
| http://dbpedia.org/ontology/thumbnail
|
http://commons.wikimedia.org/wiki/Special:FilePath/Moscow._Kommunistichesky_Lane.jpg?width=300 +
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
http://ispras.linux-foundation.org/index.php/ISP_RAS_Company_Profile +
, http://www.ispras.ru/en/ +
, http://linuxtesting.org/ +
|
| http://dbpedia.org/ontology/wikiPageID
|
24983146
|
| http://dbpedia.org/ontology/wikiPageLength
|
4556
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1011765947
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/File:Moscow._Kommunistichesky_Lane.jpg +
, http://dbpedia.org/resource/Database_management_system +
, http://dbpedia.org/resource/Static_code_analysis +
, http://dbpedia.org/resource/Russian_Academy_of_Sciences +
, http://dbpedia.org/resource/Parallel_computing +
, http://dbpedia.org/resource/Combinatorics +
, http://dbpedia.org/resource/Mathematical_logic +
, http://dbpedia.org/resource/Reverse_engineering +
, http://dbpedia.org/resource/Modeling_language +
, http://dbpedia.org/resource/Computer_Science +
, http://dbpedia.org/resource/Text_mining +
, http://dbpedia.org/resource/Cryptography +
, http://dbpedia.org/resource/Sedna_%28database%29 +
, http://dbpedia.org/resource/Linux +
, http://dbpedia.org/resource/Common_Object_Request_Broker_Architecture +
, http://dbpedia.org/resource/Computational_complexity_theory +
, http://dbpedia.org/resource/XML_database +
, http://dbpedia.org/resource/Logic_programming +
, http://dbpedia.org/resource/Information_retrieval +
, http://dbpedia.org/resource/Software_engineering +
, http://dbpedia.org/resource/XML +
, http://dbpedia.org/resource/Institute_for_Cybernetics_Problems +
, http://dbpedia.org/resource/Arutyun_Avetisyan +
, http://dbpedia.org/resource/Category:Institutes_of_the_Russian_Academy_of_Sciences +
|
| http://dbpedia.org/property/director
|
http://dbpedia.org/resource/Arutyun_Avetisyan +
|
| http://dbpedia.org/property/established
|
1994
|
| http://dbpedia.org/property/name
|
Institute for System Programming
|
| http://dbpedia.org/property/type
|
http://dbpedia.org/resource/Computer_Science +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Authority_control +
, http://dbpedia.org/resource/Template:Coord +
, http://dbpedia.org/resource/Template:Infobox_research_institute +
, http://dbpedia.org/resource/Template:Unreferenced +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Institutes_of_the_Russian_Academy_of_Sciences +
|
| http://schema.org/sameAs
|
http://viaf.org/viaf/128314813 +
|
| http://www.georss.org/georss/point
|
55.745 37.6645
|
| http://www.w3.org/2003/01/geo/wgs84 pos#geometry
|
POINT(37.664501190186 55.744998931885)
|
| http://www.w3.org/2003/01/geo/wgs84 pos#lat
|
55.744998931885
|
| http://www.w3.org/2003/01/geo/wgs84 pos#long
|
37.664501190186
|
| http://www.w3.org/2004/02/skos/core#closeMatch
|
http://www.grid.ac/institutes/grid.454315.2 +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Institute_for_System_Programming?oldid=1011765947&ns=0 +
|
| http://xmlns.com/foaf/0.1/depiction
|
http://commons.wikimedia.org/wiki/Special:FilePath/Moscow._Kommunistichesky_Lane.jpg +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Institute_for_System_Programming +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q4201729 +
, http://d-nb.info/gnd/1086073029 +
, https://global.dbpedia.org/id/3tonH +
, http://dbpedia.org/resource/Institute_for_System_Programming +
, http://yago-knowledge.org/resource/Institute_for_System_Programming +
, http://d-nb.info/gnd/10092002-0 +
, http://ru.dbpedia.org/resource/%D0%98%D0%BD%D1%81%D1%82%D0%B8%D1%82%D1%83%D1%82_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D0%BD%D0%BE%D0%B3%D0%BE_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_%D0%A0%D0%90%D0%9D +
, http://rdf.freebase.com/ns/m.09g6xz8 +
, http://viaf.org/viaf/128314813 +
|
| rdf:type |
http://dbpedia.org/class/yago/YagoLegalActor +
, http://dbpedia.org/class/yago/WikicatResearchInstitutesInRussia +
, http://dbpedia.org/class/yago/SocialGroup107950920 +
, http://dbpedia.org/ontology/Company +
, http://dbpedia.org/class/yago/Institute108407330 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Organization108008335 +
, http://dbpedia.org/class/yago/Group100031264 +
, http://dbpedia.org/class/yago/Association108049401 +
, http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing +
, http://dbpedia.org/class/yago/YagoPermanentlyLocatedEntity +
, http://dbpedia.org/class/yago/YagoLegalActorGeo +
|
| rdfs:comment |
The Institute for System Programming (ISP) … 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.ision of Mathematical Sciences of the RAS.
, Институт системного программирования РАН — … Институт системного программирования РАН — научно-исследовательское учреждение в структуре Отделения математических наук Российской академии наук, ведущее фундаментальные и прикладные исследования в области информатики. Полное наименование — Федеральное государственное бюджетное учреждение науки Институт системного программирования имени В. П. Иванникова Российской академии наук. Основан 25 января 1994 года на базе бывшего Института проблем кибернетики РАН, основатель и первый директор — академик В. П. Иванников, директор с августа 2015 года — академик А. И. Аветисян.густа 2015 года — академик А. И. Аветисян.
|
| rdfs:label |
Institute for System Programming
, Институт системного программирования РАН
|
