Rational Choice Versus Republican Moment- Explanations for Environmental Laws, 1969-73

Securing communication in large scale distributed systems is an open problem. When multiple principals exchange sensitive information over a network, security and privacy issues arise immediately. For instance, in an online auction system we may want to ensure that no bidder knows the bids of any other bidder before the auction is closed. Such systems are typically interactive/reactive and communication is mostly asynchronous, lossy or unordered. Language-based security provides language mechanisms for enforcing end-to-end security. However, with few exceptions, previous research has mainly focused on relational or synchronous models, which are generally not suitable for distributed systems. This paper proposes a general knowledge-based account of possibilistic security from a language perspective and shows how existing trace-based conditions fit in. A syntactic characterization of these conditions, given by an epistemic temporal logic, shows that existing model checking tools can be used to enforce security.QC 20131219</p

Effective representation of RT-LOTOS terms by finite time petri nets

The paper describes a transformational approach for the specification and formal verification of concurrent and real-time systems. At upper level, one system is specified using the timed process algebra RT-LOTOS. The output of the proposed transformation is a Time Petri net (TPN). The paper particularly shows how a TPN can be automatically constructed from an RT-LOTOS specification using a compositionally defined mapping. The proof of the translation consistency is sketched in the paper and developed in [1]. The RT-LOTOS to TPN translation patterns formalized in the paper are being implemented. in a prototype tool. This enables reusing TPNs verification techniques and tools for the profit of RT-LOTOS

From Amplification to Gene in Thyroid Cancer: A High-Resolution Mapped Bacterial-Artificial-Chromosome Resource for Cancer Chromosome Aberrations Guides Gene Discovery after Comparative Genome Hybridization

SummaryChromosome rearrangements associated with neoplasms provide a rich resource for definition of the pathways of tumorigenesis. The power of comparative genome hybridization (CGH) to identify novel genes depends on the existence of suitable markers, which are lacking throughout most of the genome. We now report a general approach that translates CGH data into higher-resolution genomic-clone data that are then used to define the genes located in aneuploid regions. We used CGH to study 33 thyroid-tumor DNAs and two tumor-cell-line DNAs. The results revealed amplifications of chromosome band 2p21, with less-intense amplification on 2p13, 19q13.1, and 1p36 and with least-intense amplification on 1p34, 1q42, 5q31, 5q33-34, 9q32-34, and 14q32. To define the 2p21 region amplified, a dense array of 373 FISH-mapped chromosome 2 bacterial artificial chromosomes (BACs) was constructed, and 87 of these were hybridized to a tumor-cell line. Four BACs carried genomic DNA that was amplified in these cells. The maximum amplified region was narrowed to 3–6 Mb by multicolor FISH with the flanking BACs, and the minimum amplicon size was defined by a contig of 420 kb. Sequence analysis of the amplified BAC 1D9 revealed a fragment of the gene, encoding protein kinase C epsilon (PKCɛ), that was then shown to be amplified and rearranged in tumor cells. In summary, CGH combined with a dense mapped resource of BACs and large-scale sequencing has led directly to the definition of PKCɛ as a previously unmapped candidate gene involved in thyroid tumorigenesis

Expression of insulin-like growth factor I by activated hepatic stellate cells reduces fibrogenesis and enhances regeneration after liver injury

BACKGROUND/AIM: Hepatic stellate cells (HSCs) express alpha-smooth muscle actin (alphaSMA) and acquire a profibrogenic phenotype upon activation by noxious stimuli. Insulin-like growth I (IGF-I) has been shown to stimulate HSCs proliferation in vitro, but it has been reported to reduce liver damage and fibrogenesis when given to cirrhotic rats. METHODS: The authors used transgenic mice (SMP8-IGF-I) expressing IGF-I under control of alphaSMA promoter to study the influence of IGF-I synthesised by activated HSCs on the recovery from liver injury. RESULTS: The transgene was expressed by HSCs from SMP8-IGF-I mice upon activation in culture and in the livers of these animals after CCl4 challenge. Twenty four hours after administration of CCl4 both transgenic and wild type mice showed similar extensive necrosis and increased levels of serum transaminases. However at 72 hours SMP8-IGF-I mice exhibited lower serum transaminases, reduced hepatic expression of alphaSMA, and improved liver morphology compared with wild type littermates. Remarkably, at this time all eight CCl4 treated wild type mice manifested histological signs of liver necrosis that was severe in six of them, while six out of eight transgenic animals had virtually no necrosis. In SMP8-IGF-I mice robust DNA synthesis occurred earlier than in wild type animals and this was associated with enhanced production of HGF and lower TGFbeta1 mRNA expression in the SMP8-IGF-I group. Moreover, Colalpha1(I) mRNA abundance at 72 hours was reduced in SMP8-IGF-I mice compared with wild type controls. CONCLUSIONS: Targeted overexpression of IGF-I by activated HSCs restricts their activation, attenuates fibrogenesis, and accelerates liver regeneration. These effects appear to be mediated in part by upregulation of HGF and downregulation of TGFbeta1. The data indicate that IGF-I can modulate the cytokine response to liver injury facilitating regeneration and reducing fibrosis

Thyroid Cancer: Past, Present And Future [câncer De Tiróide: Passado, Presente E Futuro]

[No abstract available]51564164