Sebanyak 578 item atau buku ditemukan

Logic and Theory of Algorithms

4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, held in Athens, Greece, in June 2008. The 36 revised full papers presented together with 25 invited tutorials and lectures were carefully reviewed and selected from 108 submissions. Among them are papers of 6 special sessions entitled algorithms in the history of mathematics, formalising mathematics and extracting algorithms from proofs, higher-type recursion and applications, algorithmic game theory, quantum algorithms and complexity, and biology and computation.

We study the satisfiability problem for LTLACK and related decidability problem.
The key result is an algorithm which recognizes theorems of LTLACK (so we
show that LTLACK is decidable), which, as a consequence, also solves the
satisfiability problem. Technique is based on verification of validity for special
normal reduced forms of rules in models of double exponential in the size of rules
. Keywords: linear temporal logic, multi-agent logics,hybrid logics, re- lational
Kripke-Hintikka ...

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. ...

The 2015 UKM FST Postgraduate Colloquium

Proceedings of the Universiti Kebangsaan Malaysia, Faculty of Science and Technology 2015 Postgraduate Colloquium : Conference Date, 15-16 April 2015 : Location, Selangor, Malaysia

The 2013 UKM FST Postgraduate Colloquium

Proceedings of the Universiti Kebangsaan Malaysia, Faculty of Science and Technology 2013 Postgraduate Colloquium, Selangor, Malaysia, 3-4 July 2014. ...

The 2013 UKM FST Postgraduate Colloquium

Proceedings of the Universiti Kebangsaan Malaysia, Faculty of Science and Technology, 2013 Postgraduate Colloquium : [Selangor, Malaysia, 3-4 July 2013]

Persidangan Bersama Geosains UKM - ITB 2006

Geosains Dalam Pembangunan Eknolomi Dan Kesejahteraan Serantau, Hotel Bayview Langkawi, Kedah Darul Aman, Malaysia, 19-20 Disember 2006 : Buku Abstrak

The 2016 UKM FST Postgraduate Colloquium

Proceedings of the Universiti Kebangsaan Malaysia, Faculty of Science and Technology 2016 Postgraduate Colloquium : Conference Date, 13-14 April 2016 : Location, Selangor, Malaysia