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...

The AcrB trimeric multidrug efflux transporter of Escherichia coli pumps out a very wide spectrum of compounds. Although minocycline and doxorubicin have been cocrystallized within the large binding pocket in the periplasmic domain of the binding protomer, nothing is known about the binding of many other ligands to this protein. We used computer docking to evaluate the interaction of about 30 c...

We studied the effect on breathing of a conventional and a newly designed abdominal binder in seven patients with complete tetraplegia. The indices of respiratory ability used were the transdiaphragmatic pressure on maximal sniff (sniff Pdi), the maximum static inspiratory mouth pressure (PImax), and the vital capacity (VC). These were measured in patients with and without binders, in the supin...

In contrast to the low-level use of silicone polymers as additives, silicone resins can be major components of the coating. Here they are used as binders or co-binders, imparting important benefits such as durability throughout the life of the coating. Silicone resins offer resistance to weathering in paints for exterior surfaces such as bridges and metal cladding on buildings. They also provid...

Nominal techniques were introduced to represent in a simple and natural way systems that involve binders. The syntax includes an abstraction operator and a primitive notion of name swapping. Nominal matching is matching modulo α-equality, and has applications in programming languages and theorem proving, amongst others. In this paper we describe efficient algorithms to check the validity of equ...