Dithiocarbazate complexes with the [M(PPh(3))](2+) (M=Pd or Pt) moiety Synthesis, characterization and anti-Tripanosoma cruzi activity

New neutral Pd(II) and Pt(II) complexes of the type [M(L)(PPh(3))] (M Pd or Pt) were prepared in crystalline form in high-yield synthesis with the S-benzyldithiocarbazates and S-4-nitrobenzyldithiocarbazates derivatives from 2-hydroxyacetophenone, H(2)L(1a) and H(2)L(1b), and benzoylacetone, H(2)L(2a) and H(2)L(2b). The new complexes [Pt(L(1a))(PPh(3))] (1), [Pd(L(1a))(PPh(3))] (2), [Pt(L(1b))(PPh(3))] (3), [Pd(L(1b))(PPh(3))] (4), [Pt(L(2a))(PPh(3))] (5), [Pd(L(2a))(PPh(3))] (6), [Pt(L(2b))(PPh(3))] (7) and [Pd(L(2b))(PPh(3))] (8) were characterized on the basis of elemental analysis, conductivity measurements, UV-visible, IR, electrospray ionization mass spectrometry (ESI-MS), NMR ((1)H and (31)P) and by X-ray diffraction studies. The studies showed that differently from what was observed for the H(2)L(1a) and H(2)L(1b) ligands, H(2)L(2a) and H(2)L(2b) assume cyclic forms as 5-hydroxypyrazolinic. Upon coordination, H2L2a and H2L2b suffer ring-opening reaction, coordinating in the same manner as H(2)L(1a) and H(2)L(1b), deprotonated and in O,N,S-tridentate mode to the (MPPh(3))(2+) moiety. All complexes show a quite similar planar fourfold environment around the M(II) center. Furthermore, these complexes exhibited biological activity on extra and intracellular forms of Trypanosoma cruzi in a time- and concentration-dependent manner with IC(50) values ranging from 7.8 to 18.7 mu M, while the ligand H(2)L(2a) presented a trypanocidal activity on trypomastigote form better than the standard drug benznidazole. (C) 2010 Elsevier Inc. All rights reserved.

An insight into the beginning stage of the aqueous ring opening metathesis polymerization of exo,exo-7-oxabicyclo[2.2.1]hept-5-ene-2,3-dicarboxylic acid with Ru(III) compounds: the consumption of Ru(III) species in the presence of carboxylic acids monitored by ESR spectroscopy

The presence of paramagnetic species in the aqueous ring opening metathesis polymerizations of the exo,exo-7-oxabicyclo[2.2.1]hept-5-ene-2,3-dicarboxylic acid monomer with RuCl(3) and K(2)[RuCl(5)H(2)O] compounds was studied using ESR techniques. It was observed that the intensities of the Ru(III) signals in the ESR spectra decrease on the time scale of the induction period so that the ROMP can take place. The intensity of the Ru(III) signal almost disappeared 50 min after reacting with K(2)[RuCl(5)H(2)O] and after 100 mm in the case of RuCl(3). Reactions of the cis-[Ru(NH(3))(4)(H(2)O)(2)](tfms)(3) and [Ru(NH(3))(5)H(2)O](tfms)(3) complexes with the monomer and different organic compounds representing the organic functions in the monomer (furan, norbornene, but-2-ene-1,4-diol and formic, acetic, oxalic and maleic acids) were also monitored by ESR and UV/vis spectra. It was deduced that the organic acids provide the disappearance of the Ru(III) signal. The proton NMR relaxation times of the residual water in D(2)O for reactions with oxalic acid suggested that the presence of paramagnetic ions in the solution decreases along with

Quantified Interference: Information Theory and Information Flow

The paper investigates which of Shannon’s measures (entropy, conditional entropy, mutual information) is the right one for the task of quantifying information flow in a programming language. We examine earlier relevant contributions from Denning, McLean and Gray and we propose and motivate a specific quantitative definition of information flow. We prove results relating equivalence relations, interference of program variables, independence of random variables and the flow of confidential information. Finally, we show how, in our setting, Shannon’s Perfect Secrecy theorem provides a sufficient condition to determine whether a program leaks confidential information.

Perspective: LaGuardia Community College Newsletter Vol. 1, No. 3

"A newsletter published periodically to keep the faculty, students, staff, and community informed about the activities taking place on the campus of LaGuardia Community College." No date [1973]; Vol. 1, No. 3; 4 pages; Color (green, black & white); black & white photographs. Cover article: “COMMENCEMENT SPEAKER NAMED, SHIRLEY CHISHOLM TO DELIVER GRADUATION ADDRESS”. Other entries include: “FIORELLO FUNDS COMMITTEE ANNOUNCES F INAL AWARDS;” “’TOWN MEETINGS’ PROGRAMS TO BEGIN ON TELEVISION MARCH 17;” “Highights of BLACK HISTORY WEEK.”

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

Longitudinal distribution and lateral pattern of megalopal settlement and juvenile recruitment of Carcinus maenas (L.) (Brachyura, Portunidae) in the Mira River Estuary, Portugal

Settlement is a critical process in the life history of crabs, and thus affecting the abundance, distribution and structure of estuarine communities. The spatial pattern of settlement of megalopae of the shore crab Carcinus maenas along a longitudinal estuarine gradient (Mira River Estuary, Portugal) was examined, as well as its effects on the juvenile population. To measure megalopal settlement, four replicate collectors were deployed in six equally spaced stations along the estuarine axis. Juveniles were collected on the same locations with a quadrat randomly deployed on the substrate. To assess fine-scale megalopal settlement within a curved region of the estuary, replicate collectors were deployed on both margins along Moinho da Asneira curve. Megalopae settled differently along the six longitudinal points, with a tendency to attenuate their settlement upstream. Within the curved region, megalopae preferentially settled on the left margin collectors, probably due to the weaker velocity speeds felt on this margin. Concerning the overall juvenile density, there were significant differences among the stations distributed along the estuary, but they did no reflect a longitudinal dispersion attenuation pattern. Size-frequency distribution of the juvenile population showed that the average size is higher on the left margin. Recruits (carapace length between 1.0 mm and 3.4 mm) were more abundant on the upstream stations. Density of early juveniles (3.4 mm-6.5 mm) and juveniles (6.5 mm-10 mm) was more stable throughout the estuary axis than that of recruits. This distribution pattern may result from tidal excursion processes or mechanisms to avoid biotic interactions, such as predation and competition. (c) 2006 Elsevier Ltd. All rights reserved.

Fast and efficient synthesis of pyrano[3,2-c]quinolines catalyzed by niobium(V) chloride

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Anonimato e fama no reality show BBB 3

In the present work we make an incursion about the Reality Show, in a specific study of the program Big Brother 3 (BBB 3) approaching the question of Anonymity and Fame, though of its Narratives Strategic. We search to explain phenomenon of transformations of anonymous people in celebrities, showing all net of relationships established by the participants of BBB 3, during the together in the setting house, stage of the tram that tells the daily one of a group of youngs. Supported in concepts of it and Reality Show, the work is link the theories semiotic of means, proposal for Algirda Julien Greimas. We stand out strategies of the program, showing that they on the basis of structuralize elements fiction that stimulate and seduce the receiving public. How empirical reference, the work bases on the program Big Brother Brazil, shown for the Rede Globo de Televisão opened canal, in period of January 14 to April 01 of 2003. Ahead of the results gotten in analysis, we verify that BBB 3 is a format of reality and fiction. What although to create the effect of a hurt of real everything to show, its reality artificial, built principally for edition of the images

Effects of plant density and proportion on the interaction between wheat with alexandergrass plants

A determinação das relações competitivas entre espécies de plantas requer delineamentos experimentais e métodos de análise apropriados. A hipótese da pesquisa foi que duas espécies crescendo em convivência têm comportamento de crescimento e desenvolvimento distintos em função da sua competitividade relativa. O objetivo desta pesquisa foi quantificar a competitividade relativa da cultura do trigo com o capim-marmelada através da medida dos efeitos da densidade e da proporção de plantas, usando experimentos em série substitutiva. Monoculturas foram cultivadas em densidades de 1, 3, 5, 10 e 15 plantas por caixa e analisadas por regressão dos dados de massa seca, em 2006. Experimento em mistura foi cultivado nas proporções trigo:capim-marmelada de 0:6, 1:5, 2:4, 3:3, 4:2, 5:1 e 6:0 plantas por caixa e analisado através de interpretação gráfica de características de crescimento e produção, em 2007. Ambos os experimentos foram realizados em delineamento completamente casualizado com quatro repetições. Capim-marmelada foi mais sensível que trigo à competição intraespecífica. Capim-marmelada foi levemente mais competitivo que trigo. Número e massa de espigas e número de afilhos foram as características do trigo mais afetadas pela interferência do capim-marmelada.

Morfometria de microbacias do Córrego Rico, afluente do Rio Mogi-Guaçu, Estado de São Paulo, Brasil

Este trabalho teve como objetivo avaliar as características morfométricas das microbacias (2ª, 3ª, 4ª e 5ª ordens de magnitude) da bacia hidrográfica do córrego Rico, sub-bacia do Rio Mogi-Guaçu, localizada na região administrativa de Ribeirão Preto, Estado de São Paulo, Brasil. Para tanto, foram determinados os parâmetros físicos e a configuração topográfica natural do sistema de drenagem. Os procedimentos para a obtenção dos dados foram fundamentados em técnicas de sensoriamento remoto e geoprocessamento. A partir da vetorização das cartas topográficas correspondentes à área de estudo, realizou-se a análise morfométrica quanto às características dimensionais, do padrão de drenagem e do relevo no sistema de informação geográfica ArcView. A microbacia é considerada de sexta ordem de magnitude, com área estimada de 542 km², com 85 microbacias de segunda ordem, 22 de terceira, sete de quarta ordem e duas de quinta. Utilizando o critério geométrico, na disposição fluvial das sub-bacias de cabeceiras observou-se a predominância dos modelos dendríticos e subdendríticos, enquanto a jusante predominava o modelo subparalelo, respectivamente, nas áreas de ocorrências dos arenitos Bauru e rochas efusivas básicas.

Associations of FASN gene polymorphisms with economical traits in Nellore cattle (Bos primigenius indicus)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Influence of different supplements and sugarcane (Saccharum officinarum L.) cultivars on intake, digestible variables and methane production of dairy heifers under tropical conditions

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Desempenho, parâmetros plasmáticos e características de carcaça de novilhos alimentados com farelo de girassol e diferentes fontes energéticas, em confinamento

Avaliaram-se consumo, desempenho, parâmetros plasmáticos e características de carcaça de 24 novilhos, 3/4 Simental 1/4 Nelore, com peso médio inicial de 370 kg. As dietas foram compostas por 55% de silagem de milho e diferentes fontes energéticas: milho (MI) e substituição parcial do milho pela casca de soja (CS) ou pelo farelo de gérmen de milho (FGM), tendo como fonte de proteína o farelo de girassol. O período de avaliação de consumo e ganho de peso foi de 49 dias. Foram realizadas amostragens de sangue para mensuração dos parâmetros plasmáticos: glicose, uréia, proteína total e albumina. As meia-carcaças direitas resfriadas foram utilizadas para medir a área de olho de lombo (AOL), a espessura de gordura (EG) e o comprimento de carcaça. As dietas não influenciaram os parâmetros plasmáticos. A média obtida para uréia plasmática foi elevada (26,1 mg/dL). As diferentes fontes energéticas não afetaram o ganho de peso e a conversão alimentar, com médias de 1,15 kg/dia e 9,17 kg de MS ingerida/kg de ganho. Não houve efeito sobre o rendimento de carcaça (52,8% peso final e 63,11% PCV), AOL (63,6 cm²) e EG (4,7 mm). O grão de milho pode ser substituído parcialmente pela casca de soja e pelo farelo de gérmen de milho, em dietas para novilhos em confinamento, sem afetar o desempenho e as características de carcaça, permitindo que a escolha entre esses ingredientes seja realizada pela análise econômica.

Breeding value accuracy estimates for growth traits using random regression and multi-trait models in Nelore cattle

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Resistance of cattle of various genetic groups to the tick Rhipicephalus microplus and the relationship with coat traits

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)