Search results for "soft"
showing 10 items of 9809 documents
The power of procrastination in inductive inference: How it depends on used ordinal notations
1995
We consider inductive inference with procrastination. Usually it is defined using constructive ordinals. For constructive ordinals there exist many different systems of notations. In this paper we study how the power of inductive inference depends on used system of notations.
A basic analysis toolkit for biological sequences
2007
This paper presents a software library, nicknamed BATS, for some basic sequence analysis tasks. Namely, local alignments, via approximate string matching, and global alignments, via longest common subsequence and alignments with affine and concave gap cost functions. Moreover, it also supports filtering operations to select strings from a set and establish their statistical significance, via z-score computation. None of the algorithms is new, but although they are generally regarded as fundamental for sequence analysis, they have not been implemented in a single and consistent software package, as we do here. Therefore, our main contribution is to fill this gap between algorithmic theory an…
An ontological-based knowledge organization for bioinformatics workflow management system
2012
Motivation and Objectives In the field of Computer Science, ontologies represent formal structures to define and organize knowledge of a specific application domain (Chandrasekaran et al., 1999). An ontology is composed of entities, called classes, and relationships among them. Classes are characterized by features, called attributes, and they can be arranged into a hierarchical organization. Ontologies are a fundamental instrument in Artificial Intelligence for the development of Knowledge-Based Systems (KBS). With its formal and well defined structure, in fact, an ontology provides a machine-understandable language that allows automatic reasoning for problems resolution. Typical KBS are E…
Theognis of Megara and the Divine Creating Power in the Framework of Semiotic Textology: An Application of János Sándor Petöfi’s Theory to Archaic Gr…
2012
This paper is a demonstration of an application of Semiotic Textology to a limited case study. The main aspects of Semiotic Textology, the theory elaborated by Petöfi, are presented; secondly the linguistic aspects of the interpretation of lines 133-134 of the Theognis of Megara's poem, analysed in the framework of said theory, are presented. All the relevant syntactic, semantic, pragmatic information involved in text processing have been considered. Through fixed steps, it is shown that text processing is not exclusively a grammatical activity, because within a theoretical interpretation an Interpreter needs a number of contextual hypotheses, in order to understand the author's ontology. ©…
The Nuclear Mean Field and Many-Nucleon Configurations
2007
After the two preceding chapters, throughout impregnated with messy-looking, though necessary mathematics, we are finally entering the realm of basic concepts of nuclear structure physics. While the preceding chapters may have been a shock to the reader not familiar with the fine details of angular momentum coupling, the present chapter should offer a soothing soft landing to the basic philosophy behind the nuclear shell model, namely the nuclear mean field.
New QM/MM implementation of the DFTB3 method in the gromacs package.
2015
The approximate density-functional tight-binding theory method DFTB3 has been implemented in the quantum mechanics/molecular mechanics (QM/MM) framework of the Gromacs molecular simulation package. We show that the efficient smooth particle–mesh Ewald implementation of Gromacs extends to the calculation of QM/MM electrostatic interactions. Further, we make use of the various free-energy functionalities provided by Gromacs and the PLUMED plugin. We exploit the versatility and performance of the current framework in three typical applications of QM/MM methods to solve biophysical problems: (i) ultrafast proton transfer in malonaldehyde, (ii) conformation of the alanine dipeptide, and (iii) el…
The Insight of Empiricism. In Defense of a Hypothetical, but Propositional Given
2009
In this paper, I defend a hypothetical but propositional given as the fundamental insight of empiricism
Properties and constraints of cheating-immune secret sharing schemes
2006
AbstractA secret sharing scheme is a cryptographic protocol by means of which a dealer shares a secret among a set of participants in such a way that it can be subsequently reconstructed by certain qualified subsets. The setting we consider is the following: in a first phase, the dealer gives in a secure way a piece of information, called a share, to each participant. Then, participants belonging to a qualified subset send in a secure way their shares to a trusted party, referred to as a combiner, who computes the secret and sends it back to the participants.Cheating-immune secret sharing schemes are secret sharing schemes in the above setting where dishonest participants, during the recons…
Following the Money: Revenue Stream Constituents in Case of Within-firm Variation
2014
The idea of this paper stems from the perception that the concept of revenue stream requires clarification and further division to be applicable to businesses with high internal variation in their methods of capturing revenue. Current study sets out to investigate the concept of revenue stream through an overview of previous literature and a case study to demonstrate how revenue streams of a b2b (business-to-business) software service firm can be analyzed by elaborating the concept further. The aim is to answer the following research questions: 1) What are the relevant constituents of the revenue stream concept within a b2b software services firm? 2) How revenue stream as part of the busine…
Adjusting Software Revenue and Pricing Strategies in the Era of Cloud Computing
2016
Competitive forces shape software revenue and pricing models in cloud computing.Different revenue and pricing models lead to different competitive strategies.Software firms apply mixed revenue models, or a hybrid pricing mechanism.Software renting provides flexibility for software providers against competition.Software architecture may either limit possibilities for different revenue models. Recent research has recognized cloud computing as a new paradigm of servitization in which software products are offered based on service contracts. Thus, instead of selling software licenses, software vendors can rent software as a service to customers. However, it is still unclear how software provide…