8,743 research outputs found
Cut-elimination, substitution and normalisation
No full textDate 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
Hubungan Gangguan Lapang Pandangan dengan Ketebalan Retina dan Optic Disc pada penderita Glaucoma Sudut Terbuka Primer (POAG)
No full textBackground : Glaucoma is the second leading cause of blindness in the world after cataract. Primary Open Angle Glaucoma (POAG) is not accompanied by sistemic or ocular abnormalities that cause an increase in aquous humor flow resistance or damage to the optic nerve.
Purpose : This study to determine the correlation between visual field disturbance with retinal thickness and optic disc in primary open angle glaucoma patient in Adam Malik hospital.
Method : This study based on analytic with cross sectional design that collecting data by single measurement. The Patients consist of 31 subject (62 eyes), they underwent the optic disc and retinal nerve fiber layer examination with OCT / Optical Coherence Tomography (stratus OCT, carl zeiss), followed by perimetry for visual field evaluation.
Result : In primary open angle glaucoma patient neuropathy optic associated with changing in the optic disc structure and retinal thinning which precedes the development of visual field loss. On visual field examination showing the optic disc change significant parts of the disc area with visual field disturbance (p=0.007). On visual field examination showing significant visual field disturbances with superior (p=0.002), inferior (p=0.021) and nasal (p=0.027) quadrant RNFL thinning. An optic disc with RNFL examination showing optic disc area and cup disc parts disc changes in horizontal ratio, accompanied by a significant RNFL thinning with nasal quadrant RNFL (p=0.026).
Conclusion : This study showed that in primary open angle glaucoma patient neuropathy optic associated with changing in the optic disc structure and retinal thinning which precedes the development of visual field loss.Latar Belakang : Glaukoma merupakan penyebab kebutaan nomor dua didunia setelah katarak dan penyebab kebutaan lainnya. Glaukoma sudut terbuka primer ( POAG) merupakan glaukoma yang tidak disertai dengan kelainan sistemik atau okular yang menyebabkan peningkatan tahanan aliran humor akuos atau kerusakkan saraf optik.
Tujuan : Penelitian ini untuk mengetahui hubungan gangguan lapang pandangan dengan ketebalan retina dan optik disk pada pasien POAG di RSUD. H. Adam Malik Medan.
Metode : Penelitian ini dengan desain cross sectional yang bersifat analitik dan Pengambilan data dilakukan dengan sekali pengukuran. Pasien terdiri dari 31 subjek (62 mata), kemudian dilakukan pemeriksaan optic disc dan RNFL (Retinal Nerve fiber layer) dengan OCT / Optical Coherence Tomography (stratus OCT, carl zeiss) dilanjutkan dengan pemeriksaan Lapang Pandangan dengan Perimetri.
Hasil : Pada pasien POAG terjadi neuropati optik yang berhubungan dengan terjadinya perubahan struktur optic disc dan penipisa retina yang mendahului perkembangan kehilangan lapang pandangan. Pada pemeriksaan lapang pandangan dengan optic disc, memperlihatkan pada perubahan optic disc bagian disc area signifikan dengan gangguan lapang pandangan (p=0.007). Pada pemeriksaan lapang pandangan dengan RNFL, memperlihatkan pada gangguan lapang pandangan signifikan dengan penipisan RNFL kuadran superior (p=0.002), inferior (p=0.021) dan nasal (p=0.027). Pada pemeriksaan optic disc dengan RNFL memperlihatkan perubahan optic disc bagian disc area dan cup disc horizontal ratio disertai dengan penipisan RNFL signifikan dengan RNFL kuadran nasal (p=0.026).
Kesimpulan : Hasil ini menunjukkan terjadi neuropati optik yang berhubungan dengan terjadinya perubahan struktur optic disc dan penipisan retina yang mendahului perkembangan kehilangan lapang pandangan pada POAG75 HalamanTesis Magiste
Prevalensi Kebutaan Akibat Kelainan Kornea di RSUP H. Adam Malik Medan Tahun 2008
No full textBerdasarkan analisa WHO, dengan jumlah penduduk dunia lebih dari 5,9 milyar jiwa, diperkirakan terdapat 45 juta orang mengalami kebutaan dan 135 juta orang dengan Low Vision atau terdapat kurang lebih 180 juta orang dengan gangguan penglihatan di seluruh dunia. Objektif dari program WHO untuk pencegahan kebutaan dengan efektif dan mempertahankan penglihatan jika memungkinkan. Target global adalah harus menurunkan prevalensi kebutaan sampai < 0,5% di seluruh negara, atau kurang dari 1% pada beberapa negara.40 HalamanTesis Magiste
Hubungan Gangguan Lapang Pandangan dengan Ketebalan Retina dan Optic Disc pada penderita Glaucoma Sudut Terbuka Primer (POAG)
No full textBackground : Glaucoma is the second leading cause of blindness in the world after cataract. Primary Open Angle Glaucoma (POAG) is not accompanied by sistemic or ocular abnormalities that cause an increase in aquous humor flow resistance or damage to the optic nerve.
Purpose : This study to determine the correlation between visual field disturbance with retinal thickness and optic disc in primary open angle glaucoma patient in Adam Malik hospital.
Method : This study based on analytic with cross sectional design that collecting data by single measurement. The Patients consist of 31 subject (62 eyes), they underwent the optic disc and retinal nerve fiber layer examination with OCT / Optical Coherence Tomography (stratus OCT, carl zeiss), followed by perimetry for visual field evaluation.
Result : In primary open angle glaucoma patient neuropathy optic associated with changing in the optic disc structure and retinal thinning which precedes the development of visual field loss. On visual field examination showing the optic disc change significant parts of the disc area with visual field disturbance (p=0.007). On visual field examination showing significant visual field disturbances with superior (p=0.002), inferior (p=0.021) and nasal (p=0.027) quadrant RNFL thinning. An optic disc with RNFL examination showing optic disc area and cup disc parts disc changes in horizontal ratio, accompanied by a significant RNFL thinning with nasal quadrant RNFL (p=0.026).
Conclusion : This study showed that in primary open angle glaucoma patient neuropathy optic associated with changing in the optic disc structure and retinal thinning which precedes the development of visual field loss.Latar Belakang : Glaukoma merupakan penyebab kebutaan nomor dua didunia setelah katarak dan penyebab kebutaan lainnya. Glaukoma sudut terbuka primer ( POAG) merupakan glaukoma yang tidak disertai dengan kelainan sistemik atau okular yang menyebabkan peningkatan tahanan aliran humor akuos atau kerusakkan saraf optik.
Tujuan : Penelitian ini untuk mengetahui hubungan gangguan lapang pandangan dengan ketebalan retina dan optik disk pada pasien POAG di RSUD. H. Adam Malik Medan.
Metode : Penelitian ini dengan desain cross sectional yang bersifat analitik dan Pengambilan data dilakukan dengan sekali pengukuran. Pasien terdiri dari 31 subjek (62 mata), kemudian dilakukan pemeriksaan optic disc dan RNFL (Retinal Nerve fiber layer) dengan OCT / Optical Coherence Tomography (stratus OCT, carl zeiss) dilanjutkan dengan pemeriksaan Lapang Pandangan dengan Perimetri.
Hasil : Pada pasien POAG terjadi neuropati optik yang berhubungan dengan terjadinya perubahan struktur optic disc dan penipisa retina yang mendahului perkembangan kehilangan lapang pandangan. Pada pemeriksaan lapang pandangan dengan optic disc, memperlihatkan pada perubahan optic disc bagian disc area signifikan dengan gangguan lapang pandangan (p=0.007). Pada pemeriksaan lapang pandangan dengan RNFL, memperlihatkan pada gangguan lapang pandangan signifikan dengan penipisan RNFL kuadran superior (p=0.002), inferior (p=0.021) dan nasal (p=0.027). Pada pemeriksaan optic disc dengan RNFL memperlihatkan perubahan optic disc bagian disc area dan cup disc horizontal ratio disertai dengan penipisan RNFL signifikan dengan RNFL kuadran nasal (p=0.026).
Kesimpulan : Hasil ini menunjukkan terjadi neuropati optik yang berhubungan dengan terjadinya perubahan struktur optic disc dan penipisan retina yang mendahului perkembangan kehilangan lapang pandangan pada POAG75 HalamanTesis Magiste
Metode Branch and Cut untuk Menyelesaikan Multi-Objective Integer Programming
No full textBRANCH 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 textThis, 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 textRiot 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
Effect of Utility Cut Patching on Pavement Deterioration
No full textUtility Cut Patching (UCP) is a major cause of pavement deterioration in city streets. The streets of the city in Riyadh are no exception. A study was undertaken to investigate factors related to UCP and possibly contributing to pavement deterioration. Existing pavement condition, materials properties of patch and pavement, and geometry of trench were among factors investigated. Pavement deterioration
was evaluated by deflection measurements at various points on the patch and existing pavement using falling weight deflectometer, Analysis of the results indicated that deflection at center of patch is the most critical one. Furthermore, deflection readings at various points on the patch indicated the dependency of palthdeflection on trenchgeometry and existing pavement structural conditions. Investigation of patching effects on pavement roughness suggested an increase in roughness of pavement due to UCCorresponding Author:
Prof. Abdulrahman Saleh Al-Suhaibani, Department of Civil Engineering, College of Engineering, King Saud University,P.O. Box 800, Riyadh 11421
Saudi Arabia. Email: [email protected]
A correlation study of ACCUPLACER math cut scores, developmental math modules, math prep, and academic preparedness in the shared nursing program at Nicolet Area Technical College
No full textPlan BThe purpose of this study is to determine the correlation between the current math ACCUPLACER cut score of 80% and the successful completion of the developmental math modules or math prep to academic preparedness in the shared practical nursing program at Nicolet Area Technical College. The study included three cohorts of nurses from June 2001 through June 2003. Seven questions were specifically addressed by the study. These questions were: 1) Of the number of students applying for the practical nursing program, how many achieve the 80% on the ACCUPLACER placement test?, 2) Is there a differential impact on student success on the first nursing math test based on developmental math modules, math prep, or an 80% on the first ACCUPLACER try?, 3) What is the relationship between students’ grades in math prep and their score on the first nursing math exam? 4) What is the relationship of students’ scores before taking the developmental math modules and their score on the first nursing math exam?, 5) What is the relationship of students ACCUPLACER cut score of 80% or better and the score on their first nursing math exam?, 6) What is the relationship of students’ scores before taking math prep or developmental math modules and their score on the first nursing math exam? and, 7) What is the number of practical nursing students that failed the practical nursing program based on inability to pass a nursing math exam on their third attempt
- …
