3,875 research outputs found
Mathematics, Logic, and their Philosophies:Essays in Honour of Mohammad Ardeshir
No full textThis volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. The third category contains papers on Avicenna’s logic and philosophy.Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community
Mathematics, Logic, and their Philosophies:Essays in Honour of Mohammad Ardeshir
No full textThis volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. The third category contains papers on Avicenna’s logic and philosophy.Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community
Mathematics, Logic, and their Philosophies:Essays in Honour of Mohammad Ardeshir
No full textThis volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. The third category contains papers on Avicenna’s logic and philosophy.Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community
Mathematics, Logic, and their Philosophies:Essays in Honour of Mohammad Ardeshir
No full textThis volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. The third category contains papers on Avicenna’s logic and philosophy.Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community
Mathematics, Logic, and their Philosophies:Essays in Honour of Mohammad Ardeshir
No full textThis volume is a collection of essays in honour of Professor Mohammad Ardeshir. It examines topics which, in one way or another, are connected to the various aspects of his multidisciplinary research interests. Based on this criterion, the book is divided into three general categories. The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic. The second category is made up of papers discussing issues in the contemporary philosophy of mathematics and logic. The third category contains papers on Avicenna’s logic and philosophy.Mohammad Ardeshir is a full professor of mathematical logic at the Department of Mathematical Sciences, Sharif University of Technology, Tehran, Iran, where he has taught generations of students for around a quarter century. Mohammad Ardeshir is known in the first place for his prominent works in basic logic and constructive mathematics. His areas of interest are however much broader and include topics in intuitionistic philosophy of mathematics and Arabic philosophy of logic and mathematics. In addition to numerous research articles in leading international journals, Ardeshir is the author of a highly praised Persian textbook in mathematical logic. Partly through his writings and translations, the school of mathematical intuitionism was introduced to the Iranian academic community
'Fatherless' of Mohammad Mosavat: The cultural event of the Iranian spring
No full textThe following is a psychoanalytic commentary about a play recently performed in Tehran (Iran) followed by an interview with its author, Mohammad Mosavat. The co-signatories both attended a performance of this play. Invited by Shahid Behesti, Alzahra, and Shiraz Universities for many public lectures and supervisions, the French psychoanalyst Jean-Luc Vannier signs the commentary while the interview and the translation were conducted by the Iranian psychoanalyst in training at the Freudian Group of Tehran, Mahyar Ali Naghi
RoMEO Studies 4: An analysis of Journal publishers' Copyright Agreements
Full text linkThis article is the fourth in a series of six emanating from the UK JISC-funded RoMEO Project (Rights Metadata for Open archiving). It describes an analysis of 80 scholarly journal publishers’ copyright agreements with a particular view to their effect on author self-archiving. 90% of agreements asked for copyright transfer and 69% asked for it prior to refereeing the paper. 75% asked authors to warrant that their work had not been previously published although only two explicitly stated that they viewed self-archiving as prior publication. 28.5% of agreements provided authors with no usage rights over their own paper. Although 42.5% allowed self-archiving in some format, there was no consensus on the conditions under which self-archiving could take place. The article concludes that author-publisher copyright agreements should be reconsidered by a working party representing the needs of both partie
Making a Web-Based Service Request Management System Application at The Financial and Development Supervisory Agency (BPKP)
No full textA company can store data quickly and securely using a computerized system rather than a manual one. The increasingly innovative and diverse development of technology today, and the difficulty of containing its development, makes all aspects of today's business dependent on computerized aspects that are integrated with the world of technology and informatics. Web-based information systems in Indonesia are increasingly being felt in supporting daily activities, both economic and non-economic. The Financial and Development Supervisory Agency (BPKP) requires a good network and server monitoring system to maintain the availability and performance of IT services. The problem faced is the lack of real-time visibility into the condition of the IT infrastructure, which can hinder early detection of system disruptions or anomalies. This study aims to design and implement a network and server monitoring system using Zabbix as an open-source solution that is able to monitor performance, availability, and provide automatic notifications when failures occur. The methods used include literature review, needs analysis, system architecture design, implementation of Zabbix Server and Agent, and system testing in the BPKP environment. The implementation results demonstrated that Zabbix was capable of providing comprehensive data visualization, real-time monitoring, and an effective alert system. In conclusion, the implementation of Zabbix successfully increased the efficiency of IT infrastructure management at BPKP and can serve as the basis for developing broader monitoring for all BPKP representatives
Author Correction: Smartphone‑based device for point‑of‑care diagnostics of pulmonary infammation using convolutional neural networks (CNNs)
Full text linkCorrection to: Scientific Reportshttps://doi.org/10.1038/s41598-024-54939-4, published online 22 March 2024 The original version of this Article contained an error in the author name S. Mohammad-Reza Taheri which was incorrectly given as Seyed Mohammad Reza Taheri. In addition, an affiliation was omitted for S. Mohammad-Reza Taheri. The correct affiliations for S. Mohammad-Reza Taheri are listed below. Groningen University, University Medical Center groningen, Antonius Deusinglaan 1, 9713AW Groningen, the Netherlands. Condensed Matter National Laboratory, Institute for Research in Fundamental Sciences (IPM), Tehran, Iran. Moreover, Hossein Simaee was incorrectly affiliated with ‘Institute of Biochemistry and Biophysics, University of Tehran, Tehran 1417614335, Iran’ and ‘Integrated Biophysics and Bioengineering Lab (iBL), Institute of Biochemistry and Biophysics, University of Tehran, Tehran 1417614335, Iran’. The correct affiliation for Hossein Simaee is listed below. Cardiac Primary Prevention Research Center, Cardiovascular Diseases Research Institute, Tehran University of Medical Sciences, Tehran, Iran. The original Article has been corrected.</p
MOHAMMAD NATSIR: DARI PEMIKIRAN POLITIK KE PEMIKIRAN SOSIAL
Full text linkTerdapat banyak tokoh Islam yang berpengaruh di besar dalam perkembangan sosial dan politik di Indonesia, salah satu di antaranya adalah Mohammad Natsir. Melalui sudut pandangan sosiologi pengetahuan, penelitian ini mengkaji secara sosiologis tentang proses transformasi pemikiran Mohammad Natsir dari pemikiran politik ke pemikiran sosial. Tujuan dari penelitian ini adalah untuk melihat konteks sosiologis dari pemikiran Mohammad Natsir. Selain itu, penelitian ini juga bertujuan untuk melihat relevansi pemikiran Mohammad Natsir dalam konteks perkembangan sosial dan politik di Indonesia saat ini.
Metode yang digunakan dalam penelitian ini adalah metode penelitian kualitatif dengan pendekatan studi kepustakaan (library research). Teknik pengumpulan data yang dilakukan penulis adalah dengan menggunakan data-data primer langsung melalui buku-buku yang langsung ditulis oleh Mohammad Natsir. Teknik olah data yang dipergunakan penulis dalam penelitian ini ialah dengan menggunakan analisa deskriptif melalui pendekatan isi (content analysis).
Berdasarkan hasil penelitian, penulis menemukan adanya keterkaitan antara eksistensi gagasan politik dan sosial Mohammad Natsir, pengaruh pembentukan pemikirannya, dan konteks sosialnya sebagai aktor dalam merespon setiap peristiwa sejarah. Hal ini menunjukkan bahwa semakin bermacam relasi sosial yang ia bangun, serta berbagai peristiwa sejarah yang terjadi, ternyata mampu melahirkan gagasan yang beragam pula sesuai dengan konteks sosialnya. Penelitian ini juga menunjukkan adanya relevansi dari pemikiran Mohammad Natsir dengan perkembangan sosial dan politik di Indonesia saat ini, sehingga diharapkan peneltian ini berguna secara akademis maupun secara praksis.
There are many influential Islamic figures at large in social and political development in Indonesia, one of whom is Mohammad Natsir. From the standpoint of the sociology of knowledge, this study examines sociologically the process of transforming Mohammad Natsir's thought from political thought to social thought. The purpose of this study is to look at the sociological context of the thoughts of Mohammad Natsir. In addition, this study also aims to look at the relevance of Mohammad Natsir's thoughts in the context of current social and political developments in Indonesia.
The method used in this study is a qualitative research method with a library research approach. The data collection technique used by the author is to use primary data directly through books directly written by Mohammad Natsir. The data processing technique used by the author in this study is to use descriptive analysis through a content analysis approach.
Based on the results of the study, the authors found a link between the existence of Mohammad Natsir's political and social thoughts, the influence of his thought formation, and his social context as actor in responding to every historical event. This shows that the more various social relations that he built, as well as various historical events that occurred, were able to produce thoughts that are also diverse in accordance with their social context. This research also shows the relevance of Mohammad Natsir's thought with social and political developments in Indonesia today, so it is hoped that this research will be useful academically and practically
- …
