Language-integrated query is a powerful programming construct allowing database queries and ordinary program code to interoperate seamlessly safely. techniques rely on classical results about the nested relational calculus, stating that its can be algorithmically translated SQL, as long their result type flat relation. Cooper others advocated higher-order calculi basis for language-integrated i...

Motivated by the autologistic model for the analysis of spatial binary data on the two-dimensional lattice, we develop efficient computational methods for calculating the normalizing constant for models for discrete data defined on the cylinder and lattice. Because the normalizing constant is generally unknown analytically, statisticians have developed various ad hoc methods to overcome this di...

Constructor Systems (CSs) are an important subclass of Term Rewriting Systems (TRSs) which can be used as an abstract model of some programming languages. While normalizing strategies are always desirable for achieving a good computational behavior of programs, when dealing with lazy languages infinitary normalizing strategies should be considered instead since (finite approximations of) infini...

Constructor Systems (CSs) are an important subclass of Term Rewriting Systems (TRSs) which can be used as an abstract model of some programming languages. While the availability of normalizing strategies is always desirable for achieving a good computational behavior of programs, when dealing with lazy languages innnitary normalizing strategies should be considered instead since ((nite approxim...

A weakly normalizing term is one such that there is a reduction sequence which terminates in a normal form. An example (from the slides) which is weakly but not strongly normalizing is (λxy.y)Ω. This is because the lazy reduction realizes there is no x into which I should substitute the Ω in y so this reduces to λy.y. But trying to evaluate the Ω will never yield a result. The lazy way to beta-...

The inclusive semileptonic branching ratio is often employed to normalize other inclusive B decays. Using recent determinations of the non-perturbative parameters of the Operator Product Expansion we compute the normalization factor for the branching ratio of B → Xsγ and find a few percent enhancement with respect to previous determinations. ar X iv :0 80 5. 02 71 v3 [ he pph ] 2 6 Se p 20 08

SUMMARY MARAN is a web-based application for normalizing microarray data. MARAN comprises a generic ANOVA model, an option for Loess fitting prior to ANOVA analysis, and a module for selecting genes with significantly changing expression. AVAILABILITY http://www.esat.kuleuven.ac.be/maran/.

Almost all implementations of functional languages known today realize a weakly (head) normalizing λ-calculus which rules out substitutions and reductions under abstractions, restricting what can be computed with these languages basically to ground terms, which is what can be accomplished with imperative languages as well. One could be content with this situation, arguing that for the majority ...