An attribute-oriented induction is a useful data mining method that generalizes databases under an appropriate abstraction hierarchy to extract meaningful knowledge. The hierarchy is well designed so as to exclude meaningless rules from a particular point of view. However, there may exist several ways of generalizing databases according to user's intention. It is therefore important to provide ...

Interrupt Timed Automata (ITA) form a subclass of stopwatch automata where reachability and some variants of timed model checking are decidable even in presence of parameters. They are well suited to model and analyze real-time operating systems. Here we extend ITA with polynomial guards and updates, leading to the class of polynomial ITA (PolITA). We prove that reachability is decidable in 2EX...

PURPOSE This study compared two methods of preparing platelet-rich plasma (PRP) gel and the levels of PDGF and TGFbeta in each preparation. MATERIALS AND METHODS Platelet-rich plasma gel was prepared by centrifugation and clotted using the ITA gelling agent (Natrex Technologies Inc, Greenville, NC) or by the addition of thrombin and calcium chloride. The levels of platelet-derived growth fact...

Interrupt Timed Automata (ITA) are an expressive timed model, introduced to take into account interruptions according to levels. Due to this feature, this formalism is incomparable with Timed Automata. However several decidability results related to reachability and model checking have been obtained. We add auxiliary clocks to ITA, thereby extending its expressive power while preserving decidab...

This paper investigates the effectiveness of investment incentives and corporate income taxes in influencing production and investment decisions in the Turkish electrical machinery, non-electrical machinery and transportation equipment industries. Three tax instruments are considered; the corporate income tax (CIT), the investment tax allowance (ITA), and the capital cost allowance (CCA). The r...

ver since the observation by Loop et al. (1) that internal horacic arteries (ITA) are more effective coronary artery ypass grafts than saphenous veins in prolonging patient urvival and preventing recurrent ischemic events, cardiohoracic surgeons have tried to improve the results of urgical revascularization by using other arteries as bypass onduits, such as the gastroepiploic, radial, and infer...

Surfactant molecules in a non-polar liquid form charged and uncharged inverse micelles. When a potential difference is applied over the mixture, the charged inverse micelles drift towards the electrode with the opposite polarity. The motion of charges is associated with a transient current, which can be measured in an external circuit. In this paper, transient currents and steady state charge d...

Buharlaşma miktarındaki değişimin doğru bilinmesi, su kaynaklarının yönetimi, ile ilgili yapıların tasarlanması ve eylem planlarının hazırlanması için önemlidir. Bu çalışmada, Türkiye’nin önemli tarımsal alanlarını barındıran Güneydoğu Anadolu Bölgesi’ndeki Gaziantep, Şanlıurfa Mardin istasyonlarına ait aylık toplam tava buharlaşması verilerinin trendleri, parametrik olmayan Mann-Kendall (MK) t...

Abstract Changes in the streamflow pattern raise a plethora of implications on morphological, economic, social, and cultural aspects an entire river basin. Trend analysis hydrological time series is most common method to identify these changes. Several methods have been proposed trends series. In present study, Mann–Kendall (MK), innovative trend (ITA), revised (RITA) were used discharge sedime...

The ground impedance matrix elements of a multiconductor overhead transmission line do not have analytical inverse Fourier transforms in the time domain. Thus, in general, the ground transient resistance matrix elements are to be determined numerically. Using the low-frequency approximation analytical expressions are available for the ground transient resistance. These expressions present howev...