Nabil - PDFSEARCH.IO - Document Search Engine

Nabil
Results: 204

#	Item
11	Secure Multiparty Computation for Cooperative Cyber Risk Assessment Kyle Hogan, Noah Luther, Nabil Schear, Emily Shen, David Stott, Sophia Yakoubov, Arkady Yerukhimovich MIT Lincoln Laboratory Emails: {kyle.hogan, noah.l Add to Reading List Source URL: cybersec-prod.s3.amazonaws.com - Date: 2016-10-05 17:20:35
12	Semantic web: from XML to OWL Pierre Genevès CNRS Nabil Layaïda Add to Reading List Source URL: tyrex.inria.fr - Date: 2016-12-02 11:20:26
13	A Efficiently Deciding µ-calculus with Converse over Finite Trees ` , CNRS Pierre Geneves Nabil Laya¨ıda, Inria Alan Schmitt, Inria Add to Reading List Source URL: tyrex.inria.fr - Date: 2015-12-08 05:52:17
14	Semantic web: from XML to OWL Pierre Genevès CNRS Nabil Layaïda Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-12-08 05:48:48 Computing Data Functional languages Data management Markup languages 4GL XQuery Semantic Web NoSQL
15	Location of boundary markers in Taba between Egypt and Israel Add to Reading List Source URL: legal.un.org Language: English - Date: 2016-02-04 15:32:55 Geography of Asia Law Arbitration Red Sea International relations International Court of Justice judges Nabil Elaraby Compromis Taba Arbitration award Sinai Peninsula Arbitral tribunal
16	Secure and Resilient Cloud Computing for the Department of Defense Nabil A. Schear, Patrick T. Cable, Robert K. Cunningham, Vijay N. Gadepally, Thomas M. Moyer, and Arkady B. Yerukhimovich Add to Reading List Source URL: www.ll.mit.edu Language: English - Date: 2016-07-12 15:09:52 Computing Cloud computing Cloud infrastructure Cloud storage Cloud computing security Computer security OpenStack Crypto cloud computing Cloud computing issues
17	XQTC: A Static Type-Checker for XQuery Using Backward Type Inference Pierre Genevès Nabil Layaïda Add to Reading List Source URL: gnome.inrialpes.fr Language: English - Date: 2014-10-07 08:54:38 Software engineering Logic Type theory Computer programming Data types Functional languages Recursive data type Monad Type inference FO XQuery Inference
18	Reasoning with Style Pierre Genev`es (CNRS) Joint work with: Mart´ı Bosch (Universitat Polit`ecnica de Catalunya) Nabil Laya¨ıda (Inria) Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-07-22 07:05:34 HTML Computing World Wide Web Software engineering Cascading Style Sheets HTML element Underline Style sheet Span and div Buenos Aires International Joint Conference on Artificial Intelligence
19	Counting in Trees along Multidirectional Regular Paths∗ Everardo Bárcenas Pierre Genevès Nabil Layaïda Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2008-12-16 18:44:40 Model theory Formal languages Mathematical logic First-order logic Predicate logic Interpretation Well-formed formula Linear temporal logic Craig interpolation
20	Journal of Digital Libraries (JDL) Dr. Nabil R. Adam, Executive Editor- in-Chief, Rutgers University Dr. Erich J. Neuhold, Editor-in-Chief, Fraunhofer IPSI Dr. Richard Furuta, Editor- in-Chief, Texas A&M University CALL Add to Reading List Source URL: cimic.rutgers.edu Language: English - Date: 2004-04-22 09:14:44