282,062 Hits in 4.9 sec

The Expressive Power and Complexity of Dynamic Process Graphs [chapter]

Andreas Jakoby, Maciej LiŚkiewicz, Rüdiger Reischuk
2000 Lecture Notes in Computer Science  
A model for parallel and distributed programs, the dynamic process graph, is investigated under graph-theoretic and complexity aspects.  ...  It is appropriate in many situations, but its expressive power has not been known exactly. First, we investigate structural properties of the executions of such dynamic process graphs G.  ...  Thus, restricting the expressive power of this graph representation decreases the time complexity of parallel and distributed programs drastically.  ... 
doi:10.1007/3-540-40064-8_22 fatcat:t657avtnjbarnj55a7tdx3owee

Improving Control Efficiency of Dynamic Street Lighting by Utilizing the Dual Graph Grammar Concept

2018 Energies  
Benefits of applying the dual graph grammar are twofold. First, it increases expressive power of the mathematical model that the system uses.  ...  It becomes possible to take into account complex geographical distribution of sensors and logical dependencies among them.  ...  Acknowledgments: This research was supported by the AGH University of Science and Technology grant number  ... 
doi:10.3390/en11020402 fatcat:gqiggh6fvjfcnbcpguio6medfu

Towards a Framework for Cyber Attack Impact Analysis of the Electric Smart Grid

Deepa Kundur, Xianyong Feng, Shan Liu, Takis Zourntos, Karen L. Butler-Purry
2010 2010 First IEEE International Conference on Smart Grid Communications  
Each node of the graph has associated state information that is governed by dynamical system equations that model the physics of the interaction (for electrical grid components) or functionality (for cyber  ...  We focus on the model synthesis stage in which both cyber and physical grid entity relationships are modeled as directed graphs.  ...  The complexity of processing is dependent on graph size (i.e., number of nodes), graph connectivity (related to number of links) and the particular dynamics (related to its order) used to model the nodes  ... 
doi:10.1109/smartgrid.2010.5622049 fatcat:ir5ubl2vybdprd5ibzhptxozna

SPNConverter: a new link between static and dynamic complex network analysis

J. E. Dent, X. Yang, C. Nardini
2013 Bioinformatics  
, a step that is prone to error and limits the use of the SPN simulator in BioLayout Express 3D .  ...  analyzing the dynamics of large-scale cellular networks.  ...  The described SPN simulator has since been adopted, and adapted, for use in BioLayout Express 3D , a powerful tool for the visualization and analysis of network graphs (Freeman et al., 2007) .  ... 
doi:10.1093/bioinformatics/btt421 pmid:23908262 fatcat:nhe55xad5fbetbj7r2ygpvhp64

Microscopic activity patterns in the naming game

Luca Dall'Asta, Andrea Baronchelli
2006 Journal of Physics A: Mathematical and General  
In this perspective, the statistical features of the number of states collected by the agents becomes a relevant quantity to understand the dynamics of the model, and the influence of topological properties  ...  of the system (e.g. average and fluctuations of the degree).  ...  Acknowledgments The authors thank A. Barrat and V. Loreto for many useful discussions. L.D. is partially supported by the EU under contract 001907 (DELIS).  ... 
doi:10.1088/0305-4470/39/48/002 fatcat:z6yywc25wbf2vhln5on2mhvp5a

Beyond Pairwise Interactions: Higher-Order Dynamics in Protein Interaction Networks [article]

Kevin A. Murgas, Emil Saucan, Romeil Sandhu
2022 bioRxiv   pre-print
AbstractProtein interactions form a complex dynamic system that shapes cell phenotype and function; in this regard, network analysis is a powerful tool for studying the dynamics of cellular processes.  ...  We compare this approach to a graph-based model and a differential gene expression approach.  ...  A: Log-log plot of edge-degree distribution with linear fit of power law signature. The edge-degree distribution is identical for the 1D graph and 2D simplicial complex.  ... 
doi:10.1101/2022.05.03.490479 fatcat:ufd6ncgbxnblnh6fmhqlrb7uuq

Page 4406 of Mathematical Reviews Vol. , Issue 2002F [page]

2002 Mathematical Reviews  
of dynamic process graphs.  ...  It is appropriate in many situations, but its expressive power has not been known exactly. First, we investigate structural properties of the executions of such a dynamic process graph Y.  ... 

Prospects for Declarative Mathematical Modeling of Complex Biological Systems

Eric Mjolsness
2019 Bulletin of Mathematical Biology  
Multiscale modeling can benefit from both the expressive power of declarative modeling languages and the application of model reduction methods to link models across scale.  ...  The potential advantages are particularly relevant in the case of developmental modeling, wherein complex spatial structures exhibit dynamics at molecular, cellular, and organogenic levels to relate genotype  ...  The author wishes to acknowledge the hospitality of the Sainsbury Laboratory Cambridge University, and the Center for Nonlinear Studies of the Los Alamos National Laboratory, and funding from the Leverhulme  ... 
doi:10.1007/s11538-019-00628-7 pmid:31175549 pmcid:PMC6677696 fatcat:yunoa5cehfbpzdweig532hhi6m

Book announcements

1993 Discrete Applied Mathematics  
Pre-and post-processing. The configuration of a hardware machine. Concurrent processing re-examined. Chapter 10: A Lazy Graph Reduction Engine. The implementation of lazy graph reductions.  ...  Arithmetic formulas and expressions). Summary of our results. Chapter 3: The Power oflnteraction with One Prover. Proof systems for # P (Arithmetizing of # P. Proof systems for # P).  ... 
doi:10.1016/0166-218x(93)90109-2 fatcat:selkadhvzrfs5mcrv2jqauh5wm

Logic-based Binding Time Analysis for Java Using Reaching Definitions

Susumu Yamazaki, Takayuki Kando, Michihiro Matsumoto, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda
2005 IPSJ Digital Courier  
Although some possible reasons exist for the problem, this paper focuses on the problems of instructiondependent processes.  ...  Therefore, not only does the code size of the specializer get larger, but maintainability and reliability are also degraded.  ...  We are grateful to Etsuya Shibayama in Tokyo Institute of Technology and Hidehiko Masuhara in Tokyo University for many helpful comments and stimulating discussions.  ... 
doi:10.2197/ipsjdc.1.128 fatcat:xkfpydhq6vdj3hvjsyv2niu4vq

Circuits, Logic and Games (Dagstuhl Seminar 15401)

Mikolaj Bojanczyk, Meena Mahajan, Thomas Schwentick, Heribert Vollmer, Marc Herbstritt
2016 Dagstuhl Reports  
complexity and circuit lower bounds inherently using methods from logic and algebra Proof systems with low circuit complexity Dynamic complexity: understanding the dynamic expressive power of small depth  ...  Over the years, there has been a lot of interplay between circuit complexity and logic.  ...  In this talk I introduced the dynamic complexity framework and discussed recent work on understanding the limits of expressive power of small dynamic complexity classes.  ... 
doi:10.4230/dagrep.5.9.105 dblp:journals/dagstuhl-reports/BojanczykMSV15 fatcat:pv6oxt7lnvhkbczugwxmvumdxq

An Automated Data Processing Pipeline for Virus Structure Determination at High Resolution

Chen Yu, Dan C. Marinescu, John P. Morrison, Brian C. Clayton, David A. Power
2007 2007 IEEE International Parallel and Distributed Processing Symposium  
This paper dissects some of the most difficult problems posed by the dynamic coordination of complex computational tasks in a large scale distributed data acquisition and analysis system.  ...  The interaction between the data collection process and the theoretical modeling and computer simulation is very complex; routine tasks are mixed with decision making processes and unforeseen conditions  ...  The topmost level CG expression of a complex task could consist of one or more nodes providing a very high level description of the task.  ... 
doi:10.1109/ipdps.2007.370452 dblp:conf/ipps/YuMMCP07 fatcat:yqbwxi2ajrhcllodgyigag5m5u

In-depth measurement and analysis on densification power law of software execution

Yu Qu, Qinghua Zheng, Ting Liu, Jian Li, Xiaohong Guan
2014 Proceedings of the 5th International Workshop on Emerging Trends in Software Metrics - WETSoM 2014  
In this paper, Densification Power Law (DPL) of software execution is measured and studied as a feature of growing software complexity.  ...  We believe the universality of DPL makes it an appropriate metric for software execution process.  ...  process of dynamic Call Graph over time.  ... 
doi:10.1145/2593868.2593878 dblp:conf/icse/QuZLLG14 fatcat:igp2gv2ct5e7hbeonzp7ch4isi

Challenges on Probabilistic Modeling for Evolving Networks [article]

Jianguo Ding, Pascal Bouvry
2013 arXiv   pre-print
With the emerging of new networks, such as wireless sensor networks, vehicle networks, P2P networks, cloud computing, mobile Internet, or social networks, the network dynamics and complexity expands from  ...  Due to the complexity of emerging networks, it is not always possible to build precise models in modeling and optimization (local and global) for networks.  ...  Power Law Random Graphs Random graphs can date back to the work of Erdős and Rényi for the theory of random graphs [12] .  ... 
arXiv:1304.7820v2 fatcat:qvtskgtvpvh2npqbyjlghyu774

Adaptive multicore scheduling for the LTE uplink

Maxime Pelcat, Jean-Francois Nezan, Slaheddine Aridhi
2010 2010 NASA/ESA Conference on Adaptive Hardware and Systems  
To solve the issue of the dynamic deployment while maintaining low latency, one approach would be to find efficient on-the-fly solutions using techniques such as graph generation and scheduling.  ...  We show that the static approach is not suitable for the LTE uplink and that present DSP cores are powerful enough to recompute an efficient adaptive schedule for the LTE uplink most complex cases in real-time  ...  Experimental results are given in Section 4 that show the suitability of the technique in terms of computational power, memory and schedule quality, even in the LTE most complex cases.  ... 
doi:10.1109/ahs.2010.5546233 dblp:conf/ahs/PelcatNA10 fatcat:b34rsu4evzddfeblviy3ey4pgi
« Previous Showing results 1 — 15 out of 282,062 results