Science

Results: 788472



#Item
161X86 architecture / X86-64 / Z3 / Computing / Computer hardware / Computer engineering

Verifying Curve25519 Software Yu-Fang Chen1 , Chang-Hong Hsu2 , Hsin-Hung Lin3 , Peter Schwabe4 , Ming-Hsien Tsai1 , Bow-Yaw Wang1 , Bo-Yin Yang1 , and Shang-Yi Yang1 ? 1 Institute of Information Science

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2014-12-08 15:41:25
162Education / Marketing / Cognition / Human behavior / Research / Critical thinking / Master's degree / Academic degree / Evaluation / Bachelor's degree / Outline of marketing

Learning Outcomes for Master of Science (MSc) in Marketing National Qualification Framework for Iceland MSc in Marketing at Reykjavik University MSc in Marketing is a 90 ECTS-credit master’s degree programme. It focuse

Add to Reading List

Source URL: en.ru.is

Language: English - Date: 2018-06-27 06:36:08
163Concurrency control / Computing / Edsger W. Dijkstra / Concurrent computing / Computer programming / Concurrency / Transaction processing / Synchronization / Lock / Monitor / Parallel computing / Granularity

An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson,

Add to Reading List

Source URL: www.cs.purdue.edu

Language: English - Date: 2016-07-15 23:00:36
164Cryptography / Mathematics / Polynomials / Multivariate cryptography / Algebra / Pseudorandom number generator / Computer algebra / Hidden Field Equations / QUAD / Field extension / Cryptographically secure pseudorandom number generator / Mersenne Twister

Secure PRNGs from Specialized Polynomial Maps over Any Fq Feng-Hao Liu1 , Chi-Jen Lu2 , and Bo-Yin Yang2 1 Department of Computer Science, Brown University, Providence RI, USA

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2012-03-10 01:26:44
165Computer architecture / System software / Operating system kernels / Linux kernel / Monolithic kernels / Kernel / Loadable kernel module / Protection ring / Operating system / Mach / Rootkit / Mandatory access control

Poster: (SF)2 I - Structure Field Software Fault Isolation Spyridoula Gravani, Zhuojia Shen, John Criswell Department of Computer Science, University of Rochester Email: {sgravani, zshen10, criswell}@cs.rochester.edu Ab

Add to Reading List

Source URL: www.ieee-security.org

Language: English - Date: 2017-05-14 06:12:20
166Learning / Humancomputer interaction / Cognition / Machine learning / Multimodal interaction / User interfaces / Graphical model / Artificial intelligence / Robot learning / Natural language processing / Parsing / Dialogue system

Task Learning through Visual Demonstration and Situated Dialogue Changsong Liu and Joyce Y. Chai Nishant Shukla and Song-Chun Zhu Department of Computer Science and Engineering Center for Vision, Cognition, Learning and

Add to Reading List

Source URL: shukla.io

Language: English - Date: 2017-05-18 12:57:06
167BitTorrent / Peer-to-peer file sharing / File sharing / Computing / Comparison of BitTorrent clients / Torrent file / The Pirate Bay / Copyright infringement / Peer-to-peer / Peer exchange / Torrent poisoning

The Unbearable Lightness of Monitoring: Direct Monitoring in BitTorrent Tom Chothia, Marco Cova, Chris Novakovic, and Camilo Gonz´alez Toro School of Computer Science, University of Birmingham, UK Abstract. It is known

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2017-06-07 20:45:26
168Economy / Commercial policy / International trade / International relations / Customs duties / International taxation / Protectionism / Non-tariff barriers to trade / Tariff / Export / Foreign trade of the United States / Free trade

American Political Science Review, 1, 1–20 c American Political Science Association 2017  doi:S0003055416000654

Add to Reading List

Source URL: web.mit.edu

Language: English - Date: 2017-02-27 21:23:05
169Software engineering / Computing / Computer programming / Procedural programming languages / Programming languages / Logic in computer science / Programming language semantics / Abstract interpretation / Operational semantics / ALGOL 68 / Syntax / Programming language

NSADAbstract Domains for Type Juggling Vincenzo Arceri1 Department of Computer Science, University of Verona, Italy

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2017-07-06 06:07:28
170Behavioural sciences / Metaphysics / Behavior / Organizational studies / Applied psychology / Industrial and organizational psychology / Systems psychology / Educational psychology / Education / Psychology / Academic degree / Organizational behavior

Learning Outcomes for Master of Science (MSc) in Human Resource Management and Organizational Psychology National Qualification Framework for Iceland MSc in Human Resource Management and Organizational Psychology at Reyk

Add to Reading List

Source URL: en.ru.is

Language: English - Date: 2018-06-27 06:45:26
UPDATE