More Like this

1. A transient semantics for Typed Racket

   https://doi.org/10.22152/programming-journal.org/2022/6/9  

   Greenman, Lazarek (January 2022, Programming)

   Mixed-typed languages enable programmers to link typed and untyped components in various ways. Some offer rich type systems to facilitate the smooth migration of untyped code to the typed world; others merely provide a convenient form of type Dynamic together with a conventional structural type system. Orthogonal to this dimension, Natural systems ensure the integrity of types with a sophisticated contract system, while Transient systems insert simple first-order checks at strategic places within typed code. Furthermore, each method of ensuring type integrity comes with its own blame-assignment strategy. Typed Racket has a rich migratory type system and enforces the types with a Natural semantics. Reticulated Python has a simple structural type system extended with Dynamic and enforces types with a Transient semantics. While Typed Racket satisfies the most stringent gradual-type soundness properties at a significant performance cost, Reticulated Python seems to limit the performance penalty to a tolerable degree and is nevertheless type sound. This comparison raises the question of whether Transient checking is applicable to and beneficial for a rich migratory type system. This paper reports on the surprising difficulties of adapting the Transient semantics of Reticulated Python to the rich migratory type system of Typed Racket. The resulting implementation, Shallow Typed Racket, is faster than the standard Deep Typed Racket but only when the Transient blame assignment strategy is disabled. For language designers, this report provides valuable hints on how to equip an existing compiler to support a Transient semantics. For theoreticians, the negative experience with Transient blame calls for a thorough investigation of this strategy. 

   more » « less
2. Picosecond transient thermoreflectance for thermal conductivity characterization

   https://doi.org/10.1080/15567265.2019.1580807  

   Jeong, Jihoon; Meng, Xianghai; Rockwell, Ann Kathryn; Bank, Seth R; Hsieh, Wen-Pin; Lin, Jung-Fu; Wang, Yaguo (February 2019, Nanoscale and Microscale Thermophysical Engineering)
3. TRANSIENT BIOBATTERIES: MICROFLUIDIC CONTROL FOR PROGRAMMABLE DISSOLUTION

   https://doi.org/10.31438/trf.hh2018.48  

   Mohammadifar, M.; Choi, S. (January 2019, 2018 Solid-State Sensors, Actuators and Microsystems Workshop)

   We report a simple approach to develop transient microbial fuel cells with the capability of dissolving in water after stable power generation within a programmed period. This novel watersoluble biobattery makes use of the integration of a dissolvable paper-based substrate, a simple pencil-drawn graphite anode, and a Prussian-blue (PB) cathode. The device features (i) a low cost transient paper-based platform, (ii) easily accessible electrode materials and simple fabrication steps and (iii) a time-controlled operation by using the number of serpentine microfluidic channels. The biobatteries reached to a maximum power of 0.5μW and a current 15.6μA 

   more » « less
4. TRANSIENT BIOBATTERIES: MICROFLUIDIC CONTROL FOR PROGRAMMABLE DISSOLUTION

   Mohammadifar, M.; Choi, S. (June 2018, Technical digest SolidState Sensor Actuator and Microsystems Workshop)

   We report a simple approach to develop transient microbial fuel cells with the capability of dissolving in water after stable power generation within a programmed period. This novel water-soluble biobattery makes use of the integration of a dissolvable paper-based substrate, a simple pencil-drawn graphite anode, and a Prussian-blue (PB) cathode. The device features (i) a low cost transient paper-based platform, (ii) easily accessible electrode materials and simple fabrication steps and (iii) a time-controlled operation by using the number of serpentine microfluidic channels. The biobatteries reached to a maximum power of 0.5μW and a current 15.6μA and achieved full dissolution in less than 60 minutes. 

   more » « less
5. Machine Learning for the Zwicky Transient Facility

   https://doi.org/10.1088/1538-3873/aaf3fa  

   Mahabal, Ashish; Rebbapragada, Umaa; Walters, Richard; Masci, Frank J.; Blagorodnova, Nadejda; Roestel, Jan van; Ye, Quan-Zhi; Biswas, Rahul; Burdge, Kevin; Chang, Chan-Kao; et al (March 2019, Publications of the Astronomical Society of the Pacific)

   null (Ed.)