11![LNCSMildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars LNCSMildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars](https://www.pdfsearch.io/img/ce20e0688ce2f34e585c5b7500567d72.jpg) | Add to Reading ListSource URL: web.eecs.umich.eduLanguage: English - Date: 2017-08-28 19:33:28
|
---|
12![UCLHAnnual Plan Narrative Establishing the strategic context – annual planUCLH remain committed to the overall clinical and operational strategy that we set out in our strategic plan submission in Ju UCLHAnnual Plan Narrative Establishing the strategic context – annual planUCLH remain committed to the overall clinical and operational strategy that we set out in our strategic plan submission in Ju](https://www.pdfsearch.io/img/0d43f972fb46a9ad5a0345f29c6ce68d.jpg) | Add to Reading ListSource URL: www.uclh.nhs.ukLanguage: English - Date: 2016-09-05 04:52:17
|
---|
13![CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs](https://www.pdfsearch.io/img/1201ebb6af2370643fc1874c911479f2.jpg) | Add to Reading ListSource URL: www.ccs.neu.eduLanguage: English - Date: 2018-06-05 19:10:40
|
---|
14![Model contract to ensure equivalent protection in the context of transborder data flows with explanatory reportStudy made jointly by the Council of Europe, the Commission of the European Communities and Internati Model contract to ensure equivalent protection in the context of transborder data flows with explanatory reportStudy made jointly by the Council of Europe, the Commission of the European Communities and Internati](https://www.pdfsearch.io/img/5383e667baecadbe6831c25650d41902.jpg) | Add to Reading ListSource URL: www.edoeb.admin.chLanguage: English |
---|
15![A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada) A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada)](https://www.pdfsearch.io/img/17366fcdc097bf0979387c85b86ac79d.jpg) | Add to Reading ListSource URL: seahorn.github.ioLanguage: English - Date: 2018-08-03 20:31:21
|
---|
16![A Large Public Corpus of Web Tables containing Time and Context Metadata Oliver Lehmberg, Dominique Ritze, Robert Meusel, Christian Bizer Data and Web Science Group, University of Mannheim, Mannheim, Germany {oli,domini A Large Public Corpus of Web Tables containing Time and Context Metadata Oliver Lehmberg, Dominique Ritze, Robert Meusel, Christian Bizer Data and Web Science Group, University of Mannheim, Mannheim, Germany {oli,domini](https://www.pdfsearch.io/img/e3ab9f9b5dda0edffdabfae75eaeb009.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 00:52:12
|
---|
17![A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada) A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada)](https://www.pdfsearch.io/img/697fa4baa7c68ce7f87bec5b8aef0a63.jpg) | Add to Reading ListSource URL: jorgenavas.github.ioLanguage: English - Date: 2018-10-25 12:43:22
|
---|
18![METRIC DIMENSION REDUCTION: A SNAPSHOT OF THE RIBE PROGRAM ASSAF NAOR 1. Introduction The purpose of this article is to survey some of the context, achievements, challenges and mysteries of the field of metric dimension METRIC DIMENSION REDUCTION: A SNAPSHOT OF THE RIBE PROGRAM ASSAF NAOR 1. Introduction The purpose of this article is to survey some of the context, achievements, challenges and mysteries of the field of metric dimension](https://www.pdfsearch.io/img/3ec2b4070820a02c01f119ad66ef6106.jpg) | Add to Reading ListSource URL: eta.impa.brLanguage: English - Date: 2018-07-28 17:09:47
|
---|
19![A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017 A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017](https://www.pdfsearch.io/img/11ed30702278928018b16fe6054a95ed.jpg) | Add to Reading ListSource URL: seahorn.github.ioLanguage: English - Date: 2018-08-03 20:31:21
|
---|