Sebanyak 866 item atau buku ditemukan

Peraturan Menteri Dalam Negeri no. 64 tahun 2013 tentang penerapan standar akuntansi pemerintahan berbasis akrual pada pemerintah daerah

dilengkapi PMK no. 214/PMK.05/2013 tentang bagan akun standar, PMK no. 213/PMK.05/2013 tentang sistem akuntasi dan pelaporan keuangan pemerintah pusat, PMK no. 219/PMK.05/2013 tentang kebijakan akuntansi pemerintah pusat

Regulations of Indonesian Minister of Home Affairs and Minister of Finance on local government accounting standard.

Regulations of Indonesian Minister of Home Affairs and Minister of Finance on local government accounting standard.

Randomization Methods in Algorithm Design

DIMACS Workshop, December 12-14, 1997

Field-Programmable Logic: Architectures, Synthesis and Applications

4th International Workshop on Field-Programmable Logic and Applications, FPL'94, Prague, Czech Republic, September 7 - 9, 1994. Proceedings

This volume contains the proceedings of the 4th International Workshop on Field-Programmable Logic and Applications (FPL '94), held in Prague, Czech Republic in September 1994. The growing importance of field-programmable devices is substantiated by the remarkably high number of 116 submissions for FPL '94; from them, the revised versions of 40 full papers and 24 high-quality poster presentations were accepted for inclusion in this volume. Among the topics treated are: testing, layout, synthesis tools, compilation research and CAD, trade-offs and experience, innovations and smart applications, FPGA-based computer architectures, high-level design, prototyping and ASIC emulators, commercial devices, new tools, CCMs and HW/SW co-design, modelers, educational experience, and novel architectures.

A special purpose processor originally designed for Monte-Carlo simulation
using Metropolis type algorithms has been reconfigured to allow the use of a new
improved class of Monte-Carlo algorithm without compromising the processor's
performance. 1 Introduction In Monte-Carlo simulations and digital signal
processing applications it has often proved advantageous to use specially
constructed processors in place of general purpose computers. SRAM-bascd
Field Programmable ...

Logic at Botik '89

Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings

The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Pereslavl-Zalessky, USSR, July 3-8, 1989. The scope of the symposium was very broad; the topics of interest were: complexity of formal systems, constructive mathematics in computer science, denotational and operational semantics of programs, descriptive complexity, dynamic and algorithmic logics and schematology, formal tools to describe concurrent computations, lambda calculus and related topics, foundations of logic programming, logical foundations of database theory, logics for knowledge representation, modal and temporal logics, type theory in programming, and verification of programs. Thus, the papers in this volume represent many interesting trends in logical foundations of Computer Science, ranging from purely theoretical research to practical applications of theory.

Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky,
USSR, July 3-8, 1989, Proceedings Albert R. Meyer, Michael A. Taitslin. A
mathematical modeling of pure, recursive algorithms Yiannis. N. Moschovakis*
Department of Mathematics, UCLA ...

Logic Programming '87

Proceedings of the 6th Conference Tokyo, Japan, June 22-24, 1987

This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings.

CHASSIS, FUJITSU LIMITED 140, Miyamoto, Numazu, Shizuoka 410-03, Japan
ABSTRACT This paper is concerned with an algorithm for identifying an unknown
regular language from examples of its members and non-members. The
algorithm is based on the model inference algorithm given by Shapiro. In our
setting, however, a given first order language for describing a target logic
program has countably many unary predicate symbols: qo, qi, q%, . . .. On the
other hand, the oracle ...

Functional and Constraint Logic Programming

18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Workshop on Functional and Constraint Logic Programming, WFLP 2009, held in Brasilia, Brazil, in June 2009 as part of RDP 2009, the Federated Conference on Rewriting, Deduction, and Programming. The 9 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 14 initial workshop contributions. The papers cover current research in all areas of functional and constraint logic programming including typical areas of interest, such as foundational issues, language design, implementation, transformation and analysis, software engineering, integration of paradigms, and applications.

This paper presents a taxonomy of some exact, right-to-left, string-matching
algorithms. The taxonomy is based on results obtained by using logic program
transformation over a naive and nondeterministic specification. A derivation of the
search part and some notes about the preprocessing part of each algorithm is
presented. The derivations show several design decisions behind each algorithm
, and allow us to organize the algorithms within a taxonomic tree, giving us a
better ...

Field-Programmable Logic and Applications

5th International Workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995. Proceedings

This volume constitutes the proceedings of the Fifth International Workshop on Field-Programmable Logic and Its Applications, FPL '95, held in Oxford, UK in August/September 1995. The volume presents 46 full revised papers carefully selected by the program committee from a large number and wide range of submissions. The papers document the progress achieved since the predecessor conference (see LNCS 849). They are organized in sections on architectures, platforms, tools, arithmetic and signal processing, embedded systems and other applications, and reconfigurable design and models.

The REDOC III algorithm for data ciphering is a potential replacement for DES.
This paper looks at ways of customising the algorithm to increase security without
reducing ciphering speed. Many valuable modifications are possible if
reconfigurable hardware is used.

The Nature of Computation: Logic, Algorithms, Applications

9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings

This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited lecture and 2 tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.

9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013
, Proceedings Paola Bonizzoni, Vasco Brattka, Benedikt Löwe. Analytic Root
Clustering: A Complete Algorithm Using Soft Zero Tests⋆ Chee Yap1,⋆⋆,
Michael Sagraloff2, and Vikram Sharma3 1 Courant Institute of Mathematical
Sciences, New York University, New York, NY 10012, U.S.A. ...