Default risk is one of the most important types of risks, and credit default swap (CDS) is one of the most effective financial instruments to cover such risks. The lack of these instruments may reduce investment attraction, particularly for international investors, and impose potential losses on the economy of the countries lacking such financial instruments, among them, Iran. After the 2007 fi...

In the last decade, Activity Theory has been discussed a lot in Human-Computer Interaction (HCI) and Computer Supported Cooperative Work (CSCW). Activity Theory was used both theoretically as an analytical method and practically as a development framework for Information Systems. Meanwhile, there is a new trench from Artificial Intelligence. Artificial Intelligence researchers find that the fru...

This empirical study reports on a cross-linguistic analysis of the overarching issue of L1 lexicalization regarding two (non)-interventionist approaches to vocabulary teaching. Participants were seventy four juniors at the Islamic Azad University, Roudehen Branch in Tehran. The investigation pursued (i) the impact of the provided (non)-interventionist treatments on both sets of (non)-lexicalize...

this empirical study reports on a cross-linguistic analysis of the overarching issue of l1 lexicalization regarding two (non)-interventionist approaches to vocabulary teaching. participants were seventy four juniors at the islamic azad university, roudehen branch in tehran. the investigation pursued (i) the impact of the provided (non)-interventionist treatments on both sets of (non)-lexicalize...

The question of grammar coverage in a treebank is addressed from the perspective of language description, not corpus description. We argue that a treebanking methodology based on parsing a corpus does not necessarily imply worse coverage than grammar induction based on a manually annotated corpus.

Multithreaded programs are hard to get right. A key reason is that the contract between developers and runtimes grants exponentially many schedules to the runtimes. Two approaches improve correctness by reducing schedules. Deterministic multithreading (DMT) reduces schedules for each input down to one. Stable multithreading (SMT) reduces schedules for all inputs, increasing coverage of checking...