Search results for "Computer Science Application"

Verification of scope-dependent hierarchical state machines

2008

AbstractA hierarchical state machine (Hsm) is a finite state machine where a vertex can either expand to another hierarchical state machine (box) or be a basic vertex (node). Each node is labeled with atomic propositions. We study an extension of such model which allows atomic propositions to label also boxes (Shsm). We show that Shsms can be exponentially more succinct than Shsms and verification is in general harder by an exponential factor. We carefully establish the computational complexity of reachability, cycle detection, and model checking against general Ltl and Ctl specifications. We also discuss some natural and interesting restrictions of the considered problems for which we can …

Formal Modeling and Discrete-Time Analysis of BPEL Web Services

2008

International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…

Documentación 3D de abrigos rupestres a partir de láser escáner y de procesos fotogramétricos automatizados

2013

[EN] Metric and graphic documentation of archaeological cultural heritage requires effective solutions for archiving, visualization, analysis, management, and monitoring of different monuments and sites. This paper presents the geomatic workflow undertaken on a singular rock art site, Coves de la Saltadora. The cave is part of the Rock Art of the Mediterranean Basin on the Iberian Peninsula declared World Heritage Site by UNESCO in1998. The different steps are reviewed, starting from the data acquisition until the final delivery of part of the metric outputs such as 3D models, photorealistic models, orthophoto mosaics in two levels, general and detail.

Modeling and Simulation of Mobile Radio Channels

2012

Computational analysis of lung deformation after murine pneumonectomy. [corrected].

2012

In many mammalian species, the removal of one lung (pneumonectomy) is associated with the compensatory growth of the remaining lung. To investigate the hypothesis that parenchymal deformation may trigger lung regeneration, we used microCT scanning to create 3-dimensional finite element geometric models of the murine lung pre- and post-pneumonectomy (24 hours). The structural correspondence between models was established using anatomic landmarks and an iterative computational algorithm. When compared with the pre-pneumonectomy lung, the post-pneumonectomy models demonstrated significant translation and rotation of the cardiac lobe into the post-pneumonectomy pleural space. 2-dimensional maps…

Isolation and Characterization of Two Klebsiella pneumoniae Phages Encoding Divergent Depolymerases

2020

The emergence of multidrug-resistant bacteria is a major global health concern. The search for new therapies has brought bacteriophages into the spotlight, and new phages are being described as possible therapeutic agents. Among the bacteria that are most extensively resistant to current antibiotics is Klebsiella pneumoniae, whose hypervariable extracellular capsule makes treatment particularly difficult. Here, we describe two new K. pneumoniae phages, &pi

Metallothionein Gene Family in the Sea Urchin Paracentrotus lividus: Gene Structure, Differential Expression and Phylogenetic Analysis

2017

Metallothioneins (MT) are small and cysteine-rich proteins that bind metal ions such as zinc, copper, cadmium, and nickel. In order to shed some light on MT gene structure and evolution, we cloned seven Paracentrotus lividus MT genes, comparing them to Echinodermata and Chordata genes. Moreover, we performed a phylogenetic analysis of 32 MTs from different classes of echinoderms and 13 MTs from the most ancient chordates, highlighting the relationships between them. Since MTs have multiple roles in the cells, we performed RT-qPCR and in situ hybridization experiments to understand better MT functions in sea urchin embryos. Results showed that the expression of MTs is regulated throughout de…

Molecular Docking approach on the Topoisomerase I inhibitors series included in the NCI anti-cancer agents mechanism database

2006

Topoisomerase I (Top1) is an essential enzyme participating to all those processes associated with separation of DNA strands. It manages superhelical tensions through the transient breakage of one strand of duplex DNA, followed by the unwinding of supercoiled DNA. Camptothecins, a class of alkaloids extracted from the wood of a Chinese tree, were found to be potent inhibitors of Topoisomerase I. The National Cancer Institute (NCI) Anti-cancer Agents Mechanism Database contains several camptothecins derivatives, classified as selective Top1 inhibitors. In this work we performed molecular docking studies on 24 camptothecin-like inhibitors present in this database (using Autodock 3.0.5). In or…

DFT studies on the structural and vibrational properties of polyenes

2015

Detailed density functional theory (DFT) calculations on the structure and harmonic frequencies of model all-trans and all-cis polyenes were undertaken. For the first time, we report on the convergence of selected B3LYP/6-311++G** and BLYP/6-311++G** calculated structural parameters resulting from a systematic increase in polyene size (chains containing 2 to 14 C = C units). The limiting values of the structural parameters for very long chains were estimated using simple three-parameter empirical formulae. BLYP/6-311++G** calculated ν(C = C) and ν(C–C) frequencies for all-trans and all-cis polyenes containing up to 14 carbon–carbon double bonds were used to estimate these values for very lo…

Molecular dynamics studies on HIV-1 protease: a comparison of the flap motions between wild type protease and the M46I/G51D double mutant

2007

The emergence of drug-resistant mutants of HIV-1 is a tragic effect associated with conventional long-treatment therapies against acquired immunodeficiency syndrome. These mutations frequently involve the aspartic protease encoded by the virus; knowledge of the molecular mechanisms underlying the conformational changes of HIV-1 protease mutants may be useful in developing more effective and longer lasting treatment regimes. The flap regions of the protease are the target of a particular type of mutations occurring far from the active site. These mutations modify the affinity for both substrate and ligands, thus conferring resistance. In this work, molecular dynamics simulations were perform…