ConTEXT - PDFSEARCH.IO - Document Search Engine

ConTEXT
Results: 21837

#	Item
1	GreenArrays™ World Leader toward Efficiency Secrets of Frugality in Context of an Exercise Greg Bailey Add to Reading List Source URL: www.forth.org Language: English - Date: 2013-12-11 18:44:28 IC CHIP Intel MCS-51 Computer architecture
2	Global Warming of 1.5 °C an IPCC special report on the impacts of global warming of 1.5 °C above pre-industrial levels and related global greenhouse gas emission pathways, in the context of strengthening the global res Add to Reading List Source URL: report.ipcc.ch Language: English - Date: 2018-10-07 20:49:23 Foreign relations Law Government Climate change policy Climate change Climate forcing agents Climate history Global warming Climate change mitigation Paris Agreement Intergovernmental Panel on Climate Change IPCC Third Assessment Report
3	Global Warming of 1.5 °C an IPCC special report on the impacts of global warming of 1.5 °C above pre-industrial levels and related global greenhouse gas emission pathways, in the context of strengthening the global res Add to Reading List Source URL: ipcc.ch Language: English - Date: 2018-10-06 23:21:54 Foreign relations Law Government Climate change policy Climate change Climate forcing agents Climate history Global warming Climate change mitigation Paris Agreement Intergovernmental Panel on Climate Change IPCC Third Assessment Report
4	Critical Thinking in Context: Practice at an American Liberal Arts University in Egypt Author: Maha Ayham Bali Mohamed Bali For the degree of: PhD Department: School of Education Add to Reading List Source URL: etheses.whiterose.ac.uk Language: English - Date: 2013-10-26 13:12:29 Education Learning Cognition English as a global language The American University in Cairo Critical thinking Curriculum Rhetoric
5	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 Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 C Data types Software engineering Computing Computer programming Pointer Compatibility of C and C++ Const Typedef
6	A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada) Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Pointer Graph
7	A Tool for Intersecting Context-Free Grammars and Its Applications Graeme Gange1 , Jorge A. Navas2(B) , Peter Schachte1 , Harald Søndergaard1 , and Peter J. Stuckey1 1 2 Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Formal languages Language Culture Grammar Context-free grammar Formal grammar Context-free language Regular language Regular grammar Model checking Conjunctive grammar
8	Context-Aware Text Representation for Social Relation Aided Sentiment Analysis Minh Luan Nguyen Institute for Infocomm Research Singapore Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:56:00 Natural language processing Artificial intelligence Social media Artificial neural networks Computing Computational linguistics Software Machine learning Sentiment analysis Word embedding Deep learning Twitter
9	Context Generation from Formal Specifications for C Analysis Tools Michele Alberti1? and Julien Signoles2 TrustInSoft, Paris, France CEA LIST, Software Reliability and Security Laborator Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2017-09-15 19:04:15 Computing Software engineering Data types Computer programming Primitive types Formal languages Formal methods ANSI/ISO C Specification Language C String Frama-C Permutation
10	Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan Guoqing Xu Atanas Rountev Add to Reading List Source URL: dacongy.github.io Language: English - Date: 2017-06-27 01:04:15 Graph theory Graph connectivity Strongly connected component Reachability Graph Node Topological sorting

UPDATE