3,899 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
Recommended from our members
Data-Driven Modeling for Minimizing the Side-Channel Information Leakage in Additive Manufacturing
Full text linkCyber-physical additive manufacturing systems consists of tight integration of cyber and physical domains. This results in new cross-domain vulnerabilities that poses unique security challenges. One of the challenges is preventing confidentiality breach due to physical-to-cyber domain attacks, where attackers can use physical analog emissions to steal the cyber-domain information. This information theft is based on the idea that an attacker can accurately estimate the relation between the analog emissions (acoustics, power, electromagnetic emissions, etc.,) and the cyber-domain data (such as G-code). To obstruct this estimation process, it is crucial to generate computer aided manufacturing tools, such as slicing and tool-path generation algorithms, that are aware of these information leakage. In this thesis, we present a novel methodology that uses mutual information as a metric to quantize the information leakage from the side-channels, and demonstrates how various design variables (such as object orientation, nozzle velocity, etc.,) can be used in an optimization algorithm to minimize the information leakage. Our methodology integrates this leakage aware algorithms to the state-of-the-art slicing tools and achieves 24.76% average drop in the information leakage through acoustic side-channel. To the best of our knowledge, this is the first work that demonstrates the idea of generating information leakage aware computer aided manufacturing tools for protecting the confidentiality of the manufacturing system
Recommended from our members
Data-Driven Modeling and Analysis for Trustworthy Cyber-Physical Systems
Full text linkIn the age of digitization, a layer of cyber software sits on a hardware circuit and controls the physical systems around us. The tight integration of cyber and physical components is referred to as Cyber-Physical Systems (CPS). The interactions between cyber and physical components brings unique challenges which traditional modeling tools struggle to resolve. Remarkably, they often fail to model the unintentional physical manifestation of cyber-domain information flows (side-channel signals), resulting in trust issues in the system.This thesis takes a data-driven approach to model CPS behavior when exposed to various information flows. First, we demonstrate how to extract valuable cyber-domain information by recording the acoustic noise generated by a DNA synthesizer. Then, we consider an integrated circuit as a CPS by itself and monitor the chip through electromagnetic and power side-channels to detect hardware Trojans (HT) in the chip.HT is a malicious modification of the hardware implementation of a circuit design which may lead to various security issues over the life-cycle of a chip. One of the major challenges for HT detection is its reliance on a trusted reference chip (a.k.a golden chip). However, in practice, manufacturing a golden chip is costly and often considered infeasible. This thesis investigates a creative neural network design and training methodology which eliminates the need for a golden chip. Furthermore, it proposes using hierarchical temporal memory (HTM) as a data-driven approach which can be updated over the chip's life-cycle and uses that for run-time HT detection
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
- …
