13 Hits in 7.6 sec

Polytool: Proving Termination Automatically Based on Polynomial Interpretations [chapter]

Manh Thang Nguyen, Danny De Schreye
2007 Lecture Notes in Computer Science  
In this paper we report on the development of an automated tool (Polytool) for proving termination of Logic Programs based on polynomial orders.  ...  In this paper we report on the development of an automated tool (Polytool) for proving termination of Logic Programs based on polynomial orders.  ...  Hasta La Vista and TerminWeb also fail to prove termination.  ... 
doi:10.1007/978-3-540-71410-1_15 fatcat:icmm2pwpabdqzly3vsjrm43e5q

Proving Termination with Adornments [chapter]

Alexander Serebrenik, Danny De Schreye
2004 Lecture Notes in Computer Science  
In our work we consider one aspect of program correctness, namely, termination. Logic programming provides a framework with a strong theoretical basis for tackling the problem of termination.  ...  As a result, termination analysis received considerable attention in logic programming (see e.g. [1, 5, 7, 9] ).  ...  [4] , and Hasta-La-Vista [11] ) is powerful enough to prove termination of the original program, while all of them succeed in proving termination of the transformed one.  ... 
doi:10.1007/978-3-540-25938-1_10 fatcat:ho4etrkdo5erjlciqtfy2diqdu

Termination Analysis of Logic Programs [chapter]

Alexander Serebrenik
2003 Lecture Notes in Computer Science  
Neither of these analysers is able to prove termination of numerical computations, although numerical computations are very common in real-world applications and Mercury was designed for the development  ...  For instance, Mercury (Henderson et al., 1999 ) is a modern declarative language specially designed for "programming in large."  ...  This algorithm had been implemented in the HASTA-LA-VISTA system. It turned out to be robust enough to analyse correctly more than fifty different examples found in Prolog textbooks.  ... 
doi:10.1007/978-3-540-24599-5_45 fatcat:ospyooh2gvbjnhcurwprmr2fi4

Losing Visibility? The Rise and Fall of Hypermasculinity in Science Fiction Films

Marianne Kac-Vergne
2012 InMedia  
"Hasta la vista, baby", pronounced staccato and in a wooden voice by the Terminator, actually became one of America's most famous movie quotes, a humorous answer to The Terminator's terrifying and equally  ...  This human dimension is confirmed by a self-sacrifice which transcends the limits of his program -the Terminator acquires his humanity by becoming its savior. 19 Whereas the Terminator was presented  ...  Hypermasculinity was thus revised in Terminator 2 to present the formerly fearsome Terminator as a protective father undergoing a process of humanization, paving the way for new representations of masculinity  ... 
doi:10.4000/inmedia.491 fatcat:dgimzahnz5a5bdwrxt6yi6q2ty

'Non-Routine Entrepreneurs': Another Path of Realizing Entrepreneurial Intentions

Alexander Chepurenko
2019 Administrative Sciences  
The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.  ...  In 2001 they bought a share of the Russian IT firm "Hasta-La vista", to develop a network of such clubs under the umbrella of this large firm.  ...  In the meantime, the social enterprise was closed, because they did not get enough support from "Hasta-La vista", and the project grew too fast and was already too big to be funded only from municipal  ... 
doi:10.3390/admsci9020038 fatcat:57uyrkszifbybi7xzjdufrdboe

Building a body for governance : embodying power in the shifting media images of Arnold Schwarzenegger

Ellexis Boyle
When Arnold Schwarzenegger muscled his way into the competition for the governance of California in October 2003 many thought it was a joke, or worse, a sign of the devolution of American politics into  ...  By providing insight into the complex discourses that enabled a modern day strong man to barter his body for power, this study enriches understandings of how idealised body images in popular culture disseminate  ...  Brian Wilson for their astute and kind criticism that has greatly improved  ... 
doi:10.14288/1.0066547 fatcat:6bont2m76bhjtl5u5whb4ffmke

Changing Conditions for Students Thinking Anew Value-Added Assessment: Powerful Diagnostics to Improve Instruction and Promote Student Achievement Changing Conditions to Make the Organization Work Supporting Student Success Improving Language and Literacy is a Matter of Time Changing Times for Ourselves

Helen Sobehart, Helen, Foreward Paul, Houston, Carolyn, Ted, Kathy Augustine, Sabrina King, Wendy Robinson, Karen Mapp, Jane Quinn, Paula (+1 others)
Hasta la vista!" But that's not who you are and that's not what you're going to do!  ...  The analyses conducted by Dr.  ...  While at Regent University Cadieux taught courses in character education in the teacher preparation program and was the program director for Character Ed Prep, The National Clearinghouse for the Teaching  ... 

All and nothing: white heterosexual masculinity in contemporary popular cinema

Nicola Jane Rehling
Finally, it argues for the importance of interrogating popular cinematic representations of "ordinary" straight white men, who are always also extra-ordinary as well.  ...  2's selfreflexive catch-phrases ("I'll be back," "Hasta la vista, baby") or pastiching of the western might work to legitimate its screening of the semi-naked male body and ritualistic violence, the fact  ...  For Jeffords, Terminator 2 offers the politically safe solution of "individualism 39 In The Terminator, however, Sarah eventually destroys the terminator single-handedly, though by this point the terminator  ... 
doi:10.26262/ fatcat:lahpmk22kjbn5e6f5zzeahko6i

Mediating the mill: steel production in film MEDIATING THE MILL: STEEL PRODUCTION IN FILM

Sara Gooch, Sara Gooch
2012 unpublished
It argues that such films are aesthetically and historically rich texts for film and history, but that they can only be interpreted as such when their historical and industrial specificity is returned  ...  Finally, it argues that this cognitive and affective work can only be grasped by close attention to the films' aesthetics, which always also allows for 'suggestive indeterminacy' and polyvalent readings  ...  The terse dialogue during this sequence and leading up to it are almost comically about death and leave-taking: The T101 tells the bad Terminator, "Hasta La Vista, Baby"; John asks him, "Is it dead?"  ... 

Language Education and Multilingualism

José Aguilar, Stephan Breidbach, Christiane Fäcke, Marie-Françoise Narcy-Combes, Humboldt-Universität Zu Berlin
Volume 4 of the Langscape journal offers a selective overview of the role and significance of pluri- and multilingualism in education and training contexts for teachers of modern language.  ...  The general aim is to investigate the role and pedagogy of pluri- and multilingualism in educational syllabi, including tertiary education, for example, at the level of study programmes (organization of  ...  For instance, as one of the student teachers discussed, the banner in neon lights for a fitness centre uses Spanish sounding, "Asta la vista" [Hasta la Vista -See you later] but the initial letter "H"  ... 
doi:10.18452/23391 fatcat:5kcl27j3sng2zld3556yuzfv7u

Latinx Spanish-speaking Students' Experiences with Language and Race on Campus

Ana Mitchell Córdova, Austin, The University Of Texas At, Austin, The University Of Texas At, Belem G. López
Fiona Conway for providing me feedback and support throughout this whole process. To Dr. Linda Mayhew for being so patient with me these past few years.  ...  To Hannah, the Data Team, and my fellow Humanities majors for commiserating with me, listening to my complaints, and generally being there for me throughout this whole process. Table of Contents  ...  One memorable example Hill gives is the phrase "Hasta la vista, baby" in the Terminator II movie, which since then has been popularized.  ... 
doi:10.26153/tsw/2478 fatcat:6wjyx6t2t5c6xcckxup54db4aa

Stand-up comedy: manipulation and influence

Sophie Quirk
practitioners across the current British alternative stand-up comedy scene, I aim to show some of the common manipulations used by stand-up comedians, and to demonstrate the possibilities that this medium has for  ...  Hasta la vista Duckiel' [laugh)75 The audience's laughter signifies that they recognise such homophobic attitudes as something they genuinely encounter.  ...  : [T)he joke can deviate from normal logic in that it transports logical thinking into the realm of the absurd, or it can deviate from our standard logic in that it beats normal, average logic by hyper-logical  ... 
doi:10.22024/unikent/01.02.86485 fatcat:e6vtn4qkibesvdoeg5cttke7qq

Graphic environments: performing ecocriticism at the confluence of image and text

Adele Haverty Bealer
Instead, it is an imminent and immanent future present we are inside of and implicated in: "Hasta la vista, grandchildren!" (McKibben 12).  ...  human soldiers who will likely die attempting to terminate the escaped "things."  ... 
doi:10.26053/0h-nb4v-1b00 fatcat:qevbz5mhcjbwxfaz3dhidzeclu