Safety of Live Transactions in Transactional Memory: TMS is Necessary and Sufficient Hagit Attiya1 , Alexey Gotsman2 , Sandeep Hans1 , and Noam Rinetzky3 1 Technion - Israel Institute of Technology, Israel

Source URL: software.imdea.org

• Transaction processing
• Data management
• Schedule
• Nested transaction

A general formulation of the cross-nested logit model Michel Bierlaire, EPFL Conference paper STRC 2001 Session: Choices

Source URL: www.strc.ch

• Statistics
• Regression analysis
• Single-equation methods
• Statistical models
• Choice modelling
• Discrete choice
• Logit
• Mode choice
• Multinomial logistic regression
• Logistic regression
• Maximum likelihood estimation
• Probit

Sparse estimation of large covariance matrices via a nested Lasso penalty

Source URL: dept.stat.lsa.umich.edu

Contamination Prevention and Decontamination Purpose ® FilmArray is an automated in vitro diagnostic (IVD) system that utilizes nested

Source URL: biofiredx.com

Genetic Architecture of Maize Kernel Composition in the Nested Association Mapping and Inbred Association Panels1[W] Jason P. Cook, Michael D. McMullen, James B. Holland, Feng Tian, Peter Bradbury, Jeffrey Ross-Ibarra, E

Source URL: media.wix.com

Shuffle expressions and words with nested data Henrik Bj¨orklund1 Mikolaj Boja´ nczyk2 1 University of Dortmund

Source URL: duch.mimuw.edu.pl

Nested General Recursion and Partiality in Type Theory Ana Bove1 and Venanzio Capretta2 1 Department of Computing Science, Chalmers University of Technology

Source URL: www.duplavis.com

Abstract nested transactions Tim Harris Srdan ¯ Stipi´c ∗

Source URL: timharris.uk

Collected Size Semantics for Functional Programs over Polymorphic Nested Lists ? O. Shkaravska1 , M. van Eekelen2,3 , A. Tamalet4 1

Source URL: fopara2013.cs.unibo.it

From Core OCL Invariants to Nested Graph Constraints: Long Version ? Thorsten Arendt1 , Annegret Habel2 , Hendrik Radke2 and Gabriele Taentzer1 1 Philipps-Universit¨

Source URL: www.uni-marburg.de