ICIS Research Publications


2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969 1968 1967 1966 1965 1964 1963 1962 1960 1959 1958 1957 1956 1955 1953 1952 1951 1950 1949 1948 1947 1946 1945 1941 1938 1923 1911

Unclassified

J.E. Anderson. Public Policy-making. Praeger, New York, New York, USA, 1975.

[ Missing PDF ] [ Bibtex ]

M.A. Arbib, and E.G. Manes. Arrows, Structures, and Functors: The Categorical Imperative. Academic Press, New York, New York, USA, 1975.

[ Missing PDF ] [ Bibtex ]

Allan M. Collins, and Elizabeth F. Loftus. A Spreading-Activation Theory of Semantic Processing. In: Psychological Review, Nr: 6, Vol: 82, Pages: 407-428, 1975.

[ Missing PDF ] [ Bibtex ]

E. Denert. PLAN2D: Konzept und Syntax einer zweidimensionalen Programmiersprache. Technical University of Berlin, Berlin, Germany, EU, 1975, In German.

[ Missing PDF ] [ Bibtex ]

E.W. Dijkstra. Guarded Commands, Nondeterminacy, and Formal Derivation of Programs. In: Communications of the ACM, Nr: 8, Vol: 18, Pages: 453-457, August, 1975.

[ Missing PDF ] [ Bibtex ]

J. Guttag. The Specification and Application to Programming of Abstract Data Types. Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, 1975.

[ Missing PDF ] [ Bibtex ]

J.H. Holland. Adaptation in Natural and Artificial Systems. University of Michigan Press, 1975.

[ Missing PDF ] [ Bibtex ]

D.E. Knuth. Fundamental Algorithms. The Art of Computer Programming, Vol: 1, Addison Wesley, 1975.

[ Missing PDF ] [ Bibtex ]

D.E. Knuth. Sorting and Searching. The Art of Computer Programming, Vol: 3, Addison Wesley, 1975.

[ Missing PDF ] [ Bibtex ]

C.H.A. Koster. A Technique for Parsing Ambiguous Languages. In: GI - 4. Jahrestagung, Berlin, Germany, EU, Edited by: D. Siefkes. Lecture Notes in Computer Science, Vol: 26, Springer, 1975.

[ Missing PDF ] [ Bibtex ]

P.E. Lauer, and R.H. Campbell. Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes. In: Acta Informatica, Vol: 5, Pages: 247-332, 1975.

[ Missing PDF ] [ Bibtex ]

D.J. O`Conner. The Correspondence Theory of Truth. Hutchinson, United Kingdom, EU, 1975, ISBN 0091232007.

[ Missing PDF ] [ Bibtex ]

G. Pask. Conversation, cognition, and learning: a cybernetic theory and methodology. Elsevier, 1975.

[ Missing PDF ] [ Bibtex ]

H. Putnam. The Meaning of Meaning. In: Mind, Language, and Reality, Cambridge University Press, Cambridge, United Kingdom, EU, 1975.

[ Missing PDF ] [ Bibtex ]

C.J. van Rijsbergen. Information Retrieval. Butterworth-Heinemann, London, United Kingdom, EU, 1975.

[ Missing PDF ] [ Bibtex ]

Gerard Salton. A Vector Space Model for Information Retrieval. In: Communications of the ACM, Nr: 11, Vol: 18, Pages: 613-620, November, 1975.

[ Missing PDF ] [ Bibtex ]

G. Salton, A. Wong, and C.S. Yang. A Vector Space Model for Automatic Indexing. In: Communications of the ACM, Vol: 18, Pages: 613-620, 1975.

[ Missing PDF ] [ Bibtex ]

R.E. Tarjan. Efficiency of a good but not linear set merging algorithm. In: Journal of the ACM, Vol: 22, Pages: 215-225, 1975.

[ Missing PDF ] [ Bibtex ]

C.P. Wang, and H.H. Wedekind. Segment Synthesis in Logical Data Base Design. In: IBM Journal of Research and Development, Pages: 71-77, January, 1975.

[ PDF ] [ Bibtex ]

B. Wegbreit. Mechanical Program Analysis. In: Communications of the ACM, Nr: 9, Vol: 18, Pages: 528-539, September, 1975.

[ Missing PDF ] [ Bibtex ]

L.A. Zadeh. The concept of a linguistic variable and its application to approximate reasoning - I.. In: Information Science, Vol: 8, Pages: 199-249, 1975.

[ Missing PDF ] [ Bibtex ]

L.A. Zadeh. The concept of a linguistic variable and its application to approximate reasoning - II. In: Information Science, Vol: 8, Pages: 301-357, 1975.

[ Missing PDF ] [ Bibtex ]

L.A. Zadeh. The concept of a linguistic variable and its application to approximate reasoning - III. In: Information Science, Vol: 9, Pages: 301-357, 1975.

[ Missing PDF ] [ Bibtex ]

Reports

Th.P. van der Weide. Ontleedmachines. June, Technical University Eindhoven, 1975.

In this masterthesis a formal system for parsing machines is introduced. Some properties of this class are introduced. Then a realization of parsing machines, using Dijkstras formalism (guarded commands), is presented, with a formal proof of correctness using both the weakest precondition calculus and Hoares calculus. A parsing condition on context free grammars is introduced, and it is proven that parsing machines can handle precisely those grammars. In an appendix, a grammar transformation scheme is proposed that can transform the grammar of a parsable language into an parsable grammar.

[ PDF ] [ Bibtex ]