Higher-order logical frameworks provide a powerful technology to reason about object languages with binders. This will be demonstrated for the case of the λμ-calculus with two different binders which can most elegantly be represented using a third-order constant. Since cases of thirdand higher-order encodings are very rare in comparison with those of second order, a second-order representation ...

A new approach towards the rapid identification of quality binders to cucurbiturils--those that combine high affinity with high selectivity for a particular homologue--was developed. The assay exploits macrocycle-specific optical fingerprints (colorimetric or fluorimetric) of carefully selected indicators dyes. The screening of a guest library revealed known (e.g., adamantane derivatives) and n...

In this work we propose an extension of Beta-binders with biological transactions, called TBeta-binders, in order to model a sequence of elementary actions atomically. This extension is useful when we need to specify multi-reactant multi-product reactions or when we use a sequence of actions to represent a single biological interaction. Some properties of these transactions are reported. Finall...

Silica refractory bricks are used especially in the metallurgical industries, due to desirable properties such as particularly their high melting point and their rigidity and strength at high temperatures. In this research, different amount of SiC were added to Silica refractory containing different binders such as Borax, Boric acid, Calcium nitride, Sodium tri poly phosphate, Sodium hexametaph...

We propose an extension of the traditional λ-calculus in which terms are used to control an outside computing device (quantum computer, DNA computer...). We introduce two new binders: ν and ρ. In νx.M , x denotes an abstract resource of the outside computing device, whereas in ρx.M , x denotes a concrete resource. These two binders have different properties (in terms of α-conversion, scope extr...

The ability to detect and/or manipulate specific cell populations based upon the presence of intracellular protein epitopes would enable many types of studies and applications. Protein binders such as nanobodies (Nbs) can target untagged proteins (antigens) in the intracellular environment. However, genetically expressed protein binders are stable regardless of antigen expression, complicating ...

The objective of this thesis was to study whether heterocyclic dicationic compounds that are minor groove binders have the ability to inhibit the digestive properties of type II restriction enzymes which bind to the major groove of the DNA. If these compounds do possess the ability to inhibit restriction enzymes, then what factors influence their ability to inhibit the restriction enzymes? The ...

The type and the amount of binders decisively influence the characteristics of tablets prepared by wet granulation procedure. Commonly used binders like acacia, gelatin, starch and hydrolyzed starch have natural origin. The aim of this study was to evaluate the effectiveness of a new binder extracted from Hibiscus esculentus (Okra gum) in tableting. binder Hibiscus esculentus gum was extracted ...

A code predicting the RNA sequence that will be bound by a certain protein based on its amino acid sequence or its structure would provide a useful tool for the design of RNA binders with desired sequence-specificity. Such de novo designed RNA binders could be of extraordinary use in both medical and basic research applications. Furthermore, a code could help to predict the cellular functions o...

This paper deals with the fundamental differences between industrial and paving-grade bituminous binders. The is presented in two main sections: 1) a review of materials’ colloidal structure required properties for paving applications; 2) wide range experimental tests which binders were studied compared. In this research, 160/220 bitumen was compared to same penetration lower penetration, 70/10...