563 research outputs found
Pooling time series and cross-sectional data: An Application to Turkish export demand analysis
Ankara : The Department of Management and Graduate School of Business Administration of Bilkent University, 1989.Thesis (Master's) -- Bilkent University, 1989.Includes bibliographical references leaves 46.In this study. Pooling of time series and cross sectional data is
used for constructing a demand model for the Turkish Exports. Two
regression models are employed and compared by their fitness to
the proposed pooling arrangements and demand relations. 25 Year
time series (1963-1985) and cross sectional data covering top 10
exporters from Turkey are used for this purpose. Multiple
regression analysis is conducted over different pooling
arrangements and properness of pooling and fitness of model is
tested by means of a series of F tests.Ural, A SüreyyaM.S
Distinguishing sequences for partially specified FSMs
Distinguishing Sequences (DSs) are used inmany Finite State Machine (FSM) based test techniques. Although Partially Specified FSMs (PSFSMs) generalise FSMs, the computational complexity of constructing Adaptive and Preset DSs (ADSs/PDSs) for PSFSMs has not been addressed. This paper shows that it is possible to check the existence of an ADS in polynomial time but the corresponding problem for PDSs is PSPACE-complete. We also report on the results of experiments with benchmarks and over 8 * 106 PSFSMs. © 2014 Springer International Publishing
Hacia un nuevo socialismo
Nos encontramos ante el testamento
político de uno de los líderes norteamericanos
del socialismo democrático.
M. Harrington murió en agosto de
1989 poco después de haber aparecido
este libro. Intuyendo su próximo final
hace Un balance histórico del movimiento socialista y apunta hacia su potencial
futuro. Es el testamento de un
militante y un intelectual que reflexiona
sobre lo que es el socialismo desde
Estados Unidos, la sociedad occidental
del capitalismo más desarrollada y más
refractaria a la tradición socialista.Peer reviewe
Overcoming controllability problems in distributed testing from an input output transition system
This is the Pre-print version of the Article. The official published version can be accessed from the link below - Copyright @ 2012 Springer VerlagThis paper concerns the testing of a system with physically distributed interfaces, called ports, at which it interacts with its environment. We place a tester at each port and the tester at port p observes events at p only. This can lead to controllability problems, where the observations made by the tester at a port p are not sufficient for it to be able to know when to send an input. It is known that there are test objectives, such as executing a particular transition, that cannot be achieved if we restrict attention to test cases that have no controllability problems. This has led to interest in schemes where the testers at the individual ports send coordination messages to one another through an external communications network in order to overcome controllability problems. However, such approaches have largely been studied in the context of testing from a deterministic finite state machine. This paper investigates the use of coordination messages to overcome controllability problems when testing from an input output transition system and gives an algorithm for introducing sufficient messages. It also proves that the problem of minimising the number of coordination messages used is NP-hard
Similarities and Differences Between Reader-Narrator Types in the Short Stories of Sabahattin Ali, Sait Faik and Mustafa Kutlu
Çalışmanın ağırlık noktası, Türk hikâyeciliğinin üç önemli ismi olan Sabahattin Ali, Sait Faik ve Mustafa Kutlu’nun, hikâyelerini aktarmak üzere seçtikleri anlatıcıları incelemek, ulaşmayı hedefledikleri okur tiplerini tespit edebilmek ve her üç hikâyecinin bu bağlamda benzerliklerini ve farklılıklarını ortaya koyabilmektir. Bütün hikâyelerinin incelenmesinden sonra özellikle Sait Faik ve Mustafa Kutlu için mevcut anlatıcı ve okur tipolojisinin dışında birtakım anlatıcı ve okur tipleri tasarladıkları görülmektedir. Onlar için yeni tanımlar önerilmeye çalışılmıştır.The main focus of the study is to examine the narrators chosen by three prominent Turkish short story writers: Sabahattin Ali, Sait Faik and Mustafa Kutlu and identify the types of readers they target in their stories, revealing the similarities and differences between the three authors regarding the subject. After all the stories have been examined, it is revealed that, especially in the case of Sait Faik and Mustafa Kutlu, certain types of narrators and target readerships have been conceived of by the authors which stand outside the existing typology. The study aims to propose new definitions for these new varieties
Progress in the molecular biology of inherited bleeding disorders
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/73391/1/j.1365-2516.2008.01718.x.pd
Generating a checking sequence with a minimum number of reset transitions
Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states than M. There has been much interest in the automated generation of a short checking sequence from a finite state machine. However, such sequences can contain reset transitions whose use can adversely affect both the cost of applying the checking sequence and the effectiveness of the checking sequence. Thus, we sometimes want a checking sequence with a minimum number of reset transitions rather than a shortest checking sequence. This paper describes a new algorithm for generating a checking sequence, based on a distinguishing sequence, that minimises the number of reset transitions used.This work was supported in part by Leverhulme Trust grant number F/00275/D, Testing State Based Systems, Natural Sciences and Engineering Research Council (NSERC) of Canada grant number RGPIN 976, and Engineering and Physical Sciences Research Council grant number GR/R43150, Formal Methods and Testing (FORTEST)
Detonability of RDX dust in air/oxygen mixtures
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/77369/1/AIAA-9528-470.pd
Lifestyle and health determinants of cardiovascular disease among Greek older adults living in Eastern Aegean Islands: An adventure within the MEDIS study.
OBJECTIVE: The aim of the present study was to evaluate lifestyle and health determinants of cardiovascular disease (CVD) risk among Greek elderly residents living in Eastern Aegean islands, in both Greece and Turkey. METHODS: Under the context of the MEDIS study, 724 older adults (aged 65 to 100 years) from 8 Eastern Aegean Sea Greek islands (n=100 living in Samothrace, 142 in Lesvos, 150 in Limnos, 76 in Ikaria, 52 in Kassos, 149 in Rhodes and Karpathos) and from Turkey (n=55older adults of Greek origin living on Gökçeada Island) were voluntarily recruited. Overall cardiometabolic risk was measured as the sum (range 0-4) of four common CVD risk factors (hypertension, diabetes, dyslipidemia and obesity). RESULTS: Greek islanders had higher CVD scores compared to Greeks of Gökçeada (1.9±1.1 vs 1.4±1.0 risk factors / participant, p<0.001). Further analysis revealed that the diet of Greek islanders was similar to the traditional Mediterranean diet; however, these individuals demonstrated 2-times higher odds (95% CI, 1.04-3.87) for having hypertension, 1.53-times higher odds (95% CI, 0.66-3.54) for having diabetes, 3.29-times higher odds (95% CI, 1.58-6.81) for having hypercholesterolemia; whereas they had 0.78-times lower odds (95% CI, 0.40-1.52) for being obese, compared to elderly Greek adults living on Gökçeada. CONCLUSIONS: Overall, CVD risk seems to be low among Eastern Aegean Islanders; certain differences in CVD risk factors exist between Greek islanders and their counterparts living in Gökçeada, and those differences may be attributed to various environmental, cultural and lifestyle factors
- …