In this document, I briefly describe the projects that I am currently working on. More technical details may be found in my grant proposal to the National Science Foundation, which was approved, and may be found at: http://www.math.fsu.edu/~agashe/info.html. My past research is summarized in the document “Past research”, which may be found at the same website. My current research is in Arithmet...

4 Current Research 4 4.1 Database Format . . . . . . . . . . . . . . . . . . . . . . . . . . 5 4.2 Data Consolidation . . . . . . . . . . . . . . . . . . . . . . . . . 5 4.2.1 Optical Music Recognition . . . . . . . . . . . . . . . . . 6 4.2.2 MIDI Transcription . . . . . . . . . . . . . . . . . . . . . 6 4.2.3 Rhythm Quantization . . . . . . . . . . . . . . . . . . . 6 4.3 Audio Transcription ...

the present article studies and analyses plan and planning in iran with respect to parameters of the idea of formation, birth, objectives, strategy and its functioning. iran has half-a-century record of planning, and has implemented 7 constructional and developmental plans so far (5 plans before and 2 plans after the revolution). right now, iran is implementing her third developmental plan. two...

In this paper, we describe a methodology for reactively revising schedules in response to unexpected events. The approach is based on recognition of constraint conflicts in the existing schedule. Alternative scheduling actions, each offering selective advantages for conflict resolution, are available for resolving these conflicts. We present a model for action selection based on an analysis of ...

Autonomous agents usually plan their actions. Sometimes agents can autonomously construct their plans and just benefit from cooperation, and sometimes they cannot even do without using resources from another. We distinguish two ways to facilitate cooperation by using each others resources. With service-based plan coordination agents offer resources they can produce for others. With request-base...

My current main project concerns the study of the interaction between the theory of operads and genuine equivariant homotopy theory. Briefly, an operad (introduced by May in [13]) consists of a sequence Oˆn of sets/spaces of “n-ary operations” together with Σn-actions and suitable compositions. The main point of operad theory is then the study of the algebras over a fixed operad O, which are o...