Failures semantics for a simple process language with refinement

Author(s):  
Luca Aceto ◽  
Uffe Engberg
Keyword(s):  
2017 ◽  
Vol 15 (0) ◽  
pp. 69-73 ◽  
Author(s):  
Kei Wakabayashi ◽  
Daichi Yamaura ◽  
Kazuki Ito ◽  
Naoya Kameda ◽  
Toshio Ogino

2021 ◽  
pp. 2100594
Author(s):  
Jiawei Hu ◽  
Yi Chen ◽  
Yueyun Zhou ◽  
Xiaokun Fan ◽  
Jie Li ◽  
...  

2019 ◽  
Vol 4 (14) ◽  
pp. 4407-4415 ◽  
Author(s):  
Shaocun Yan ◽  
Muhammad Farooq Saleem ◽  
Hongru Ma ◽  
Zhe Li ◽  
Xiao Zhang ◽  
...  
Keyword(s):  

2008 ◽  
Vol 116 (Supplement) ◽  
pp. S1-S4 ◽  
Author(s):  
Yoshihiro MIHARA ◽  
Tomoya TAKADA ◽  
Naotsugu UNO ◽  
Iwao TOGASHI ◽  
Keisuke SUGIMOTO

2008 ◽  
Vol 77 (6) ◽  
pp. 064801 ◽  
Author(s):  
Kenji Kamishima ◽  
Yoshitaka Nagashima ◽  
Koichi Kakizaki ◽  
Nobuyuki Hiratsuka ◽  
Kowashi Watanabe ◽  
...  

2014 ◽  
Vol 27 (21) ◽  
pp. 8170-8184 ◽  
Author(s):  
Peter E. D. Davis ◽  
Camille Lique ◽  
Helen L. Johnson

Abstract Recent satellite and hydrographic observations have shown that the rate of freshwater accumulation in the Beaufort Gyre of the Arctic Ocean has accelerated over the past decade. This acceleration has coincided with the dramatic decline observed in Arctic sea ice cover, which is expected to modify the efficiency of momentum transfer into the upper ocean. Here, a simple process model is used to investigate the dynamical response of the Beaufort Gyre to the changing efficiency of momentum transfer, and its link with the enhanced accumulation of freshwater. A linear relationship is found between the annual mean momentum flux and the amount of freshwater accumulated in the Beaufort Gyre. In the model, both the response time scale and the total quantity of freshwater accumulated are determined by a balance between Ekman pumping and an eddy-induced volume flux toward the boundary, highlighting the importance of eddies in the adjustment of the Arctic Ocean to a change in forcing. When the seasonal cycle in the efficiency of momentum transfer is modified (but the annual mean momentum flux is held constant), it has no effect on the accumulation of freshwater, although it does impact the timing and amplitude of the annual cycle in Beaufort Gyre freshwater content. This suggests that the decline in Arctic sea ice cover may have an impact on the magnitude and seasonality of the freshwater export into the North Atlantic.


2012 ◽  
Vol 66 (12) ◽  
Author(s):  
Jaciel Robles-Nuñez ◽  
Fernando Chiñas-Castillo ◽  
Manuel Sanchez-Rubio ◽  
Javier Lara-Romero ◽  
Rafael Huirache-Acuña ◽  
...  

AbstractMoS2 sheathed carbon nanotubes have been successfully synthesized using a hydrothermal route under controlled conditions. The resultant material was studied by XRD, EDS, HRTEM, and Raman spectroscopy. Advantages of the preparation presented here compared to other methods are: a) lower reaction temperature, b) high yield of sheathed nanotubes including ends and full body, c) simple process with non-toxic materials, and d) no damage inflicted to nanotubes.


2012 ◽  
Vol 39 ◽  
pp. 484-488 ◽  
Author(s):  
Young-Byung Yi ◽  
Jin-Woo Lee ◽  
Young-Hun Choi ◽  
Suk-Man Park ◽  
Chung-Han Chung
Keyword(s):  

2012 ◽  
Vol 535-537 ◽  
pp. 894-898 ◽  
Author(s):  
Chien Chon Chen ◽  
Po Chun Chen ◽  
Jun Zou ◽  
Sheng Jen Hsieh

In this paper, we used a simple process of anodization fabrication TiO2, TiO2, TiO2-MoO3, and TiO2-Ta2O5 nanotubes. Those high dielectric constant and large surface area of NT materials are suitable used for the ultracapacitors. Based on the nanotube structural characteristics such as pore diameter, porosity, and tube length, we also investigated and calculated the NT specific capacitance.


Sign in / Sign up

Export Citation Format

Share Document