Q: A Sound Verification Framework for Statecharts and Their Implementations

Autor: Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac

Publikováno v: Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::23e0667252265c72d7f11951e550e4e4
https://doi.org/10.1145/3563822.3568014

The JCMT Transient Survey: Four-year Summary of Monitoring the Submillimeter Variability of Protostars

Autor: Jonathan M. C. Rawlings, Helen Kirk, Dipen Sahu, Oscar Morata, Samuel Pearson, Yuri Aikawa, James Lane, Aashish Gupta, Jaehan Bae, Fujun Du, Shu-ichiro Inutsuka, Daniel Harsono, Geumsook Park, Giseon Baek, Yi-Jehng Kuan, Geoffrey C. Bower, Gregory J. Herczeg, Spencer Plovie, Aleks Scholz, Doug Johnstone, Chin-Fei Lee, Zhen Guo, Hsien Shang, Hyunju Yoo, Graham S. Bell, Jeong-Eun Lee, Yong-Hee Lee, Carlos Contreras-Peña, Woojin Kwon, Paula S. Teixeira, Sheng-Yuan Liu, Gerald H. Moriarty-Schieven, Bhavana Lalchand, Somnath Dutta, Jan Forbrich, Ziyan Xu, Shih-Yun Tang, Huei-Ru Vivien Chen, Dimitris Stamatellos, Jennifer Hatchell, Colton Broughton, Tim Naylor, Wen Ping Chen, Yao-Te Wang, Tanvi Sharma, Tyler L. Bourke, Andy Pon, Steve Mairs, Shih-Ping Lai, Logan Francis, Miju Kang, Scott Chapman, Tie Liu

We present the four-year survey results of monthly submillimeter monitoring of eight nearby ($< 500 $pc) star-forming regions by the JCMT Transient Survey. We apply the Lomb-Scargle Periodogram technique to search for and characterize variability on

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e4f1c59752b69b4df00540c0289c176
https://clok.uclan.ac.uk/42661/1/Lee_2021_ApJ_920_119.pdf

Incorporating automation logic in online chemical production scheduling

Autor: Christos T. Maravelias, Venkatachalam Avadiappan, Blake C. Rawlings, Stéphane Lafortune, John M. Wassick

Publikováno v: Computers & Chemical Engineering. 128:201-215

In this paper, we address the problem of incorporating knowledge of the automation system in a chemical plant into the online scheduling problem. Optimization models for online scheduling necessarily omit some of the plant dynamics to ensure sufficie

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::d6e4e24cdb56bbd20aab257d8feb8fb2
https://doi.org/10.1016/j.compchemeng.2019.06.015

Water Ice Deposition and Growth in Molecular Clouds

Autor: Jonathan M. C. Rawlings, D. A. Williams

In interstellar clouds the deposition of water ice onto grains only occurs at visual extinctions above some threshold value A_th. At extinctions greater than A_th there is a (near-linear) correlation between the inferred column density of the water i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3bc7ffd0082e1be443fd4432c2477711
http://arxiv.org/abs/2011.07024

Dust polarized emission observations of NGC 6334; BISTRO reveals the details of the complex but organized magnetic field structure of the high-mass star-forming hub-filament network

Autor: Antonio Chrysostomou, Patrick M. Koch, Ya-Wen Tang, David S. Berry, C. D. Dowell, Ling Zhu, Jongsoo Kim, Jia-Wei Wang, Shih-Ping Lai, Zhiwei Chen, Shu-ichiro Inutsuka, Jane Greaves, Vera Konyves, Do-Young Byun, Chang Won Lee, Gary A. Fuller, J. M. C. Rawlings, Takashi Onaka, Charles L. H. Hull, Pierre Bastien, Tsuyoshi Inoue, Jason Fiege, Il-Gyo Jeong, J. Hatchell, Hiroko Shinnaga, Pham Ngoc Diep, I. De Looze, Tyler Bourke, Mark G. Rawlings, Jihye Hwang, Tim Gledhill, Di Li, Fumitaka Nakamura, Brenda C. Matthews, Anna M. M. Scaife, J. Di Francesco, Xing Lu, Harriet Parsons, S. Coude, J.-F. Robitaille, Kohji Tomisaka, Koji S. Kawabata, Sincheol Kang, Rachel Friesen, Chi-Yan Law, Xindi Tang, Jason M. Kirk, Mehrnoosh Tahani, S. Mairs, Serena Viti, Jungmi Kwon, Akimasa Kataoka, Masumichi Seta, Geumsook Park, Nagayoshi Ohashi, Tetsuya Nagata, Erica Franzmann, A-Ran Lyo, Sophia Dai, P. Andre, Mingshui Chen, Saeko S. Hayashi, Woojin Kwon, S. L. Kim, Doris Arzoumanian, Junhao Liu, Hsi-Wei Yen, Hyunju Yoo, Chakali Eswaraiah, Y. Shimajiri, Lei Qian, Minho Choi, Yan Duan, Martin Houde, I. Han, Sang-Sung Lee, Kazunari Iwasaki, Masafumi Matsumura, Lapo Fanciullo, Matthew Joseph Griffin, Miju Kang, Tao-Chung Ching, Jeong-Eun Lee, S. P. S. Eyres, Tetsuo Hasegawa, Sarah Sadavoy, Ray S. Furuya, Qilao Gu, D. Johnstone, Hongchi Wang, Yusuke Tsukamoto, Nicolas Peretto, John Richer, Kee-Tae Kim, Keping Qiu, S. Van Loo, Mi-Ryang Kim, Gwanjeong Kim, Gerald Moriarty-Schieven, Motohide Tamura, G. Zhang, A. P. Whitworth, N. B. Ngoc, Sam Falle, Sarah Graves, Hiro Saito, Kyoung Hee Kim, Jinghua Yuan, Wen Ping Chen, Eun Jung Chung, Dalei Li, Sheng-Yuan Liu, L. M. Fissel, Jungyeon Cho, Tetsuya Zenko, Archana Soam, Hiroyuki Nakanishi, Giorgio Savini, Brendan Retter, Takayoshi Kusune, Chin-Fei Lee, Yasuo Doi, Kate Pattle, Kevin Lacaille, Hyeong-Sik Yun, J. H. Kang, Hyeseung Lee, Tae-Soo Pyo, Tie Liu, Francisca Kemper, Yong-Hee Lee, Thiem Hoang, Le Ngoc Tram, Chuan Peng Zhang, Derek Ward-Thompson, Jianjun Zhou, Florian Kirchschlager, Per Friberg, Ramprasad Rao, Jinjin Xie, Hua-bai Li, David Eden, Huei Ru Vivien Chen, Masato I. N. Kobayashi, Yapeng Zhang, Andrew Rigby, Hao-Yuan Duan, Hong-Li Liu, Y. K. Choi

[Abridged] Filaments and hubs have received special attention recently thanks to studies showing their role in star formation. While the column density and velocity structures of both filaments and hubs have been studied, their magnetic fields (B-fie

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8d883badc3c5a000d85b97c97a920131