DYNALLOY: AN EXTENSION OF ALLOY FOR WRITING AND ANALYZING BEHAVIOURAL MODELS Germán Regis | César Cornejo | Simón Gutiérrez Brida | Mariano Politano | Fernando Raverta | Pablo Ponzio | Nazareno Aguirre | Juan Pablo G

Source URL: alloytools.org

• Formal methods
• Logic puzzles
• River crossing puzzle
• CH
• Alloy
• Software engineering
• Theoretical computer science

Object Support in an Array-Based GPGPU Extension for Ruby Matthias Springer Hidehiko Masuhara Department of Mathematical and Computing Sciences, Tokyo Institute of Technology, Japan

Source URL: m-sp.org

• Computing
• Software engineering
• Computer programming
• Parallel computing
• Graphics hardware
• Object-oriented programming languages
• GPGPU
• Cross-platform software
• CUDA
• General-purpose computing on graphics processing units
• AOS and SOA
• Thread

PUBLIC LAW 110–436—OCT. 16, 2008 kgrant on POHRRP4G1 with PUBLAW ANDEAN TRADE PREFERENCE EXTENSION

Source URL: 34.232.160.87

• Internal Revenue Code
• United States Code

This October 2012 version corrects some citations and related work. Honu: Syntactic Extension for Algebraic Notation through Enforestation

Source URL: www.cs.utah.edu

• Computer programming
• Software engineering
• Computing
• Source code
• Programming languages
• Transformation languages
• Metaprogramming
• Lambda calculus
• Macro
• Hygienic macro
• Syntax
• Anonymous function

RALib: A LearnLib extension for inferring EFSMs Sofia Cassel Falk Howar Bengt Jonsson

Source URL: www.falkhowar.de

• Formal languages
• Finite-state machine
• Algorithm
• Regular expression
• Mathematics
• Machine learning
• Computer programming
• Philosophy of mathematics

CS 294 – Secure Computation February 16 and 18, 2016 Lecture 9 and 10: Malicious Security - GMW Compiler and Cut and Choose, OT Extension

Source URL: people.eecs.berkeley.edu

• Cryptographic protocols
• Electromagnetism
• Garbled circuit
• Secure multi-party computation
• IP
• Theory of computation
• NC
• Electronic circuit
• Applied mathematics
• Commitment scheme

TITLE I--EXTENSION OF CERTAIN TRADE BENEFITS TO SUB-SAHARAN AFRICA Subtitle B--Trade Benefits SECTREATMENT OF CERTAIN TEXTILES AND APPAREL. (a) PREFERENTIAL TREATMENT.--Textile and apparel articles described in su

Source URL: otexa.trade.gov

• Economy
• Geography of Africa
• Sub-Saharan Africa
• Certificate of origin
• Tariff
• Harmonized System
• Africa
• World
• International trade
• Caribbean Basin Trade and Partnership Act

A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic? Fran¸cois Bobot1 , Sylvain Conchon1 , Evelyne Contejean1 , Mohamed Iguernelala1 , Assia Mahboubi2 , Alain Mebsout1 , and Guillaume Melq

Source URL: mebsout.github.io

• Algebra
• Mathematics
• Linear algebra
• Affine geometry
• Linear programming
• Convex optimization
• Group theory
• Affine space
• Linear combination
• Simplex algorithm
• Equation solving
• Vector space

PDF Document

Source URL: larimer.extension.colostate.edu

PDF Document

Source URL: web.extension.illinois.edu