Asad Q. Ahmed - Böcker
Visar alla böcker från författaren Asad Q. Ahmed. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Del 5 - Berkeley Series in Postclassical Islamic Scholarship
Palimpsests of Themselves
Logic and Commentary in Postclassical Muslim South Asia
Häftad, Engelska, 2022
282 kr
Skickas inom 7-10 vardagar
A free open access ebook is available upon publication. Learn more at www.luminosoa.org.Palimpsests of Themselves is an intervention in current discussions about the fate of philosophy in postclassical Islamic intellectual history. Asad Q. Ahmed uses as a case study the most advanced logic textbook of Muslim South Asia, The Ladder of the Sciences, presenting in English its first full translation and extended commentary. He offers detailed assessments of the technical contributions of the work, explores the social and institutional settings of the vast commentarial response it elicited, and develops a theory of the philosophical commentary that is internal to the tradition. These approaches to the commentarial text complicate presuppositions upon which questions of Islam’s intellectual decline are erected. As such, Ahmed offers a unique and powerful opportunity to understand the transmission of knowledge across the Islamic world.
694 kr
Skickas inom 10-15 vardagar
This book describes an accurate analysis technique for energy systems based on formal methods—computer-based mathematical logic techniques for the specification, validation, and verification of the systems.Correctness and accuracy of the financial, operational, and implementation analysis are of the paramount importance for the materialization of the future energy systems, such as smart grids, to achieve the objectives of cost-effectiveness, efficiency, and quality-of-service. In this regard, the book develops formal theories of microeconomics, asymptotic, and stability to support the formal analysis of generation and distribution cost, smart operations, and processing of energy in a smart grid. These formal theories are also employed to formally verify the cost and utility modeling for: Energy generation and distribution;Asymptotic bounds for online scheduling algorithms for plug-in electric vehicles; andStability ofthe power converters for wind turbines. The proposed approach results in mechanized proofs for the specification, validation, and verification of corresponding smart grid problems. The formal mathematical theories developed can be applied to the formal analysis of several other hardware and software systems as well, making this book of interest to researchers and practicing engineers in a variety of power electronic fields.
Del 114 - Islamic History and Civilization
Islamic Cultures, Islamic Contexts
Essays in Honor of Professor Patricia Crone
Inbunden, Engelska, 2014
4 213 kr
Skickas inom 5-8 vardagar
This volume brings together articles on various aspects of the intellectual and social histories of Islamicate societies and of the traditions and contexts that contributed to their formation and evolution. Written by leading scholars who span three generations and who cover such diverse fields as Late Antique Studies, Islamic Studies, Classics, and Jewish Studies, the volume is a testament to the breadth and to the sustained, deep impact of the corpus of the honoree, Professor Patricia Crone.Contributors are: David Abulafia, Asad Q. Ahmed, Karen Bauer, Michael Cooperson, Hannah Cotton, David M. Eisenberg, Khaled El-Rouayheb, Matthew S. Gordon, Gerald Hawting, Judith Herrin, Robert Hoyland, Bella Tendler Krieger, Margaret Larkin, Maria Mavroudi, Christopher Melchert, Pavel Pavlovitch, David Powers, Chase Robinson, Behnam Sadeghi, Adam Silverstein, Devin Stewart, Guy Stroumsa, D. G. Tor, Kevin van Bladel, David J. Wasserstein, Chris Wickam, Joseph Witztum, F. W. Zimmermann