Debugging of Web Applications with Web-TLR

Web-TLR is a Web verification engine that is based on the well-established Rewriting Logic--Maude/LTLR tandem for Web system specification and model-checking. In Web-TLR, Web applications are expressed as rewrite theories that can be formally verified by using the Maude built-in LTLR model-checker. Whenever a property is refuted, a counterexample trace is delivered that reveals an undesired, erroneous navigation sequence. Unfortunately, the analysis (or even the simple inspection) of such counterexamples may be unfeasible because of the size and complexity of the traces under examination. In this paper, we endow Web-TLR with a new Web debugging facility that supports the efficient manipulation of counterexample traces. This facility is based on a backward trace-slicing technique for rewriting logic theories that allows the pieces of information that we are interested to be traced back through inverse rewrite sequences. The slicing process drastically simplifies the computation trace by dropping useless data that do not influence the final result. By using this facility, the Web engineer can focus on the relevant fragments of the failing application, which greatly reduces the manual debugging effort and also decreases the number of iterative verifications.Comment: In Proceedings WWV 2011, arXiv:1108.208

Form factors and photoproduction amplitudes

We examine the use of phenomenological form factors in tree level amplitudes for meson photoproduction. Two common recipes are shown to be fundamentally incorrect. An alternate form consistent with gauge invariance and crossing symmetry is proposed.Comment: To be published in PR

Exosomes in head and neck cancer. Updating and revisiting

Exosomes have gone from being considered simple containers of intracellular waste substances to be considered important carriers of cellular signals. Its broad capacity to promote tumour growth, both in situ and metastatic, has greatly intensified scientific research on them. In the same way and depending on its content, its tumour suppressive properties have opened a window of light and hope in the fight against cancer. In the present review we try to gather in a simple and understandable way the most relevant knowledge to date on the role of exosomes in oral squamous cell carcinoma, helping to understand their process of formation, release and activity on the tumour microenvironment

K0-Sigma+ Photoproduction with SAPHIR

Preliminary results of the analysis of the reaction p(gamma,K0)Sigma+ are presented. We show the first measurement of the differential cross section and much improved data for the total cross section than previous data. The data are compared with model predictions from different isobar and quark models that give a good description of p(gamma,K+)Lambda and p(gamma,K+)Sigma0 data in the same energy range. Results of ChPT describe the data adequately at threshold while isobar models that include hadronic form factors reproduce the data at intermediate energies.Comment: 4 pages, Latex2e, 4 postscript figures. Talk given at the International Conference on Hypernuclear and Strange Particle Physics (HYP97), Brookhaven National Laboratory, USA, October 13-18, 1997. To be published in Nucl. Phys. A. Revised version due to changes in experimental dat

Systemic Effects Induced by Hyperoxia in a Preclinical Model of Intra-abdominal Sepsis

Supplemental oxygen is a supportive treatment in patients with sepsis to balance tissue oxygen delivery and demand in the tissues. However, hyperoxia may induce some pathological effects. We sought to assess organ damage associated with hyperoxia and its correlation with the production of reactive oxygen species (ROS) in a preclinical model of intra-abdominal sepsis. For this purpose, sepsis was induced in male, Sprague-Dawley rats by cecal ligation and puncture (CLP). We randomly assigned experimental animals to three groups: control (healthy animals), septic (CLP), and sham-septic (surgical intervention without CLP). At 18 h after CLP, septic (n = 39), sham-septic (n = 16), and healthy (n = 24) animals were placed within a sealed Plexiglas cage and randomly distributed into four groups for continuous treatment with 21%, 40%, 60%, or 100% oxygen for 24 h. At the end of the experimental period, we evaluated serum levels of cytokines, organ damage biomarkers, histological examination of brain and lung tissue, and ROS production in each surviving animal. We found that high oxygen concentrations increased IL-6 and biomarkers of organ damage levels in septic animals, although no relevant histopathological lung or brain damage was observed. Healthy rats had an increase in IL-6 and aspartate aminotransferase at high oxygen concentration. IL-6 levels, but not ROS levels, are correlated with markers of organ damage. In our study, the use of high oxygen concentrations in a clinically relevant model of intra-abdominal sepsis was associated with enhanced inflammation and organ damage. These findings were unrelated to ROS release into circulation. Hyperoxia could exacerbate sepsis-induced inflammation, and it could be by itself detrimental. Our study highlights the need of developing safer thresholds for oxygen therapy

Probing highly obscured, self-absorbed galaxy nuclei with vibrationally excited HCN

We present high resolution (0."4) IRAM PdBI and ALMA mm and submm observations of the (ultra) luminous infrared galaxies ((U)LIRGs) IRAS17208-0014, Arp220, IC860 and Zw049.057 that reveal intense line emission from vibrationally excited ($\nu_2$=1) J=3-2 and 4-3 HCN. The emission is emerging from buried, compact (r<17-70 pc) nuclei that have very high implied mid-infrared surface brightness $>$$5\times 10^{13}$ L$_{\odot}$ kpc$^{-2}$. These nuclei are likely powered by accreting supermassive black holes (SMBHs) and/or hot (>200 K) extreme starbursts. Vibrational, $\nu_2$=1, lines of HCN are excited by intense 14 micron mid-infrared emission and are excellent probes of the dynamics, masses, and physical conditions of (U)LIRG nuclei when H$_2$ column densities exceed $10^{24}$ cm$^{-2}$. It is clear that these lines open up a new interesting avenue to gain access to the most obscured AGNs and starbursts. Vibrationally excited HCN acts as a proxy for the absorbed mid-infrared emission from the embedded nuclei, which allows for reconstruction of the intrinsic, hotter dust SED. In contrast, we show strong evidence that the ground vibrational state ($\nu$=0), J=3-2 and 4-3 rotational lines of HCN and HCO$^+$ fail to probe the highly enshrouded, compact nuclear regions owing to strong self- and continuum absorption. The HCN and HCO$^+$ line profiles are double-peaked because of the absorption and show evidence of non-circular motions - possibly in the form of in- or outflows. Detections of vibrationally excited HCN in external galaxies are so far limited to ULIRGs and early-type spiral LIRGs, and we discuss possible causes for this. We tentatively suggest that the peak of vibrationally excited HCN emission is connected to a rapid stage of nuclear growth, before the phase of strong feedback.Comment: 13 pages, 7 figures, accepted for publication in Astronomy and Astrophysic

Quantum dynamics of a model for two Josephson-coupled Bose--Einstein condensates

In this work we investigate the quantum dynamics of a model for two single-mode Bose--Einstein condensates which are coupled via Josephson tunneling. Using direct numerical diagonalisation of the Hamiltonian, we compute the time evolution of the expectation value for the relative particle number across a wide range of couplings. Our analysis shows that the system exhibits rich and complex behaviours varying between harmonic and non-harmonic oscillations, particularly around the threshold coupling between the delocalised and self-trapping phases. We show that these behaviours are dependent on both the initial state of the system as well as regime of the coupling. In addition, a study of the dynamics for the variance of the relative particle number expectation and the entanglement for different initial states is presented in detail.Comment: 15 pages, 8 eps figures, accepted in J. Phys.

Schwartz - Zippelov teorem i neke njegove primjene

U ovom radu izložen je rezultat poznat pod nazivom Schwartz - Zippelova lema ili Schwartz - Zippelov teorem. Tema rada pripada pretežno algebri, ali ima značajne primjene u drugim matematičkim područjima kao što je na primjer teorija algoritama, te kombinatorika. Rad se sastoji od tri poglavlja. U uvodu je ukratko opisana tema i cilj rada. Prvo poglavlje sadrži kratku povijest nastanka teorema, različite oblike rezultata pojedinih autora, te kratki opis pojmova korištenih u samom radu. Drugo poglavlje sastoji se od iskaza i dokaza Schwartz - Zippelovog teorema, a u trećem poglavlju izložene su neke primjene tog teorema na probleme koji se mogu svesti na testiranje jednakosti polinoma. Takvi su, primjerice, problem postojanja savršenog sparivanja u grafu i ispitivanje svojstva asocijativnosti u grupoidu. Uz svaku primjenu navedeni su i prikladni primjeri.In this diploma thesis we present the result usually called the Schwartz-Zippel lemma or the Schwartz-Zippel theorem. The nature of this theorem is basically algebraic, but it has significant applications in other areas of mathematics, such as the theory of algorithms and combinatorial theory. The thesis consists of three chapters. The main theme and objective are briefly described in the introduction. The first chapter contains a short history of the theorem’s origins, various forms of the main results by different authors and some comments of basic concepts related to this topic. The statement and a proof of the Schwartz-Zippel theorem are given in the second chapter, together with the general outline of its applications. The third and final chapter consists of some applications to problems which can be reduced to polynomial identity testing, including the existence of a perfect matching in a graph and testing of the associativity property in a groupoi

How to Educate Entrepreneurs?

Entrepreneurship education has two purposes: To improve students’ entrepreneurial skills and to provide impetus to those suited to entrepreneurship while discouraging the rest. While entrepreneurship education helps students to make a vocational decision its effects may conflict for those not suited to entrepreneurship. This study shows that vocational and the skill formation effects of entrepreneurship education can be identified empirically by drawing on the Theory of Planned Behavior. This is embedded in a structural equation model which we estimate and test using a robust 2SLS estimator. We find that the attitudinal factors posited by the Theory of Planned Behavior are positively correlated with students’ entrepreneurial intentions. While conflicting effects of vocational and skill directed course content are observed in some individuals, overall these types of content are complements. This finding contradicts previous results in the literature. We reconcile the conflicting findings and discuss implications for the design of entrepreneurship courses