On Graph-Based Cryptography and Symbolic Computations

We have been investigating the cryptographical properties of in nite families of simple graphs of large girth with the special colouring of vertices during the last 10 years. Such families can be used for the development of cryptographical algorithms (on symmetric or public key modes) and turbocodes in error correction theory. Only few families of simple graphs of large unbounded girth and arbitrarily large degree are known. The paper is devoted to the more general theory of directed graphs of large girth and their cryptographical applications. It contains new explicit algebraic constructions of in finite families of such graphs. We show that they can be used for the implementation of secure and very fast symmetric encryption algorithms. The symbolic computations technique allow us to create a public key mode for the encryption scheme based on algebraic graphs.

Shortest node-disjoint paths on random graphs

A localized method to distribute paths on random graphs is devised, aimed at finding the shortest paths between given source/destination pairs while avoiding path overlaps at nodes. We propose a method based on message-passing techniques to process global information and distribute paths optimally. Statistical properties such as scaling with system size and number of paths, average path-length and the transition to the frustrated regime are analyzed. The performance of the suggested algorithm is evaluated through a comparison against a greedy algorithm. © 2014 IOP Publishing Ltd and SISSA Medialab srl.

Random walk with restart over dynamic graphs

Random Walk with Restart (RWR) is an appealing measure of proximity between nodes based on graph structures. Since real graphs are often large and subject to minor changes, it is prohibitively expensive to recompute proximities from scratch. Previous methods use LU decomposition and degree reordering heuristics, entailing O(|V|^3) time and O(|V|^2) memory to compute all (|V|^2) pairs of node proximities in a static graph. In this paper, a dynamic scheme to assess RWR proximities is proposed: (1) For unit update, we characterize the changes to all-pairs proximities as the outer product of two vectors. We notice that the multiplication of an RWR matrix and its transition matrix, unlike traditional matrix multiplications, is commutative. This can greatly reduce the computation of all-pairs proximities from O(|V|^3) to O(|delta|) time for each update without loss of accuracy, where |delta| (<<|V|^2) is the number of affected proximities. (2) To avoid O(|V|^2) memory for all pairs of outputs, we also devise efficient partitioning techniques for our dynamic model, which can compute all pairs of proximities segment-wisely within O(l|V|) memory and O(|V|/l) I/O costs, where 1<=l<=|V| is a user-controlled trade-off between memory and I/O costs. (3) For bulk updates, we also devise aggregation and hashing methods, which can discard many unnecessary updates further and handle chunks of unit updates simultaneously. Our experimental results on various datasets demonstrate that our methods can be 1–2 orders of magnitude faster than other competitors while securing scalability and exactness.

Symbolic dynamics generated by a hybrid chaotic systems

We consider piecewise defined differential dynamical systems which can be analysed through symbolic dynamics and transition matrices. We have a continuous regime, where the time flow is characterized by an ordinary differential equation (ODE) which has explicit solutions, and the singular regime, where the time flow is characterized by an appropriate transformation. The symbolic codification is given through the association of a symbol for each distinct regular system and singular system. The transition matrices are then determined as linear approximations to the symbolic dynamics. We analyse the dependence on initial conditions, parameter variation and the occurrence of global strange attractors.

Bio-QA-GNN: Reasoning with Language Models and Knowledge Graphs for Interpretable Biomedical Question Answering

Nowadays the idea of injecting world or domain-specific structured knowledge into pre-trained language models (PLMs) is becoming an increasingly popular approach for solving problems such as biases, hallucinations, huge architectural sizes, and explainability lack—critical for real-world natural language processing applications in sensitive fields like bioinformatics. One recent work that has garnered much attention in Neuro-symbolic AI is QA-GNN, an end-to-end model for multiple-choice open-domain question answering (MCOQA) tasks via interpretable text-graph reasoning. Unlike previous publications, QA-GNN mutually informs PLMs and graph neural networks (GNNs) on top of relevant facts retrieved from knowledge graphs (KGs). However, taking a more holistic view, existing PLM+KG contributions mainly consider commonsense benchmarks and ignore or shallowly analyze performances on biomedical datasets. This thesis start from a propose of a deep investigation of QA-GNN for biomedicine, comparing existing or brand-new PLMs, KGs, edge-aware GNNs, preprocessing techniques, and initialization strategies. By combining the insights emerged in DISI's research, we introduce Bio-QA-GNN that include a KG. Working with this part has led to an improvement in state-of-the-art of MCOQA model on biomedical/clinical text, largely outperforming the original one (+3.63\% accuracy on MedQA). Our findings also contribute to a better understanding of the explanation degree allowed by joint text-graph reasoning architectures and their effectiveness on different medical subjects and reasoning types. Codes, models, datasets, and demos to reproduce the results are freely available at: \url{https://github.com/disi-unibo-nlp/bio-qagnn}.

The Cratylia Mollis Seed Lectin Induces Membrane Permeability Transition In Isolated Rat Liver Mitochondria And A Cyclosporine A-insensitive Permeability Transition In Trypanosoma Cruzi Mitochondria.

Previous results provided evidence that Cratylia mollis seed lectin (Cramoll 1,4) promotes Trypanosoma cruzi epimastigotes death by necrosis via a mechanism involving plasma membrane permeabilization to Ca(2+) and mitochondrial dysfunction due to matrix Ca(2+) overload. In order to investigate the mechanism of Ca(2+) -induced mitochondrial impairment, experiments were performed analyzing the effects of this lectin on T. cruzi mitochondrial fraction and in isolated rat liver mitochondria (RLM), as a control. Confocal microscopy of T. cruzi whole cell revealed that Cramoll 1,4 binding to the plasma membrane glycoconjugates is followed by its internalization and binding to the mitochondrion. Electrical membrane potential (∆Ψm ) of T. cruzi mitochondrial fraction suspended in a reaction medium containing 10 μM Ca(2+) was significantly decreased by 50 μg/ml Cramoll 1,4 via a mechanism insensitive to cyclosporine A (CsA, membrane permeability transition (MPT) inhibitor), but sensitive to catalase or 125 mM glucose. In RLM suspended in a medium containing 10 μM Ca(2+) this lectin, at 50 μg/ml, induced increase in the rate of hydrogen peroxide release, mitochondrial swelling, and ∆Ψm disruption. All these mitochondrial alterations were sensitive to CsA, catalase, and EGTA. These results indicate that Cramoll 1, 4 leads to inner mitochondrial membrane permeabilization through Ca(2+) dependent mechanisms in both mitochondria. The sensitivity to CsA in RLM characterizes this lectin as a MPT inducer and the lack of CsA effect identifies a CsA-insensitive MPT in T. cruzi mitochondria.

Oxidative Stress And Susceptibility To Mitochondrial Permeability Transition Precedes The Onset Of Diabetes In Autoimmune Non-obese Diabetic Mice.

Beta cell destruction in type 1 diabetes (TID) is associated with cellular oxidative stress and mitochondrial pathway of cell death. The aim of this study was to determine whether oxidative stress and mitochondrial dysfunction are present in T1D model (non-obese diabetic mouse, NOD) and if they are related to the stages of disease development. NOD mice were studied at three stages: non-diabetic, pre-diabetic, and diabetic and compared with age-matched Balb/c mice. Mitochondria respiration rates measured at phosphorylating and resting states in liver and soleus biopsies and in isolated liver mitochondria were similar in NOD and Balb/c mice at the three disease stages. However, NOD liver mitochondria were more susceptible to calcium-induced mitochondrial permeability transition as determined by cyclosporine-A-sensitive swelling and by decreased calcium retention capacity in all three stages of diabetes development. Mitochondria H2O2 production rate was higher in non-diabetic, but unaltered in pre-diabetic and diabetic NOD mice. The global cell reactive oxygen species (ROS), but not specific mitochondria ROS production, was significantly increased in NOD lymphomononuclear and stem cells in all disease stages. In addition, marked elevated rates of 2',7'-dichlorodihydrofluorescein (H2DCF) oxidation were observed in pancreatic islets from non-diabetic NOD mice. Using matrix-assisted laser desorption/ionization (MALDI) mass spectrometry (MS) and lipidomic approach, we identified oxidized lipid markers in NOD liver mitochondria for each disease stage, most of them being derivatives of diacylglycerols and phospholipids. These results suggest that the cellular oxidative stress precedes the establishment of diabetes and may be the cause of mitochondrial dysfunction that is involved in beta cell death.

Transition From Glass To Digital Slide Microscopy In The Teaching Of Oral Pathology In A Brazilian Dental School.

Several medical and dental schools have described their experience in the transition from conventional to digital microscopy in the teaching of general pathology and histology disciplines; however, this transitional process has scarcely been reported in the teaching of oral pathology. Therefore, the objective of the current study is to report the transition from conventional glass slide to virtual microscopy in oral pathology teaching, a unique experience in Latin America. An Aperio ScanScope® scanner was used to digitalize histological slides used in practical lectures of oral pathology. The challenges and benefits observed by the group of Professors from the Piracicaba Dental School (Brazil) are described and a questionnaire to evaluate the students' compliance to this new methodology was applied. An improvement in the classes was described by the Professors who mainly dealt with questions related to pathological changes instead of technical problems; also, a higher interaction with the students was described. The simplicity of the software used and the high quality of the virtual slides, requiring a smaller time to identify microscopic structures, were considered important for a better teaching process. Virtual microscopy used to teach oral pathology represents a useful educational methodology, with an excellent compliance of the dental students.

Key Participants Of The Tumor Microenvironment Of The Prostate: An Approach Of The Structural Dynamic Of Cellular Elements And Extracellular Matrix Components During Epithelial-stromal Transition.

Cancer is a multistep process that begins with the transformation of normal epithelial cells and continues with tumor growth, stromal invasion and metastasis. The remodeling of the peritumoral environment is decisive for the onset of tumor invasiveness. This event is dependent on epithelial-stromal interactions, degradation of extracellular matrix components and reorganization of fibrillar components. Our research group has studied in a new proposed rodent model the participation of cellular and molecular components in the prostate microenvironment that contributes to cancer progression. Our group adopted the gerbil Meriones unguiculatus as an alternative experimental model for prostate cancer study. This model has presented significant responses to hormonal treatments and to development of spontaneous and induced neoplasias. The data obtained indicate reorganization of type I collagen fibers and reticular fibers, synthesis of new components such as tenascin and proteoglycans, degradation of basement membrane components and elastic fibers and increased expression of metalloproteinases. Fibroblasts that border the region, apparently participate in the stromal reaction. The roles of each of these events, as well as some signaling molecules, participants of neoplastic progression and factors that promote genetic reprogramming during epithelial-stromal transition are also discussed.

Memorias do guerreiro, sonhos de atleta : jogos tradicionas e esporte entre jovens kadiweu

Universidade Estadual de Campinas . Faculdade de Educação Física

Analyzing the n→π* Electronic Transition of Formaldehyde in Water. A Sequential Monte Carlo/Time-Dependent Density Functional Theory

The n→π* absorption transition of formaldehyde in water is analyzed using combined and sequential classical Monte Carlo (MC) simulations and quantum mechanics (QM) calculations. MC simulations generate the liquid solute-solvent structures for subsequent QM calculations. Using time-dependent density functional theory in a localized set of gaussian basis functions (TD-DFT/6-311++G(d,p)) calculations are made on statistically relevant configurations to obtain the average solvatochromic shift. All results presented here use the electrostatic embedding of the solvent. The statistically converged average result obtained of 2300 cm-1 is compared to previous theoretical results available. Analysis is made of the effective dipole moment of the hydrogen-bonded shell and how it could be held responsible for the polarization of the solvent molecules in the outer solvation shells.

Transition to complete synchronization in phase-coupled oscillators with nearest neighbor coupling

We investigate synchronization in a Kuramoto-like model with nearest neighbor coupling. Upon analyzing the behavior of individual oscillators at the onset of complete synchronization, we show that the time interval between bursts in the time dependence of the frequencies of the oscillators exhibits universal scaling and blows up at the critical coupling strength. We also bring out a key mechanism that leads to phase locking. Finally, we deduce forms for the phases and frequencies at the onset of complete synchronization.

Ventilation behavior in trained and untrained men during incremental test: evidence of one metabolic transition point

This study aimed to describe and compare the ventilation behavior during an incremental test utilizing three mathematical models and to compare the feature of ventilation curve fitted by the best mathematical model between aerobically trained (TR) and untrained ( UT) men. Thirty five subjects underwent a treadmill test with 1 km.h(-1) increases every minute until exhaustion. Ventilation averages of 20 seconds were plotted against time and fitted by: bi-segmental regression model (2SRM); three-segmental regression model (3SRM); and growth exponential model (GEM). Residual sum of squares (RSS) and mean square error (MSE) were calculated for each model. The correlations between peak VO2 (VO2PEAK), peak speed (Speed(PEAK)), ventilatory threshold identified by the best model (VT2SRM) and the first derivative calculated for workloads below (moderate intensity) and above (heavy intensity) VT2SRM were calculated. The RSS and MSE for GEM were significantly higher (p < 0.01) than for 2SRM and 3SRM in pooled data and in UT, but no significant difference was observed among the mathematical models in TR. In the pooled data, the first derivative of moderate intensities showed significant negative correlations with VT2SRM (r = -0.58; p < 0.01) and Speed(PEAK) (r = -0.46; p < 0.05) while the first derivative of heavy intensities showed significant negative correlation with VT2SRM (r = -0.43; p < 0.05). In UT group the first derivative of moderate intensities showed significant negative correlations with VT2SRM (r = -0.65; p < 0.05) and Speed(PEAK) (r = -0.61; p < 0.05), while the first derivative of heavy intensities showed significant negative correlation with VT2SRM (r= -0.73; p < 0.01), Speed(PEAK) (r = -0.73; p < 0.01) and VO2PEAK (r = -0.61; p < 0.05) in TR group. The ventilation behavior during incremental treadmill test tends to show only one threshold. UT subjects showed a slower ventilation increase during moderate intensities while TR subjects showed a slower ventilation increase during heavy intensities.

Anomalous thermodynamic properties in ferropericlase throughout its spin crossover transition

The thermodynamics properties of ferropericlase (Mg(1-x)Fe(x)O where x=0.1875) (Fp) throughout its spin crossover were investigated by first principles. Fp was treated as an ideal solid solution of pure high-spin and low-spin states. The Gibbs free energies of the pure states were addressed using the LDA+U method. A vibrational virtual-crystal model was developed to address the vibrational properties of the pure spin cases and used in conjunction with quasiharmonic theory to compute their vibrational free energies. The thermodynamics properties of Fp display significant anomalies that should be typical of spin crossover systems in general. In Fp, in particular, they are fundamental for understanding the state of earth's interior, where the pressure and temperature conditions of the crossover are realized.

Homeotropic surface anchoring and the layer-thinning transition in free-standing films

In this work, we investigate the interplay between surface anchoring and finite-size effects on the smectic-isotropic transition in free-standing smectic films. Using an extended McMillan model, we study how a homeotropic anchoring stabilizes the smectic order above the bulk transition temperature. In particular, we determine how the transition temperature depends on the surface ordering and film thickness. We identify a characteristic anchoring for which the transition temperature does not depend on the film thickness. For strong surface ordering, we found that the thickness dependence of the transition temperature can be well represented by a power-law relation. The power-law exponent exhibits a weak dependence on the range of film thicknesses, as well as on the molecular alkyl tail length. Our results reproduce the main experimental findings concerning the layer-thinning transitions in free-standing smectic films.