Method

Form for question submission outline (for space biomedicine systematic reviews)

March 2017

Project: Space Biomedicine Systematic Review Methods

Authors:

Space Medicine Systematic Review Expert

University of Plymouth

The link here is out of date. Find the most up to date methods here: https://sites.google.com/view/sr-methods/home This form is to help capture the nature of questions that are being refined to systematically review. Answers to the questions help form protocols for systematic reviews by guiding the determination of relevant populations, interventions and outcomes to include. Find the most up to date methods here: https://sites.google.com/view/sr-methods/home

ResearchGate has not been able to resolve any citations for this publication.

ResearchGate has not been able to resolve any references for this publication.

Conference Paper

Systematic literature review on effort estimation for Open Sources (OSS) web application development

December 2016

The development of Web applications has a crucial role as most organizations have their own corporate Web applications to meet the needs of their respective businesses. Different needs create different complexities which represent a new challenge to Web application development. In order to ensure the timely delivery of a project, software providers offering this service choose to use Open Sources ... [Show full abstract] (OSS) as an alternative. Since OSS consist of an existing framework that can be implemented directly into the application, how far does this affect the complexity of the effort estimation? A number of research papers have outlined the efforts made to refine the complexity of this field. However, to our best knowledge a systematic overview of the research done on Web application development that involves OSS usage does not appear to exist. Hence, the aim of this paper is to conduct a systematic literature review (SLR) of OSS Web application development. For this purpose, 34 papers from a total of 67 papers were identified and studied. The findings of this study indicate that (a) no research has been carried out on the field mentioned; (b) there is no early effort estimation model for Web projects that involve the usage of OSS. Therefore, this work provides an overview of the field besides identifying future research possibilities.

Article

Natural Hierarchical Refinement for Finite Element Methods

May 2002

this paper there is an approach which is at the same time much simpler and much more general than current techniques. This alternative approach exploits refinement of basis functions rather than refinement of elements. It is in spirit much closer to some recent developments in the design of meshless methods. Our approach meets the above desiderata of mesh refinement ab initio, in any number of ... [Show full abstract] spatial dimensions, and for a much wider variety of finite element types than any standard mesh refinement algorithm

Article

Pragmatic sensitivity in NL interfaces

January 2003

Tom Wachtel

This paper concentrates on the representation of the structure of conversation in our system. We will first outline the representation we use for dialogue moves, and then outline the nature of the definition of well-formed dialogue that we ar operating with. Finally, we will note a few extensions to the representation mechanism

Article

Full-text available

From Plain English To Controlled English

May 2001

We outline an approach for transferring specifications and technical documents written in plain English into controlled English. In a first step, we analyse the sentences of the source documents and (partially) translate them into a set of logical forms. In the second step, we send the logical forms to a surface-form generation module that plans how the sentences of the controlled language should ... [Show full abstract] be composed and how the surface string should be realised. The result is an explicit interpretation of the source document in controlled English that can be refined in a stepwise manner by the authors until it corresponds to their intended interpretation.

Article

Full-text available

The Power of Words in Message Planning

January 2003

Michael Zock

Before engaging in a conversation, a message must be planned. While there are many ways to perform this task, I believe that people do this in the following way, in particular if the message is going to be long: first an outline is planned (global, or skeleton planning), which is then filled in with details (local planning, elaboration). Planning proceeds thus from general to specific (breadth ... [Show full abstract] first), that is, sentences are planned incremen- tally by gradual refinement of some abstract thought rather than in one go (one-shot process) where every element is planned down to its last details.

Article

Full-text available

An Outline of Rule-Based Refinement for Petri Nets

January 2000

Julia Padberg

The concept of refinement is a well-known technique within software engineering in general and for stepwise development of Petri nets in particular. In fact, several different concepts for the refinement of nets have been proposed in literature, above all the refinement of places, transitions or even subnets by some other subnet. Based on the idea of formal grammars, we propose rulebased ... [Show full abstract] refinement to present rules denoting the replacement of a subnet by another one, without changing the remaining part of the whole net. This has the advantage of a simple local presentation of the refinement, even if the whole system is large and complex. We consider to have a rule p with a left-hand side net L that is replaced by a right-hand side net R. This rule can be applied to some net N , yielding the new net M . This application of a rule 1 p, called transformation 1 , is denoted by N p =) M . We study rule-based refinement and horizontal structuring for Petri nets in general. This means, ...

Article

New towns and the development programme in Japan.

January 1980

T. Ohba

Begins by outlining the significance of the Third Multiple Purpose Development Programme, then considers the plan in relation to population movement and the problems of large cities. Continues by reviewing the present status of new town land development, problems in new town construction, management of a new town and future problems. -M.Higgins

Article

ALLiS: a Symbolic Learning System for Natural Language Learning

October 2000

Seminar Fur Sprachwissenschaft

this article the adequacy between theory refinement and Natural Language Learning. For a more detailed presentation of TR, we refer the reader to (Abecker and Schmid, 1996), (Brunk, 1996). (Mooney, 1993) defines it as:

Article

Integration of Extended Unification into a Prolog Interpreter

April 1994

Christian Holzbaur

This paper reports on the practical experiences collected during the implementation of constraint logic programming techniques via metaterms and extended unification. During the actual implementation of extended unification in a concrete PROLOG implementation some minor refinements to a specification proposed earlier [3] had to be taken care of. Further, a convention related to the interpretation ... [Show full abstract] of the meaning of metaterms has been moved into the specification. This paper is also thought as a supplement to the C-Prolog manual [7], describing the additional predicates and conventions for the implementation of extended unification. 1 Introduction The incorporation of semantic unification into PROLOG was inspired by the work of Kornfeld [5]. His early paper provoked some clarifications in [2]. In Kornfeld's outline a failed syntactic unification was patched by trying to prove the equality of the two terms in the extended theory. This gave rise to some problems which can be avoided altog...

Article

Metaphysics as natural theology: Bartolomeo Mastri

January 2002 · Les Études Philosophiques

Paul Richard Blum

The elaboration of the theory of object directs the theory of science in general, and specifically the formal elaboration of the status of metaphysics. Paul Richard Blum's study deals with the object of metaphysics according to Bartholomaeus Mastrius (Mastri): the author outlines Mastrius' principal positions. His metaphysics leads, according to its Scotistic model, to a purely formal ontology, ... [Show full abstract] completely severed from physics, contrasting with Thomistic tradition.

Article

Full-text available

A Hierarchical Representation for Efficiently Learning of Three-Dimensional Object Recognition and D...

October 1995

Giving human-like visual capabilities to computers is an important goal in computer vision research. Recognition and description of 3-dimensional objects is a largely unsolved problem in this area despite the fact that many proposals have been put forth by a number of researchers in recent years (Chin & Dyer, 1986; Besl & Jain, 1985; Marill, 1991; Honavar, 1992b). We propose a framework for ... [Show full abstract] representation of complex threedimensional objects which is motivated by the need for: parsimony (efficiency) in model construction; amenability to learning (incremental acquisition, assimilation, adaptation, and refinement of models of objects in the environment); and seamless integration as part of an intelligent agent architecture (by keeping the representation and learning structures multi-purpose and flexible) . This paper argues for a hierarchical representational scheme motivated by considerations such as the ones enumerated above; presents such a representational framework; and outlines an a...

Article

TCP Byte Counting Refinements

December 2000 · ACM SIGCOMM Computer Communication Review

Mark Allman

TCP's delayed acknowledgment algorithm has been shown to hurt TCP performance. One method of gaining the performance lost by reducing the number of acknowledgments sent is to use a limited byte counting algorithm. However, we show that as outlined in [All98], limited byte counting is too aggressive in some situations. This paper defines an appropriate byte counting algorithm to fix this ... [Show full abstract] aggressiveness. This paper shows that appropriate byte counting is a better overall algorithm. In addition, a scaled version of the appropriate byte counting algorithm, which provides finer-grained control over the aggressiveness of the algorithm, is outlined. In addition, unlike previous work this paper considers the impact of byte counting flows on competing traffic and shows that it is not fundamentally unfair to competing flows that do not use the new algorithm. 1 Introduction The slow start algorithm [Jac88, APS99] TCP uses to initially determine the available bandwidth of a network path has been...

Last Updated: 05 Jul 2022