Sebanyak 648 item atau buku ditemukan

Marx and Modern Political Theory

From Hobbes to Contemporary Feminism

Philip J. Kain deftly demonstrates the historical antecedents to and continuing relevance of Karl Marx's thought. Kain reveals the unappreciated pluralism of Marx, how it has endured and how it will continue to adapt to the challenges of modern day thought such as feminist theory.

The careful historical studies of Dunn, Tully, and Ashcraft, for example, reject the
notion that Locke intended to be an apologist for capitalism; they argue that
Locke was motivated by a commitment to religion, morality, and natural law. More
recently, Wood, while critical of Macpherson in certain respects, has argued that
Locke is a theorist of capitalism, but of early agrarian capitalism, not of later
mercantile or manufacturing capitalism.50 I do not intend to discuss the question
of whether ...

Smart Questions to Ask Your Stockbroker

Provides insightful advice on managing money and formulating the ideal financial strategy for the money-savvy consumer by identifying the key questions to ask one's financial advisors. By the author of Smart Questions To Ask Your Doctor. Original.

A trader does not necessarily make riskier investments, he only trades more
frequently. An investor is more concerned with the long-term results of his
investment. He looks at and is concerned with the overall performance of the
company. He is, of course, also looking to make a profit, but is willing to wait
longer to see a return. WHAT IS INSIDER TRADING? Insider trading is having
knowledge or information that the public is unaware of and using this information
to your advantage.

Sastra lisan nama daerah: Mentawai

2) Taikaleleu, makhluk gaib yang tinggalnya di gunung-gunung, bentuknya
bagus-bagus, perangainya baik-baik. Kalau ia berwujud wanita bentuknya
seperti bidadari, kalau ia berwujud pria menjadi pria yang paling gagah. 3)
Sanitu ...

Sastra lisan [nama daerah].

mendengar mereka pun tahu, memperhatikan mereka pun tahu agar kita
beranjak maju bersama-sama pada hubungan kasih kita dan persaudaraan kita
dan dalam menyambung pembicaraan kita bersama kita memikul baik-baik,
bersama ...

Parallel Algorithm Derivation and Program Transformation

Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success. Perhaps because ad hoc programming on sequential machines is so straightforward, sequential programming methodology has had little impact outside the academic community, and transformational methodology has had little impact at all. However, because ad hoc programming for parallel machines is so hard, and because progress in software construction has lagged behind architectural advances for such machines, there is a much greater need to develop parallel programming and transformational methodologies. Parallel Algorithm Derivation and Program Transformation stimulates the investigation of formal ways to overcome problems of parallel computation, with respect to both software development and algorithm design. It represents perspectives from two different communities: transformational programming and parallel algorithm design, to discuss programming, transformational, and compiler methodologies for parallel architectures, and algorithmic paradigms, techniques, and tools for parallel machine models. Parallel Algorithm Derivation and Program Transformation is an excellent reference for graduate students and researchers in parallel programming and transformational methodology. Each chapter contains a few initial sections in the style of a first-year, graduate textbook with many illustrative examples. The book may also be used as the text for a graduate seminar course or as a reference book for courses in software engineering, parallel programming or formal methods in program development.

This book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program Transformation that took place at New York University, Courant Institute, from Aug. 30 to Sept. 1, 1991.

Logic Programming

Proceedings of the Tenth International Conference on Logic Programming

The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and it svarious extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing.David S. Warren is Professor of Computer Science at the State University of New York, Stony Brook.Topics covered: Theory and Foundations. Programming Methodologies and Tools. Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques.

While these proposals have illustrated the importance of such analyses, they lack
formal justification. Moreover, several have been found incorrect. This paper
introduces a novel domain of abstract equation systems describing possible
sharing and definite freeness of terms in a system of equations. A simple and
intuitive abstract unification algorithm is presented, providing the core of a correct
and precise sharing and freeness analysis for logic programs. Our contribution is
not only a ...