8,745 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
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
Reciting Verses of The Quran in Arba’ Mustamir Event at Ibnul Amîn Islamic Boarding School for Girls
No full textLiving Quran is a phenomenon of the Quran in everyday life, in other word the function of the Quran as something that is understood by Muslim communities. Namely practicing the Quran in daily life, in the form of behavior and response to the values of the Quran. Living Quran itself started from doing something interesting to the Quran, such as reading the Quran at a certain place, certain time and with a specific purpose. Arba’ mustamir is one of the annual activities carried out in the Ibnul Amîn Islamic boarding for girls at Pamangkih Village, Hulu Sungai Tengah district, south Kalimantan. The practice is carried out every last Wednesday in the month of Ṣafar with the intention of rejecting all disasters that are believed to have thousand of disasters on that day. In this study the focus of discussion of the related research is what verses are read in the practice of arba’ mustamir and how the community's understanding of the surah and verses that were read for the practice of Arba’ mustamir. The data collection techniques in this study are observation, interview and documentation.The results obtained from this study are: students and the community at the Ibnul Amîn Islamic boarding school reading surah al-Fâtiḥah, Yâsîn, Shahadatain, Istighfar, then Ayat al-Kursy, surah al-Fîl, and for the last to read 7 verses of Salâmun and there is unique practice in Ibnul Amîn namely 7 verses of Salâmun written on paper then soaked in water and then drunk by participants who followed that practice. As for the community’s understanding of that are read at the time is differently, there are those who understand to calm the soul, refuse disasters, and cure all diseases
MEMBUMIKAN MORAL BERPOLITIK NABI MUHAMMAD DI ERA 4.0
No full textProphet Muhammad is a role model that Allah gave to mankind. Rasulullah teaches human everything that is in accordance with the Qur'an and hadith; included in politic. The politic taught by the Prophet Muhammad had been exemplified by him in its application when the Prophet Muhammad led Mecca and Medina.Rasulullah forming a country could not be separated from the support of the Arab community at that time. Rasulullah also applied correct moral and ethic in politic. However, we find in this 4.0 industrial revolution that everything becomes sophisticated and fast, the officials forget that moral. The leaders are too addicted to power and insane from office, so that they make politics as a bridge to pleasure without seeing the people in distress. Politics taught by the Prophet has been eroded more and more. Liberal official even provide separation on religion and politic. Religious matters are left to be the business of the Ulama and the state should be left to the business of politicians. Basically we already know that religion and state are of course inseparable. Religion must be upheld in politics and as a state; in order to create peace and peace as expected by the whole community
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
Cut-down de Bruijn sequences
No full textA cut-down de Bruijn sequence is a cyclic string of length L, where 1≤L≤kn, such that every substring of length n appears at most once. Etzion [Theor. Comp. Sci 44 (1986)] introduced an algorithm to construct binary cut-down de Bruijn sequences requiring o(n) simple n-bit operations per symbol generated. In this paper, we simplify the algorithm and improve the running time to O(n) time per symbol generated using O(n) space. Additionally, we develop the first successor-rule approach for constructing a binary cut-down de Bruijn sequence by leveraging recent ranking/unranking algorithms for fixed-density Lyndon words. Finally, we develop an algorithm to generate cut-down de Bruijn sequences for k>2 that runs in O(n) time per symbol using O(n) space after some initialization. © 2024 Elsevier B.V
- …
