8,767 research outputs found

    Kinerja Pelayanan Angkutan Umum Jalan Raya

    No full text
    Buku kategori transportasi yang berjudul Kinerja Pelayanan Angkutan Umum Jalan Raya merupakan buku karya dari Cut Mutiawati, dkk. Pembangunan infrastruktur transportasi saat ini di Indonesia sangat penting dilakukan terutama transportasi darat. Berbagai permasalahan transpotasi darat seperti kemacetan terjadi hampir diseluruh Kota-kota besar di Indonesia. Kemacetan ini umumnya disebabkan karena tidak berfungsinya angkutan umum secara baik sehingga menyebabkan penggunaan angkutan pribadi menjadi tinggi. Kinerja pelayanan angkutan umum yang baik dapat menjadi salah satu solusi agar masyarakat mau beralih dari angkutan pribadi ke angkutan umum. Oleh karena itu evaluasi terhadap kinerja pelayanan angkutan umum penting untuk dilakukan sebagai bahan acuan perbaikan kinerja pelayanan di masa yang akan datang

    Cut-elimination, substitution and normalisation

    No full text
    Date of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term calculus, and with a particular strongly normalising and confluent system of cut-reduction rules, every reduction step has, as its natural deduction translation, a sequence of zero or more reduction steps (detour reductions, permutation reductions or simplifications). This complements and (we believe) clarifies earlier work by (e.g.) Zucker and Pottinger on a question raised in 1971 by Kreisel.Peer reviewe

    Aplikasi SIMPro 3.01 dalam perencanaan dan pengendalian biaya proyek

    No full text
    viii+54hlm.;29c

    Metode Branch and Cut untuk Menyelesaikan Multi-Objective Integer Programming

    No full text
    BRANCH AND CUT METHOD FOR SOLVING MULTI OBJECTIVE INTEGER PROGRAMMING ABSTRACT Branch and Cut method is a kind of technique for solving linear programming problem which expect integer for its decision variable, but it usually use to solve a single objective integer programming form. In this paper, the author will show how Branch and Cut method can solve a multi-objective integer programming or so-called goal programming. The author also used LINDO (Linear Discrete Optimization). Keywords: Branch and Cut, Multi-Objective Integer Programming, goal programming.57 HalamanSkripsi Sarjan

    Open access self-archiving: An author study

    No full text
    This, our second author international, cross-disciplinary study on open access had 1296 respondents. Its focus was on self-archiving. Almost half (49%) of the respondent population have self-archived at least one article during the last three years. Use of institutional repositories for this purpose has doubled and usage has increased by almost 60% for subject-based repositories. Self-archiving activity is greatest amongst those who publish the largest number of papers. There is still a substantial proportion of authors unaware of the possibility of providing open access to their work by self-archiving. Of the authors who have not yet self-archived any articles, 71% remain unaware of the option. With 49% of the author population having self-archived in some way, this means that 36% of the total author population (71% of the remaining 51%), has not yet been appraised of this way of providing open access. Authors have frequently expressed reluctance to self-archive because of the perceived time required and possible technical difficulties in carrying out this activity, yet findings here show that only 20% of authors found some degree of difficulty with the first act of depositing an article in a repository, and that this dropped to 9% for subsequent deposits. Another author worry is about infringing agreed copyright agreements with publishers, yet only 10% of authors currently know of the SHERPA/RoMEO list of publisher permissions policies with respect to self-archiving, where clear guidance as to what a publisher permits is provided. Where it is not known if permission is required, however, authors are not seeking it and are self-archiving without it. Communicating their results to peers remains the primary reason for scholars publishing their work; in other words, researchers publish to have an impact on their field. The vast majority of authors (81%) would willingly comply with a mandate from their employer or research funder to deposit copies of their articles in an institutional or subject-based repository. A further 13% would comply reluctantly; 5% would not comply with such a mandate

    'Do it Yourself' Girl Revolution: LadyFest, Performance and Fanzine Culture

    No full text
    Riot grrrl began as an independent music and political movement in the early 1990s emerging initially in the USA and few years later in the UK. From the beginning riot grrrl embraced a 'do-it-yourself' ethos operating outside the mainstream music business organising independent music festivals, workshop events and encouraging self-published fanzines (fan magazines which were distributed primarily through word of mouth, music gigs, artists and zine book fairs or by post). These zines became recognisable forms of personal expression and made visible a specific DIY approach alongside the development of a coherent style of graphic language in the producer's use of the photocopier, handwritten and graffiti texts, cut-n-paste and ransom note lettering style, collage and the co-option of mainstream media imagery. These production techniques made fanzine publishing accessible and played a central role in the development of a non-hierarchical community. The main intent of this talk is to explore the idea of 'event as performance' using as a case study the specific activities of riot grrrl and focussing on a series of international events called 'LadyFests' and the graphic language of self-published riot grrrl fanzines. This will be achieved by examining the origins of today's riot grrrl performances (e.g. theatre, spoken word, music events) in 1970s feminist art, as well as locating the activities within the specific context of their counter-cultural predecesors including punk and punk performance

    Study on the satisfaction level of Indonesian-Tiongkok Friendship Residence

    No full text
    Link to publisher's homepage at http://jere.unimap.edu.myTsunami on December 26, 2004 has attacked Aceh Province, and made many people lost their family, houses, and properties. During rehabilitation and reconstruction period, many Non Government Organization (NGO) come to Aceh Province to help Aceh citizen to rebuilt their city as well as their houses. Many NGO build the new houses for Tsunami victims with different size, shape, and quality. The main reason was due to the limitation of the budget for each NGO was different. Indonesian-Tiongkok Friendship Residence is one of new area which was build for Tsunami Victims. This new complex residence was build by Indonesian-Tiongkok Friendship NGO. This residence is located in the hill of Neuheun village, Masjid Raya sub district, Aceh Besar District, about 17 Km from Banda Aceh City. There are 606 houses of 42 types in 22, 4 Hectare with infrastructure facilities like mosque, school; market, public health center, sanitation, and road. Objectives of this research are to study the satisfaction level of people who live in Indonesian-Tiongkok Friendship Residence, and to get information about which infrastructure facilities is needed to be more prepared. The research conducted to 78 houses, by using questionnaire, and deep interview. Satisfaction level analyzed using mean value. Satisfaction level checked on five factors; design quality and land area, houses quality, location of residence, infrastructure facilities, and participation of the residence. It has been found that the most unsatisfied result were for the factor location of residence, and factor participation of the residence. For the location factor, the unsatisfaction is mostly due to there is no public transportation, so the residence has difficulties to travel to the city. For the participation of the residence factor, the unsatisfaction is due to the residence never involved during design and construction period. It has been found- from this research that the donor country should have taken into account those five factors, and should involve the candidate residence during design and construction period
    corecore