9,253 results
Search Results
2. Statistical Atlases and Computational Models of the Heart. Regular and CMRxMotion Challenge Papers : 13th International Workshop, STACOM 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Revised Selected Papers
3. Theory and Applications of Formal Argumentation : Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers
4. Evaluation of Novel Approaches to Software Engineering : 8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013. Revised Selected Papers
5. Combinatorial Algorithms : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013. Revised Selected Papers
6. Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
7. Advances in Model and Data Engineering in the Digitalization Era : MEDI 2022 Short Papers and DETECT 2022 Workshop Papers, Cairo, Egypt, November 21–24, 2022, Proceedings
8. Foundational and Practical Aspects of Resource Analysis : Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
9. Practical Aspects of Design Science : European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers
10. Large-Scale Scientific Computing : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers
11. Evaluation of Novel Approaches to Software Engineering : 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers
12. Metadata and Semantic Research : 17th Research Conference, MTSR 2023, Milan, Italy, October 25–27, 2023, Revised Selected Papers
13. Enterprise Information Systems : 25th International Conference, ICEIS 2023, Prague, Czech Republic, April 24–26, 2023, Revised Selected Papers, Part I
14. Metaheuristics and Nature Inspired Computing : 9th International Conference, META 2023, Marrakech, Morocco, November 1–4, 2023, Revised Selected Papers
15. Bio-Inspired Computing: Theories and Applications : 18th International Conference, BIC-TA 2023, Changsha, China, December 15–17, 2023, Revised Selected Papers, Part II
16. Bio-Inspired Computing: Theories and Applications : 18th International Conference, BIC-TA 2023, Changsha, China, December 15–17, 2023, Revised Selected Papers, Part I
17. Intelligence Computation and Applications : 14th International Symposium, ISICA 2023, Guangzhou, China, November 18–19, 2023, Revised Selected Papers, Part II
18. Active Inference : 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13–15, 2023, Revised Selected Papers
19. Explainable and Transparent AI and Multi-Agent Systems : 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6–10, 2024, Revised Selected Papers
20. Information Technologies and Mathematical Modelling. Queueing Theory and Applications : 22nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, Tomsk, Russia, December 4–9, 2023, Revised Selected Papers
21. Distributed Computer and Communication Networks : 26th International Conference, DCCN 2023, Moscow, Russia, September 25–29, 2023, Revised Selected Papers
22. Distributed Computer and Communication Networks: Control, Computation, Communications : 26th International Conference, DCCN 2023, Moscow, Russia, September 25–29, 2023, Revised Selected Papers
23. ELECTRIMACS 2022 : Selected Papers – Volume 2
24. Engineering Multi-Agent Systems : 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6–7, 2024, Revised Selected Papers
25. Artificial Intelligence and Image Analysis : 18th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2024, and 22nd International Workshop on Combinatorial Image Analysis, IWCIA 2024, Fort Lauderdale, FL, USA, January 8–10, 2024, Revised Selected Papers
26. Recent Advances in Next-Generation Data Science : Third Southwest Data Science Conference, SDSC 2024, Waco, TX, USA, March 22, 2024, Revised Selected Papers
27. Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers
28. High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production : 13th International Conference, HPCST 2023, Barnaul, Russia, May 19–20, 2023, Revised Selected Papers
29. Dynamic Logic. New Trends and Applications : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers
30. Graph Drawing and Network Visualization : 31st International Symposium, GD 2023, Isola Delle Femmine, Palermo, Italy, September 20–22, 2023, Revised Selected Papers, Part II
31. Tools and Methods of Program Analysis : 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers
32. Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers
33. Rewriting Logic and Its Applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers
34. Agents and Artificial Intelligence : 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22–24, 2023, Revised Selected Papers
35. Mathematical Modeling and Supercomputer Technologies : 23rd International Conference, MMST 2023, Nizhny Novgorod, Russia, November 13–16, 2023, Revised Selected Papers
36. Intelligence Computation and Applications : 14th International Symposium, ISICA 2023, Guangzhou, China, November 18–19, 2023, Revised Selected Papers, Part I
37. Graph Drawing and Network Visualization : 31st International Symposium, GD 2023, Isola Delle Femmine, Palermo, Italy, September 20–22, 2023, Revised Selected Papers, Part I
38. Distributed Computer and Communication Networks : 25th International Conference, DCCN 2022, Moscow, Russia, September 26–29, 2022, Revised Selected Papers
39. Computational Linguistics and Intelligent Text Processing : 20th International Conference, CICLing 2019, La Rochelle, France, April 7–13, 2019, Revised Selected Papers, Part I
40. Graph Drawing and Network Visualization : 30th International Symposium, GD 2022, Tokyo, Japan, September 13–16, 2022, Revised Selected Papers
41. Artificial Intelligence and Natural Language : 11th Conference, AINL 2022, Saint Petersburg, Russia, April 14–15, 2022, Revised Selected Papers
42. Arithmetic of Finite Fields : 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 – September 2, 2022, Revised Selected Papers
43. Explainable and Transparent AI and Multi-Agent Systems : 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023, Revised Selected Papers
44. Metadata and Semantic Research : 16th Research Conference, MTSR 2022, London, UK, November 7–11, 2022, Revised Selected Papers
45. Active Inference : Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers
46. Artificial Intelligence: Theories and Applications : First International Conference, ICAITA 2022, Mascara, Algeria, November 7–8, 2022, Revised Selected Papers
47. Algorithmic Aspects of Cloud Computing : 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers
48. Engineering Multi-Agent Systems : 11th International Workshop, EMAS 2023, London, UK, May 29–30, 2023, Revised Selected Papers
49. Artificial Life and Evolutionary Computation : 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15–17, 2021, Revised Selected Papers
50. Mathematical Optimization Theory and Operations Research: Recent Trends : 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2–8, 2023, Revised Selected Papers
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.