Search Results for Logic design. - Narrowed by: Computer vision. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002bdesign.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bvision.$002509Computer$002bvision.$0026te$003dILS$0026ps$003d300? 2024-11-14T03:07:12Z Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399961 2024-11-14T03:07:12Z 2024-11-14T03:07:12Z Author&#160;Knoll, Florian. editor. (orcid)0000-0001-5357-8656&#160;Maier, Andreas. editor. (orcid)0000-0002-9550-5284&#160;Rueckert, Daniel. editor. (orcid)0000-0002-5683-5889&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00129-2">https://doi.org/10.1007/978-3-030-00129-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399024 2024-11-14T03:07:12Z 2024-11-14T03:07:12Z Author&#160;Qiu, Meikang. editor. (orcid)0000-0002-1004-0140&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05764-0">https://doi.org/10.1007/978-3-030-05764-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13&ndash;14, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400065 2024-11-14T03:07:12Z 2024-11-14T03:07:12Z Author&#160;Li, Lian. editor.&#160;Lu, Pinyan. editor.&#160;He, Kun. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-2712-4">https://doi.org/10.1007/978-981-13-2712-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399871 2024-11-14T03:07:12Z 2024-11-14T03:07:12Z Author&#160;Doty, David. editor. (orcid)0000-0002-3922-172X&#160;Dietz, Hendrik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00030-1">https://doi.org/10.1007/978-3-030-00030-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 &ndash; December 1, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400307 2024-11-14T03:07:12Z 2024-11-14T03:07:12Z Author&#160;Zhang, Feng. editor. (orcid)0000-0003-1983-7321&#160;Zhai, Jidong. editor.&#160;Snir, Marc. editor.&#160;Jin, Hai. editor.&#160;Kasahara, Hironori. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-05677-3">https://doi.org/10.1007/978-3-030-05677-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334105 2024-11-14T03:07:12Z 2024-11-14T03:07:12Z Author&#160;Lodaya, Kamal. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334105.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36039-8">http://dx.doi.org/10.1007/978-3-642-36039-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Logics Essays in Memory of Harald Ganzinger ent://SD_ILS/0/SD_ILS:334468 2024-11-14T03:07:12Z 2024-11-14T03:07:12Z Author&#160;Voronkov, Andrei. editor.&#160;Weidenbach, Christoph. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334468.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-37651-1">http://dx.doi.org/10.1007/978-3-642-37651-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197361 2024-11-14T03:07:12Z 2024-11-14T03:07:12Z Author&#160;Cerro, Luis Fari&ntilde;as. editor.&#160;Herzig, Andreas. editor.&#160;Mengin, J&eacute;r&ocirc;me. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33353-8">http://dx.doi.org/10.1007/978-3-642-33353-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196754 2024-11-14T03:07:12Z 2024-11-14T03:07:12Z Author&#160;Clarke, Edmund. editor.&#160;Virbitskaite, Irina. editor.&#160;Voronkov, Andrei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29709-0">http://dx.doi.org/10.1007/978-3-642-29709-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197048 2024-11-14T03:07:12Z 2024-11-14T03:07:12Z Author&#160;B&eacute;chet, Denis. editor.&#160;Dikovsky, Alexander. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31262-5">http://dx.doi.org/10.1007/978-3-642-31262-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings ent://SD_ILS/0/SD_ILS:195055 2024-11-14T03:07:12Z 2024-11-14T03:07:12Z Author&#160;Kuchen, Herbert. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22531-4">http://dx.doi.org/10.1007/978-3-642-22531-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human Machine Interaction Research Results of the MMI Program ent://SD_ILS/0/SD_ILS:189685 2024-11-14T03:07:12Z 2024-11-14T03:07:12Z Author&#160;Lalanne, Denis. editor.&#160;Kohlas, J&uuml;rg. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00437-7">http://dx.doi.org/10.1007/978-3-642-00437-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>