Hasil Pencarian  ::  Simpan CSV :: Kembali

"Awarded the Frederick W. Lanchester Prize in 1994 for its valuable contributions to operations research and the management sciences, this mathematically rigorous book remains the standard reference on the linear complementarity problem."

"This book offers a discussion of Niels Bohr’s conception of “complementarity,” arguably his greatest contribution to physics and philosophy. By tracing Bohr’s work from his 1913 atomic theory to the introduction and then refinement of the idea of complementarity, and by explicating different meanings of “complementarity” in Bohr and the relationships between it and Bohr’s other concepts, the book aims to offer a contained and accessible, and yet sufficiently comprehensive account of Bohr’s work on complementarity and its significance."

"Salah satu dari masalah-masalah dominan pada komputasi biologi molekuler adalah penyejajaran barisan berganda (Multiple Sequence Alignment - MSA) dari DNA. Banyak metode yang telah diajukan untuk menyelesaikan masalah MSA seperti pemrograman dinamik dan heuristik. Satu metode telah diajukan oleh Althaus et al. untuk menyelesaikan masalah MSA yang didasarkan pada pemrograman linear bilangan bulat (Integer Linear Programming - ILP). Formulasi ILP umum dari masalah MSA diturunkan dari representasi graf dari masalah MSA. Walaupun formulasi ILP umum dari masalah MSA diketahui, membentuk model ILP dari suatu masalah MSA yang dapat diselesaikan langsung menggunakan suatu solver ILP tidaklah mudah. Sebuah program yang dapat membangun dan menyelesaikan model ILP dari sebuah masalah MSA menggunakan MATLAB telah dibuat. Metode yang digunakan untuk menyelesaikan model ILP tersebut adalah branch-and-bound. Program yang telah dibuat dapat menghasilkan model ILP dari sembarang masalah MSA yang diberikan tetapi hanya dapat menyelesaikan masalah MSA dari sejumlah kecil barisanbarisan DNA yang pendek. Hasil dari program tersebut adalah penejajaran barisan-barisan DNA dari masalah MSA yang diberikan.

---

One of the dominant problems in computational molecular biology is multiple sequence alignment (MSA) of DNA. Many methods have been proposed to solve MSA problem such as dynamic programming and heuristic. A method has been proposed by Althaus et al. to solve MSA problem which is based on integer linear programming (ILP). The general ILP formulation of the MSA is derived from the graph representation of the MSA problem. Although we have the general ILP formulation of the MSA problem, constructing the ILP model of an MSA that can be solved directly using an ILP solver is not straightforward. We develop a MATLAB program that can generate and solve the ILP model of an MSA problem. The method that is used to solve the ILP model is branch-and-bound. The constructed program can generate the ILP model of any given MSA problem but can only solve an MSA problem of a small number of short DNA sequences. The result of the program is the aligned sequences of the MSA problem."

"Lagrange multiplier theory provides a tool for the analysis of a general class of nonlinear variational problems and is the basis for developing efficient and powerful iterative methods for solving these problems. This comprehensive monograph analyzes Lagrange multiplier theory and shows its impact on the development of numerical algorithms for problems posed in a function space setting. The book is motivated by the idea that a full treatment of a variational problem in function spaces would not be complete without a discussion of infinite-dimensional analysis, proper discretization, and the relationship between the two.The authors develop and analyze efficient algorithms for constrained optimization and convex optimization problems based on the augumented Lagrangian concept and cover such topics as sensitivity analysis, convex optimization, second order methods, and shape sensitivity calculus. General theory is applied to challenging problems in optimal control of partial differential equations, image analysis, mechanical contact and friction problems, and American options for the Blackcholes model."

"Skripsi ini membahas mengenai penerapan prinsip komplementaritas sebagai salah satu prinsip esensial dalam Statuta Roma oleh Mahkamah Pidana Internasional dalam dua perkara di Libya yaitu perkara Saif al-Islam Gaddafi dan Abdullah al- Senussi. Kedua perkara ini ditangani oleh negara yang sama yaitu Libya, namun pada putusan akhirnya keduanya mendapatkan putusan yang berbeda. Libya dinyatakan tidak mampu dalam perkara Saif al-Islam Gaddafi sedangkan dalam perkara Abdullah al-Senussi, Libya dinyatakan mampu untuk mengadili perkara sehingga perkara tersebut dinyatakan tidak admissible. Hal ini menimbulkan pertanyaan mengapa sistem hukum yang sama dapat dianalisa menjadi dua kondisi yang berbeda dalam dua perkara tersebut. Untuk menjawab persoalan ini, Penulis menggunakan studi pustaka terhadap berbagai jenis data sekunder, Penulis menyimpulkan bahwa Mahkamah Pidana Internasional tidak konsisten dalam melakukan penilaian terhadap penerapan prinsip komplementaritas dalam dua perkara tersebut. Hal tersebut bersumber dari penilaian mengenai ketidakmampuan Libya berdasarkan Pasal 17 3 Statuta Roma.

---

This study discusses the implementation of the complementarity principle as one of the most essential principle established in the Rome Statute by the International Criminal Court in two cases in Libya, which are the case of Saif al Islam Gaddafi and Abdullah al Senussi. These cases were investigated by the same State which was Libya. However, on the final Decision the Court has rendered two substantially different rulings. Libya was declared unable to investigate the case of Saif al Gaddafi, whereas in the case of Abdullah al Senussi, Libya was declared able to investigate the case, rendering the case inadmissible before the Court. This condition raises the question of why the same national legal system can be analysed and described into two different conditions. The author concluded that the International Criminal Court has been inconsistent in analyzing the implementation of the complementarity principle in these cases. Such inconsistencies can be found in the Court rsquo s analysis regarding the inability of Libya to investigate or carry out a proceeding pursuant to Article 17 3 of the Rome Statute. "