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
The impact of diet, physical activity, and sleep habits on obesity risk among female teachers in Lhokseumawe City
No full textUnhealthy living behaviors and the double workload of female teachers have led to lifestyle changes that have an impact on the risk of obesity. This study aimed to determine the influence of diet, physical activity, and sleep habits on obesity risk among female teachers in Lhokseumawe. This cross-sectional study was conducted in Lhokseumawe City from November 2023 to April 2024 with 289 female teachers, using multistage random sampling. Eating patterns were measured using the semi-FFQ, physical activity using the International Physical Activity Questionnaire (IPAQ), sleeping patterns using the Pittsburgh Sleep Quality Index (PSQI), and body mass index (BMI) using anthropometric measurements. Bivariate analysis was performed using the chi-square test and multivariate analysis with multiple logistic regression. The results showed that Physical activity (p=0,023, RP=2,295) and fat intake (p=0,007, RP=0,484) influenced the incidence of obesity, whereas carbohydrate intake (p=0,622), energy (p=0,524), protein (p=0,225), food type (p=0,066), and sleep patterns (p=0,138) did not affect the incidence of obesity among female teachers in Lhokseumawe City. In conclusion, physical activity is the dominant risk factor for obesity. The risk of obesity was 2,295 times higher among female teachers who were not physically active
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
Implementasi Manajemen Kesiswaan dalam Merekrut Data Peserta Didik MA/SMK Dayah Ulumuddin Kota Lhokseumawe
No full textDayah Ulumuddin Kota Lhokseumawe is an educational institution established in 1988 with the aim of establishing primary schools, madrasahs, secondary schools and vocational schools. This dayah focuses on learning Arabic and English, fostering the younger generation to be knowledgeable and devoted. The dayah's student management is designed to support the teaching and learning process well, ensure students become disciplined, and optimize students' potential. Through qualitative research methods, investigated the efforts of student management implementation on student quality. The research findings highlighted the importance of student management in organizing student activities to support the overall learning process. The results show that Dayah Ulumuddin Lhokseumawe City's student management covers various aspects, from the process of recruiting new students to coaching and developing students. It has a variety of programs, including entrance tests, orientation period, class division, student coaching, extracurricular activities, to student recording and reporting. In conclusion, student management at Dayah Ulumuddin Lhokseumawe City has an important role in supporting the learning process and student development. With various programs and principles applied, the dayah strives to provide the best service to students so that they can develop optimally according to their individual potential
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
- …
