scispace - formally typeset
Search or ask a question
Topic

Specialization (logic)

About: Specialization (logic) is a research topic. Over the lifetime, 165 publications have been published within this topic receiving 10643 citations.


Papers
More filters
Book
30 Sep 1988
TL;DR: The kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics, algebraic geometry interacts with physics, and such new emerging subdisciplines as "experimental mathematics", "CFD", "completely integrable systems", "chaos, synergetics and large-scale order", which are almost impossible to fit into the existing classification schemes.
Abstract: Approach your problems from the right end It isn't that they can't see the solution It is and begin with the answers Then one day, that they can't see the problem perhaps you will find the final question G K Chesterton The Scandal of Father 'The Hermit Clad in Crane Feathers' in R Brown 'The point of a Pin' van Gulik's The Chinese Maze Murders Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces And in addition to this there are such new emerging subdisciplines as "experimental mathematics", "CFD", "completely integrable systems", "chaos, synergetics and large-scale order", which are almost impossible to fit into the existing classification schemes They draw upon widely different sections of mathematics

6,398 citations

Journal ArticleDOI
TL;DR: In this paper, the authors developed an inductive theory of the open source software innovation process by focussing on the creation of Freenet, a project aimed at developing a decentralized and anonymous peer-to-peer electronic file sharing network.

834 citations

Journal ArticleDOI
TL;DR: Analyzing data from multiple sources on the Freenet software development process, the constructs of "joining script", "specialization", "contribution barriers", and "feature gifts" are generated and relationships among these are proposed.
Abstract: This paper develops an inductive theory of the open source software innovation process by focusing on the creation of Freenet, a project aimed at developing a decentralized and anonymous peer-to-peer electronic file sharing network. We are particularly interested in the strategies and processes by which new people join the existing community of software developers and how they initially contribute code. Analyzing date from multiple sources on the Freenet software development process, we generate the constructs of "joining script", "specialization", "contribution barriers", and "feature gifts", and propose relationships among these. Implications for theory and research are discussed.

356 citations

Journal ArticleDOI
TL;DR: Computational experiments indicate that Cascade's learning mechanisms are jointly sufficient to reproduce the self-explanation effect, and a computer model is described, Cascade, that accounts for these findings.
Abstract: Several investigators have taken protocols of students learning sophisticated skills, such as physics problem solving and LISP coding, by studying examples and solving problems. These investigations uncovered the self-explanation effect: Students who explain examples to themselves learn better, make more accurate self-assessments of their understanding, and use analogies more economically while solving problems. We describe a computer model, Cascade, that accounts for these findings. Explaining an example causes Cascade to acquire both domain knowledge and derivational knowledge. Derivational knowledge is used analogically to control search during problem solving. Domain knowledge is acquired when the current domain knowledge is incomplete and causes an impasse. If the impasse can be resolved by applying an overly general rule, then a specialization of the rule becomes a new domain rule. Computational experiments indicate that Cascade's learning mechanisms are jointly sufficient to reproduce the self-expl...

331 citations

Journal ArticleDOI
TL;DR: The main objective of the paper was to find and prove static relationships among classical types of knowledge reduction in inconsistent decision tables in order to provide an underlying classification of knowledge Reduction types.
Abstract: Many types of attribute reduction and decision rules have been proposed in the area of rough sets. It is required to provide their consistent classification. The task is not easy because new proposals address different issues such as: noise in data, compact representation, prediction capability. Usually, when introducing a new knowledge reduction method the authors relate it only to one basic type of knowledge reduction. The main objective of the paper was to find and prove static relationships among classical types of knowledge reduction in inconsistent decision tables in order to provide an underlying classification of knowledge reduction types. Hence, if a newly devised reduction type is a specialization of some known type then all its properties inherited from generalized types will be also known. © 2001 John Wiley & Sons, Inc.

251 citations

Performance
Metrics
No. of papers in the topic in previous years
YearPapers
20215
20202
20197
20185
20175
20165