8,741 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
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
Writing for the Cut: Shaping Your Script for Cinema
No full textEditing is what makes a movie a movie. Consulting with master film editors including Walter Murch, Juliette Welfling, Eddie Hamilton, and Anne V. Coates (whose insights and wisdom anchor the book), author Greg Loftin engagingly, smartly details the storytelling nuances and tricks screenwriters can learn from their film-editor peers. Cutting-room veterans have long maintained that visual juxtaposition fuels film storytelling. Over-lapped images spark fresh ideas in the minds of viewers, encouraging them to become active partners in your storytelling and discover your story for themselves.
In later chapters, Writing for the Cut shows how we can bring our stories closer to the screen by writing not only with text but with images and sounds. The screenwriter is taken deep into the edit suite to learn the secrets of the sizzle reel
Agreement of cut point definitions within the NEXT Plus dataset
No full textDepartment of Health and Exercise Science.Includes bibliographical references.Purpose: Accelerometers are used to assess physical activity intensity levels and durations across populations. This is done by dividing the device output into categories that correspond to light, moderate, and vigorous physical activity. Cut points provide where these dividing lines should be. However, there is not a consistent set of cut points for any given population. This makes inter-study comparison difficult and it is unknown how using different cut point sets affects outcomes. The aim of this study is to determine agreement between four different commonly used cut points. Procedure/Description: The NEXT Generation Health Study is longitudinal study funded by the NIH Intramural Research programs. NEXT Plus is a subset of the larger sample that wore accelerometers for one week intervals (n=150). The physical activity monitors used in this trial were the GT3X by ActiGraph. Data files were first converted to .agd files with a 10 second epoch using ActiLife software. Next, each cut point definition was used to give time spent in each intensity. The cut points used to evaluate the data were by Freedson, Romanzini (which has two sets), and Santos-Lozano. Physical activity guidelines from the CDC were applied to each cut point definition output. An agreement analysis was then calculated for each output. Statistical analyses were performed in SAS software version 9.4. P values < 0.05 were considered statistically significant. Results/Outcomes: There were significant differences in time spent in light, moderate, vigorous, and moderate and vigorous combined between each pair of cut point definitions (p<0.0001). Also, there was significant disagreement between each cut point definition regarding if individuals met the CDC guidelines (p<0.0001).
Implications/Future Direction: Cut point definition selection has a noteworthy effect on determining the duration of time spent in each intensity of physical activity. As this measure is often used as a main outcome of interest, past studies’ conclusions may be based on inaccurate data. These findings further complicate inter-study comparison when different cut point definitions are used. Future studies should determine if common cut point definitions used in other populations provide similar outcomes and perhaps rethink monolithic cut point definitions to express greater variability seen within groups
- …
