Revisiting Underapproximate Reachability for Multipushdown Systems

Autor: Akshay, S., Gastin, Paul, Krishna, S, Roychowdhury, Sparsa

Boolean programs with multiple recursive threads can be captured as pushdown automata with multiple stacks. This model is Turing complete, and hence, one is often interested in analyzing a restricted class that still captures useful behaviors. In thi

Externí odkaz: http://arxiv.org/abs/2002.05950

Criteria Associated with Treatment Decisions in Juvenile Idiopathic Arthritis with a Focus on Ultrasonography: Results from the JIRECHO Cohort

Autor: Sara Baydoun, Sandrine Jousse-Joulin, Alain Saraux, Perrine Dusser-Benesty, Charlotte Borocco, Caroline Galeotti, Annette Von Scheven, Michael Hofer, Brigitte Bader-Meunier, Florence Aeschlimann, Sylvain Breton, Laetitia Sparsa, Aurélia Carbasse, Gaël Mouterde, Linda Rossi-Semerano, Valérie Devauchelle-Pensec

Publikováno v: Rheumatology and Therapy, Vol 10, Iss 1, Pp 225-238 (2022)

Abstract Background The treatment of children with juvenile idiopathic arthritis (JIA) to prevent disability is a major challenge in paediatric rheumatology. The presence of synovitis, which is difficult to detect in children, is associated with stru

Externí odkaz: https://doaj.org/article/fb525b6792d54c86bedd98a321d02f11

Diagnosis of single faults in quantum circuits

Autor: Bera, Debajyoti, Maitra, Subhamoy, Roychowdhury, Sparsa, Chakraborty, Susanta

Detecting and isolating faults is crucial for synthesis of quantum circuits. Under the single fault assumption that is now routinely accepted in circuit fault analysis, we show that the behaviour of faulty quantum circuits can be fully characterized

Externí odkaz: http://arxiv.org/abs/1512.05051

COVID-19 outcomes in patients with inflammatory rheumatic and musculoskeletal diseases treated with rituximab: a cohort study

Autor: Aeschlimann, Florence, Agard, Christian, Ait-Abdallah, Nassim, Albert, Jean-David, Alcais, Didier, Allain, Jean-Sébastien, Allanore, Yannick, Amador-Borreiro, Blanca, Amoura, Zahir, Andre, Emma, Arbault, Anaïs, Arlet, Jean-Benoît, Arnaud, Laurent, Arniaud, Denis, Arty-Hue, Herliette, Atlan, Lucie, Audemard-Verger, Alexandra, Audoin-Pajot, Christine, Audren, Victor, Bach-Bunner, Maxime, Bacquet-Deschryver, Hélène, Bader-Meunier, Brigitte, Balandraud, Nathalie, Balblanc, Jean-Charles, Bally, Stéphane, Banal, Frédéric, Barbery, Pierre, Barnetche, Thomas, Barrelet, Audre, Basch, André, Baumier, Vincent, Bayer, Guillaume, Bayle, Sophie, Beauvais, Catherine, Beinat, Rudie, Belin, Véronique, Belkhir, Rakiba, Benainous, Ruben, Belot, Alexandre, Benammar, Mohammed, Benhamou, Mathilde, Benhamou, Ygal, Benmansour, Ahmed, Bennet, Pascal, Bernoux-Manat, Brigitte, Berthet, Elise, Berthoux, Emilie, Bertolini, Ewa, Bigot, Adrien, Bisson-Vaivre, Aurélia, Blaison, Gilles, Bolla, Gilles, Bonidan, Olivier, Bonnet, Christine, Borie, Raphaël, Bossert, Marie, Boudou, Laurence, Bouhour, Françoise, Bouiller, Kévin, Bouldoires, Bastien, Boussoualim, Karima, Bouvard, Eric, Brondino, Regine, Buchlin, Pierre, Cabantous, Laurence, Cacoub, Patrice, Cadiou, Simon, Carteni, Maurizio, Carbasse, Aurélia, Castel, Brice, Cathebras, Pascal, Caumont, Hervé, Celant, Annalisa, Chaigne, Benjamin, Chaillous, Benoît, Champy, Romuald, Charcot, Agnès, Charles, Pierre, Charlot-Lambrecht, Isabelle, Charpin, Caroline, Chatelus, Emmanuel, Chaudier, Bernard, Chertok, Pascale, Chevalier, Xavier, Chevreau, Maxime, Chotard, Emilie, Chu Miow Lin, Delphine, Clavel, Gaëlle, Clavel-Osorio, Cyril, Cohen, Fleur, Cohen, Gregory, Colette-Cedoz, Marie-Eve, Collercandy, Nived, Colombey, Antoine, Comarmond, Chloé, Combe, Bernard, Comparon, Céline, Constant, Elodie, Coquerelle, Pascal, Corli, Justine, Corre, Clémence, Costedoat-Chalumeau, Nathalie, Couret, Marie, Courvoisier, Natacha, Coury-Lucas, Fabienne, Coutarel, Cécile, Coutier, Fabrice, Damade, Richard, Daver-Malaterre, Laurence, Dehimat, Sarahe, Delahousse, Michel, Barrois-Delattre, Emilie, Denarie, Delphine, Deprouw, Camille, Dernis, Emanuelle, Deroux, Alban, Desbarbieux, Renaud, Descamps, Elise, Deslandre, Chantal, Desmurs, Marie, Despaux, Jacques, Desplats, Marie, Detree, Frédérick, Devauchelle-Pensec, Valérie, Dhote, Robin, Dieude, Philippe, Dieudonne, Yannick, Diot, Elisabeth, Direz, Guillaume, Djeddi, Djamal-Dine, Douvier, Sarah, Drouet, Béatrice, Drumez, Elodie, Duc, Catherine, Ducornet, Angélique, Dufauret-Lombard, Carine, Duhamel, Alain, Dumaine, Cécile, Dumel, Anne-Elisabeth, Dumoulin-Richez, Chantal, Duquesne, Agnès, Durand, Géraldine, Durandin-Truffinet, Mariane, Duret, Pierre-Marie, Duval, Maïka, Ebbo, Mikaël, Ebstein, Esther, Economu-Dubosc, Andra, Emilie, Stéphanie, Euvrard, Romain, Evon, Philippe, Fabre, Sylvie, Fagedet, Dorothée, Farhat, Meryem, Fauconier, Marion, Fechtenbaum, Jacques, Felten, Renaud, Fernandes, Fanny, Ferreira-Maldent, Nicole, Feurer, Elodie, Fichet, Amandine, Flaisler, Françoise, Florens, Nans, Foltz, Violaine, Fontanges, Elisabeth, Foret, Jennifer, Fougerousse, Anne-Claire, Fouque-Aubert, Anne, Foutrier-Morello, Catherine, Francois-Pradier, Hélène, Frantzen, Léa, Fritz, Pierre, Froissart, Antoine, Fulpin, Jean, Fuzibet, Piera, Gaches, Francis, Gagneux-Lemoussu, Laurence, Penhoat-Gahier, Mélanie, Galland, Joris, Gandjbakhch, Frédérique, Garnier, Nicole, Garraud, Thomas, Garrot, Jean-François, Gastaldi, Romain, Gaud-Listrat, Véronique, Gauthier-Prieur, Maud, Georgescu, Dana, Gerard, Nathalie, Gervais, Elisabeth, Gibert, Christelle, Gibert, Eric, Gill, Ghislaine, Gillard, Jérôme, Gilson, Mélanie, Gimonnet, Pauline, Giraudet-Le Quintrec, Jeanine-Sophie, Giraud-Morelet, Aude, Glace, Baptiste, Glanowski, Camille, Godeau, Bertrand, Gombert, Bruno, Gonnet-Gracia, Camille, Goulenok, Tiphaine, Goupille, Philippe, Gourmelen, Olivier, Govindaraju-Audouard, Sophie, Grados, Franck, Grall-Lerosey, Martine, Grardel, Bruno, Grasland, Anne, Grateau, Gilles, Groza, Monica, Guillaud, Constance, Guillaume, Séverine, Guillibert, Caroline, Guillot, Xavier, Guilpain, Philippe, Gury, Aline, Guyot, Marie-Hélène, Hacquard-Bouder, Cécile, Havard, Marie-Noelle, Hellier, Jean-Pierre, Hennequin, Pascal, Henriot, Basile, Henry, Julien, Hentgen, Véronique, Hermet, Marion, Herasse, Muriel, Hernandez, Julie, Hie, Miguel, Hilliquin, Pascal, Hinschberger, Olivier, Hittinger-Roux, Ambre, Holubar, Jan, Hudry, Christophe, Huguenel, Serge, Jaccard, Clara, Jacquemier, Jean-Michel, Jamard, Bénédicte, Jan, Catherine, Jean, Sylvie, Jouvray, Mathieu, Juge, Pierre-Antoine, Juillard, Laurent, Jullien, Denis, Kabala, Anna, Kabchou, Abdelkrim, Karkowski, Ludovic, Karman, Françoise, Kemiche, Farid, Keraen, Jérémy, Kieffer, Pierre, Kone-Paut, Isabelle, Koreichi, Abdeldajallil, Kostine, Marie, La Batide Alanore, Sylvain, Lafforgue, Pierre, Lahalle, Sophie, Lambert, Marc, Lambrecht, Isabelle, Lanot, Sylvain, Lanteri, Aurélia, Larbre, Jean-Paul, Latourte, Augustin, Lavigne, Christian, Le Guen Guegan, Sophie, Le Guenno, Guillaume, Leguy, Diane, Lebrun, Agnès, Ledoult, Emmanuel, Legoupil, Nathalie, Legrand, Erick, Lejeune, Charlotte, Leloire, Olivier, Leroux, Christophe, Leroy, Rémi, Leroy-Gouix, Marie, Leturcq, Tifenn, Leurs, Amélie, Leveque-Michaud, Céline, Limbach, François-Xavier, Liote, Frédéric, Lohse, Anne, Lozac'h, Pierre, Lucas, Virginie, Madelon, Aurélie, Magy-Bertrand, Nadine, Mahevas, Matthieu, Maillard, Hélène, Maillet, Thibault, Malochet-Guinamand, Sandrine, Mangon, Quentin, Marchou-Lopez, Sylvie, Margarit, Nathalie, Marhadour, Thierry, Mariette, Xavier, Martin, Claire, Mathian, Alexis, Maurier, François, Maury, Frédéric, Mazet-Guillaume, Betty, Mazouyez, Arnaud, Mazyad, Hassan, Mehsen-Cetre, Nadia, Meinzer, Ulrich, Melki, Isabelle, Messer, Laurent, Miceli, Corinne, Michaud, Martin, Michel, Catherine, Michel, Matthias, Michon, Mathilde, Milesi-Lecat, Anne-Marie, Molto, Anna, Moly, Marie, Moranne, Olivier, Morel, Gautier, Morel, Hugo, Morel, Jacques, Morin, Franck, Moulinier, Laurence, Moulis, Guillaume, Moura, Bertrand, Nguyen, Minh, Nicolas-Vullierme, Sabine, Nielly, Hubert, Nocturne, Gaétane, Nottez, Aurore, Ollagnon, Henri-Olivier, Pacaud-Vitoux, Isabelle, Pagnier, Anne, Paris, Caroline, Parrot, Antoine, Pascart, Tristan, Pascaud-Mansour, Yasmina, Paulin, Lætitia, Pavy, Stephan, Perard, Laurent, Pers, Yves-Marie, Pha, Micheline, Pichon, Maud, Pierreisnard, Audrey, Pizana, Gabrielle, Poignant, Sylvaine, Poix, Elsa, Portier, Agnès, Poulet, Antoine, Plassard, Samira, Pugnet, Grégory, Puyraimond-Zemmour, Déborah, Quartier-Dit-Maire, Pierre, Quenet, Marion, Queyrel, Viviane, Raffray, Loïc, Remy, Philippe, Renard, Myriam, Rene, Jessica, Revuz, Sabine, Rey, Bénédicte, Richard-Colmant, Gaëlle, Riviere, Etienne, Riviere, Sébastien, Robin, Sophie, Rohmer, Julien, Roitg, Isabelle, Romier, Mélanie, Rolland, Michel, Roriz, Mélanie, Rosenberg, Carole, Rossi, Linda, Roth, Olivier, Rouidi, Sid-Ahmed, Roumier, Mathilde, Rousiere, Mickaël, Rousselin, Clémentine, Rouviere, Bénédicte, Roux, Christian, Roux, Fabienne, Roux, Marielle, Roux, Nicolas, Rouzaud, Diane, Rozenberg, Sylvie, Sacco, Isabelle, Sadji, Fatiha, Sailler, Laurent, Salliot, Carine, Salmon, Jean-Hugues, Saraux, Alain, Schmidt, Jean, Seguier, Julie, Sellam, Jérémie, Senbel, Eric, Sene, Thomas, Senet, Patricia, Seve, Pascal, Sicaud, Aurélie, Smets, Perrine, Sobanski, Vincent, Sordet, Christelle, Sornay-Rendu, Elisabeth, Souchaud-Debouverie, Odile, Sparsa, Lætitia, Spielmann, Lionel, Steib, Sarah, Stavris, Chloé, Straus, Catherine, Strotz, Victor, Szafors, Paulina, Taffignon-Clave, Séverine, Simoens, Justine, Theillac, Claire, Tenenbaum, Nora, Thomachot, Benoît, Tieulie, Nathalie, Tiriau, Soizic, Tison, Alice, Toussirot, Eric, Trefond, Ludovic, Trijau, Sophie, Trouillier, Sébastien, Trouvin, Anne-Priscille, Truchetet, Marie-Elise, Ulrich, Marc, Vaquier, Jacques, Veillard, Eric, Veillon, Laurent, Vial, Guillaume, Viallard, Jean-François, Victor, Judith, Vidon, Claire, Vidon, Mathias, Vigne, Camille, Virone, Alexandre, Warzocha, Ursula, Wendling, Daniel, Werle, Claude, Wibaux, Cécile, Willems, Alexandra, Wisniewski, Michel, Woessner, Juliette, Xerri-Campano, Bernadette, Avouac, Jérôme ^*, Hachulla, Eric, Seror, Raphaèle, Georgin-Lavialle, Sophie, El Mahou, Soumaya, Pertuiset, Edouard, Pham, Thao, Marotte, Hubert, Servettaz, Amélie, Domont, Fanny, Chazerain, Pascal, Devaux, Mathilde, Claudepierre, Pascal, Langlois, Vincent, Mekinian, Arsène, Maria, Alexandre Thibault Jacques, Banneville, Béatrice, Fautrel, Bruno, Pouchot, Jacques, Thomas, Thierry, Flipo, René-Marc, Richez, Christophe

Publikováno v: In The Lancet Rheumatology June 2021 3(6):e419-e426

Perbandingan Karakteristik Campuran Cold Paving Hot Mix Asbuton (CPHMA) yang Dipadatkan Secara Dingin dan Panas

Autor: I Nyoman Arya Thanaya, I Wayan Suweda, A. A. Adi Sparsa

Publikováno v: Jurnal Teknik Sipil, Vol 24, Iss 3, Pp 247-256 (2017)

Cold Paving Hot Mix Asbuton (CPHMA) adalah campuran yang terdiri dari agregat, asbuton butir, bahan peremaja dan bahan tambah lain yang dicampur panas dipadatkan dingin (pada temperatur ruang 30°C). Karakteristik campuran dipengaruhi temperatur pema

Externí odkaz: https://doaj.org/article/dfa76807374c4b79bbf0ffbe331b1791