Macrocyclic peptides are a promising class of compounds that can often engage challenging therapeutic targets. Display technologies, such as mRNA display, allow for the efficient discovery macrocyclic peptides. This article reviews current approaches generating peptide libraries using display and highlights some recent examples ribosomal incorporation nonproteinogenic amino acids into

the proliferation of information and communications technology (ict) along with the incremental growth in the use of cloud services, enterprise network and data center technologies in recent years, have caused unprecedented expansion of computer networks. however, the existing network architecture was not well designed to meet the requirements of today's needs. one of the most important pr...

We investigate the triggering and guiding ofDChigh-voltage discharges over a distance of 37 cmby filaments produced by ultraviolet (266 nm) laser pulses of 200 ps duration. The latter reduce the breakdown electric field by half and allow up to 80%discharge probability in an electric field of 920 kVm. This high efficiency is not further increased by adding nanosecond pulses in the Joule range at...

Practitioners assess performance of entities in increasingly large and complicated datasets. If non-parametric models, such as Data Envelopment Analysis, were ever considered as simple push-button technologies, this is impossible when many variables are available or when data have to be compiled from several sources. This paper introduces by the ‘COOPER-framework’ a comprehensive model for carr...

Received 05/15/12; accepted 06/27/12. The author is with Walker Mobile, LLC, 799 Valenc © Copyright 2012 Society for Information Display 1 today, organized into 13 categories with 38 variations. The 13 categories are projected capacitive, analog resistive, surface capacitive, surface acoustic wave, infrared, camera-based optical, liquid crystal display in-cell, bending wave, force sensing, plan...

The task of voxel resolution for a space curve in video memory of 3D display is set. Furthermore, an approach solution of voxel resolution of arbitrary space curve, given in parametric form, is studied. Numerous numbers of intensive experiments are conducted and interesting results with significant recommendations are presented.

In this paper, we will discuss the approaches and technologies associated with the development of the Geometry-Grid Toolkit (GGTK) and MiniCAD. GGTK is a software library that provides core functionalities in geometry, topology and mesh generation and MiniCAD is a software system with graphical user interface built on top of GGTK. The application of GGTK/MiniCAD to the development of customized...

We introduce proper display calculi for intuitionistic, bi-intuitionistic and classical linear logics with exponentials, which are sound, complete, conservative, and enjoy cut-elimination and subformula property. Based on the same design, we introduce a variant of Lambek calculus with exponentials, aimed at capturing the controlled application of exchange and associativity. Properness (i.e. clo...

We introduce a proper display calculus for (non-distributive) Lattice Logic which is sound, complete, conservative, and enjoys cut-elimination and subformula property. Properness (i.e. closure under uniform substitution of all parametric parts in rules) is the main interest and added value of the present proposal, and allows for the smoothest Belnap-style proof of cut-elimination. Our proposal ...