A short proof of existence of disjoint hypercyclic operators

We give a short proof of existence of disjoint hypercyclic tuples of operators of any given length on any separable infinite dimensional Fr\'echet space. Similar argument provides disjoint dual hypercyclic tuples of operators of any length on any infinite dimensional Banach space with separable dual.

Stir bar sorptive extraction of diclofenac from liquid formulations: A proof of concept study

A new stir bar sorptive extraction (SBSE) technique coupled with HPLC-UV method for quantification of diclofenac in pharmaceutical formulations has been developed and validated as a proof of concept study. Commercially available polydimethylsiloxane stir bars (Twister (TM)) were used for method development and SBSE extraction (pH, phase ratio, stirring speed, temperature, ionic strength and time) and liquid desorption (solvents, desorption method, stirring time etc) procedures were optimised. The method was validated as per ICH guidelines and was successfully applied for the estimation of diclofenac from three liquid formulations viz. Voltarol (R) Optha single dose eye drops, Voltarol (R) Ophtha multidose eye drops and Voltarol (R) ampoules. The developed method was found to be linear (r=0.9999) over 100-2000 ng/ml concentration range with acceptable accuracy and precision (tested over three QC concentrations). The SBSE extraction recovery of the diclofenac was found to be 70% and the LOD and LOQ of the validated method were found to be 16.06 and 48.68 ng/ml, respectively. Furthermore, a forced degradation study of a diclofenac formulation leading to the formation of structurally similar cyclic impurity (indolinone) was carried out. The developed extraction method showed comparable results to that of the reference method, i.e. method was capable of selectively extracting the indolinone and diclofenac from the liquid matrix. Data on inter and intra stir bar accuracy and precision further confirmed robustness of the method, supporting the multiple re-use of the stir bars. (C) 2010 Elsevier B.V. All rights reserved.

Development of an egg hatch assay for the diagnosis of triclabendazole resistance in Fasciola hepatica: proof of concept.

The aim of this study was to develop an Egg Hatch Assay (EHA) test for the detection of triclabendazole (TCBZ) resistance in Fasciola hepatica. A number of fluke isolates were used, of differing sensitivity to TCBZ. Eggs were exposed to solutions of triclabendazole sulphoxide (TCBZ.SO) for 14 days, then triggered to hatch. Egg development was divided into 6 distinct and easily identifiable stages: dead, empty, unembryonated, cell division, eye spot and hatched. The number of eggs reaching those stages was recorded. Initially, the discriminating dose (1% hatch) was determined for the Cullompton isolate, used as TCBZ-susceptible (TCBZ-S) standard. Once this concentration had been resolved, the response of different isolates to this concentration was examined. The hatch rate of the Fairhurst isolate was not significantly different from that of the Cullompton isolate, confirming its TCBZ-S status. The Patagonia isolate has not been exposed to TCBZ in the field and should be TCBZ-S: the results of the EHA supported this. The egg hatch response of the Oberon and Dutch isolates differed significantly from that of the Cullompton isolate; the former isolates are regarded as TCBZ-resistant (TCBZ-R) and the results confirmed this. Another isolate, the Leon isolate, was originally described as being TCBZ-R, but has since been shown to be TCBZ-S. There was no difference in its response to TCBZ.SO in the EHA from the Cullompton (and Fairhurst and Patagonia) isolate(s), further indicating its TCBZ-S status. The impact of TCBZ.SO treatment on the component stages of egg development was determined and revealed differences between the isolates. In conclusion, the results of the study have shown that it is possible to discriminate between TCBZ-S and TCBZ-R isolates of F. hepatica on the basis of the response of their eggs to an EHA and the test could be used to evaluate the TCBZ sensitivity of unknown field isolates

Polybius’ ‘previous landslide’: Proof that Hannibal’s invasion route crossed the col de la traversette

Both Polybius and Livy described a landslide/landslip that blocked the Punic Army’s exfiltration from a high col on the water divide in the Western Alps. The landslide, more aptly termed rockfall, has been a source of contention amongst classicists for centuries despite the fact that only two cols—Clapier and Traversette—exhibit rockfall debris on the lee side of the Alps. While the Clapier rockfall is too small and too young to have provided blockage, the Traversette debris is nearly as Polybius described it when he retraced the invasion route some 60 years after the event. His ‘two-tier’ description of the deposit, a doublet of younger and older rock rubble, including measurements of width and volume are close to modern measurements and prove that he knew, in advance, the route Hannibal had followed. It would take a practiced eye to correctly identify the stratigraphic complexity inherent in the Traversette Rockfall. Here we present weathering ratios, soil stratigraphic, mineral, chemical and microbiological evidence in support of Polybius’ observations as a considerable background database for future geoarchaeological exploration.

Natural deduction system in paraconsistent setting: proof search for PCont

This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics. These logics are used, in particular, for reasoning about systems where paradoxes do not lead to the `deductive explosion', i.e., where formulae of the type `A follows from false', for any A, are not valid. We formulate the natural deduction system for the logic PCont, explain its main concepts, define a proof searching technique and illustrate it by examples. The presentation is accompanied by demonstrating the correctness of these developments.

Digital evidence as a means of proof before the International Court of Justice

This article discusses the use of digital evidence as a means of proof before the International Court of Justice (ICJ). The absence of specific Court rules and procedures for digital evidence (with the exception of Practice Direction IX bis) is not necessarily an obstacle to its production and evaluation before the ICJ, as the general evidentiary rules can also be applied to digital evidence. The article first looks at the rules on the production of documentary evidence and then examines the specific issues related to audiovisual evidence. Finally, it examines the admissibility of digital evidence unlawfully obtained by a litigant through unilateral transborder access to data. The article concludes that, even if specific regulation may be needed as to the specific way in which authenticity and accuracy of digital evidence are to be established, the particular facts of the case and the grounds of challenge can vary widely, and it is doubtful that any regulation could be sufficiently flexible to deal with this in advance.

Proof of Concept of the Electrochemical Sensing of 3-Iodothyronamine (T1AM) and Thyronamine (T0AM)

Recent studies have shown that, besides the well-recognized T3 and T4 hormones, there are other relevant thyroid hormones circulating in the human body. In particular, this is the case for 3-iodothyronamine (T1AM) and thyronamine (T0AM). One of the reasons for the lack of studies showing their precise importance is the absence of analytical methodologies available. Herein, for the first time, T1AM and T0AM are electrochemically characterized. T0AM was sensed by means of a glassy carbon electrode; furthermore, T1AM was sensed both with a graphitic surface (oxidatively) as well as with mercury (reductively). For both compounds, after oxidation, it was possible to observe the reversible redox reaction concerning the benzoquinone/hydroquinone couple, thus increasing the specificity of the electroanalysis. Therefore, this work provides the basis for an ‘at-point-of-use’ electrochemical strip test for T1AM and T0AM.

An Open Source BI Approach: Concept Proof Tracking Fleet

É possível assistir nos dias de hoje, a um processo tecnológico evolutivo acentuado por toda a parte do globo. No caso das empresas, quer as pequenas, médias ou de grandes dimensões, estão cada vez mais dependentes dos sistemas informatizados para realizar os seus processos de negócio, e consequentemente à geração de informação referente aos negócios e onde, muitas das vezes, os dados não têm qualquer relacionamento entre si. A maioria dos sistemas convencionais informáticos não são projetados para gerir e armazenar informações estratégicas, impossibilitando assim que esta sirva de apoio como recurso estratégico. Portanto, as decisões são tomadas com base na experiência dos administradores, quando poderiam serem baseadas em factos históricos armazenados pelos diversos sistemas. Genericamente, as organizações possuem muitos dados, mas na maioria dos casos extraem pouca informação, o que é um problema em termos de mercados competitivos. Como as organizações procuram evoluir e superar a concorrência nas tomadas de decisão, surge neste contexto o termo Business Intelligence(BI). A GisGeo Information Systems é uma empresa que desenvolve software baseado em SIG (sistemas de informação geográfica) recorrendo a uma filosofia de ferramentas open-source. O seu principal produto baseia-se na localização geográfica dos vários tipos de viaturas, na recolha de dados, e consequentemente a sua análise (quilómetros percorridos, duração de uma viagem entre dois pontos definidos, consumo de combustível, etc.). Neste âmbito surge o tema deste projeto que tem objetivo de dar uma perspetiva diferente aos dados existentes, cruzando os conceitos BI com o sistema implementado na empresa de acordo com a sua filosofia. Neste projeto são abordados alguns dos conceitos mais importantes adjacentes a BI como, por exemplo, modelo dimensional, data Warehouse, o processo ETL e OLAP, seguindo a metodologia de Ralph Kimball. São também estudadas algumas das principais ferramentas open-source existentes no mercado, assim como quais as suas vantagens/desvantagens relativamente entre elas. Em conclusão, é então apresentada a solução desenvolvida de acordo com os critérios enumerados pela empresa como prova de conceito da aplicabilidade da área Business Intelligence ao ramo de Sistemas de informação Geográfica (SIG), recorrendo a uma ferramenta open-source que suporte visualização dos dados através de dashboards.

Gastric supply manipulation to modulate ghrelin production and enhance vascularization to the cardia: proof of the concept in a porcine model.

Introduction. Selective embolization of the left-gastric artery (LGA) reduces levels of ghrelin and achieves significant short-term weight loss. However, embolization of the LGA would prevent the performance of bariatric procedures because the high-risk leakage area (gastroesophageal junction [GEJ]) would be devascularized. Aim. To assess an alternative vascular approach to the modulation of ghrelin levels and generate a blood flow manipulation, consequently increasing the vascular supply to the GEJ. Materials and methods. A total of 6 pigs underwent a laparoscopic clipping of the left gastroepiploic artery. Preoperative and postoperative CT angiographies were performed. Ghrelin levels were assessed perioperatively and then once per week for 3 weeks. Reactive oxygen species (ROS; expressed as ROS/mg of dry weight [DW]), mitochondria respiratory rate, and capillary lactates were assessed before and 1 hour after clipping (T0 and T1) and after 3 weeks of survival (T2), on seromuscular biopsies. A celiac trunk angiography was performed at 3 weeks. Results. Mean (±standard deviation) ghrelin levels were significantly reduced 1 hour after clipping (1902 ± 307.8 pg/mL vs 1084 ± 680.0; P = .04) and at 3 weeks (954.5 ± 473.2 pg/mL; P = .01). Mean ROS levels were statistically significantly decreased at the cardia at T2 when compared with T0 (0.018 ± 0.006 mg/DW vs 0.02957 ± 0.0096 mg/DW; P = .01) and T1 (0.0376 ± 0.008mg/DW; P = .007). Capillary lactates were significantly decreased after 3 weeks, and the mitochondria respiratory rate remained constant over time at the cardia and pylorus, showing significant regional differences. Conclusions. Manipulation of the gastric flow targeting the gastroepiploic arcade induces ghrelin reduction. An endovascular approach is currently under evaluation.