Zobrazeno 1 - 10
of 112
pro vyhledávání: '"Johan, Back"'
Autor:
Dave Welch, Antonio Napoli, Johan Back, Sanketh Buggaveeti, Carlos Castro, Aaron Chase, Xi Chen, Vince Dominic, Thomas Duthel, Tobias A. Eriksson, Sezer Erkilinc, Peter Evans, Chris R. S. Fludger, Ben Foo, Thomas Frost, Paul Gavrilovic, Steven J. Hand, Aditya Kakkar, Ales Kumpera, Vikrant Lal, Robert Maher, Fabio Marques, Fady Masoud, Atul Mathur, Ray Milano, Miguel Iglesias Olmedo, Magnus Olson, Don Pavinski, Joao Pedro, Amir Rashidinejad, Parmijit Samra, Warren Sande, Azmina Somani, Han Sun, Norman Swenson, Huan-Shang Tsai, Amin Yekani, Jiaming Zhang, Mehrdad Ziari
Publikováno v:
Journal of Lightwave Technology. 41:1175-1191
Autor:
Johan Back, Antonio Napoli, Emilio Riccardi, Marco Quagliotti, Mario Porrega, Joao Pedro, Tobias A. Eriksson, Fady Masoud, Atul Mathur, Dave Welch
Publikováno v:
2022 International Conference on Optical Network Design and Modeling (ONDM).
Autor:
Ralph-Johan Back, Johannes Eriksson
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 79, Iss Proc. THedu 2011, Pp 29-48 (2012)
Invariant-Based Programming (IBP) is a diagram-based correct-by-construction programming methodology in which the program is structured around the invariants, which are additionally formulated before the actual code. Socos is a program construction a
Externí odkaz:
https://doaj.org/article/d5597be2eab841c7856d72904c8f0d2c
Autor:
Anja, Strangfeld, Martin, Schäfer, Milena, A Gianfrancesco, Saskia, Lawson-Tovey, Jean, W Liew, Lotta, Ljung, Elsa, F Mateus, Christophe, Richez, Maria, J Santos, Gabriela, Schmajuk, Carlo, A Scirè, Emily, Sirotich, Jeffrey, A Sparks, Paul, Sufka, Thierry, Thomas, Laura, Trupin, Zachary, S Wallace, Sarah, Al-Adely, Javier, Bachiller-Corral, Suleman, Bhana, Patrice, Cacoub, Loreto, Carmona, Ruth, Costello, Wendy, Costello, Laure, Gossec, Rebecca, Grainger, Eric, Hachulla, Rebecca, Hasseli, Jonathan, S Hausmann, Kimme, L Hyrich, Zara, Izadi, Lindsay, Jacobsohn, Patricia, Katz, Lianne, Kearsley-Fleet, Philip, C Robinson, Jinoos, Yazdany, Pedro, M Machado, COVID-19 Global Rheumatology Alliance, COVID-19 Global Rheumatology Alliance Consortium Collaborators: COVID-19 Global Rheumatology Alliance Consortium, Brahim, Dahou, Marcelo, Pinheiro, Francinne, M Ribeiro, Anne-Marie, Chassin-Trubert, Sebastián, Ibáñez, Lingli, Dong, Lui, Cajas, Hesham, Hamoud, Jérôme, Avouac, Véronique, Belin, Raphaël, Borie, Pascal, Chazerain, Xavier, Chevalier, Pascal, Claudepierre, Gaëlle, Clavel, Marie-Eve, Colette-Cedoz, Bernard, Combe, Elodie, Constant, Nathalie, Costedoat-Chalumeau, Marie, Desmurs, Valérie, Devauchelle-Pensec, Mathilde, Devaux, Robin, Dhote, Yannick, Dieudonné, Fanny, Domont, Pierre-Marie, Duret, Mikaël, Ebbo, Esther, Ebstein, Soumaya El Mahou, Bruno, Fautrel, Renaud, Felten, René-Marc, Flipo, Violaine, Foltz, Antoine, Froissart, Joris, Galland, Véronique, Gaud-Listrat, Sophie, Georgin-Lavialle, Aude, Giraud-Morelet, Jeanine, S Giraudet-Le Quitrec, Philippe, Goupille, Sophie, Govindaraju-Audouard, Franck, Grados, Séverine, Guillaume-Czitrom, Marion, Hermet, Ambre, Hittinger-Roux, Christophe, Hudry, Isabelle, Kone-Paut, Sylvain La Batide Alanore, Pierre, Lafforgue, Sophie, Lahalle, Isabelle, Lambrecht, Vincent, Langlois, Jean-Paul, Larbre, Emmanuel, Ledoult, Christophe, Leroux, Frédéric, Liote, Alexandre TJ Maria, Hubert, Marotte, Arsène, Mekinian, Isabelle, Melki, Laurent, Messer, Catherine, Michel, Gauthier, Morel, Jacques, Morel, Marie-Noelle, Paris-Havard, Edouard, Pertuiset, Thao, Pham, Myriam, Renard, Sabine, Revuz, Sébastien, Rivière, Clémentine, Rousselin, Christian, Roux, Diane, Rouzaud, Jérémie, Sellam, Raphaele, Seror, Amelie, Servettaz, Vincent, Sobanski, Christelle, Sordet, Lionnel, Spielmann, Nathalie, Tieulié, Alice, Tison, Sophie, Trijau, Alexandre, Virone, Ursula, Warzocha, Daniel, Wendling, Frederik, N Albach, Peer, Aries, Elvira, Decker, Urs, Hartmann, Joerg, Henes, Bimba, F Hoyer, Andreas, Krause, Klaus, Krüger, Hanns-Martin, Lorenz, Ulf, Müller-Ladner, Alexander, Pfeil, Anne, Regierer, Jutta, G Richter, Markus, Rihl, Tim, Schmeiser, Hendrik, Schulze-Koops, Christof, Specker, Reinhard, E Voll, Stephanie, Werner, Gabriela MG Melgar, Mahdi, Vojdanian, Andreoli, Laura, Elena, Bartoloni-Bocci, Maurizio, Benucci, Francesco, Campanaro, Marta, Caprioli, Davide, Carboni, Greta, Carrara, Edoardo, Cipolletta, Chiara, Crotti, Gloria, Dallagiacoma, Paola, Faggioli, Rosario, Foti, Franceschini, Franco, Fredi, Micaela, Giacomo, Guidelli, Florenzo, Iannone, Gianpiero, Landolfi, Caludia, Lomater, Ceciclia, Nalli, Simone, Parisi, Luca, Quartuccio, Bernd, Raffeiner, Rossella, Reggia, Marta, Riva, Nicoletta, Romeo, Cinzia, Rotondo, Ettore, Silvagni, Luigi, Sinigaglia, Ilaria, Tinazzi, Anna, Zanetti, Giovanni, Zanframundo, Fatemah, Abutiban, Deshiré, Alpízar-Rodríguez, Marina, R Gabayet, Fedra, Irazoque, Xochitl, Jimenez, Eduardo, Martín, Angel AC Ortiz, Tatiana, S Rodriguez-Reyna, Diana, C Rosete, Erick AZ Tehozol, David, Vega, Beatriz, Zaueta, Nasra, Al-Adhoubi, Babur, Salim, Enrique, Giraldo, Ariel, Salinas, Manuel, Ugarte-Gil, Diogo, Almeida, Miguel, Bernardes, Rita, C Machado, Maria, Rato, Samar, Al-Emadi, Richard, Conway, Rachael, Flood, Juan, J Alegre-Sancho, Montserrat, C Coro, Natalia de la Torre-Rubio, Jose, C Esteban, Maria del Martin, Jose, G Puerta, Johan, Back, Maryam, Dastmalchi, Brigitte, Dupré, Emma, Grenholm, Aase, Hensvold, Ann, Knight, Servet, Akar, Ozan, C Icacan, Laura, Chadwick, Kirsty, Devine, Sasha, Dunt, Lucia, Fusi, Caroline, M Jones, Elizabeth, Macphie, Elena, Nikiphorou, Diana, O'Kane, Sheila, O'Reilly, Samir, Patel, Rosaria, Salerno, Lucy, Thornton, Jenny, Tyler, Claire, Vandevelde, Elizabeth, Warner, Su-Ann, Yeoh, Sara, Baig, Hammad, Bajwa, Byung, Ban, Vernon, Berglund, Cassandra, Calabrese, Kristin, D'Silva, Angela, Dahle, Kathryn, Dao, Nicole, Daver, William, Davis, Walter, Dorman, Ezzati, Fatemeh, Theodore, Fields, Jody, Hargrove, Melissa, Harvey, Maren, Hilton, Tiffany, Hsu, Arundathi, Jayatilleke, David, Karp, Gilbert, Kepecs, Neil, Kramer, Concetta, Lamore, Nicholas, Lebedoff, Susan, Leonard, Sushama, Mody, Jennifer, Morgan, Emily, Pfeifer, Guillermo, Quiceno, Robert, Quinet, Elliot, Rosenstein, Eric, Ruderman, Evangeline, Scopelitis, Naomi, Serling-Boyd, Faizah, Siddique, Archibald, Skemp, Jeffrey, Sparks, Derrick, Todd, Karen, T Toribio, Rachel, Wallwork, Tameka, Webb-Detiege, Douglas, White, Jeffrey, Wilson, Melanie, Winter, Leanna, Wise, Anne, Wolff, Kristen, Young, Jerald, Zakem, Joann, Zell, and Kurt Zimmerman
Publikováno v:
Annals of the Rheumatic Diseases
Annals of the Rheumatic Diseases, BMJ Publishing Group, In press, ⟨10.1136/annrheumdis-2020-219498⟩
Annals of the Rheumatic Diseases, In press, ⟨10.1136/annrheumdis-2020-219498⟩
COVID-19 Global Rheumatology Alliance Consortium & et al. 2021, ' Factors Associated with COVID-19-related Death in People with Rheumatic Diseases: Results from the COVID-19 Global Rheumatology Alliance physician-reported registry ', Annals of the rheumatic diseases, vol. 80, no. 7, pp. 930-942 . https://doi.org/10.1136/annrheumdis-2020-219498
Annals of the rheumatic diseases, vol 80, iss 7
Rheumatology (Oxford, England)
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Annals of the Rheumatic Diseases, BMJ Publishing Group, In press, ⟨10.1136/annrheumdis-2020-219498⟩
Annals of the Rheumatic Diseases, In press, ⟨10.1136/annrheumdis-2020-219498⟩
COVID-19 Global Rheumatology Alliance Consortium & et al. 2021, ' Factors Associated with COVID-19-related Death in People with Rheumatic Diseases: Results from the COVID-19 Global Rheumatology Alliance physician-reported registry ', Annals of the rheumatic diseases, vol. 80, no. 7, pp. 930-942 . https://doi.org/10.1136/annrheumdis-2020-219498
Annals of the rheumatic diseases, vol 80, iss 7
Rheumatology (Oxford, England)
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
© Author(s) (or their employer(s)) 2021. Re-use permitted under CC BY-NC. No commercial re-use. See rights and permissions. Published by BMJ.
Objectives: To determine factors associated with COVID-19-related death in people with rheumatic disea
Objectives: To determine factors associated with COVID-19-related death in people with rheumatic disea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8a0030876bf3f8f0396833cd4579a555
https://researchonline.lshtm.ac.uk/id/eprint/4665923/1/Strangfeld_etal_2021_Factors-associated-with-covid-19.pdf
https://researchonline.lshtm.ac.uk/id/eprint/4665923/1/Strangfeld_etal_2021_Factors-associated-with-covid-19.pdf
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 84:19-36
Invariant-based programming is a correct-by-construction programming methodology in which programs are expressed as graphs of situations connected by transitions . Such graphs are called invariant diagrams . The situations correspond to the pre- and
Fulminant hemophagocytic lymphohistiocytosis secondary to a reactivated EBV infection: A case report
Autor:
Spyridon Gerovasileiou, Johan Back, Bjorn R. Olsen, Roger Hällgren, Cecilia Wassberg, Pantelis Antonodimitrakis
Publikováno v:
Upsala Journal of Medical Sciences
Hemophagocytic lymphohistiocytosis (HLH) is an aggressive inflammatory syndrome that results from inappropriate activation of the immune system. HLH has a high mortality if not treated. We describe a case of a fulminant HLH, associated with a reactiv
Autor:
Elena Czeizler, Andrzej Mizera, Ralph-Johan Back, Eugen Czeizler, John E. Eriksson, Ion Petre
Publikováno v:
IEEE/ACM Transactions on Computational Biology and Bioinformatics. 9:885-898
In vitro assembly of intermediate filaments from tetrameric vimentin consists of a very rapid phase of tetramers laterally associating into unit-length filaments and a slow phase of filament elongation. We focus in this paper on a systematic quantita
Autor:
Viorel Preoteasa, Ralph-Johan Back
Publikováno v:
Formal Aspects of Computing. 24:67-95
Invariant based programming is an approach where we start to construct a program by first identifying the basic situations (pre- and post-conditions as well as invariants) that could arise during the execution of the algorithm. These situations are i
Autor:
Claire L. Hyder, Andrey Mikhailov, Andrzej Mizera, Ralph-Johan Back, Richard I. Morimoto, John E. Eriksson, Ion Petre, Lea Sistonen, Annika Meinander
Publikováno v:
Natural Computing. 10:595-612
The heat shock response is a primordial defense mechanism against cell stress and protein misfolding. It proceeds with the minimum number of mechanisms that any regulatory network must include, a stress-induced activation and a feedback regulation, a
Autor:
Ralph-Johan Back
Publikováno v:
Formal Aspects of Computing. 22:629-661
Structured derivations were introduced by Back and von Wright as an extension of the calculational proof style originally proposed by E. W. Dijkstra and his colleagues. Structured derivations added nested subderivations and inherited assumptions to t