Sciweavers

8719 search results - page 146 / 1744
» A Categorical Approach to Simulations
Sort
View
FOIS
2006
15 years 3 months ago
Formalizing Ontology Alignment and its Operations with Category Theory
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the te...
Antoine Zimmermann, Markus Krötzsch, Jé...
BMCBI
2008
128views more  BMCBI 2008»
15 years 1 months ago
An efficient visualization tool for the analysis of protein mutation matrices
Background: It is useful to develop a tool that would effectively describe protein mutation matrices specifically geared towards the identification of mutations that produce eithe...
Maria Pamela C. David, Carlo M. Lapid, Vincent Ric...
RSA
2010
94views more  RSA 2010»
15 years 1 days ago
Word maps and spectra of random graph lifts
We study here the spectra of random lifts of graphs. Let G be a finite connected graph, and let the infinite tree T be its universal cover space. If λ1 and ρ are the spectral ...
Nati Linial, Doron Puder
AOSD
2012
ACM
13 years 9 months ago
A monadic interpretation of execution levels and exceptions for AOP
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...
Nicolas Tabareau
ISCIS
2003
Springer
15 years 6 months ago
Implementing Agent Communication for a Multi-agent Simulation Infrastructure on HLA
Abstract. Multi-agent simulation is gaining popularity due to its intuitiveness and ability in coping with domain complexity. HLA, being a distributed simulation architecture stand...
Erek Göktürk, Faruk Polat