Filters








295,015 Hits in 5.8 sec

Methods and Methodologies for Developing Answer-Set Programs - Project Description

Johannes Oetsch, Jörg Pührer, Hans Tompits, Marc Herbstritt
2010 International Conference on Logic Programming  
, realising a convenient tool for developing answer-set programs.  ...  Generally, the focus of research will be on methodologies for systematic program development, program testing, and debugging.  ...  the main goals of the project "Methods and Methodologies for Developing Answer-Set Programs" which we started in September 2009.  ... 
doi:10.4230/lipics.iclp.2010.154 dblp:conf/iclp/OetschPT10 fatcat:touc6as53fhorktnafjfeqpdei

METHODS AND METHODOLOGIES FOR DEVELOPING ANSWER-SET PROGRAMS-PROJECT DESCRIPTION

Johannes Oetsch, J Org, P Uhrer, Hans Tompits
2010 the International Conference on Logic Programming   unpublished
, realising a convenient tool for developing answer-set programs.  ...  Generally, the focus of research will be on methodologies for systematic program development, program testing, and debugging.  ...  the main goals of the project "Methods and Methodologies for Developing Answer-Set Programs" which we started in September 2009.  ... 
fatcat:hed6iet2ajbs5dsc3hlmrphjti

Biform Theories: Project Description [chapter]

Jacques Carette, William M. Farmer, Yasmine Sharoda
2018 Lecture Notes in Computer Science  
This paper describes a project to develop a methodology for expressing, manipulating, managing, and generating mathematical knowledge as a network of biform theories.  ...  It is a subproject of MathScheme, a long-term project at McMaster University to produce a framework for integrating formal deduction and symbolic computation.  ...  The authors would like to thank the referees for their comments and suggestions.  ... 
doi:10.1007/978-3-319-96812-4_7 fatcat:mfnjy35dmnfodklduuby5gj7gq

Biform Theories: Project Description [article]

Jacques Carette and William M. Farmer and Yasmine Sharoda
2018 arXiv   pre-print
This paper describes a project to develop a methodology for expressing, manipulating, managing, and generating mathematical knowledge as a network of biform theories.  ...  It is a subproject of MathScheme, a long-term project at McMaster University to produce a framework for integrating formal deduction and symbolic computation.  ...  Develop a methodology for expressing, manipulating, managing and generating mathematical knowledge as a biform theory graph.  ... 
arXiv:1805.02709v2 fatcat:ofuzg4ltn5hu5pdys2tmluip2i

Digitization of cultural heritage ViMuseo.fi project. Description of PhD project

Magdalena Laine-Zamojska
2016 Nordisk Museologi  
Moreover, they are willing to share their experience, prepare tools and create communities of professionals in order to develop new solutions.  ...  Capturing, preserving and communicating the information embodied in the objects provide new capabilities for structuring and communicating knowledge.  ...  Version A and the Version B were developed in order to test the hypothesis and bring a set of useful methods and procedures.  ... 
doi:10.5617/nm.3151 fatcat:ng4duy2bgrctzfhvc2cf6yhxim

CONFIDENCE: project description and main results

W. Raskob, N.A. Beresford, T. Duranova, I. Korsakissok, A. Mathieu, M. Montero, T. Müller, C. Turcanu, C. Woda
2020 Radioprotection - Revue de la Societé Francaise de Radioprotection  
The project CONFIDENCE (COping with uNcertainties For Improved modelling and DEcision making in Nuclear emergenCiEs) performed research on identifying and reducing uncertainties in the release and post-release  ...  This comprised strategy development in the transition phase together with stakeholder interaction, understanding of the population and which uncertainties are relevant for decision-making.  ...  Responsibility for the information and views expressed therein lies entirely with the authors. The European Commission is not responsible for any use that may be made of the information it contains.  ... 
doi:10.1051/radiopro/2020008 fatcat:i65yoinonrcdfnbagcbambevsy

Defining Intangible IS Project Products Using PRINCE2 Product Descriptions

Kersti Nogeste
2005 Pacific Asia Conference on Information Systems  
defined relatively easily using PRINCE2 project methodology Product Descriptions, but the latter posing quite a challenge to define in the same way.  ...  Achievement of strategic organisational objectives is dependent on the development and management of an organisation's tangibles and intangibles, with an increasing need for the improved management of  ...  own Information System projects, as part of project planning or evaluation processes.  ... 
dblp:conf/pacis/Nogeste05 fatcat:hgekfikdwnhu7n7zalqvptcggq

Training MI Interventionists across Disciplines: A Descriptive Project

Michael B. Madson, Alicia S. Landry, Elaine F. Molaison, Julie A. Schumacher, Kathy Yadrick
2015 Motivational Interviewing: Training, Research, Implementation, Practice  
Motivational Interviewing (MI) is a counseling approach that is versatile and can be applied in many professional settings.  ...  This paper describes a project in which professionals and students from psychology and nutrition/ dietetics were trained in MI in an attempt to bolster both groups' ability to implement MI as part of a  ...  Therefore, the MI training literature may benefit from developing and evaluating methods for training individuals from diverse disciplines together.  ... 
doi:10.5195/mitrip.2014.29 fatcat:y7vic44xyrasplkw6tpgdqcpxa

Open innovation Project architecture description - D2.3

Lourdes Gallego
2020 Zenodo  
The report explores the methodological approaches available, selecting the 4+1 Architectural View Model [1] as the most suitable approach for BD4OPEM.  ...  This enables addressing different stakeholders' concerns and establishing the baseline for supporting future tasks, as it is a reusable and versatile model.  ...  The latter has been included because of the increasing development of software carrying out under the OOP (Object-oriented programming) paradigm, where a set of rules (or norms) are established for making  ... 
doi:10.5281/zenodo.5840873 fatcat:qzzgvndccjen5lwn5s65cs2cwa

"PolNet - Polish WordNet" project: PolNet 2.0 - a short description of the release

Zygmunt Vetulani, Bartlomiej Kochanowski
2014 Global WordNet Conference  
In December 2011/January 2012 we have released the main deliverable of the project "PolNet -Polish WordNet".  ...  It was first presented and distributed (as PolNet 1.0) at the 5th Language and Technology Conference in Poznań ( 2011 ) and (informally, with kind permission of the organizers) distributed during the Global  ...  Acknowledgements This work was done within the National Program for Humanities (grant 0022/FNiTP/H11/80/2011 managed by Grażyna Vetulani).  ... 
dblp:conf/wordnet/VetulaniK14 fatcat:pf5h46ukprfepf75ow3hfhifke

Descriptive and Inferential Statistics in Undergraduate Data Science Research Projects [chapter]

Malcolm J. D'Souza, Edward A. Brandenburg, Derald E. Wentzien, Riza C. Bautista, Agashi P. Nwogbaga, Rebecca G. Miller, Paul E. Olsen
2017 Advances in Statistical Methodologies and Their Application to Real Problems  
In this chapter, we provide examples for hypothesis testing, where statistical methods or strategies are coupled with methodologies using interpolating polynomials, probability and the expected value concept  ...  Undergraduate data science research projects form an integral component of the Wesley College science and mathematics curriculum.  ...  Acknowledgements This work was made possible by grants from the National Institute of General Medical Sciences NIGMS P20GM10 44 from the National Institutes of Health DE-IN"RE IDe" program ,  ... 
doi:10.5772/65721 fatcat:ymukbvdlinalnj7s5t2v3sqhfa

Descriptions of issues and comments for predicting issue success in software projects

Sandra L. Ramírez-Mora, Hanna Oktaba, Helena Gómez-Adorno
2020 Journal of Systems and Software  
This work studies the usefulness of textual descriptions of issues and comments for predicting whether issues will be resolved successfully or not.  ...  Words related to software development were particularly relevant for predicting issue success.  ...  Most of the projects are developed using Java and JavaScript as programming languages.  ... 
doi:10.1016/j.jss.2020.110663 fatcat:zovzss64wzawhm4srw34s5gamy

Lacq-Rousse Industrial CCS Reference Project: Description and Operational Feedback after two and Half Years of Operation

Jacques Monne, Catherine Prinet
2013 Energy Procedia  
It has been involved in CO 2 injection and geological storage for over 15 years, in Canada (Weyburn oil field) for EOR and Norway (Sleipner, Snohvit) for aquifer storage.  ...  energy sources (biomass, solar, clean coal) and to participate in many operational and R&D programs on CO 2 capture, transport and geological storage.  ...  To develop monitoring methodologies and technologies on site to serve in future onshore storage monitoring programs that will be larger in scale, longer in term and economically and technically viable  ... 
doi:10.1016/j.egypro.2013.06.574 fatcat:vlt734l34jftnproz44enzskhq

How to set up a transdisciplinary research project in Central Asia: description and evaluation

Laura Woltersdorf, Petra Lang, Petra Döll
2018 Sustainability Science  
We believe that the presented approach for setting up a TDR project can serve as a good basis for the design of other projects.  ...  We used a TDR framework with objectives for Phase A and selected a sequence of methods for transdisciplinary knowledge integration.  ...  Acknowledgements This study was funded by the German Federal Ministry for Education and Research (BMBF) [grants 01LC1707A, 1LC1707B, 1LC1707C].  ... 
doi:10.1007/s11625-018-0625-7 fatcat:kcnn4lo5znarpgwxnbept3chpy

The National Neurosurgery Quality and Outcomes Database (N2QOD): general overview and pilot-year project description

Matthew J. McGirt, Theodore Speroff, Robert S. Dittus, Frank E. Harrell, Anthony L. Asher
2013 Neurosurgical Focus  
Disclosure The authors report no direct funding for preparation of this manuscript, but it describes the results of N 2 QOD, which has been set up with the support of AANS.  ...  Author contributions to the study and manuscript preparation include the following.  ...  To develop quality assurance and data integrity methodology to assure accuracy within N 2 QOD.  ... 
doi:10.3171/2012.10.focus12297 pmid:23278267 fatcat:5guhmvbok5fp5goxzlfavusxqm
« Previous Showing results 1 — 15 out of 295,015 results