When parallel applications are run in large-scale distributed environments, such as grids, peer-to-peer (P2P) systems, and clouds, the set of resources used can change dynamically as machines crash, reservations end, and new resources become available. It is vital for applications to respond to these changes. Therefore, it is necessary to keep track of the available resources—a problem which is...

1930 yılından günümüze uzanan aerojeller; Guinness rekorlar kitabına giren en hafif ve katı malzeme olarak seçilmiştir. Yüksek ısıl absorbsiyon özelliği, çok iyi yalıtkanlık kabiliyeti, mezo gözenek yapısı mukavemetinin yüzey alanının yüksek olması gibi üstünlüklerinin birçok malzemeye alternatif kullanım avantajı sektörde olanağı sunmaktadır. Bu çalışmada, sol-jel tekniği kullanılarak saflıkta...

A number of commentators have recently identified a 'uniquely Scottish mode of thought in economics', or a particular 'Scottish political economy tradition'. In this paper the concept of tradition, defined as those features common to practitioners over a relatively long period, is investigated in relation to 'school', 'paradigm' and 'research programme'. An application of the concept to the Sco...

Összefoglaló. Egy 47 éves nőbeteg tranziens ST-eleváció miatt került felvételre és coronarographiára. A ST-elevációnak véleményezett elektrokardiogram poroszsisak-jelnek felelt meg, amelyet egy EKG-műtermék okozott. Habár a számtalan, nem coronariaeredetű oka ismert, műtermék okozta poroszsisak-jelet még ismertettek. Fontos felismerése felesleges diagnosztikai terápiás beavatkozások elkerülése ...

This paper describes a method for merging behavior specifications modeled by transition systems. Given two behavior specifications B1 and B2, Merge(B1, B2) defines a new behavior specification that extends B1 and B2. Moreover, provided that a necessary and sufficient condition holds, Merge(B1, B2) is a cyclic extension of B1 and B2. In other words, Merge(B1, B2) extends B1 and B2, and any cycli...