Loading…
Loading…
Loading…
Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory
Alglave, Jade, Maranget, Luc, Tautschnig, Michael
Published in ACM transactions on programming languages and systems (01.07.2014)
Published in ACM transactions on programming languages and systems (01.07.2014)
Get full text
Journal Article
Loading…
Loading…
Loading…
OptiqueVQS: A visual query system over ontologies for industry
Soylu, Ahmet, Kharlamov, Evgeny, Zheleznyakov, Dmitriy, Jimenez-Ruiz, Ernesto, Giese, Martin, Skjæveland, Martin G., Hovland, Dag, Schlatte, Rudolf, Brandt, Sebastian, Lie, Hallstein, Horrocks, Ian
Published in Semantic Web (01.01.2018)
Published in Semantic Web (01.01.2018)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
A comprehensive survey on software-defined wide area network (SD-WAN): principles, opportunities and future challenges: A comprehensive survey on software-defined wide-area
Ouamri, Mohamed Amine, Alharbi, Turki, Singh, Daljeet, Sylia, Zenadji
Published in The Journal of supercomputing (01.01.2025)
Published in The Journal of supercomputing (01.01.2025)
Get full text
Journal Article
Loading…
Loading…
Loading…
Generating Natural Language Descriptions from OWL Ontologies: the NaturalOWL System
Androutsopoulos, I., Lampouras, G., Galanis, D.
Published in The Journal of artificial intelligence research (01.01.2013)
Published in The Journal of artificial intelligence research (01.01.2013)
Get full text
Journal Article
Loading…
Prediction of cardiovascular risk by measuring carotid intima media thickness from an ultrasound image for type II diabetic mellitus subjects using machine learning and transfer learning techniques
Lakshmi Prabha, P., Jayanthy, A. K., Prem Kumar, C., Ramraj, Balaji
Published in The Journal of supercomputing (01.09.2021)
Published in The Journal of supercomputing (01.09.2021)
Get full text
Journal Article
Loading…
Use of Virtual Reality to Improve Upper-Extremity Control in Children With Cerebral Palsy: A Single-Subject Design
Chen, Yu-Ping, Kang, Lin-Ju, Chuang, Tien-Yow, Doong, Ji-Liang, Lee, Shwn-Jan, Tsai, Mei-Wun, Jeng, Suh-Fang, Sung, Wen-Hsu
Published in Physical therapy (01.11.2007)
Published in Physical therapy (01.11.2007)
Get full text
Journal Article
Loading…
Curating GitHub for engineered software projects
Munaiah, Nuthan, Kroh, Steven, Cabrey, Craig, Nagappan, Meiyappan
Published in Empirical software engineering : an international journal (01.12.2017)
Published in Empirical software engineering : an international journal (01.12.2017)
Get full text
Journal Article
Loading…