Matches in Wikidata for { <http://www.wikidata.org/entity/Q113868514> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- Q113868514 description "2017 nî lūn-bûn" @default.
- Q113868514 description "2017年の論文" @default.
- Q113868514 description "2017年学术文章" @default.
- Q113868514 description "2017年学术文章" @default.
- Q113868514 description "2017年学术文章" @default.
- Q113868514 description "2017年学术文章" @default.
- Q113868514 description "2017年学术文章" @default.
- Q113868514 description "2017年学术文章" @default.
- Q113868514 description "2017年學術文章" @default.
- Q113868514 description "2017年學術文章" @default.
- Q113868514 description "2017年學術文章" @default.
- Q113868514 description "2017年學術文章" @default.
- Q113868514 description "2017年學術文章" @default.
- Q113868514 description "2017년 논문" @default.
- Q113868514 description "article científic" @default.
- Q113868514 description "article scientific" @default.
- Q113868514 description "article scientifique" @default.
- Q113868514 description "articol științific" @default.
- Q113868514 description "articolo scientifico" @default.
- Q113868514 description "artigo científico" @default.
- Q113868514 description "artigo científico" @default.
- Q113868514 description "artigo científico" @default.
- Q113868514 description "artikel ilmiah" @default.
- Q113868514 description "artikull shkencor" @default.
- Q113868514 description "artikulong pang-agham" @default.
- Q113868514 description "artykuł naukowy" @default.
- Q113868514 description "artículo científico publicado en 2017" @default.
- Q113868514 description "artículu científicu espublizáu en 2017" @default.
- Q113868514 description "bilimsel makale" @default.
- Q113868514 description "bài báo khoa học" @default.
- Q113868514 description "naučni članak" @default.
- Q113868514 description "scienca artikolo" @default.
- Q113868514 description "scientific article published in 2017" @default.
- Q113868514 description "scientific article published in February 2017" @default.
- Q113868514 description "scientific article published in February 2017" @default.
- Q113868514 description "teaduslik artikkel" @default.
- Q113868514 description "tieteellinen artikkeli" @default.
- Q113868514 description "tudományos cikk" @default.
- Q113868514 description "vedecký článok" @default.
- Q113868514 description "vetenskaplig artikel" @default.
- Q113868514 description "videnskabelig artikel udgivet februar 2017" @default.
- Q113868514 description "vitenskapelig artikkel" @default.
- Q113868514 description "vitskapeleg artikkel" @default.
- Q113868514 description "vědecký článek" @default.
- Q113868514 description "wetenschappelijk artikel" @default.
- Q113868514 description "wissenschaftlicher Artikel" @default.
- Q113868514 description "επιστημονικό άρθρο" @default.
- Q113868514 description "мақолаи илмӣ" @default.
- Q113868514 description "наукова стаття, опублікована в лютому 2017" @default.
- Q113868514 description "научна статия" @default.
- Q113868514 description "научная статья" @default.
- Q113868514 description "научни чланак" @default.
- Q113868514 description "научни чланак" @default.
- Q113868514 description "מאמר מדעי" @default.
- Q113868514 description "مقالة بحثية نشرت في فبراير 2017" @default.
- Q113868514 description "ফেব্রুয়ারি ২০১৭-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q113868514 description "บทความทางวิทยาศาสตร์" @default.
- Q113868514 description "სამეცნიერო სტატია" @default.
- Q113868514 name "Computing compositional proofs of Input-to-Output Stability using SOS optimization and<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>δ</mml:mi></mml:math>-decidability" @default.
- Q113868514 type Item @default.
- Q113868514 label "Computing compositional proofs of Input-to-Output Stability using SOS optimization and<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>δ</mml:mi></mml:math>-decidability" @default.
- Q113868514 prefLabel "Computing compositional proofs of Input-to-Output Stability using SOS optimization and<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>δ</mml:mi></mml:math>-decidability" @default.
- Q113868514 P1433 Q113868514-063E9E22-FF72-4763-9DD0-894F1C5F5FAD @default.
- Q113868514 P1476 Q113868514-B0C9D21C-B40B-46D8-B78E-9145D8E73E72 @default.
- Q113868514 P2093 Q113868514-1B01C875-3350-41EE-AE30-0235094C88DD @default.
- Q113868514 P2093 Q113868514-5F86E028-5CBD-4D48-840F-097E7BBD9381 @default.
- Q113868514 P2093 Q113868514-86BC7724-3D3D-4FAA-8911-459176AB473E @default.
- Q113868514 P2093 Q113868514-C12B44D8-F9B9-48D2-950C-60E3426F3934 @default.
- Q113868514 P304 Q113868514-A4CDDE67-79EB-4786-904C-0BC50188EEA2 @default.
- Q113868514 P31 Q113868514-7E481D6C-03FF-437E-AC6E-D14B61094EC0 @default.
- Q113868514 P356 Q113868514-FFED672F-6109-4291-8431-DDB236A4C6DB @default.
- Q113868514 P478 Q113868514-FAC29768-E05F-4B8C-9EB6-015E580CB6F0 @default.
- Q113868514 P577 Q113868514-A94F325F-2F4D-4576-AB66-8BDE5DC58199 @default.
- Q113868514 P6104 Q113868514-0112D0F3-8F77-4188-A41F-8BCF7C6090D4 @default.
- Q113868514 P894 Q113868514-9D56E14E-889F-496C-9159-48048A919883 @default.
- Q113868514 P356 J.NAHS.2016.03.008 @default.
- Q113868514 P1433 Q15746124 @default.
- Q113868514 P1476 "Computing compositional proofs of Input-to-Output Stability using SOS optimization and<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>δ</mml:mi></mml:math>-decidability" @default.
- Q113868514 P2093 "Abhishek Murthy" @default.
- Q113868514 P2093 "Md. Ariful Islam" @default.
- Q113868514 P2093 "Radu Grosu" @default.
- Q113868514 P2093 "Scott A. Smolka" @default.
- Q113868514 P304 "272-286" @default.
- Q113868514 P31 Q13442814 @default.
- Q113868514 P356 "10.1016/J.NAHS.2016.03.008" @default.
- Q113868514 P478 "23" @default.
- Q113868514 P577 "2017-02-01T00:00:00Z" @default.
- Q113868514 P6104 Q8487137 @default.
- Q113868514 P894 "1351.93133" @default.
