Search

Your search keyword '"Nantes"' showing total 122,966 results
Start Over Author "Nantes"

Refine your results

more »

more »

more »

more »

more »

more »

more »

more »
122,966 results on '"Nantes"'

1. Strong Nominal Semantics for Fixed-Point Constraints

Author

Caires-Santos, Ali K., Fernández, Maribel, and Nantes-Sobrinho, Daniele

Subjects
Computer Science - Logic in Computer Science
Abstract

Nominal algebra includes $\alpha$-equality and freshness constraints on nominal terms endowed with a nominal set semantics that facilitates reasoning about languages with binders. Nominal unification is decidable and unitary, however, its extension with equational axioms such as Commutativity (which is finitary) is no longer finitary unless permutation fixed-point constraints are used. In this paper, we extend the notion of nominal algebra by introducing fixed-point constraints and provide a sound semantics using strong nominal sets. We show, by providing a counter-example, that the class of nominal sets is not a sound denotation for this extended nominal algebra. To recover soundness we propose two different formulations of nominal algebra, one obtained by restricting to a class of fixed-point contexts that are in direct correspondence with freshness contexts and another obtained by using a different set of derivation rules.

Published
2024

2. Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)

Author

Lööw, Andreas, Nantes-Sobrinho, Daniele, Ayoun, Sacha-Élie, Cronjäger, Caroline, Maksimović, Petar, and Gardner, Philippa

Subjects
Computer Science - Programming Languages, Computer Science - Logic in Computer Science
Abstract

The introduction of separation logic has led to the development of symbolic execution techniques and tools that are (functionally) compositional with function specifications that can be used in broader calling contexts. Many of the compositional symbolic execution tools developed in academia and industry have been grounded on a formal foundation, but either the function specifications are not validated with respect to the underlying separation logic of the theory, or there is a large gulf between the theory and the implementation of the tool. We introduce a formal compositional symbolic execution engine which creates and uses function specifications from an underlying separation logic and provides a sound theoretical foundation for, and indeed was partially inspired by, the Gillian symbolic execution platform. This is achieved by providing an axiomatic interface which describes the properties of the consume and produce operations used in the engine to update compositionally the symbolic state, for example when calling function specifications. This consume-produce technique is used by VeriFast, Viper, and Gillian, but has not been previously characterised independently of the tool. As part of our result, we give consume and produce operations inspired by the Gillian implementation that satisfy the properties described by our axiomatic interface. A surprising property is that our engine semantics provides a common foundation for both correctness and incorrectness reasoning, with the difference in the underlying engine only amounting to the choice to use satisfiability or validity. We use this property to extend the Gillian platform, which previously only supported correctness reasoning, with incorrectness reasoning and automatic true bug-finding using incorrectness bi-abduction.

Published
2024
Full Text
View/download PDF

3. Bevacizumab-based Chemotherapy Adapted to Bevacizumab Pharmacokinetics in 1st-line Treatment (PHARBEVACOL)

Author

CHU DE BESANCON, Gustave Roussy, Cancer Campus, Grand Paris, CHU de Clermont-Ferrand, CHU de Reims, CHU de Brest, AP-HP, Hôpital Pitié- Salpétrière, CHU de Rouen, Poitiers University Hospital, Institut Paoli-Calmettes, Rennes University Hospital, University Hospital, Toulouse, AP-HP, Hôpital Saint-Louis, HCL Hôpital Edouard Hériot, Centre Hospitalier Universitaire Dijon, Nantes University Hospital, Centre Hospitalier Universitaire, Amiens, Hôpital Privé Jean Mermoz, AP-HP, Hôpital Henri Mondor, AP-HP, Hôpital Paul Brousse, CHG de St-Malo, Polyclinique de Blois, University Hospital, Caen, and CHU de Nancy

Published
2024

4. Determining the Most Efficient Screening Cut Off Levels for Phenylketonuria (PKU)

Author

University Hospital, Lille, Hospices Civils de Lyon, University Hospital, Strasbourg, France, CHU de Reims, Centre Hospitalier Universitaire, Amiens, Centre Hospitalier Universitaire Dijon, Nantes University Hospital, University Hospital, Tours, Clinical Research Center of Reunion island, University Hospital, Caen, Rennes University Hospital, University Hospital, Bordeaux, University Hospital, Toulouse, University Hospital, Montpellier, and HESS Valentin, MD, Principal Investigator

Published
2024

7. Non-interventional Study of Seroprevalence of Pre-existing Antibodies Against Adenovirus-associated Virus Vector (AAV9) and the Progression of Disease in Patients with Plakophilin 2 (PKP2)-associated Arrhythmogenic Right Ventricular Cardiomyopathy (ARVC) (RIDGE)

Author

University of California, San Francisco, Brigham and Women's Hospital, New York University, University of Colorado, Denver, Johns Hopkins University, The Cleveland Clinic, Mayo Clinic, Medical University of South Carolina, Hopital Louis Pradel, Istituti Clinici Scientifici Maugeri SpA, The Queen Elizabeth Hospital, St George's University Hospitals NHS Foundation Trust, Royal Brompton & Harefield NHS Foundation Trust, Barts & The London NHS Trust, Skane University Hospital, Centro Cardiologico Monzino, Hôpital Haut-Lévêque, Nantes University Hospital, Pitié-Salpêtrière Hospital, Wuerzburg University Hospital, and University Hospital Muenster

Published
2024

9. Atrial Fibrillation in Active Cancer Patients (AFIB-CANCER)

Author

University Hospital, Marseille, France, Hospices Civils de Lyon, France, Centre Francois Baclesse, Caen, France, University Hospital of Saint-Etienne, France, Hôpital Lariboisière Fernand Widal, Paris, France, Institut de Cancérologie de l'Ouest Nantes, France, Fundacion Cardio Onco, Santiago, Chile, Hunter New England Area Health Service, University of Newcastle, Australia, and University Hospital Rouen, France

Published
2024

12. Development of Ovarian Tissue Autograft in Order to Restore Ovarian Function (DATOR)

Author

CHU de Reims, University Hospital, Marseille, Nantes University Hospital, University Hospital, Lille, Central Hospital, Nancy, France, University Hospital, Toulouse, University Hospital, Grenoble, University Hospital, Bordeaux, CMCO SIHCUS, Schiltingheim, University Hospital, Rouen, University Hospital, Limoges, University Hospital, Angers, Centre Hospitalier Universitaire de Nice, Tenon Hospital, Paris, Poissy-Saint Germain Hospital, Hôpital Jean Verdier, University Hospital, Clermont-Ferrand, and Hopital Antoine Beclere

Published
2024

15. k-Parameter Approach for False In-Season Anomaly Suppression in Daily Time Series Anomaly Detection

Author

Zha, Vincent Yuansang, Kommaraju, Vaishnavi, Obi-Njoku, Okenna, Dakshinamoorthy, Vijay, Agnihotri, Anirudh, and Kirsten, Nantes

Subjects
Computer Science - Machine Learning
Abstract

Detecting anomalies in a daily time series with a weekly pattern is a common task with a wide range of applications. A typical way of performing the task is by using decomposition method. However, the method often generates false positive results where a data point falls within its weekly range but is just off from its weekday position. We refer to this type of anomalies as "in-season anomalies", and propose a k-parameter approach to address the issue. The approach provides configurable extra tolerance for in-season anomalies to suppress misleading alerts while preserving real positives. It yields favorable result., Comment: 5 pages, 7 figures

Published
2023

17. Impact of Bacterial Expression and Immune Response in the Severity of Pertussis (PERT-SEVEREII)

Author

Hôpital Necker-Enfants Malades, Hospices Civils de Lyon, Hopital Universitaire Robert-Debre, Centre Hospitalier Intercommunal Creteil, Nantes University Hospital, Réseau ACTIV, Hôpital Armand Trousseau, CHR - Hôpital Roger Salengo, Hôpital Nord - APHM, Hôpital Louis Mourier, University Hospital, Toulouse, University Hospital, Bordeaux, Hôpital de la Timone, and University Hospital, Rouen

Published
2024

22. Inter-observer variability influences the Lugano classification when restaging lymphoma

Author

Jacobus Möller, Tiaan Steyn, Nantes Combrinck, Gina Joubert, Alicia Sherriff, and Jacques Janse van Rensburg

Subjects
lymphoma, lugano classification, computed tomography, interobserver variability, Medical physics. Medical radiology. Nuclear medicine, R895-920
Abstract

Background: Lymphoma is an important and potentially curable oncological disease in South Africa. The staging and restaging of lymphoma have evolved over the years, with the latest international consensus guideline being the Lugano classification (LC). Prior to routine implementation of the LC, its robustness in the local setting should be determined. Objectives: To determine the Inter-observer variability in response assignment when applying the LC in patients with lymphoma who were staged and restaged with computed tomography. In case of excessive discordance, specific mitigating measures will have to be taken before and during any proposed implementation of the LC. Method: A total of 61 computed tomography scans in 21 patients were evaluated independently by four reviewers according to the LC, of which 21 scans were done at baseline, 21 at initial restaging and 19 at follow-up restaging. A retrospective comparative analysis was performed. Kappa values were calculated to determine agreement between observers. Results: Only a moderate inter-observer agreement of 52% in the overall response classification was demonstrated. The most important sources of discrepancy were inconsistency in the assessment of target lesion regression to normal, determining the percentage change in the summed cross-sectional area of the target lesions and ascribing new lesions as either due to lymphoma or other causes. Conclusion: Implementing the Lugano classification when restaging lymphoma is desirable to improve consistency and to conform to international guidelines. However, our study shows substantial inter-observer variability in response classification, potentially altering the treatment plan. Dedicated training and continuous quality control should, therefore, accompany the process.

Published
2018
Full Text
View/download PDF

23. Termination in Concurrency, Revisited

Author

Paulus, Joseph W. N., Pérez, Jorge A., and Nantes-Sobrinho, Daniele

Subjects
Computer Science - Logic in Computer Science
Abstract

Termination is a central property in sequential programming models: a term is terminating if all its reduction sequences are finite. Termination is also important in concurrency in general, and for message-passing programs in particular. A variety of type systems that enforce termination by typing have been developed. In this paper, we rigorously compare several type systems for $\pi$-calculus processes from the unifying perspective of termination. Adopting session types as reference framework, we consider two different type systems: one follows Deng and Sangiorgi's weight-based approach; the other is Caires and Pfenning's Curry-Howard correspondence between linear logic and session types. Our technical results precisely connect these very different type systems, and shed light on the classes of client/server interactions they admit as correct.

Published
2023

24. História e teoría da publicidade: origem e autonomía

Author

Martino, Luiz Claudio and Nantes Pavarino, Rosana

Subjects
Publicidade, Epistemologia, Social Sciences, Social sciences (General), H1-99
Abstract

Mesmo admitindo certa autonomia, a publicidade emerge e está imbricada com outros fenômenos comunicacionais, como o jornalismo, o cinema ou com práticas sócio-econômicas mais amplas, que constituemumaindústriacultural.Emboraocontraste com estes outros fenômenos permita estabelecer uma identidade – e, em grande parte, nisto tem –, sua origem e conceituação ainda levantam questões polêmicas. A literatura especializada tem se desenvolvido como uma delicada paleta de diferentes matizes e nuances entre duas tendências que polarizam as posições sobre a história da publicidade. A primeira tende a recuar no tempo – seja até a Antiguidade, seja até a pré-história – entendendo a publicidade como algo próximo a uma prática de persuasão. A segunda tendência, por sua vez, procura situar emergência da publicidade em uma época mais recente, contextualizando o fenômeno nos marcos do desenvolvimento do comércio e das práticas ligadas ao consumismo. O objetivo deste trabalho é traçar um breve panorama histórico da origem da publicidade, de modo a estabelecer uma análise crítica dos conceitos de publicidade subjacentes às diferentes posições sobre sua história.

Published
2015

25. Personalized Spacing of Eculizumab Infusions Based on Therapeutic Pharmacological Monitoring (EspacECU) (EspacECU)

Author

Centre Hospitalier Universitaire, Amiens, University Hospital, Angers, Centre Hospitalier Universitaire de Besancon, University Hospital, Caen, Centre Hospitalier of Chartres, Nantes University Hospital, University of Nancy, Poitiers University Hospital, Rennes University Hospital, University Hospital, Rouen, University Hospital, Strasbourg, France, Centre Hospitalier Universitaire de Nice, Hôpital Necker-Enfants Malades, Tenon Hospital, Paris, University Hospital, Lille, Reims University Hospital, University Hospital, Clermont-Ferrand, Assistance Publique Hopitaux De Marseille, and Hospices Civils de Lyon

Published
2024

26. Effect of Long-term Carvedilol to Prevent Decompensation or Death in Patients With Asymptomatic Child-Pugh A5 to B8 Cirrhosis and Clinically Significant Portal Hypertension: a Multicenter Double-blind Randomized Control Trial (CARVECIR)

Author

Centre Hospitalier Universitaire Amiens Picardie, Centre Hospitalier Universitaire Angers, Assistance Publique Hopitaux Paris BEAUJON, Centre Hospitalier Universitaire Caen, Centre Hospitalier intercommunal de Créteil, Hospices Civils de Lyon, Centre Hospitalier Universitaire Grenoble, Centre Hospitalier Universitaire Haut Lévêque, Centre Hospitalier Régional Universitaire Lille, Centre Hospitalier Universitaire Jean Minjoz, Assistance Publique Hopitaux Paris AVICENNE, Centre Hospitalier Universitaire Clermont Ferrand, Assistance Publique Hopitaux Paris LA PITIE SALPETRIERE, Centre Hospitalier Universitaire Pontchaillou, Assistance Publique Hopitaux Paris ST ANTOINE, Assistance Publique Hopitaux Paris PAUL BROUSSE, University Hospital, Montpellier, Assistance Publique Hopitaux Paris HENRI MONDOR, Centre Hospitaliser Départemental de Vendée, Nantes University Hospital, Centre Hospitalier Universitaire Dijon, CHU de Reims, Hôpitaux Universitaires de Strasbourg, and University Hospital, Toulouse

Published
2024

27. Glial Fibrillary Acidic Protein (GFAP) and Ubiquitin Carboxy-terminal Hydrolase L1 (UCH-L1) to Exclude Lesions Linked to Significant Traumatic Brain Injuries (GUEST)

Author

BioMérieux, Assistance Publique - Hôpitaux de Paris, University Hospital, Clermont-Ferrand, Hospices Civils de Lyon, Poitiers University Hospital, University Hospital, Angers, Centre Hospitalier Universitaire de Nīmes, Centre Hospitalier Universitaire de Nice, Nantes University Hospital, University Hospital, Montpellier, Centre Hospitalier Universitaire Dijon, University Hospital, Grenoble, Fondation Hôpital Saint-Joseph, and CHU de Tours

Published
2024

30. Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications

Author

Nantes-Sobrinho, Daniele and Fontaine, Pascal

Subjects
Computer Science - Logic in Computer Science
Abstract

This volume contains the post-proceedings of the Seventeenth Logical and Semantic Frameworks with Applications (LSFA 2022), organised by the Universidade Federal de Minas Gerais, Brasil. Because of the COVID-19 pandemic, the meeting was held hybridly, on September 23-24, 2022. LSFA aims to bring together researchers and students interested in theoretical and practical aspects of logical and semantic frameworks and their applications. The covered topics include proof theory, type theory and rewriting theory, specification and deduction languages, and formal semantics of languages and systems.

Published
2023
Full Text
View/download PDF

31. Inovações jurídicas e sustentabilidade: O impacto da educação ambiental na gestão de resíduos

Author

Souza, Pedro Henrique Romão de, primary, Barauna, Anna Gabrielle Evangelista, additional, Motta, Dara Macedo, additional, Almeida, Estephany Maria Barella, additional, Silva, João Carlos Garcia da, additional, Domingues, Uriel Moraes Nantes, additional, Tanaka, Andréia Klein, additional, Silva, Michelaine Cássia Benevides da, additional, Moretti, Silvana Aparecida, additional, and Esteves, Rafael Braga, additional

Published
2024
Full Text
View/download PDF

39. Efficacy of Intradiscal Injection of BM-MSC in Subjects With Chronic Low Back Pain (LBP) Due to Lumbar Degenerative Disc Disease (DDD) Unresponsive (RESPINE)

Author

Interdisziplinäres Zentrum Klinische Studien (IZKS), European Clinical Research Infrastructure Network, Département de l'information médicale, CHU de Montpellier, Centre National de la Recherche Scientifique, France, Université Montpellier, Univercell-Biosolutions S.A.S, National University of Ireland, Galway, Ireland, University of Valladolid, Citospin, Rennes University Hospital, APHP, Campus Bio-Medico University, BG Klinikum Bergmannstrost, Halle, Germany, Nantes University Hospital, Institut de Terapia Regenerativa Tissular, and University of Navarra

Published
2023

40. French Cohort Evaluating the effectiveneSs of Atrioventricular Synchrony by the micRa AV (AV-CESAR)

Author

CHU de Tours, European Georges Pompidou Hospital, Hôpital privé Clairval - Marseille, Clinique Pasteur Toulouse, University Hospital, Bordeaux, Infirmerie Protestante Lyon, Institut Jacques Cartier - Massy, University Hospital, Grenoble, Hôpital de la Timone, University Hospital, Toulouse, Hopital Prive Saint Martin - Bordeaux, Hospices Civils de Lyon, CHU de Rouen - Accueil, University Hospital, Caen, Médipôle Lyon-Villeurbanne, Hospital Ambroise Paré Paris, Clinique Saint Augustin - Bordeaux, Rennes University Hospital, Clinique de la Sauvegarde - Lyon, University Hospital of Saint-Etienne, Hôpital Privé de Parly II - Le Chesnay, Institut Mutualiste Montsouris, Centre Hospitalier Universitaire, Amiens, University Hospital, Clermont-Ferrand, Centre Hospitalier Régional et Universitaire de Brest, Poitiers University Hospital, Clinique Saint-Gatien - Tours, CHU de Reims, Centre Hospitalier Universitaire de Besancon, Centre Hospitalier Universitaire Dijon, Hôpital Privé de Lille Métropole, University Hospital, Montpellier, University Hospital, Strasbourg, France, Nantes University Hospital, Centre Cardio-Thoracique de Monaco, Hospital St. Joseph, Marseille, France, Centre Hospitalier Régional Metz-Thionville, Centre Hospitalier Annecy Genevois, Clinique du Millenaire, University Hospital, Limoges, Clinique Saint Pierre - Perpignan, Bichat Hospital, Universite de La Reunion, CHU de Lille, Institute Arnault Tzanck, France, Hôpital Privé Les Franciscaines, CHU de Fort de France - Martinique, Henri Mondor University Hospital, University Hospital, Angers, Centre Hospitalier de Lens, and Central Hospital, Nancy, France

Published
2023

44. POTENCIAL ANTIMICROBIANO DOS ÓLEOS ESSENCIAIS EUGENIA CARYAPHYLLUS, THYMUS VULGARIS E CITRUS AURANTIUM: UMA REVISÃO DE LITERATURA

Author

Silva, Emília Nathalia Rosa de Oliveira, primary, Cardoso, Erik Natal de Souza, additional, Carvalho, Laryssa Inácio, additional, Oliveira, Andressa Fernanda dos Santos Melo, additional, Araújo, João Guilherme Nantes, additional, Nova, Gabriel Gomes Vila, additional, Santana, Tatiana Cristina Fonseca Soares de, additional, Sousa, Joicy Cortez de Sá, additional, Rego, Adriana Sousa, additional, and Torres, Mylena Andréa Oliveira, additional

Published
2024
Full Text
View/download PDF

45. A SAÚDE ANIMAL E O USO DO ANTICONCEPCIONAL

Author

Oliveira, Luísa Lima Nantes de, primary, Rasori, Alessandra Christiane Sena, additional, Galvão, André Luiz Baptista, additional, Lima, Everton Ferreira, additional, and Silva, Vanessa Anny Souza, additional

Published
2024
Full Text
View/download PDF

46. Effect of chiral silver nanoparticles on prolyl-oligopeptidase binding and activity

Author

Carin C. S. Batista, Victor H. Toledo, Marcos P. C. Ramos, Vitor Oliveira, Javier Acuña, Marcelo Y. Icimoto, and Iseli L. Nantes

Subjects
chiral silver nanoparticles, histidine, prolyl-oligopeptidase, binding affinity, circular dichroism, HRTEM, Chemical technology, TP1-1185
Abstract

Introduction: Silver nanoparticles have a diversity of applications both in biological and technological areas. More recently, studies conducted in the Nano/Bio interface have demonstrated that chiral nanocrystals grew in chiral templates, and nanostructures functionalized with chiral molecules present specific properties. These properties apply to advanced materials, energy, medicine, and pharmacology.Methodology: The present study synthesized silver nanoparticles on silver seeds using D- and L-histidine as templates and borohydride as a reducing agent.Results and Discussion: The nanoparticles were characterized by UV-visible spectroscopy and presented surface plasmon resonance (SPR) bands around 415 nm. CD spectra showed signals in the region of the SPR band, indicating the growth of nanocrystals with chiral distortion. Synthesized silver nanoparticles were also characterized by high-resolution transmission electron microscopy (HRTEM), which evidenced the presence of histidine corona. The silver nanoparticles were functionalized with prolyl-oligopeptidase (POP), a prolinespecific endopeptidase expressed in the brain. This enzyme cleaves neuroactive peptides involved in memory, learning, and neurodegeneration. The enzyme POP was expressed with a His-tag to provide competitive binding affinity to silver nanoparticles covered by D- and L-histidine. Considering the biological importance, POP was chosen as a model for studying the functionalization of chiral silver nanoparticles regarding the chiral discrimination for binding affinity and stabilization.

Published
2024
Full Text
View/download PDF

49. Typed Non-determinism in Functional and Concurrent Calculi

Author

Heuvel, Bas van den, Paulus, Joseph W. N., Nantes-Sobrinho, Daniele, and Pérez, Jorge A.

Subjects
Computer Science - Logic in Computer Science
Abstract

We study functional and concurrent calculi with non-determinism, along with type systems to control resources based on linearity. The interplay between non-determinism and linearity is delicate: careless handling of branches can discard resources meant to be used exactly once. Here we go beyond prior work by considering non-determinism in its standard sense: once a branch is selected, the rest are discarded. Our technical contributions are three-fold. First, we introduce a $\pi$-calculus with non-deterministic choice, governed by session types. Second, we introduce a resource $\lambda$-calculus, governed by intersection types, in which non-determinism concerns fetching of resources from bags. Finally, we connect our two typed non-deterministic calculi via a correct translation.

Published
2022

Catalog

Books, media, physical & digital resources
See catalog results