The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Filters
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
[article]
2011
arXiv
pre-print
Preserved Fulltext
Other Versions
In answer-set programming (ASP), the solutions of a problem are encoded in dedicated models, called answer sets, of a logical theory. ...
As this type of representation is often cumbersome for the user to interpret, tools like ASPVIZ and IDPDraw were developed that allow for visualising answer sets. ...
In this paper, we describe the system Kara which allows for both visualising interpretations and editing them by manipulating their visualisations. 3 The visualisation functionality of Kara has been ...
arXiv:1109.4095v2
fatcat:4zea4ewc25el7llinpbhcmnina
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
In answer-set programming (ASP), the solutions of a problem are encoded in dedicated models, called answer sets, of a logical theory. ...
As this type of representation is often cumbersome for the user to interpret, tools like ASPVIZ and IDPDraw were developed that allow for visualising answer sets. ...
In this paper, we describe the system Kara which allows for both visualising interpretations and editing them by manipulating their visualisations. 3 The visualisation functionality of Kara has been ...
doi:10.1007/978-3-642-41524-1_20
fatcat:d3nlqjykiffgbhuq6vxn6ff24m
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report
[article]
2011
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
Further implemented features are support for external solvers and visualisation as well as visual editing of answer sets. ...
A main goal of SeaLion is to provide a user-friendly environment for supporting a developer to write, evaluate, debug, and test answer-set programs. ...
, and (iv) the Kara plugin for answer-set visualisation and visual editing. ...
arXiv:1109.3989v2
fatcat:hngalryshnbi5b6y3havt6yuqm
SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support
2013
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Moreover, customised visualisation as well as visual editing of answer sets is realised by the Kara plugin ofSeaLion. ...
In this respect,SeaLionis the first IDE for ASP that provides debugging features that work for real-world answer-set programs and supports the rich languages of modern answer-set solvers. ...
Finally, we describe our model-driven engineering environment and the Kara plugin for visualisation and visual editing of interpretations in Sections 3.3 and 3.4, respectively. ...
doi:10.1017/s1471068413000410
fatcat:yvqsto7vlzfqrjzmrb5lqoke3i
The SeaLion has Landed: An IDE for Answer-Set Programming—Preliminary Report
[chapter]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Further implemented features are a documentation generator, support for external solvers, and visualisation as well as visual editing of answer sets. ...
A main goal of SeaLion is to provide a user-friendly environment for supporting a developer to write, evaluate, debug, and test answer-set programs. ...
the Kara plugin for answer-set visualisation and visual editing. ...
doi:10.1007/978-3-642-41524-1_19
fatcat:yv65ddhv3rdj7aqoncjdwdl2ze
Making sense of Literary Works through Customised Digital Books
2018
Arab World English Journal For Translation and Literary Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
To address this issue, a customised digitised play was implemented with a group of forty undergraduates reading for a BA of English. ...
However, technical difficulties were met and a need for continuous technical support proved to be obligatory in case of generalisation and application of this method to all compulsory literary works. ...
Thesaurus Dictionary defines hypermedia as "a system in which various forms of information, as data, text, graphics, video, and audio, are linked together by a hypertext program". ...
doi:10.24093/awejtls/vol2no4.12
fatcat:qdhuowrcyfhg5lvqc4su4wzffi
Use of the Alice visual environment in teaching and learning object-oriented programming
2015
Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists - SAICSIT '15
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
P a g e | ii Student Number: 3371-639-0 I declare that THE USE OF ALICE, A VISUAL ENVIRONMENT FOR TEACHING AND LEARNING OBJECT-ORIENTED PROGRAMMING is my own work, and that all the sources that I have ...
This study undertook empirical research aimed at analysing learners' interactions with the Alice visual programming environment, which seeks to engage and motivate learners to grasp concepts of OOP, whilst ...
Kara In contrast to the features provided by Karel the robot, Kara is an educational software system, which allows learners to program the system in a purely graphical manner. ...
doi:10.1145/2815782.2815815
dblp:conf/saicsit/DwarikaV15
fatcat:24egztkvkze7fiv65d2bu4run4
Human factors in dairy industry process control for energy reduction
2017
Journal of Cleaner Production
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The operators at the site can be seen to have a high level of skill in managing conflicting control priorities, interpreting proc ess data and using their judgement to intervene and make improvements. ...
Full terms of use are available: Abstract-Reduction of CO2 emissions is a challenge in all sectors and in particular the dairy processing industry. ...
This work was supported by the University of Bristol Systems Centre and the EPSRC funded Industrial Doctorate Centre in Systems (Grant EP/G037353/1) and Verco. ...
doi:10.1016/j.jclepro.2017.09.121
fatcat:kpczzweql5gtpkb52vcn76r6om
Undermining the gendered genre: Kabuki in manga
2021
Mutual Images Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
In this case, Kabuki theatre as a theme employs a variety of gender fluid characters and situations. ...
Examples, such as Kabukumon by Tanaka Akio and David Miyahara (Morning 2008-2011), or Kunisaki Izumo no jijō by Hirakawa Aya (Weekly Shōnen Sunday 2010-2014) and a variety of other manga, anime and light ...
While it may seem that the answer lies between the legs of the gynoid persocom (that is, the truth lies in female anatomy), Chobits does not allow for such a simple answer. ...
doi:10.32926/2021.10.ant.under
fatcat:3w4iou3m7nbbba6orli6ppilki
Program book
2010
2010 IEEE 26th International Conference on Data Engineering Workshops (ICDEW 2010)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
, USA The paper addresses the problem of visualizing large scale RDF data via a 3-S approach, namely, by using, 1) Subsets: to present only relevant data for visualisation; both static and dynamic subsets ...
Code generation diminishes the bloat of higher-level programming abstractions necessary for implementing generic, interpreted, SQL query engines. ...
SMDB'10 will be a one-day workshop where accepted papers are presented in an informal and interactive setting. Participation in the workshop is not limited to authors of accepted papers. ...
doi:10.1109/icdew.2010.5452773
fatcat:oyq2tujbvjfpxjlyixux5q57vu
Proceedings of the 5th International Conference on Live Interfaces
2020
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Collected proceedings from the 5th ICLI, edited by Brandtsegg and Formo. ...
Thanks also to Kara Ayla Wolf for her help in proofreading. ...
The artists/engineeers involved in the case studies are: Andi Otto, Frank Baldé (for the STEIM software and Michel A natural immediate prospect will be the exploration of a variety of input devices and ...
doi:10.5281/zenodo.3928018
fatcat:z2yfhor2pngmxawzlzgl22y2fq
Text as Algorithm and as Process
[chapter]
2010
Text and Genre in Reconstruction
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Thanks are due to the Institute of English Studies (to its Director, for whom the dedication) and to the Centre for Computing in the Humanities, King's College London, and its Director, Professor Harold ...
Short, for unstinting support of the Seminar from which most of the essays in this volume originated. ...
He described the eρectronic edition as a ςuρti-ςedia data base, giving access to facsimiles, to various transcriptions, to interpretation tools, like dictionaries or programs for automatic comparison of ...
doi:10.2307/j.ctt5vjtd9.12
fatcat:kegc3rsth5eydj3r3m257xv67i
Faster decline and higher variability in the sea ice thickness of the marginal Arctic seas when accounting for dynamic snow cover
2021
The Cryosphere
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Higher variability and faster decline in the sea ice thickness of the marginal seas has wide implications for our understanding of the polar climate system and our predictions for its change. ...
Mean sea ice thickness is a sensitive indicator of Arctic climate change and is in long-term decline despite significant interannual variability. ...
This is the case for all months in the Laptev and Kara seas and 4 of 7 months in the Chukchi and Barents sea. ...
doi:10.5194/tc-15-2429-2021
fatcat:roibk5l44fg6dh5aqgkmvmq6pe
From the library catalogue to the Semantic Web - The conversion process from MARC 21 to BIBFRAME 2.0
2018
Figshare
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In the second part (chapters 5-6) a practical approach is taken to study the following researchquestion: 'What are the implications of the implementation of BIBFRAME on an organisational and operational ...
The discussion about the operational implications is based on the analysis of the transformation of two sets of bibliographic descriptions inMARC XML stemming from two libraries: the National Library of ...
The first phase consists of three practical steps aimed at preparing MARC records for transformation: 1) setting up a system for looking up and inserting URIs in newly created or edited MARC records 2) ...
doi:10.6084/m9.figshare.6731129.v1
fatcat:wuorymfzlfffjch7oeqznweoai
Tissue biomechanics as a modulator of lymphatic function
2011
Physiology News
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Afferent paths for visceral reflexes. Physiol Rev 1, 477-522. Widdicombe JG (1954a). Respiratory reflexes from the trachea and bronchi of the cat. J Physiol 123, 55-70. Widdicombe JG (1954b). ...
Receptors in the trachea and bronchi of the cat. J Physiol 123, 71-104. Widdicombe JG (1954c). Respiratory reflexes excited by inflation of the lungs. ...
It is worth pointing out that moderators quite rightly avoided editing questions for grammatical errors, and left the scientists to interpret what the pupils meant. ...
doi:10.36866/pn.84.30
fatcat:fwo5teutvjbw5h7pds2l7nbneu
« Previous
Showing results 1 — 15 out of 151 results