3,944 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
Get PDFThis 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
The wireless network design problem
Get PDFThe wireless network design problem (WNDP) considers how best to place a set of antennas so the antennas can send and receive the maximum possible amount of data subject to network-performance constraints (e.g., channel-availability constraints). To date, little research has considered how to choose the network-antenna layout that maximizes throughput under these conditions. Also, past research has mainly investigated networks with omnidirectional antennas only, not other types of antennas. A bi-level mixed-integer program is constructed to solve this problem using a cutting-plane approach. The data produced from this model demonstrate an extension of the WNDP under more realistic conditions than have been simulated previously. The questions answered by this research are as follows: (1) what are the effects on network throughput of utilizing directional or sectored antennas instead of omnidirectional antennas, and (2) what is the maximum possible throughput when imposing constraints related to differing interference types and channel availability
Author Correction: Smartphone‑based device for point‑of‑care diagnostics of pulmonary infammation using convolutional neural networks (CNNs)
Get PDFCorrection 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
Botnet detection using graph based feature clustering
Get PDFDetecting botnets in a network is crucial because bot-activities impact numerous areas such as security, finance, health care, and law enforcement. Most existing rule and flow-based detection methods may not be capable of detecting bot-activities in an efficient manner. Hence, designing a robust botnet-detection method is of high significance. In this study, we propose a botnet-detection methodology based on graph-based features. Self-Organizing Map is applied to establish the clusters of nodes in the network based on these features. Our method is capable of isolating bots in small clusters while containing most normal nodes in the big-clusters. A filtering procedure is also developed to further enhance the algorithm efficiency by removing inactive nodes from bot detection. The methodology is verified using real-world CTU-13 and ISCX botnet datasets and benchmarked against classification-based detection methods. The results show that our proposed method can efficiently detect the bots despite their varying behaviors
- …
