Iterative-improvement 2-way min-cut partitioning is an important phase in most circuit placement tools, and finds use in many other CAD applications. Most iterative improvement techniques for circuit netlists like the FiducciaMattheyses (FM) method compute the gains of nodes using local netlist information that is only concerned with the immediate improvement in the cutset. This can lead to mis...

Historical perspective. Nuclear magnetic resonance (NMR) derives its name from the physical property of cer• tain atomic nuclei related to their magnetic characteristic of resonating when placed within a magnetic field and irra• diated with radio waves at a specific frequency. This prop• erty of the nucleus was first reported in 1946 by two in• dependent laboratories, one at Stanford (Bloch et ...

ion_map(BindMapDefn) --> bindings_map_definition(BindMapDefn). abstraction_map(Omd) --> other_map_definition(Omd). abstraction_map([]) --> []. property_s_list([Prop|PropL]) --> property_s(Prop), [token(’;’, misc)], property_s_list(PropL). property_s_list([Prop]) --> property_s(Prop), opt_semi. property_s_list([]) --> []. bindings_map_definition(bindings_map_definition(TypedId, BindL)) --> [toke...

Genetically mediated taste responsiveness to 6-n-propylthiouracil (PROP) has been linked to reduced acceptance of some bitter foods. In this community-based study male (n = 364) and female (n = 378) adults enrolled in a self-help dietary intervention trial were screened for PROP taster status. Respondents, aged 18--70 years, were mailed filter papers impregnated with PROP or with aspartame solu...

We consider graph complexes with a flow and compute their cohomology. More specifically, we prove that for a PROP generated by a Koszul dioperad, the corresponding graph complex gives a minimal model of the PROP. We also give another proof of the existence of a minimal model of the bialgebra PROP from [14]. These results are based on the useful notion of a 1 2 PROP introduced by Kontsevich in [9].

We prove that any category of props in a symmetric monoidal model category inherits a model structure. We devote an appendix, about half the size of the paper, to the proof of the model category axioms in a general setting. We need the general argument to address the case of props in topological spaces and dg-modules over an arbitrary ring, but we give a less technical proof which applies to th...

Prophet of Pit-1 (Prop-1), which is a paired-like homeodomain transcription factor, is capable of binding to sites in an early enhancer of the Pit-1 gene and regulating its expression. According to a previous report, Prop-1 messenger RNA (mRNA) is expressed in the developing pituitary gland before Pit-1 mRNA expression and maximum expression are observed at e 12.0. After e 14.5, Prop-1 mRNA exp...

Polymorphisms in the TAS2R38 gene provide insight to phenotypes long associated 6-n-propylthiouracil (PROP) and phenylthiocarbamide bitterness. We tested relationships between TAS2R38 genotype, taste phenotype, and fungiform papillae (FP) number in 139 females and 59 males (age range 21-60 years), primarily of European ancestry. DNA was analyzed for 3 polymorphic sites, identifying common (alan...

The interaction between propranolol (PROP) and human serum albumin (HSA) was studied in the presence of dimethyl methylphosphonate (DMMP). DMMP is usually considered as a simulant for chemical warfare agents (CWAs). For this purpose fluorescence quenching, resonance light scattering (RLS), synchronous, three-dimensional fluorescence spectroscopy and molecular dynamics (MD) simulation were emplo...