This paper presents the latest initiative by ASME's Codes and Standards Verification and Validation (V & V) Committee. A new subcommittee for the Verification and Validation of computational Modeling in Energy...
详细信息
This study calculates the selectional preference strength between transitive verbs and their co-occurring objects, and thereby investigates how much they are co-related to each other in Korean. The selectional prefere...
详细信息
Because traditional secret intelligence can be difficult to obtain regarding subnational violent groups, open-source intelligence is considered a potentially valuable source of information. Open-source intelligence, o...
详细信息
It is well known that working memory performance changes with age. Two recent computational models of working memory, TBRS∗ and SOB-CS, corresponding to two distinct causes of forgetting, namely time-based decay and i...
详细信息
The design of an individual-level computational model requires modelers to deal with uncertainty by making assumptions on causal mechanisms (when they are insufficiently characterized in a problem domain) or feature v...
详细信息
We estimate parking cruising time curves - the probability Pi() of longer than parking search for destination Ni located within an area with heterogeneous demand and supply. To do that, we estimate cruising time curve...
详细信息
The objective of this research was to develop a function-based method for analyzing the critical sequences of events that must occur for complex space missions to be successful. The resulting methodology, the Function...
详细信息
We present a morphological analyzer of Huastecan Nahuatl, which builds upon an existing analyzer of the Zacatlan-Ahuacatlán-Tepetzintla variety of Nahuatl (ZAT). We extend the range of morphological phenomena cov...
详细信息
Self-driving car companies aim to offer hands-off journeys with Automated Vehicle (AV) technology, but public skepticism persists on safety aspects of AVs. A proposed solution involves creating dedicated AV corridors ...
详细信息
I present an infinite-reduction-path-preserving typability-preserving translation of pure type systems which eliminates rules and sorts that are in some sense irrelevant with respect to normalization. This translation...
详细信息
暂无评论