4,386 research outputs found
The investigation, design and implementation of a hierarchical mixed-mode simulator
No full textIn principle a mixed-mode simulator allows simultaneous simulation of a circuit at different levels of abstraction in order to reduce the cost of simulation. This project involves the investigation, design and implementation of a hierarchical mixed-mode simulator. A hierarchical logic simulator is designed and coupled with the hierarchical circuit simulator HOMICIDES as one package. This includes issues such as the overall simulator architecture, the representation of signals and scheduling activity. Various factors such as the transformation of signal across the boundaries, the interface macromodels and the data structures required to be used were investigated and implemented. The experimental results obtained using the mixed-mode simulator show that quite accurate results can be obtained and a substantial amount of simulation time can be saved.</p
Clupisoma naziri Mirza & Awan 1973
No full text<i>Clupisoma naziri</i> Mirza & Awan, 1973 [N]—Indus garua <p> <b>Taxonomy.</b> Original description: <i>Clupisoma naziri</i> Mirza & Awan, 1973: 152, fig. 2 [Indus River at Jinnah Barrage, Pakistan; holotype: GCM No. 10].— Afghanistan synonyms: None.—Revisions: Jayaram (2006: 128).— Illustration: Mirza & Awan (1973: fig. 2).</p> <p> <b>Status in Afghanistan.</b> First listed by (1981: 15; 2014: 330) as possible distributed species in Kabul River.— Afghanistan materials: None.</p> <p> <b>Distribution and habitat.</b> Distribution in Afghanistan: Kabul River.—General distribution: Indus River basin, Pakistan.—Habitat: This species occurs primarily in rivers (and sometimes in lakes) in sub-mountainous areas. It is potamodromous, migrating upstream in May–August in the lower reaches, and then in winter it migrates back downstream, covering large distances. It is a carnivorous species that feeds on aquatic insects and mollusks. Freshwater.</p> <p> <b>Economic importance.</b> No commercial importance.</p> <p> <b>Conservation.</b> Conservation status in Afghanistan: Unknown.—IUCN: NT (Ahmad <i>et al.</i> 2022).—Threats: FIT, CON, ABS, HAB, EUT.—Moderate sensitivity to human activities.—Not considered as a keystone species.— Decline status: Decreasing.—Moderate priority for conservation action.</p>Published as part of <i>Çiçek, Erdoğan, Fricke, Ronald, Eagderi, Soheil, Sungur, Sevil, Coad, Brian W & Hamdard, Mohammad Hamid, 2023, Fishes of Afghanistan; a revised and updated annotated checklist, pp. 1-69 in Zootaxa 5305 (1)</i> on pages 37-38, DOI: 10.11646/zootaxa.5305.1.1, <a href="http://zenodo.org/record/8048564">http://zenodo.org/record/8048564</a>
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
Machine Learning-Enabled Power Scheduling in IoT-Based Smart Cities
No full textRecent advancements in hardware and communication technologies have enabled worldwide interconnection using the internet of things (IoT). The IoT is the backbone of smart city applications such as smart grids and green energy management. In smart cities, the IoT devices are used for linking power, price, energy, and demand information for smart homes and home energy management (HEM) in the smart grids. In complex smart grid-connected systems, power scheduling and secure dispatch of information are the main research challenge. These challenges can be resolved through various machine learning techniques and data analytics. In this paper, we have proposed a particle swarm optimization based machine learning algorithm known as a collaborative execute-before-after dependency-based requirement, for the smart grid. The proposed collaborative execute-before-after dependency-based requirement algorithm works in two phases, analysis and assessment of the requirements of end-users and power distribution companies. In the first phases, a fixed load is adjusted over a period of 24 h, and in the second phase, a randomly produced population load for 90 days is evaluated using particle swarm optimization. The simulation results demonstrate that the proposed algorithm performed better in terms of percentage cost reduction, peak to average ratio, and power variance mean ratio than particle swarm optimization and inclined block rate. © 2021 Tech Science Press. All rights reserved.1
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
- …
