Term Rewriting Systems SS 11 Exercise Sheet 5 (due May 25th, 2011) Prof.aa Dr. Jürgen Giesl

Source URL: verify.rwth-aachen.de

• Mathematical series
• Logic in computer science
• Mathematical logic
• Rewriting
• Unification
• Characterizations of the exponential function
• Mathematics
• Mathematical analysis
• Theoretical computer science

VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium

Source URL: www.db.informatik.uni-bremen.de

• Software
• Graph rewriting
• VIATRA
• Formal methods
• Logic in computer science
• Object Constraint Language
• Model transformation language
• Kermeta
• Formal verification
• Unified Modeling Language
• Systems engineering
• Software engineering

GAV-sound with conjunctive queries • Source and global schema as before: ◦ source R1(A, B), R2(B, C) ◦ Global schema: T1(A, C), T2(B, C) • GAV mappings become sound:

Source URL: homepages.inf.ed.ac.uk

• Formal languages
• Rewriting
• Mathematics
• Information
• Computer science
• Conjunctive query
• Database theory
• Data integration

Cartesian closed 2-categories and permutation equivalence in higher-order rewriting Tom Hirschowitz To cite this version: Tom Hirschowitz. Cartesian closed 2-categories and permutation equivalence in higher-order

Source URL: hal.archives-ouvertes.fr

REWRITING FUTURES SUPPORT DELIVERY Eligible young people will be assigned a

Source URL: www.stbasils.org.uk

• Poverty
• Socioeconomics
• Sociology
• Personal life
• Development
• Economics
• Busking
• Homelessness
• Humanitarian aid

Comingle: Distributed Logic Programming for Decentralized Android Applications Edmund S. L. Lam and Iliano Cervesato March 2015 CMU-CSCMU-CS-QTR-125

Source URL: reports-archive.adm.cs.cmu.edu

• Logic in computer science
• Functional programming
• Monad
• Rewriting
• ALGOL 68
• Software engineering
• Programming language theory
• Computing

CLIENT CASE STUDY: REWRITING CODE… AND THE RULES Client: Hoover Self Storage Location: Hoover, AL # of Units: 1,022 Square Feet: 146,875 Location may have worked to

Source URL: www.janusintl.com

• Self storage
• Hoover
• Door
• German folklore
• Religion
• Germanic mythology
• Janus
• Neck

1 Asymmetric Error Correction and Flash-Memory Rewriting using Polar Codes Eyal En Gad, Yue Li, Joerg Kliewer, Michael Langberg, Anxiao (Andrew) Jiang and Jehoshua Bruck

Source URL: arxiv.org

• Telecommunications engineering
• Mathematics
• Channel capacity
• Mutual information
• Binary symmetric channel
• Entropy
• Group action
• Distributed source coding
• Additive white Gaussian noise
• Information theory
• Coding theory
• Information

Rule Execution in Graph-Based Incremental Interactive Integration Tools Simon M. Becker, Sebastian Lohmann, and Bernhard Westfechtel Department of Computer Science III, RWTH Aachen University Ahornstraße 55, DAac

Source URL: www-i3.informatik.rwth-aachen.de

• Simulation
• Applied mathematics
• Bond graph
• Graph rewriting
• Graph theory
• Mathematics

DalTREC 2004: Question Answering using Regular Expression Rewriting Vlado Keˇ selj and Anthony Cox Faculty of Computer Science Dalhousie University, Halifax, Canada

Source URL: trec.nist.gov

• Linguistics
• Information retrieval
• Natural language processing
• Regular expressions
• Human communication
• Question answering
• Conditional
• Question
• TRE
• Computational linguistics
• Science
• Information science