Utp

Hunian yang nyaman merupakan dambaan setiap manusia. Pada kota besar dengan penduduk yang mayoritas memiliki mobilitas yang tinggi, cenderung lebih menyukai hunian dengan desain minimalis. Selain karena lahan yang terbatas, hunian minimalis cenderung banyak disukai karena bentuk dan tampilannya yang modern. Agar kebutuhan akan ruang hijau yang dapat memberikan udara yang cukup dan efek relaksasi dapat dipenuhi dengan kondisi lahan yang terbatas, hunian dapat dibuat secara bertingkat, sehingga ruangan yang dibutuhkan dapat tetap diakomodir dengan adanya lantai tambahan pada hunian. Sehubungan dengan fungsi, dan permasalahan perkotaan seperti laju pertumbuhan penduduk dan perkembangan ekonomi yang terus meningkat, pembangunan perumahan menjadi hal penting yang perlu dilakukan tetapi tetap memperhatikan faktor lingkungan. Untuk menindaklanjuti permasalahan tersebut, PT. NUGRAHA SATRIA berencana membangun perumahan yang berada di jalan Bangetayu Wetan-SEMARANG, Pemilihan lokasi ini karena daerah tersebut merupakan daerah dengan tingkat pertumbuhan penduduk yang tinggi. Sehingga diperlukan hunian baru yang cukup untuk memenuhi kebutuhan tempat tinggal. Didaerah tersebut juga mudah dalam pengaksesan untuk menuju ke pusat kota, dekat dengan sentral pendidikan, perdagangan, usaha, dan bebas banjir. B. Gambaran Umum Proyek pembangunan yang akan dilaksanakan adalah rumah tinggal 2 lantai Perumahan Nirwana Baru, Bangetayu Wetan. Bangunan ini didirikan diatas lahan seluas 147,5 m 2 yang terdiri dari 2 lantai dengan luas lantai 1 112,5 m 2 dan lantai 2 87,5 m 2. Rumah ini memiliki 1 buah tangga, 2 kamar tidur, 1 ruang tamu, 1 ruang keluarga, 1 ruang makan, 2 kamar mandi/WC, 1 garasi, 1 dapur, dan 1 teras pada lantai 1 dan memiliki 2 kamar tidur, 1 ruang duduk/santai, 1 ruang keluarga ,1 kamar mandi/WC, 1 ruang jemur, dan 1 balkon pada lantai 2.

This symposium followed on the success of the first one, held at Walworth Castle (Durham, UK) in 2006, and the second, held at Trinity College (Dublin, Ireland) in 2008. Based on the pioneering work of C.A.R. Hoare, He Jifeng, and others on unifying theories of programming, the aims of this symposium series are, as stated in UTP 2008, to continue to reaffirm the significance of the ongoing UTP project, to encourage efforts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the benefits of such a unifying theoretical framework among the wider computer science and software engineering communities. The program for the UTP 2010 symposium includes one invited tutorial, three invited talks, and 12 regular paper presentations. I would like to warmly thank our invited speakers, Ana Cavalcanti, He Jifeng, Jeff Sanders and Jim Woodcock, as well as all the authors, for their enthusiastic and engaged participation in this event. There were in total 25 submissions made to UTP 2010. Each submission was reviewed by at least three PC members. Based on the reviewers' comments, the Program Committee had careful online discussions and decided to select 12 papers to be included in the UTP 2010 proceedings. I would like to thank all Program Committee members, not only for the excellent work in the paper review and selection process, but also for their useful comments and suggestions on the organization of this symposium. It would not have been possible to form such a high-quality program without their hard work. Thanks should also be given to Jim Woodcock and Huibiao Zhu for the help and discussions especially in the initial stage of the organization, to Jeff Sanders for valuable comments and suggestions on the UTP event, and to Geguang Pu and his colleagues for excellent local organization for both UTP and ICFEM. This symposium was organized using, and these proceedings were assembled with the assistance of, EasyChair (www.easychair.org). I would like to thank them for being there all the time!

Abstract. We investigate, within the UTP framework of designs, the effect of seeing computation as an essentially reversible process. We describe the theoretical link between reversibility and the minimum power requirements of a computation, and we review Zuliani’s work on Reversible pGCL which brings reversible computing within the scope of formal software development. We propose an alternative formalisation of reversible computing which exploits reversibility to provide backtracking. To obtain a basic backtracking language able to search for a single result we exploit the already recognised properties of non-deterministic choice, using it as provisional choice rather than implementor’s choice. We add a “prospective values ” formalism which can describe programs that return all the possible results of a search, and we show how to formally describe the premature termination of such a search, a mechanism analogous to the “cut ” of Prolog. An appendix describes some aspects of the wp ...

Platelets express two ADP receptors namely P2Y1 and P2Y12 that regulate ADP and other agonists-induced platelet aggregation. P2Y1 receptor activation causes platelet shape change while P2Y12 receptor activation induces platelet aggregation. Previously, anti-aggregatory effects of ATP on ADP-induced and pro-aggregatory effects on epinephrine-induced platelet aggregation have been reported. However, the effects of other nucleoside triphosphates on platelet aggregation have never been described. The aim of the present study was to characterise the effects of nucleoside triphosphates (ATP, UTP, GTP, and CTP) on agonist-induced platelet aggregation. The experiments were performed on platelet rich plasma freshly isolated from blood donated by healthy human volunteers. All the nucleoside triphosphates tested inhibited ADP- and collagen-induced platelet aggregation in a concentration-dependent manner with a rank order of potency, 2MeSATP >ATP ≥ α,β,methyleneATP>UTP >CTP ≥ GTP. The IC50 values against ADP (10 μM)-induced platelet aggregation were 0.039 ± 0.013, 18 ± 7, 25 ± 6, 32 ± 9, 360 ± 130, and 400 ± 160 μM, respectively. Low concentrations of ATP induced platelet shape change which was due to contaminating ADP. However, higher concentrations antagonised ADP and MRS2365-induced platelet shape change. The ATP analogue α,β,methyleneATP and CTP but not UTP and GTP also antagonised ADP-induced platelet shape change. Similarly, low ATP concentrations potentiated epinephrine-induced platelet aggregation that was abolished by P2Y1 antagonist MRS2500 suggesting P2Y1 receptor activation due to contaminating ADP. Higher ATP concentrations, α,β,methyleneATP, UTP, CTP, and GTP antagonised epinephrine-induced platelet aggregation. Thus, the data demonstrate nucleoside triphosphates in general act as P2Y12 receptor antagonists and antagonise ADP-, collagen-, and epinephrine-induced platelet aggregation.