• Journal of Arbitration Studies
• /
• v.29 no.1
• /
• pp.71-89
• /
• 2019

When the host states do not comply with the investor-state arbitral awards voluntarily, it is difficult for the successful claimants to seek the enforcement of arbitral awards against the host state because of the doctrine of state immunity. This raises a question whether the investors might be able to seize the assets of the state-owned enterprises, as well as those of the host states. The investors might consider the properties held by state-owned enterprises as an attractive target especially when it has been established that the host state is responsible for the act of its state-owned enterprise. In such case, the investor might argue that the close relationship between the state-owned enterprise and the host state has already been recognized so that the commercial assets of the state-owned enterprise could be subject to attachment. On the other hand, the host state might argue that the state-owned entity exists separately from the state, and thus its assets cannot be equated with those of the host state. Moreover, even if this argument is not accepted and, as a result, the properties of the state-owned entity is equated with those of the host state, the host state might still be able to argue that non-commercial assets of the state-owned enterprise are immune from execution.

• Proceedings of the Korea Environmental Mutagen Society Conference
• /
• 2001.10b
• /
• pp.48-49
• /
• 2001

• Journal of Convergence Society for SMB
• /
• v.1 no.1
• /
• pp.75-83
• /
• 2011

Unified Modeling Language (UML) is widely accepted in industry and particularly UML State Machine Diagram is popular for describing the dynamic behavior of classes. This paper discusses deadlock detection of System using UML State Machine Diagram. Since a State Machine Diagram is used for indivisual class' behavior, all the State Machine Diagrams of the classes in the system are combined to make a big system-wide State Machine Diagram to describe system behavior. Generally this system-wide State Machine Diagram is very complex and contains invalid state and transitions. To make it a usable and valid State Machine Diagram, synchronization and externalization are applied. The reduced State Machine Diagram can be used for describing system behavior thus conventional model-checking technique can be applied. This paper shows how deadlock detection of system can be applied with simple examples. All the procedures can be automatically done in the tool.

• Korean Journal of Child Studies
• /
• v.37 no.2
• /
• pp.127-142
• /
• 2016

Objective: This research examined mothers' and preschoolers' uses of mental state terms during pretend play and linked such use to children's independent mental state terms used in hypothetical narratives. Methods: Fifty four-year-olds and their mothers were engaged in pretend play and the preschoolers were asked to provide hypothetical narratives. Mothers' and preschoolers' mental state terms were analyzed in terms of types and frequencies. Results: During pretend play, the mothers and preschoolers used desire state terms most variously and frequently, followed by cognitive and emotion state terms. In the hypothetical narratives, the preschoolers used desire state terms most variously and frequently; however they talked about emotion state terms more variously and cognitive state terms more frequently. In addition, the mothers' mental state terms were correlated with the preschoolers' mental state terms during the pretend play, and the mothers' and preschoolers' uses of mental state terms during pretend play were related to the preschoolers' mental state terms in hypothetical narratives. Conclusion: Findings from this study highlight that, during the preschool period, a mothers' mental state language might foster her child's understanding of mental states in himself/herself and in others.

• 한국정보디스플레이학회:학술대회논문집
• /
• 2008.10a
• /
• pp.1459-1462
• /
• 2008

In this paper we describe solutions to address critical challenges in direct fabrication of amorphous silicon thin film transistor (TFTs) arrays for active matrix flexible displays. For all flexible substrates a manufacturable handling protocol in automated display-scale equipment is required. For metal foil substrates the principal challenges are planarization and electrical isolation, and management of stress (CTE mismatch) during TFT fabrication. For plastic substrates the principal challenge is dimensional instability management.

• Journal of the Korea Society for Simulation
• /
• v.13 no.4
• /
• pp.1-16
• /
• 2004

The modelling and simulation of the activation process for the heart system is meaningful to understand special excitatory and conductive system in the heart and to study cardiac functions because the heart activation conducts through this system. This thesis proposes two dimensional cellular automaton(CA) model for the activation process of the myocardium and conducted simulation by means of discrete time and discrete event algorithm. In the model, cells are classified into anatomically similar characteristic parts of the heart and each of cells has a set of cells with preassigned properties. Each cell in this model has state variables to represent the state of the cell and has some state transition rules to change values of state variables executed by state transition function. The state transition rule is simple as follows. First, the myocardium cell at rest stay in passive state. Second, if any one of neighborhood cell in the myocardium cell is active state then the state is change from passive to active state. Third, if cell's state is an active then automatically go to the refractory state after activation phase. Four, if cell's state is refractory then automatically go to the passive state after refractory phase. These state transition is processed repeatedly in all cells through the termination of simulation.

• Proceedings of the Korea Air Pollution Research Association Conference
• /
• 2004.05a
• /
• pp.131-132
• /
• 2004

• Journal of applied mathematics & informatics
• /
• v.8 no.3
• /
• pp.1009-1019
• /
• 2001

We introduce the concepts of TL-finite state machine, TL-kernel and TL-subfinite state machines, TL-kernel and TL-subfinite state machine and obtain some results concerning them.

• Proceedings of the Ginseng society Conference
• /
• 2002.10a
• /
• pp.84-95
• /
• 2002

• Asian Pacific Journal of Cancer Prevention
• /
• v.17 no.1
• /
• pp.101-104
• /
• 2016

Background: With advances in diagnostics and treatment approaches, patients with Hodgkin's lymphoma (HL) in developed countries can nowadays expect to have excellent outcomes. However, information about the characteristics and outcomes in the developing world is very scarce, and this is important given the fact that there are several reports about differences of disease characteristics depending on geographic location and the development level of the country. Materials and Methods: In this retrospective study we assessed the features of 36 adult (${\geq}18$ years old) patients with HL and their diagnosis and treatment and outcomes in the Clinic of Chemotherapy of Muratsan University Hospital of Yerevan State Medical University, Armenia, between 2008-2014. Results: All patients had classic HL and among them 19 (53%) had nodular sclerosis subtype, 8 (22%) mixed cellularity and 9 (25%) lymphocyte-rich. 16 (44.5%) patients were at stage II, 13 (36%) stage III and 7 (19.5%) stage IV. Median follow-up time was 24.5 months (range 1-71 months) and during the whole follow-up period only two relapses (early) were documented and there were no deaths. Twenty-three (64%) patients received a BEACOPP (bleomycin, etoposide, doxorubicin, cyclophosphamide, vincristine, procarbazine, and prednisone) regimen, and 13 (36%) ABVD (doxorubicin, bleomycin, vinblastine and dacarbazine) regimen. A total of 25 (69.5%) patients received radiation in addition to chemotherapy. Conclusions: Although the number of patients involved in the study is small and the median follow-up time was just two years, this retrospective study shows that treatment of HL can be successfully organized in a resource-limited setting.