04649nam 22008175 450 99646605140331620200706134010.01-280-30701-397866103070123-540-25925-210.1007/b95712(CKB)1000000000016825(DE-He213)978-3-540-25925-1(SSID)ssj0000244065(PQKBManifestationID)11226858(PQKBTitleCode)TC0000244065(PQKBWorkID)10164986(PQKB)10423065(MiAaPQ)EBC3087663(PPN)155186418(EXLCZ)99100000000001682520121227d2004 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierSemirings for Soft Constraint Solving and Programming[electronic resource] /by Stefano Bistarelli1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (XII, 284 p.) Lecture Notes in Computer Science,0302-9743 ;2962Bibliographic Level Mode of Issuance: Monograph3-540-21181-0 Includes bibliographical references.1. Introduction -- 2. Soft Constraint Satisfaction Problems -- 3. Towards SCSPs Solutions -- 4. SCSP Abstraction -- 5. Higher Order Semiring-Based Constraints -- 6. Soft CLP -- 7. SCLP and Generalized Shortest Path Problems -- 8. Soft Concurrent Constraint Programming -- 9. Interchangeability in Soft CSPs -- 10. SCSPs for Modelling Attacks to Security Protocols -- 11. Conclusions and Directions for Future Work.Constraint satisfaction and constraint programming have shown to be very simple but powerful ideas, with applications in various areas. Still, in the last ten years, the simple notion of constraints has shown some deficiencies concerning both theory and practice, typically in the way over-constrained problems and preferences are treated. For this reason, the notion of soft constraints has been introduced with semiring-based soft constraints and valued constraints being the two main general frameworks. This book includes formal definitions and properties of semiring-based soft constraints, as well as their use within constraint logic programming and concurrent constraint programming. Moreover, the author shows how to adapt existing notions and techniques such as abstraction and interchangeability to the soft constraint framework and it is demonstrated how soft constraints can be used in some application areas, such as security. Overall, this book is a great starting point for anyone interested in understanding the basics of semiring-based soft constraints.Lecture Notes in Computer Science,0302-9743 ;2962AlgebraProgramming languages (Electronic computers)Computer programmingSoftware engineeringComputer logicArtificial intelligenceAlgebrahttps://scigraph.springernature.com/ontologies/product-market-codes/M11000Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Algebra.Programming languages (Electronic computers).Computer programming.Software engineering.Computer logic.Artificial intelligence.Algebra.Programming Languages, Compilers, Interpreters.Programming Techniques.Software Engineering.Logics and Meanings of Programs.Artificial Intelligence.005.1/1Bistarelli Stefanoauthttp://id.loc.gov/vocabulary/relators/aut600492MiAaPQMiAaPQMiAaPQBOOK996466051403316Semirings for soft constraint solving and programming1023382UNISA02089nlm 2200277 a 450 99648986050331620221013122522.00-19-986801-820070409d2008---- uy 0engUSdrcnuHonored by the glory of Islamconversion and conquest in Ottoman EuropeMarc David BaerOxfordOxford University Press2008Testo elettronico (PDF) (X, 332 p.)ill.Base dati testualeIn questo lavoro, Marc David Baer propone un nuovo approccio alla documentazione storica delle conversioni islamiche durante l'età ottomana e raccoglie nuove intuizioni sulla natura della conversione religiosa stessa. Piuttosto che spiegare l'islamizzazione ottomana in termini di motivazioni dei convertiti, Baer si concentra invece sui proselitisti, in questo caso nientemeno che lo stesso sultano. Mehmed IV (1648-87) è ricordato come un sovrano distaccato il cui governo inefficace portò al disastroso assedio di Vienna. Attraverso una lettura integrata di archivi ottomani e testi letterari precedentemente non esaminati, Baer riesamina i fallimenti di Mehmed IV come sovrano, sottolineando lo zelo del sultano nel portare i convertiti all'Islam. Come espressione della sua dedizione all'Islam, Mehmed ha cercato attivamente di stabilire la sua reputazione di creatore di conversioni, convincendo o costringendo i sudditi cristiani ed ebrei a essere "onorati dalla gloria dell'Islam" e i sudditi musulmani a rivolgersi alla pietà islamica. Rivedendo la rappresentazione convenzionale di un sovrano così distratto dalla sua passione per la caccia da trascurare gli affari di stato, Baer mostra che Mehmed IV considerava la conversione al centro del suo ruolo di sultano.CristianiConversione all'IslamismoSec. 17.BNCF297.574BAER,Marc David517490ITcbaREICAT996489860503316EBERHonored by the glory of Islam1749668UNISA