|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 31 occurrences of 30 keywords
|
|
|
Results
Found 72 publication records. Showing 72 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
78 | Paul Sjöberg |
Partial Approximation of the Master Equation by the Fokker-Planck Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing. State of the Art in Scientific Computing, 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers, pp. 637-646, 2006, Springer, 978-3-540-75754-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
68 | Yingqi Xu, Wang-Chien Lee, Gail Mitchell |
CME: A Contour Mapping Engine in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 17-20 June 2008, Beijing, China, pp. 133-140, 2008, IEEE Computer Society, 978-0-7695-3172-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
59 | S. Eliuk, Pierre Boulanger, K. Kabin |
SUNVIZ: A Real-Time Visualization Environment for Space Physics Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (2) ![In: Advances in Visual Computing, 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part II, pp. 1-11, 2008, Springer, 978-3-540-89645-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
59 | Panagiotis D. Bamidis, Maria M. Nikolaidou, Stathis Th. Konstantinidis, Costas Pappas |
A Proposed Framework for Accreditation of Online Continuing Medical Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 20th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2007), 20-22 June 2007, Maribor, Slovenia, pp. 693-700, 2007, IEEE Computer Society, 0-7695-2905-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
59 | Daniel K. C. So, Roger S. Cheng |
Iterative EM receiver for space-time coded systems in MIMO frequency-selective fading channels with channel gain and order estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 3(6), pp. 1928-1935, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
49 | Somnath Ghosh, Margaret Martonosi, Sharad Malik |
Automated cache optimizations using CME driven diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 14th international conference on Supercomputing, ICS 2000, Santa Fe, NM, USA, May 8-11, 2000, pp. 316-326, 2000, ACM, 1-58113-270-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Xi-lan Feng, Zhiquiang Jiang, Jinfa Shi, Xue-wen Zong |
Windows DNA-based Study on the Integrated Application of Manufacturing Information System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSCCS (2) ![In: Interdisciplinary and Multidisciplinary Research in Computer Science, IEEE CS Proceeding of the First International Multi-Symposium of Computer and Computational Sciences (IMSCCS|06), June 20-24, 2006, Zhejiang University, Hangzhou, China, Vol. 2, pp. 372-377, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Manufacturing Info System, Windows Distributed inter-Net Architecture (Windows DNA), Contemporary Manufacturing Enterprise (CME) |
39 | Julien Villemonteix, Emmanuel Vázquez, Maryan Sidorkiewicz, Eric Walter |
Global optimization of expensive-to-evaluate functions: an empirical comparison of two sampling criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 43(2-3), pp. 373-389, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Expected improvement, Global optimization, Kriging |
39 | Shev MacNamara, Kevin Burrage |
Krylov and steady-state techniques for the solution of the chemical master equation for the mitogen-activated protein kinase cascade. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 51(3), pp. 281-307, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 60H35, 65C40, 65F10, 65F50 |
39 | Jhong-Yu Shih, Wen-Jiin Tsai |
A new unequal error protection scheme based on FMO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings of the International Conference on Image Processing, ICIP 2008, October 12-15, 2008, San Diego, California, USA, pp. 3068-3071, 2008, IEEE, 978-1-4244-1765-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Marco Sacco, Claudia Redaelli, Carmen Constantinescu, Glyn Lawson, Mirabelle D'Cruz, Menelaos Pappas |
DiFac: Digital Factory for Human Oriented Production System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (4) ![In: Human-Computer Interaction. HCI Applications and Services, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV, pp. 1140-1149, 2007, Springer, 978-3-540-73109-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Digital Factory, Virtual Reality, Collaboration, Presence, Ergonomics |
39 | William H. Harrison, Harold Ossher, Stanley M. Sutton Jr., Peri L. Tarr |
Concern modeling in the concern manipulation environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-5, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Harini Ramaprasad, Frank Mueller 0001 |
Bounding Worst-Case Data Cache Behavior by Analytically Deriving Cache Reference Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 7-10 March 2005, San Francisco, CA, USA, pp. 148-157, 2005, IEEE Computer Society, 0-7695-2302-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | A. Dehghani, F. Shabani, Patricia Nava |
Off-Line Recognition of Isolated Persian Handwritten Characters Using Multiple Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC ![In: 2001 International Symposium on Information Technology (ITCC 2001), 2-4 April 2001, Las Vegas, NV, USA, pp. 506-510, 2001, IEEE Computer Society, 0-7695-1062-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
RPCT, CME, HMM, OCR |
29 | Teng Zhang, Fangyu Peng, Xiaowei Tang, Rong Yan, Runpeng Deng |
CME-EPC: A coarse-mechanism embedded error prediction and compensation framework for robot multi-condition tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics Comput. Integr. Manuf. ![In: Robotics Comput. Integr. Manuf. 86, pp. 102675, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
29 | Shunqiang Hu, Kejie Chen, Hai Zhu 0003, Tan Wang, Qian Zhao, Zhenyu Yang |
Potential Contributors to CME and Optimal Noise Model Analysis in the Chinese Region Based on Different HYDL Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 15(4), pp. 945, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | A. Chattopadhyay, Mofazzal Hossain Khondekar |
An investigation of the relationship between the CME and the Geomagnetic Storm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Astron. Comput. ![In: Astron. Comput. 43, pp. 100695, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Fengbin Lu, Hui Bu |
Impacts of CME Changing Mechanism for Allowing Negative Oil Prices on Prices and Trading Activities in the Crude Oil Futures Market. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Sci. Complex. ![In: J. Syst. Sci. Complex. 36(5), pp. 2001-2025, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Khalid A. Alobaid, Jason T. L. Wang |
Ensemble Learning for CME Arrival Time Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.00258, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Salah Al-Deen Almousa, Gábor Horváth 0002, Illés Antal Horváth, András Mészáros, Miklós Telek |
The CME method: Efficient numerical inverse Laplace transformation with Concentrated Matrix Exponential distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 49(4), pp. 29-34, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Dmitry Kazhdan, Botty Dimanov, Mateja Jamnik, Pietro Liò, Adrian Weller |
Now You See Me (CME): Concept-based Model Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.13233, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Dmitry Kazhdan, Botty Dimanov, Mateja Jamnik, Pietro Liò, Adrian Weller |
Now You See Me (CME): Concept-based Model Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM (Workshops) ![In: Proceedings of the CIKM 2020 Workshops co-located with 29th ACM International Conference on Information and Knowledge Management (CIKM 2020), Galway, Ireland, October 19-23, 2020., 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Toshiko Matsui, Lewis Gudgeon |
The Speculative (In)Efficiency of the CME Bitcoin Futures Market. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MARBLE ![In: 2nd International Conference on Mathematical Research for Blockchain Economy, MARBLE 2020, online, August 24, 2020, pp. 91-103, 2020, Springer, 978-3-030-53356-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe 0001, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács (eds.) |
Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
29 | Daniel Correa B., Fernando Arango Isaza, Raúl Mazo, Gloria Lucía Giraldo |
CME - A Web Application Framework Learning Technique Based on Concerns, Micro-Learning and Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering - 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings, pp. 17-32, 2018, Springer, 978-3-319-91661-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Jan Frederik Schaefer, Michael Kohlhase |
Syntactic/Semantic Analysis for High-Precision Math Linguistics (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Moritz Schubotz |
VMEXT2: A Visual Wikidata aware Content MathML Editor (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Tom Wiesing, Michael Kohlhase |
A Proposal for an OpenMath JSON Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Zoltán Kovács |
Advantages and Dangers on Utilizing GeoGebra Automated Reasoning Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Felix Petersen, Moritz Schubotz, Bela Gipp |
Towards Formula Translation using Recursive Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Sebastian Gutsche, Sebastian Posur, Øystein Skartsæterhagen |
On the Syntax and Semantics of CAP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Alberto Fiori, Claudio Sacerdoti Coen |
Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Walther Neuper |
Mechanical Explanation in "Systems that Explain Themselves". ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Christopher J. Sangwin |
High Stakes Automatic Assessments: Developing an Online Linear Algebra Examination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Karol Pak |
Progress in the Formalization of Matiyasevich's Theorem in the Mizar System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Slawomir Kolodynski |
IsarMathLib - a Formalized Mathematics Library for Isabelle/ZF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | François Bidet, Éric Goubault, Sylvie Putot |
Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Jonas Betzendahl |
Formal Languages for Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Adnan Rashid, Osman Hasan |
Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Moritz Schubotz |
Generating OpenMath Content Dictionaries from Wikidata (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Wolfgang Schreiner |
Logic as a Path to Enlightenment (Work in Progress Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Bruce R. Miller |
RFC: DLMF Content Dictionaries (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | André Greiner-Petter |
Automatic Mathematical Information Retrieval to Perform Translations up to Computer Algebra Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Hadi Zaatiti, Jean-Pierre Gallois, Lina Ye, Philippe Dague |
Automating Abstraction Computation of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Philipp Scharpf |
Formula Concept Discovery and Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Burak Ekici |
Towards Mac Lane's Comparison Theorem for the (co)Kleisli Construction in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Steffen Frerix, Peter Koepke |
Automatic Proof-Checking of Ordinary Mathematical Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Michael Junk, Stefan Hölle |
A Meta Language for Mathematical Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICM Workshops ![In: Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
29 | Ellen te Pas, Margreet Wieringa-de Waard, Bernadette Snijders Blok, Henny Pouw, Nynke van Dijk |
Didactic and technical considerations when developing e-learning and CME. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Educ. Inf. Technol. ![In: Educ. Inf. Technol. 21(5), pp. 991-1005, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Stefano Lanza, Simone Vallana, Cristina Baroglio |
CME: A Tool for Designing Business Models based on Commitment Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAI@AI*IA ![In: Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), Turin, Italy, December 5, 2013., pp. 51-57, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
29 | M. Cristina Mazzoleni, Carla Rognoni, Enrico Finozzi, Tommaso Gri, Marco Pagani, Marcello Imbriani |
E-Learning for Occupational Physicians' CME: a Study Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EFMI-STC ![In: e-Health Across Borders Without Boundaries - E-salus trans confinia sine finibus - Proceedings of the EFMI Special Topic Conference, EFMI-STC 2011, 14-15 April 2011, Laško, Slovenia, pp. 111-116, 2011, IOS Press, 978-1-60750-734-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | M. Cristina Mazzoleni, Carla Rognoni, Enrico Finozzi, Ines Giorgi, Marco Pagani, Marcello Imbriani |
Online CME Usage Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIE ![In: User Centered Networked Health Care - Proceedings of MIE 2011 - The XXIIIth International Congress of the European Federation for Medical Informatics, Oslo, Norway, August 28-31, 2011, pp. 238-242, 2011, IOS Press, 978-1-60750-805-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Minghua Wan, Zhihui Lai, Zhong Jin |
Feature Extraction Based on Class Mean Embedding (CME). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 20th International Conference on Pattern Recognition, ICPR 2010, Istanbul, Turkey, 23-26 August 2010, pp. 4174-4177, 2010, IEEE Computer Society, 978-0-7695-4109-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | M. Cristina Mazzoleni, Carla Rognoni, Enrico Finozzi, Mauro Landro, Edda Maria Capodaglio, Marcello Imbriani, Ines Giorgi |
Earnings in E-learning: Knowledge, CME credits or both? Hints from Analysis of Attendance Dynamics and Users' Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MedInfo ![In: MEDINFO 2010 - Proceedings of the 13th World Congress on Medical Informatics, Cape Town, South Africa, September 12-15, 2010, pp. 576-580, 2010, IOS Press, 978-1-60750-587-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Hideaki Yamada, Norihiro Fukumoto |
Speech Quality Transmitted by Circuit Multiplication Equipment Optimized for IP-Based Networks (IP-CME). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Commun. ![In: IEICE Trans. Commun. 89-B(2), pp. 490-499, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Mohammed Al-Kateb, Essam Mansour 0001, Mohamed E. El-Sharkawi |
CME: A Temporal Relational Model for Efficient Coalescing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA, pp. 83-90, 2005, IEEE Computer Society, 0-7695-2370-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Jun-Zhao Sun, Jari Tenhunen, Jaakko J. Sauvola |
CME: a middleware architecture for network-aware adaptive applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: Proceedings of the IEEE 14th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2003, 7-10 September 2003, Beijing, China, pp. 839-843, 2003, IEEE, 0-7803-7822-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Robert S. Kennedy |
Portable CME: Continuing Medical Education on Hand-held Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2001, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 3-7, 2001, 2001, AMIA. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
29 | Theodore B. Hoekman, Vernon Curran, Wayne Gulliver, Ian Landells, Chet Michalski |
Dermatology CME for Rural Physicians: Use of Hybrid CDROM /WWW Technologies to Deliver an Interactive Course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 1998, American Medical Informatics Association Annual Symposium, Lake Buena Vista, FL, USA, November 7-11, 1998, 1998, AMIA. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
29 | Theodore B. Hoekman, Chet Michalski, Vernon Curran, Wayne Gulliver, Ian Landells, Keith Wilson |
Educational Support for Rural Physicians: A Testbed for the Development of Mixed Media CME in Newfoundland. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 1997, American Medical Informatics Association Annual Symposium, Nashville, TN, USA, October 25-29, 1997, 1997, AMIA. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
29 | Robert Gross |
The CME Digital Synthesizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Proceedings of the 1975 International Computer Music Conference, ICMC 1975, Champaign/Urbana, Illinois, USA, 1975, 1975, Michigan Publishing. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP BibTeX RDF |
|
28 | Xi Chen 0002, Qi Fei, Wei Li 0086 |
Primary Research on Urban Mass Panic Based on Computational Methods for Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (3) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part III, pp. 1222-1229, 2009, Springer, 978-3-642-01512-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Computational Methods for Experiments (CME), Urban Mass Panic (UMP) |
28 | Charles E. Kahn, Amadeu Santos, Cheng Thao, Jayson J. Rock, Paul G. Nagy, Kevin C. Ehlers |
A Presentation System for Just-in-time Learning in Radiology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 20(1), pp. 6-16, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Just-in-time learning, continuing medical education (CME), radiology workflow, education, decision support, PACS, systems integration |
28 | Charles E. Kahn, Kevin C. Ehlers, Beverly P. Wood |
Radiologists' Preferences for Just-in-Time Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 19(3), pp. 202-206, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Continuing medical education (CME), radiology education, just-in-time learning, radiology workflow, systems integration, survey research |
20 | Norberto A. Goussies, Marta Mejail, Julio C. Jacobo, Guillermo Stenborg |
Detection of Coronal Mass Ejections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings of the International Conference on Image Processing, ICIP 2008, October 12-15, 2008, San Diego, California, USA, pp. 1065-1068, 2008, IEEE, 978-1-4244-1765-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Pascal Staccini, Sophie Vessiere, Stéphanie Jullien, Christophe Bordonado, Jean-François Quaranta, Patrice Roussel, Jean-Jacques Cabaud, Philippe Rouger |
Evaluation of Professional Practices in Transfusion Medicine: Design and Implementation of a Web-Based and Tutored ePortfolio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: Proceedings of the Twenty-First IEEE International Symposium on Computer-Based Medical Systems, June 17-19, 2008, Jyväskylä, Finland, pp. 430-433, 2008, IEEE Computer Society, 978-0-7695-3165-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Norberto A. Goussies, Marta Mejail, Julio C. Jacobo, Guillermo Stenborg |
Detection and Tracking of Coronal Mass Ejections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIARP ![In: Progress in Pattern Recognition, Image Analysis and Applications, 13th Iberoamerican Congress on Pattern Recognition, CIARP 2008, Havana, Cuba, September 9-12, 2008. Proceedings, pp. 716-723, 2008, Springer, 978-3-540-85919-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
CMEs, Textures, Level Sets, Region Competition |
20 | Harold Ossher |
Fundamentals of concern manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2007, Vancouver, British Columbia, Canada, March 13, 2007, pp. 1-4, 2007, ACM. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
software decomposition and composition, software queries, separation of concerns, aspect-oriented software development |
20 | Paolo D'Alberto, Alexandru Nicolau, Alexander V. Veidenbaum, Rajesh K. Gupta 0001 |
Line Size Adaptivity Analysis of Parameterized Loop Nests for Direct Mapped Data Cache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 54(2), pp. 185-197, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Cache-line size adaptivity, parameterized loop nests, interference, spatial locality |
20 | Nancy Doubleday, Steve Kurtz |
Shared extensible learning spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 5th Conference on Information Technology Education, SIGITE 2004, 2004, Salt Lake City, UT, USA, October 28-30, 2004, pp. 144-148, 2004, ACM, 1-58113-936-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
smart actors, simulation, visualization, active learning, emergence, agent-based modeling, constructivism, scaffolding, complex adaptive systems |
20 | Somnath Ghosh, Margaret Martonosi, Sharad Malik |
Precise Miss Analysis for Program Transformations with Caches of Arbitrary Associativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS-VIII Proceedings of the 8th International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, California, USA, October 3-7, 1998., pp. 228-239, 1998, ACM Press, 1-58113-107-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Marco Alfano, Rolf Sigle |
Controlling QoS in a Collaborative Multimedia Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), Syracuse, NY, USA, August 6-9, 1996., pp. 340-347, 1996, IEEE Computer Society, 0-8186-7582-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #72 of 72 (100 per page; Change: )
|
|