member of the transmembrane G-protein coupled receptors family comprising d , k and m opioid receptors. Its original homology cloning and the isolation from brain extracts of the endogenous ligand, the heptadecapeptide nociceptin (NC), gave rise to a great interest in clarifying its physiological functions. The receptor, distributed in both central and peripheral nervous systems and in non-neur...

We have constructed and operated the Survey for Transient Astronomical Radio Emission (STARE) to detect transient astronomical radio emission at 611 MHz originating from the sky over the northeastern United States. The system is sensitive to transient events on timescales of 0.125 s to a few minutes, with a typical zenith flux density detection threshold of approximately 27 kJy. During 18 month...

The Curry-Howard isomorphism is a correspondence between logical formulas and types. The central idea is that each type τ corresponds to a logical formula φ, and that a proof that some expression e is well-formed with respect to type τ , (i.e., e : τ) corresponds to a proof that the logical formula φ is logically valid. Many variations of classical logic have been developed, especially in the l...

ligand-gated ion channels that mediate and/or modulate synaptic transmission in the nervous system. In mammalian brain, neuronal nAChR subunits are identified as a2—a7, a9, a10, and b 2—b 4. Ligand-binding studies indicate that the most abundant native nAChRs in the central nervous system are a4b2 heteromeric receptors and a7 homomeric receptors. Although nAChRs have been implicated in several ...

Neste artigo, faz-se uma comparação entre alguns aspectos da Reforma Trabalhista de 2017 e o conceito trabalho digno. Parte-se do suposto enunciado pelo governo federal veiculado pela mídia elites econômicas relevância reforma para a integração Brasil à dinâmica reprodução capital no século XXI. Através pesquisa documental, analisam-se Lei nº 13.467/2017, os arts. 223-G; 611-A; 611-B; 582 507-B...

Staff providing services to clients is a common feature of the private sector. To remain competitive, sector must maintain high-quality and consistent services. The aim this study analyze influence interpersonal conflict, job stress, work life balance on employee turnover intention. Quantitative research was applied measure current study. A random sampling method used gather data. researchers d...

In other words, foo is an alias for the type int. On the other hand, two types can be equivalent based on their structure. For example, in ML we have: {x: int, y: int}∼= {y: int, x: int} This equation tells us the order in the record structure is unimportant, which makes sense since we get the element of a record by a term like e.x, which has nothing to do with the order of the fields. For impl...

tures, that is, chemical compounds, intermediates, changes and mechanisms. Over the past decades graph-based molecular structure descriptors have developed into a quite active field. In these applications a molecular structure is identified to a graph, with vertices representing non-H atoms and edges representing chemical bonds. During the last decade the interest in the problem of computer-aid...