Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
95 | Bin He 0001, Kevin Chen-Chuan Chang |
Automatic complex schema matching across Web query interfaces: A correlation mining approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 31(1), pp. 346-395, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
bagging predictors, Data integration, ensemble, schema matching, deep Web, correlation mining |
95 | Kamran Sedig, Maria M. Klawe, Marvin Westrom |
Role of interface manipulation style and scaffolding on cognition and concept learning in learnware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 8(1), pp. 34-59, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
learnware, transformation geometry, human-computer interaction, learning, education, reflection, problem solving, direct manipulation, cognition |
79 | Charles Elkan |
Clustering documents with an exponential-family approximation of the Dirichlet compound multinomial distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Twenty-Third International Conference (ICML 2006), Pittsburgh, Pennsylvania, USA, June 25-29, 2006, pp. 289-296, 2006, ACM, 1-59593-383-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
79 | Charles Elkan |
Deriving TF-IDF as a Fisher Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIRE ![In: String Processing and Information Retrieval, 12th International Conference, SPIRE 2005, Buenos Aires, Argentina, November 2-4, 2005, Proceedings, pp. 295-300, 2005, Springer, 3-540-29740-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
79 | Rasmus Elsborg Madsen, David Kauchak, Charles Elkan |
Modeling word burstiness using the Dirichlet distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Twenty-Second International Conference (ICML 2005), Bonn, Germany, August 7-11, 2005, pp. 545-552, 2005, ACM, 1-59593-180-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
63 | Zuobing Xu, Ram Akella |
A new probabilistic retrieval model based on the dirichlet compound multinomial distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2008, Singapore, July 20-24, 2008, pp. 427-434, 2008, ACM, 978-1-60558-164-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
probabilistic retrieval model, language model, dirichlet distribution, multinomial distribution |
63 | A. Prasad Vinod 0001, Ankita Singla, Chip-Hong Chang |
Improved differential coefficients-based low power FIR filters. Part I. Fundamentals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
63 | A. Prasad Vinod 0001, Chip-Hong Chang, Pramod Kumar Meher, Ankita Singla |
Low Power FIR Filter Realization using Minimal Difference Coefficients: Part I - Complexity Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS ![In: IEEE Asia Pacific Conference on Circuits and Systems 2006, APCCAS 2006, Singapore, 4-7 December 2006, pp. 1547-1550, 2006, IEEE, 1-4244-0387-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
63 | Norihiro Ishikawa, Hironori Fujiwara, Hidetoshi Ueno, Hideharu Suzuki, Osamu Takahashi |
Domain Constrained Multicast: A New Approach for IP Multicast Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 27(2-4), pp. 207-227, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Internet, TCP/IP, multicast routing, IP multicast |
63 | Hyokyung Bahn, Sam H. Noh |
Characterization of Web Reference Behavior Revisited: Evidence for Dichotomized Cache Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOIN ![In: Information Networking, Networking Technologies for Enhanced Internet Services International Conference, ICOIN 2003, Cheju Island, Korea, February 12-14, 2003, Revised Selected Papers, pp. 1018-1027, 2003, Springer, 3-540-40827-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
61 | Sigvat Eide, Terje Kristensen, Yngve Lamo |
A model for dynamic content based e-learning systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EATIS ![In: Proceedings of the 2008 Euro American conference on Telematics and Information Systems, EATIS 2008, Aracaju, Brazil, September 10-12, 2008, 2008, 978-1-59593-988-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
DCM, learning map, student map, knowledge map |
51 | Sinisa Srbljic, Dalibor F. Vrsalovic, Ivan Skuliber |
Analytical Performance Prediction of WWW Distributed Cache Management (DCM) Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 22nd International Conference on Distributed Computing Systems, Workshops (ICDCSW '02) July 2-5, 2002, Vienna, Austria, Proceedings, pp. 812-819, 2002, IEEE Computer Society, 0-7695-1588-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
48 | Ching-Nung Yang, Chi-Sung Laih |
DCm Codes for Constructing t-EC/AUED Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 47(4), pp. 492, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Descending tail matrix, DCm codes, unidirectional errors, balanced codes |
47 | W. John Wilbur, Won Kim 0003 |
The ineffectiveness of within-document term frequency in text classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Retr. ![In: Inf. Retr. 12(5), pp. 509-525, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Within-document frequency, Word burstiness, Bag-of-words |
47 | Hongliang Guo, Yan Meng |
Dynamic correlation matrix based multi-Q learning for a multi-robot system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 840-845, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Mohammad Firouzmand, Laurent Girin |
Long-term flexible 2D cepstral modeling of speech spectral amplitudes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 3937-3940, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Baijayanta Ray, P. K. Venkataraghavan, Sriram Balasubramanian |
Equalization for Multiband OFDM based UWB Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 65th IEEE Vehicular Technology Conference, VTC Spring 2007, 22-25 April 2007, Dublin, Ireland, pp. 3081-3085, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Ching-Ting Tu, Jenn-Jier James Lien |
Facial Occlusion Reconstruction: Recovering Both the Global Structure and the Local Detailed Texture Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSIVT ![In: Advances in Image and Video Technology, Second Pacific Rim Symposium, PSIVT 2007, Santiago, Chile, December 17-19, 2007, Proceedings, pp. 141-151, 2007, Springer, 978-3-540-77128-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Facial reconstruction, facial synthesis, facial occlusion, eigenspace |
47 | Paul Kemppi, Sami Nousiainen |
Database Correlation Method for Multi-System Positioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 63rd IEEE Vehicular Technology Conference, VTC Spring 2006, 7-10 May 2006, Melbourne, Australia, pp. 866-870, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Gianluca Antonini, Matteo Sorci, Michel Bierlaire, Jean-Philippe Thiran |
Discrete Choice Models for Static Facial Expression Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIVS ![In: Advanced Concepts for Intelligent Vision Systems, 8th International Conference, ACIVS 2006, Antwerp, Belgium, September 18-21, 2006, Proceedings, pp. 710-721, 2006, Springer, 3-540-44630-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
47 | A. Prasad Vinod 0001, Chip-Hong Chang, Pramod Kumar Meher, Ankita Singla |
Low Power FIR Filter Realization Using Minimal Difference Coefficients: Part II - Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS ![In: IEEE Asia Pacific Conference on Circuits and Systems 2006, APCCAS 2006, Singapore, 4-7 December 2006, pp. 1551-1554, 2006, IEEE, 1-4244-0387-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Archana Sekhar, B. S. Manoj 0001, C. Siva Ram Murthy |
Dynamic Coverage Maintenance Algorithms for Sensor Networks with Limited Mobility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom ![In: 3rd IEEE International Conference on Pervasive Computing and Communications (PerCom 2005), 8-12 March 2005, Kauai Island, HI, USA, pp. 51-60, 2005, IEEE Computer Society, 0-7695-2299-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Haipeng Ren, Chunfeng Jin, Tamotsu Ninomiya |
Low-frequency bifurcation behaviors of PFC converter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 2827-2830, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Drew Guckenberger, Kevin T. Kornegay |
Integrated DC-DC converter design for improved WCDMA power amplifier efficiency in SiGe BiCMOS technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2003 International Symposium on Low Power Electronics and Design, 2003, Seoul, Korea, August 25-27, 2003, pp. 449-454, 2003, ACM, 1-58113-682-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
CCM-DCM, W-switching, power amplifier, efficiency, WCDMA, DC-DC converter |
43 | César A. Muñoz, Jorge A. Pérez 0001 (eds.) |
Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
43 | Ugo Dal Lago, Russ Harmer (eds.) |
Proceedings Tenth International Workshop on Developments in Computational Models, DCM 2014, Vienna, Austria, 13th July 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Pawel Sobocinski 0001 |
Compositional model checking of concurrent systems, with Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015., pp. 19-30, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Mauricio Ayala-Rincón |
Formalising Confluence in PVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015., pp. 11-17, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Adrien Basso-Blandin, Walter Fontana, Russ Harmer |
A knowledge representation meta-model for rule-based modelling of signalling networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015., pp. 47-59, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Edward Hermann Haeusler |
Finiteness and Computation in Toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015., pp. 61-77, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Pablo Arrighi, Gilles Dowek |
Free fall and cellular automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015., pp. 1-10, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Mahdi Amani, Abbas Nowzari-Dalini |
Generation, Ranking and Unranking of Ordered Trees with Degree Bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015., pp. 31-45, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Mauricio Toro, Anna Philippou, Sair Arboleda, María Puerta, Carlos M. Vélez S. |
Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015., pp. 79-94, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
43 | Mauricio Ayala-Rincón, Eduardo Bonelli, Ian Mackie (eds.) |
Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
43 | Benedikt Löwe, Glynn Winskel (eds.) |
Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
43 | Nachum Dershowitz, Evgenia Falkovich |
Cellular Automata are Generic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Tenth International Workshop on Developments in Computational Models, DCM 2014, Vienna, Austria, 13th July 2014., pp. 17-32, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
43 | Edward Hermann Haeusler |
Propositional Logics Complexity and the Sub-Formula Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Tenth International Workshop on Developments in Computational Models, DCM 2014, Vienna, Austria, 13th July 2014., pp. 1-16, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
43 | Wolfram Kahl |
A Simple Parallel Implementation of Interaction Nets in Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Tenth International Workshop on Developments in Computational Models, DCM 2014, Vienna, Austria, 13th July 2014., pp. 33-47, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
43 | Carlos Alberto Ramírez Restrepo, Jorge A. Pérez 0001, Jesús Aranda, Juan Francisco Díaz |
Towards Formal Interaction-Based Models of Grid Computing Infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013., pp. 57-72, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
43 | Adriana B. Compagnoni, Paola Giannini, Catherine Kim, Matthew Milideo, Vishakha Sharma 0001 |
A Calculus of Located Entities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013., pp. 41-56, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
43 | Marcela Quispe-Cruz, Edward Hermann Haeusler, Lew Gordeev |
Proof-graphs for Minimal Implicational Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013., pp. 16-29, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
43 | Pablo Arrighi, Simon Martiel, Zizhu Wang |
Causal Dynamics of Discrete Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013., pp. 30-40, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
43 | Alejandro Díaz-Caro, Gilles Dowek |
The probability of non-confluent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013., pp. 1-15, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
43 | Mario R. F. Benevides, Isaque Lima 0001, Rafael Nader, Pedro Rougemont |
Using HMM in Strategic Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013., pp. 73-84, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
43 | Aleks Kissinger, Alex Merry, Matvey Soloviev |
Pattern Graph Rewrite Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012., pp. 54-66, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
43 | Abeer S. Al-Humaimeedy, Maribel Fernández |
General dynamic recovery for compensating CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012., pp. 3-16, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
43 | Benedek Nagy, Sándor Vályi |
Computing discrete logarithm by interval-valued paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012., pp. 76-86, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
43 | Ed Blakey |
Ray tracing - computing the incomputable? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012., pp. 32-40, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
43 | Elvira Mayordomo |
Effective dimension in some general metric spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012., pp. 67-75, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
43 | Arno Pauly, Matthew de Brecht |
Non-deterministic computation and the Jayne-Rogers Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012., pp. 87-96, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
43 | Miklós Bartha |
Quantum Turing automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012., pp. 17-31, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
43 | Eugen Jiresch |
Towards a GPU-based implementation of interaction nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012., pp. 41-53, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
43 | Sam Sanders |
Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012., pp. 97-109, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
43 | Elham Kashefi, Jean Krivine, Femke van Raamsdonk (eds.) |
Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
43 | Ali Assaf 0002, Simon Perdrix |
Completeness of algebraic CPS simulations ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011., pp. 16-27, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
43 | Nachum Dershowitz, Evgenia Falkovich |
A Formalization and Proof of the Extended Church-Turing Thesis -Extended Abstract- ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011., pp. 72-78, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
43 | Manfred Kudlek |
On the Existence of Universal Finite or Pushdown Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011., pp. 79-86, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
43 | Nachum Dershowitz |
The Generic Model of Computation ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011., pp. 59-71, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
43 | Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron |
Subject reduction in a Curry-style polymorphic type system with a vectorial structure ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011., pp. 1-15, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
43 | Michael W. Mislove |
Probabilistic Monads, Domains and Classical Information ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011., pp. 87-100, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
43 | David Balduzzi |
On the information-theoretic structure of distributed measurements ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011., pp. 28-42, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
43 | Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina |
A Calculus of Looping Sequences with Local Rules ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011., pp. 43-58, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
43 | S. Barry Cooper, Prakash Panangaden, Elham Kashefi (eds.) |
Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Janet Anders, Saroosh Shabbir, Stefanie Hilt, Eric Lutz |
Landauer's principle in the quantum domain ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010., pp. 13-18, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Miklós Bartha |
Turing Automata and Graph Machines ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010., pp. 19-31, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Bas Spitters |
The space of measurement outcomes as a spectrum for non-commutative algebras ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010., pp. 127-133, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | James Cheney |
Causality and the Semantics of Provenance ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010., pp. 63-74, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Vincent Danos, Nicolas Oury |
Equilibrium and Termination ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010., pp. 75-84, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Luca Cardelli |
Two-Domain DNA Strand Displacement ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010., pp. 47-61, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Alastair A. Abbott, Cristian S. Calude |
Understanding the Quantum Computational Speed-up via De-quantisation ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010., pp. 1-12, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Germán Terrazas, Dario Landa-Silva, Natalio Krasnogor |
Towards the Design of Heuristics by Means of Self-Assembly ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010., pp. 135-146, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Dominik F. Floess, Erika Andersson, Mark Hillery |
Quantum algorithms for testing Boolean functions ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010., pp. 101-108, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Akihito Soeda, Mio Murao |
Classification of delocalization power of global unitary operations in terms of LOCC one-piece relocalization ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010., pp. 117-126, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Lucas Dixon, Ross Duncan, Aleks Kissinger |
Open Graphs and Computational Reasoning ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010., pp. 169-180, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Benoît Valiron |
Semantics of a Typed Algebraic Lambda-Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010., pp. 147-158, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Arthur Steven Younger, Emmett Redd |
Computing by Means of Physics-Based Optical Neural Networks ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010., pp. 159-167, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Abolfazl Bayat, Pasquale Sodano, Sougato Bose |
Engineering Long Range Distance Independent Entanglement through Kondo Impurities in Spin Chains ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010., pp. 33-46, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Vedran Dunjko, Elham Kashefi |
Algebraic characterisation of one-way patterns ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010., pp. 85-100, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | Damian Markham, Janet Anders, Michal Hajdusek, Vlatko Vedral |
Measurement Based Quantum Computation on Fractal Lattices ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010., pp. 109-115, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
43 | S. Barry Cooper, Vincent Danos (eds.) |
Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Amin Coja-Oghlan |
Random Constraint Satisfaction Problems ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009., pp. 32-37, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Elham Kashefi, Damian Markham, Mehdi Mhalla, Simon Perdrix |
Information Flow in Secret Sharing Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009., pp. 87-97, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Luca Bernardinello, Lucia Pomello, Stefania Rombolà |
Orthomodular Lattices Induced by the Concurrency Relation ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009., pp. 12-21, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina |
A Type System for Required/Excluded Elements in CLS ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009., pp. 38-48, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Paola Bonizzoni, Clelia de Felice, Rosalba Zizza |
Circular Languages Generated by Complete Splicing Systems and Pure Unitary Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009., pp. 22-31, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Stefan Leijnen, Liane Gabora |
How Creative Should Creators Be To Optimize the Evolution of Ideas? A Computational Model ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009., pp. 108-119, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Martin Fürer |
Deterministic Autopoietic Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009., pp. 49-53, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Russ Harmer |
Rule-based Modelling and Tunable Resolution ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009., pp. 65-72, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Walid Gomaa 0001 |
Characterizing Polynomial Time Computability of Rational and Real Functions ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009., pp. 54-64, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Zoran Konkoli |
Diffusion Controlled Reactions, Fluctuation Dominated Kinetics, and Living Cell Biochemistry ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009., pp. 98-107, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Ozan Kahramanogullari, Luca Cardelli, Emmanuelle Caron |
An Intuitive Automated Modelling Interface for Systems Biology ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009., pp. 73-86, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Farid M. Ablayev, Alexander Vasiliev |
Algorithms for Quantum Branching Programs Based on Fingerprinting ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009., pp. 1-11, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Michele Pagani, Sandra Alves (eds.) |
Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM/ITRS ![The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Pawel Parys |
Intersection Types for Unboundedness Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM/ITRS ![In: Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018., pp. 7-27, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Olivier Laurent 0001 |
Intersection Subtyping with Constructors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM/ITRS ![In: Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018., pp. 73-84, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Joseph Razavi, Andrea Schalk |
A Category Theoretic Interpretation of Gandy's Principles for Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM/ITRS ![In: Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018., pp. 85-92, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Giulio Guerrieri |
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM/ITRS ![In: Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018., pp. 57-72, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Federico Aschieri |
Natural Deduction and Normalization Proofs for the Intersection Type Discipline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM/ITRS ![In: Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018., pp. 29-37, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Paola Giannini, Marco Servetto, Elena Zucca |
A Syntactic Model of Mutation and Aliasing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM/ITRS ![In: Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018., pp. 39-55, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger (eds.) |
Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, QPL/DCM@ICALP 2008, Reykjavik, Iceland, July 12-13, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
QPL/DCM@ICALP ![Elsevier The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|