Limitations of Highly-Available Eventually-Consistent Data Stores Hagit Attiya Faith Ellen

Source URL: www.cs.technion.ac.il

• Fault-tolerant computer systems
• Computing
• Distributed algorithms
• Consistency model
• Transaction processing
• Eventual consistency
• Constructible universe
• Conflict-free replicated data type
• Replication
• Interleaving
• Net

Efficient Inclusion for a Class of XML Types with Interleaving and Counting Dario Colazzo Universit´e Paris Sud, UMR CNRS 8623, Orsay FFrance Giorgio Ghelli

Source URL: www.di.unipi.it

Edwards model Z/4Z-normal form µ µ4 -normal form Existence of normal forms Addition law structure Kumme Elliptic curves in characteristic 2 David R. Kohel Institut de Math´ematiques de Luminy

Source URL: ecc2011.loria.fr

• Numerical software
• Computing
• Interleaving
• PROPT

Linear Time Membership in a Class of Regular Expressions with Interleaving and Counting Giorgio Ghelli Dario Colazzo

Source URL: www.di.unipi.it

Two Studies of Opportunistic Programming: Interleaving Web Foraging, Learning, and Writing Code

Source URL: www.joelbrandt.org

Linking Cognitive Science to Education: Generation and Interleaving Effects Lindsey E. Richland () Department of Psychology, UCLA Los Angeles, CARobert A. Bjork ()

Source URL: learninglab.uchicago.edu

sessions_interleaving_splitclasses.eps

Source URL: www.cl.cam.ac.uk

TSV1Digital Video Broadcasting (DVB); Implementation guidelines for a second generation digital terrestrial television broadcasting system (DVB-T2)

Source URL: www.etsi.org

• DVB-T2
• Broadcasting
• DVB-T
• Orthogonal frequency-division multiplexing
• Digital Video Broadcasting
• Low-density parity-check code
• Interleaving
• European Telecommunications Standards Institute
• Error detection and correction
• DVB
• Electronic engineering
• Broadcast engineering

Query Reasoning on Trees with Types, Interleaving, and Counting Everardo B´arcenas,1 Pierre Genev`es,2 Nabil Laya¨ıda,1 and Alan Schmitt1 1 INRIA, France 2 CNRS, France

Source URL: wam.inrialpes.fr

• Formal languages
• Model theory
• First-order logic
• Predicate logic
• Golden ratio
• Well-formed formula
• Binary tree
• Function
• Linear temporal logic
• Logic
• Mathematics
• Mathematical logic

!" 10gR1First version Interleaving Georeferencing

Source URL: trac.osgeo.org

• Raster data
• GDAL
• Raster
• Oracle Spatial
• Software
• Geographic information systems
• GIS file formats