A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice

2019 ◽  
pp. 139-162
Author(s):  
Rob J. van Glabbeek ◽  
Jan Friso Groote ◽  
Erik P. de Vink
Keyword(s):  
Probabilistic Choice ◽  
Simple Process ◽  
Complete Axiomatization

Econometric Models for Probabilistic Choice Among Products

1980 ◽  
Vol 53 (S3) ◽  
pp. S13 ◽  
Author(s):  
Daniel McFadden
Keyword(s):  
Econometric Models ◽  
Probabilistic Choice

Falsification of Hybrid Systems Using Adaptive Probabilistic Search

2021 ◽  
Vol 31 (3) ◽  
pp. 1-22
Author(s):  
Gidon Ernst ◽  
Sean Sedwards ◽  
Zhenya Zhang ◽  
Ichiro Hasuo
Keyword(s):  
Hybrid Systems ◽  
Input Signal ◽  
Tree Search ◽  
Single Trial ◽  
Decision Point ◽  
Directed Tree ◽  
Probabilistic Choice ◽  
Original Algorithm ◽  
Fine Grained ◽  
Probabilistic Search

We present and analyse an algorithm that quickly finds falsifying inputs for hybrid systems. Our method is based on a probabilistically directed tree search, whose distribution adapts to consider an increasingly fine-grained discretization of the input space. In experiments with standard benchmarks, our algorithm shows comparable or better performance to existing techniques, yet it does not build an explicit model of a system. Instead, at each decision point within a single trial, it makes an uninformed probabilistic choice between simple strategies to extend the input signal by means of exploration or exploitation. Key to our approach is the way input signal space is decomposed into levels, such that coarse segments are more probable than fine segments. We perform experiments to demonstrate how and why our approach works, finding that a fully randomized exploration strategy performs as well as our original algorithm that exploits robustness. We propose this strategy as a new baseline for falsification and conclude that more discriminative benchmarks are required.

scholarly journals Fabrication of Hollow Core-Shell Type Si/C Nanocomposites by a Simple Process

2017 ◽  
Vol 15 (0) ◽  
pp. 69-73 ◽  
Author(s):  
Kei Wakabayashi ◽  
Daichi Yamaura ◽  
Kazuki Ito ◽  
Naoya Kameda ◽  
Toshio Ogino
Keyword(s):  
Core Shell ◽  
Hollow Core ◽  
Simple Process ◽  
Shell Type

A Simple Process to Prepare High‐Efficiency Durable Oil–Water Filter

2021 ◽  
pp. 2100594
Author(s):  
Jiawei Hu ◽  
Yi Chen ◽  
Yueyun Zhou ◽  
Xiaokun Fan ◽  
Jie Li ◽  
...  
Keyword(s):  
High Efficiency ◽  
Simple Process ◽  
Water Filter ◽  
Oil Water

A Simple Process of Lowering Concrete under Water

1886 ◽  
Vol 21 (532supp) ◽  
pp. 8487-8488
Keyword(s):  
Simple Process

An Ultra‐sensitive, Rapidly Responsive Strain Sensor Based on Silver Microflakes by Simple Process

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

scholarly journals Antibacterial and antifungal effects of fired scallop shell - glass composites fabricated by a simple process

2008 ◽  
Vol 116 (Supplement) ◽  
pp. S1-S4 ◽  
Author(s):  
Yoshihiro MIHARA ◽  
Tomoya TAKADA ◽  
Naotsugu UNO ◽  
Iwao TOGASHI ◽  
Keisuke SUGIMOTO
Keyword(s):  
Scallop Shell ◽  
Simple Process ◽  
Glass Composites ◽  
Antifungal Effects ◽  
Antibacterial And Antifungal

Simple Process Synthesis of BaTiO3–(Ni,Zn,Cu)Fe2O4 Ceramic Composite

2008 ◽  
Vol 77 (6) ◽  
pp. 064801 ◽  
Author(s):  
Kenji Kamishima ◽  
Yoshitaka Nagashima ◽  
Koichi Kakizaki ◽  
Nobuyuki Hiratsuka ◽  
Kowashi Watanabe ◽  
...  
Keyword(s):  
Ceramic Composite ◽  
Process Synthesis ◽  
Simple Process

scholarly journals On the Link between Arctic Sea Ice Decline and the Freshwater Content of the Beaufort Gyre: Insights from a Simple Process Model

2014 ◽  
Vol 27 (21) ◽  
pp. 8170-8184 ◽  
Author(s):  
Peter E. D. Davis ◽  
Camille Lique ◽  
Helen L. Johnson
Keyword(s):  
Sea Ice ◽  
Momentum Transfer ◽  
Momentum Flux ◽  
Process Model ◽  
Arctic Sea Ice ◽  
The Arctic ◽  
Simple Process ◽  
Beaufort Gyre ◽  
Arctic Sea ◽  
The Arctic Ocean

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.

Improved hydrothermal synthesis of MoS2 sheathed carbon nanotubes

2012 ◽  
Vol 66 (12) ◽  
Author(s):  
Jaciel Robles-Nuñez ◽  
Fernando Chiñas-Castillo ◽  
Manuel Sanchez-Rubio ◽  
Javier Lara-Romero ◽  
Rafael Huirache-Acuña ◽  
...  
Keyword(s):  
Carbon Nanotubes ◽  
Raman Spectroscopy ◽  
Hydrothermal Synthesis ◽  
Reaction Temperature ◽  
High Yield ◽  
Hydrothermal Route ◽  
Simple Process ◽  
Toxic Materials ◽  
Resultant Material ◽  
Full Body

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.

Sign in / Sign up

Export Citation Format

Share Document