Using Natural Language Processing and Machine Learning to Identify Gout Flares From Electronic Clinical Notes von Zheng, Chengyi, Rashid, Nazia, Wu, Yi‐Lin, Koblick, River, Lin, Antony T., Levy, Gerald D., Cheetham, T. Craig

Volltext

Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings von Lin, Anthony Widjaja

Volltext

Subsequences in Bounded Ranges: Matching and Analysis Problems von Kosche, Maria, Koß, Tore, Manea, Florin, Pak, Viktoriya

Volltext

Barriers and Opportunities to Improve Healthcare Access for Uninsured Patients at a Student-Run Free Clinic in New Haven, Connecticut von See, Claudia, Cheng, Vanessa, Pattisam, Himani, Lin, Antony, Chen, Joanna Li, Ramesh, Bhargav, Sivakumar, Anishaa, Kang-Giaimo, Angela

Volltext

A Dependently Typed Multi-stage Calculus von Kawata, Akira, Igarashi, Atsushi

Volltext

Factorization and Normalization, Essentially von Accattoli, Beniamino, Faggian, Claudia, Guerrieri, Giulio

Volltext

Succinct Determinisation of Counting Automata via Sphere Construction von Holík, Lukáš, Lengál, Ondřej, Saarikivi, Olli, Turoňová, Lenka, Veanes, Margus, Vojnar, Tomáš

Volltext

A Type-Based HFL Model Checking Algorithm von Hosoi, Youkichi, Kobayashi, Naoki, Tsukada, Takeshi

Volltext

Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions von Tatsuta, Makoto, Nakazawa, Koji, Kimura, Daisuke

Volltext

Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps von He, Jinlong, Chen, Taolue, Wang, Ping, Wu, Zhilin, Yan, Jun

Volltext

Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects von Dickerson, Thomas, Koskinen, Eric, Gazzillo, Paul, Herlihy, Maurice

Volltext

Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning von Pham, Long H., Sun, Jun, Le, Quang Loc

Volltext

Proving that Programs Are Differentially Private von McIver, Annabelle, Morgan, Carroll

Volltext

Dissecting Widening: Separating Termination from Information von Gange, Graeme, Navas, Jorge A., Schachte, Peter, Søndergaard, Harald, Stuckey, Peter J.

Volltext

Variation in the practice of cholecystectomy for benign biliary disease in Aotearoa New Zealand: a population-based cohort study von Study Management Group, McGuinness, Matthew, Elliott, Brodie M., Gunawardene, Ashok, Edwards, Melissa, Expert Advisory Group, Vohra, Ravinder, Griffiths, Ewen A., Connor, Saxon, Poole, Garth H., Windsor, John A., Wright, Deborah, Harmston, Christopher, Collaborating Authors, Wang, Jim Hsu-Shun, Windsor, John, Chen, Elizabeth, Lal, Shayal, Lekamalage, Binura, Ratnayake, Milidu, Bansal, Arpita, von Keisenberg, Seagh, Hemachandran, Arthana, Singhal, Megan, Joseph, Nejo, Bhat, Sameer, Rossaak, Jeremy, Dubey, Nandini, Pan, Marcus, Ferguson, Liam, Choi, Jenny, Mclauchlan, Jared, Connor, Saxon, Nicholas, Ella, Wood, Douglas, Haran, Cheyaanthan, Lin, Anthony, Fagan, Paul, Bathgate, Andrea, Patel, Saloni, Mak, Josephine, Espiner, Emma, Hassan, Summer, Javed, Zunaira, Randall, Madi, Clough, Sydney, Cook, William, Clark, Sita, Finlayson, Carys, Singh, Surya, Lin, Cindy, Kittaka, Reina, Morreau, Mathew, Ing, Andrew, Logan, Sarah, Guest, Sam, Sutherland, Kirsty, Lewis, Alex, Roberts, Jessica, Watson, Bridget, Teague, Rebecca, Su'a, Bruce, Modi, Anupam, Modi, Varun, Williams, Yahaira, Morreau, Jonty, Khoo, Choo, Desmond, Brendan, Christmas, Renee, Holm, Teresa, Harmston, Christopher, Barber, Lucy, Amer, Mostafa, Haddow, James, Fearnley-Fitzgerald, Chekodi, Zeng, Edwin, Young-Gough, Anastasia, Skeet, Jordan, Alvarez, Matias, Nguyen, Son, King, Jasmin, Crichton, James, Welsh, Fraser, Tan, Jeffrey, Luo, Jonathon, Field, Xavier, Ratnayake, Chathura B., Srinivasa, Sanket, Gloria Kim, Jee H., Singh, Nivedita, Kang, Grace, Srinivasa, Sanket, Cook, Holly, Mistry, Vyoma, Dabla, Kaavya, Yoganandarajah, Vithushiya, Lill, Marianne, Lu, Jacky, Bonnet, Louis A., Uiyapat, Thitapon

Volltext

Pumping, with or Without Choice von Hobor, Aquinas, Li, Elaine, Stephan, Frank

Volltext

Add-On Effect of Chinese Herbal Medicine Bath to Phototherapy for Psoriasis Vulgaris : A Systematic Review von Yu, Jason Jingjie, Zhang, Claire Shuiqing, Zhang, Anthony Lin, May, Brian H., Xue, Charlie Changli, Lu, Chuanjian

Volltext

Oral Huangqi Formulae for Stable Chronic Obstructive Pulmonary Disease : A Systematic Review and Meta-Analysis von Wu, Lei, Chen, Yuanbin, Xu, Yinji, Guo, Xinfeng, Li, Xiaoyan, Zhang, Anthony Lin, May, Brian H., Xue, Charlie Changli, Wen, Zehuai, Lin, Lin

Volltext

Organization

Volltext

Logic and Automata

Volltext