Loading...
Search for:
temporal-networks
0.003 seconds
Using satisfiability for non-optimal temporal planning
, Article Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; Volume 7519 Lnai , 2012 , Pages 176-188 ; 03029743 (ISSN) ; 9783642333521 (ISBN) ; Mahjoob, A ; Ghassem-Sani, G ; Sharif University of Technology
Springer
2012
Abstract
AI planning is one of the research fields that has benefited from employing satisfiability checking methods. These methods have been proved to be very effective in finding optimal plans for both classical and temporal planning. It is also known that by using planning-based heuristic information in solving SAT formulae, one can develop SAT-based planners that are competitive with state-of-the-art non-optimal planners in classical planning domains. However, using satisfiability for non-optimal temporal planning has not been investigated so far. The main difficulty in using satisfiability in temporal planning is the representation of time, which is a continuous concept. Previously introduced...
A complete state-space based temporal planner
, Article Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI, 7 November 2011 through 9 November 2011, Boca Raton, FL ; 2011 , Pages 297-304 ; 10823409 (ISSN) ; 9780769545967 (ISBN) ; Ghassem Sani, G ; Sharif University of Technology
Abstract
Since that heuristic state space planners have been very successful in classical planning, this approach is currently the most popular strategy in dealing with temporal planning, too. However, all current state-space temporal planners use a search method known as decision epoch planning, which is not complete for problems with required concurrency. In theory, this flaw can be overcome by employing another search method, called temporally lifted progression planning. In this paper, we show that there are two major problems which, if not tackled properly, can cause the latter method to be very inefficient in practice. The first problem is dealing with the remarkably large state space of...
Effects of Temporal Correlations on Co-infection
, M.Sc. Thesis Sharif University of Technology ; Ejtehadi, Mohammad Reza (Supervisor) ; Ghanbarnejad, Fakhteh (Co-Supervisor)
Abstract
SIS and SIR are common models for describing and predicting the epidemics of the contagious diseases. But these models fail to predict patterns of spreading dynamics in the case of co-infective diseases, i.e. getting infected by one disease, alters the chance of getting infected by the other one. Coinfection has been studied in the mean field approximation and on complex networks with different topologies. Another study shows temporal correlations of the underlying transmission network, play role on co-infection dynamics.In this research we investigate the effects of various temporal correlation on epidemic order parameters of independent infection and co-infection.For this purpose, we...
Investigating time-varying functional connectivity derived from the Jackknife Correlation method for distinguishing between emotions in fMRI data
, Article Cognitive Neurodynamics ; Volume 14, Issue 4 , 2020 , Pages 457-471 ; Farahani, N ; Fatemizadeh, E ; Motie Nasrabadi, A ; Sharif University of Technology
Springer
2020
Abstract
Investigating human brain activity during expressing emotional states provides deep insight into complex cognitive functions and neurological correlations inside the brain. To be able to resemble the brain function in the best manner, a complex and natural stimulus should be applied as well, the method used for data analysis should have fewer assumptions, simplifications, and parameter adjustment. In this study, we examined a functional magnetic resonance imaging dataset obtained during an emotional audio-movie stimulus associated with human life. We used Jackknife Correlation (JC) method to derive a representation of time-varying functional connectivity. We applied different binary measures...