Showing 1 - 20 results of 167 for search 'LATTICE theory' Narrow Search
1
eBook

Contributors: Angrisani, Leopoldo, Series EditorAff1, Arteaga, Marco, Series EditorAff2, Chakraborty, Samarjit, Series EditorAff3, Chen, Jiming, Series EditorAff4, Chen, Shanben, Series EditorAff5, Chen, Tan Kay, Series EditorAff6, Dillmann, Rüdiger, Series EditorAff7, Duan, Haibin, Series EditorAff8, Ferrari, Gianluigi, Series EditorAff9, Ferre, Manuel, Series EditorAff10, Jabbari, Faryar, Series EditorAff11, Jia, Limin, Series EditorAff12, Kacprzyk, Janusz, Series EditorAff13, Khamis, Alaa, Series EditorAff14, Kroeger, Torsten, Series EditorAff15, Li, Yong, Series EditorAff16, Liang, Qilian, Series EditorAff17, Martín, Ferran, Series EditorAff18, Ming, Tan Cher, Series EditorAff19, Minker, Wolfgang, Series EditorAff20, Misra, Pradeep, Series EditorAff21, Mukhopadhyay, Subhas, Series EditorAff22, Ning, Cun-Zheng, Series EditorAff23, Nishida, Toyoaki, Series EditorAff24, Oneto, Luca, Series EditorAff25, Panigrahi, Bijaya Ketan, Series EditorAff26, Pascucci, Federica, Series EditorAff27, Qin, Yong, Series EditorAff28, Seng, Gan Woon, Series EditorAff29, Speidel, Joachim, Series EditorAff30, Veiga, Germano, Series EditorAff31, Wu, Haitao, Series EditorAff32, Zamboni, Walter, Series EditorAff33, Zhang, Junjie James, Series EditorAff34, Tan, Kay Chen, Series EditorAff35, Chakraborty, Basabi, editorAff36, Biswas, Arindam, editorAff37, Chakrabarti, Amlan, editorAff38

Superior Title: Advances in Data Science and Computing Technologies : Select Proceedings of ASDC 2022. 1056:191-198

2
eBook

Authors: Kori, MayukoAff9, Aff10, Ascari, FlavioAff11, Bonchi, FilippoAff11, Bruni, RobertoAff11, Gori, RobertaAff11, Hasuo, IchiroAff9, Aff10

Contributors: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Enea, Constantin, editorAff7, Lal, Akash, editorAff8

Superior Title: Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II. 13965:41-63

3
eBook

Authors: Ronse, ChristianAff11

Contributors: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Baudrier, Étienne, editorAff7, Naegel, Benoît, editorAff8, Krähenbühl, Adrien, editorAff9, Tajine, Mohamed, editorAff10

Superior Title: Discrete Geometry and Mathematical Morphology : Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24–27, 2022, Proceedings. 13493:3-16

4
eBook

Authors: Kötters, JensAff10, Schmidt, Stefan E.Aff10

Contributors: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Braun, Tanya, editorAff7, Cristea, Diana, editorAff8, Jäschke, Robert, editorAff9

Superior Title: Graph-Based Representation and Reasoning : 27th International Conference on Conceptual Structures, ICCS 2022, Münster, Germany, September 12–15, 2022, Proceedings. 13403:66-81

5
eBook

Authors: Bhuyan, Bikram PratimAff40, Garg, ShellyAff41

Contributors: Angrisani, Leopoldo, Series EditorAff1, Arteaga, Marco, Series EditorAff2, Panigrahi, Bijaya Ketan, Series EditorAff3, Chakraborty, Samarjit, Series EditorAff4, Chen, Jiming, Series EditorAff5, Chen, Shanben, Series EditorAff6, Chen, Tan Kay, Series EditorAff7, Dillmann, Rüdiger, Series EditorAff8, Duan, Haibin, Series EditorAff9, Ferrari, Gianluigi, Series EditorAff10, Ferre, Manuel, Series EditorAff11, Hirche, Sandra, Series EditorAff12, Jabbari, Faryar, Series EditorAff13, Jia, Limin, Series EditorAff14, Kacprzyk, Janusz, Series EditorAff15, Khamis, Alaa, Series EditorAff16, Kroeger, Torsten, Series EditorAff17, Li, Yong, Series EditorAff18, Liang, Qilian, Series EditorAff19, Martín, Ferran, Series EditorAff20, Ming, Tan Cher, Series EditorAff21, Minker, Wolfgang, Series EditorAff22, Misra, Pradeep, Series EditorAff23, Möller, Sebastian, Series EditorAff24, Mukhopadhyay, Subhas, Series EditorAff25, Ning, Cun-Zheng, Series EditorAff26, Nishida, Toyoaki, Series EditorAff27, Oneto, Luca, Series EditorAff28, Pascucci, Federica, Series EditorAff29, Qin, Yong, Series EditorAff30, Seng, Gan Woon, Series EditorAff31, Speidel, Joachim, Series EditorAff32, Veiga, Germano, Series EditorAff33, Wu, Haitao, Series EditorAff34, Zamboni, Walter, Series EditorAff35, Zhang, Junjie James, Series EditorAff36, Unhelker, Bhuvan, editorAff37, Pandey, Hari Mohan, editorAff38, Raj, Gaurav, editorAff39

Superior Title: Applications of Artificial Intelligence and Machine Learning : Select Proceedings of ICAAAIML 2021. 925:381-389

6
eBook

Authors: Kori, MayukoAff9, Aff10, Urabe, NatsukiAff10, Katsumata, Shin-yaAff10, Suenaga, KoheiAff11, Hasuo, IchiroAff9, Aff10

Contributors: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Shoham, Sharon, editorAff7, Vizel, Yakir, editorAff8

Superior Title: Computer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I. 13371:235-256

7
eBook

Contributors: Chlamtac, Imrich, Series EditorAff1, Jeyanthi, P. Mary, editorAff2, Choudhury, Tanupriya, editorAff3, Hack-Polay, Dieu, editorAff4, Singh, T P, editorAff5, Abujar, Sheikh, editorAff6

Superior Title: Decision Intelligence Analytics and the Implementation of Strategic Business Management. :99-107

8
eBook

Authors: Bhuyan, Bikram P.Aff39, Saha, SajalAff40

Contributors: Angrisani, Leopoldo, Series EditorAff1, Arteaga, Marco, Series EditorAff2, Panigrahi, Bijaya Ketan, Series EditorAff3, Chakraborty, Samarjit, Series EditorAff4, Chen, Jiming, Series EditorAff5, Chen, Shanben, Series EditorAff6, Chen, Tan Kay, Series EditorAff7, Dillmann, Rüdiger, Series EditorAff8, Duan, Haibin, Series EditorAff9, Ferrari, Gianluigi, Series EditorAff10, Ferre, Manuel, Series EditorAff11, Hirche, Sandra, Series EditorAff12, Jabbari, Faryar, Series EditorAff13, Jia, Limin, Series EditorAff14, Kacprzyk, Janusz, Series EditorAff15, Khamis, Alaa, Series EditorAff16, Kroeger, Torsten, Series EditorAff17, Li, Yong, Series EditorAff18, Liang, Qilian, Series EditorAff19, Martín, Ferran, Series EditorAff20, Ming, Tan Cher, Series EditorAff21, Minker, Wolfgang, Series EditorAff22, Misra, Pradeep, Series EditorAff23, Möller, Sebastian, Series EditorAff24, Mukhopadhyay, Subhas, Series EditorAff25, Ning, Cun-Zheng, Series EditorAff26, Nishida, Toyoaki, Series EditorAff27, Pascucci, Federica, Series EditorAff28, Qin, Yong, Series EditorAff29, Seng, Gan Woon, Series EditorAff30, Speidel, Joachim, Series EditorAff31, Veiga, Germano, Series EditorAff32, Wu, Haitao, Series EditorAff33, Zhang, Junjie James, Series EditorAff34, Choudhary, Ankur, editorAff35, Agrawal, Arun Prakash, editorAff36, Logeswaran, Rajasvaran, editorAff37, Unhelkar, Bhuvan, editorAff38

Superior Title: Applications of Artificial Intelligence and Machine Learning : Select Proceedings of ICAAAIML 2020. 778:321-332

9
eBook

Contributors: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, De Mol, Liesbeth, editorAff8, Weiermann, Andreas, editorAff9, Manea, Florin, editorAff10, Fernández-Duque, David, editorAff11

Superior Title: Connecting with Computability : 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings. 12813:363-372

10
eBook

Contributors: Bruggemann, Rainer, editorAff1, Carlsen, Lars, editorAff2, Beycan, Tugce, editorAff3, Suter, Christian, editorAff4, Maggino, Filomena, editorAff5

Superior Title: Measuring and Understanding Complex Phenomena : Indicators and their Analysis in Different Scientific Fields. :91-101

11
eBook

Contributors: Bruggemann, Rainer, editorAff1, Carlsen, Lars, editorAff2, Beycan, Tugce, editorAff3, Suter, Christian, editorAff4, Maggino, Filomena, editorAff5

Superior Title: Measuring and Understanding Complex Phenomena : Indicators and their Analysis in Different Scientific Fields. :83-89

12
eBook

Contributors: Kacprzyk, Janusz, Series EditorAff1, Jain, Lakhmi C., Series EditorAff2, Singh, Jagannath, editorAff3, Bilgaiyan, Saurabh, editorAff4, Mishra, Bhabani Shankar Prasad, editorAff5, Dehuri, Satchidananda, editorAff6

Superior Title: A Journey Towards Bio-inspired Techniques in Software Engineering. 185:89-102

13
eBook

Contributors: Kacprzyk, Janusz, Series EditorAff1, Pal, Nikhil R., Advisory EditorAff2, Bello Perez, Rafael, Advisory EditorAff3, Corchado, Emilio S., Advisory EditorAff4, Hagras, Hani, Advisory EditorAff5, Kóczy, László T., Advisory EditorAff6, Kreinovich, Vladik, Advisory EditorAff7, Lin, Chin-Teng, Advisory EditorAff8, Lu, Jie, Advisory EditorAff9, Melin, Patricia, Advisory EditorAff10, Nedjah, Nadia, Advisory EditorAff11, Nguyen, Ngoc Thanh, Advisory EditorAff12, Wang, Jun, Advisory EditorAff13, Mandal, J. K., editorAff14, Banerjee, Soumen, editorAff15

Superior Title: Intelligent Computing: Image Processing Based Applications. 1157:119-129

14
eBook

Authors: Dick, ScottAff19, Sussner, PeterAff20

Contributors: Kacprzyk, Janusz, Series EditorAff1, Pal, Nikhil R., Advisory EditorAff2, Bello Perez, Rafael, Advisory EditorAff3, Corchado, Emilio S., Advisory EditorAff4, Hagras, Hani, Advisory EditorAff5, Kóczy, László T., Advisory EditorAff6, Kreinovich, Vladik, Advisory EditorAff7, Aff18, Lin, Chin-Teng, Advisory EditorAff8, Lu, Jie, Advisory EditorAff9, Melin, Patricia, Advisory EditorAff10, Nedjah, Nadia, Advisory EditorAff11, Nguyen, Ngoc Thanh, Advisory EditorAff12, Wang, Jun, Advisory EditorAff13, Kearfott, Ralph Baker, editorAff14, Batyrshin, Ildar, editorAff15, Reformat, Marek, editorAff16, Ceberio, Martine, editorAff17

Superior Title: Fuzzy Techniques: Theory and Applications : Proceedings of the 2019 Joint World Congress of the International Fuzzy Systems Association and the Annual Conference of the North American Fuzzy Information Processing Society IFSA/NAFIPS'2019 (Lafayette, Louisiana, USA, June 18–21, 2019). 1000:237-245

15
eBook

Authors: Dagdelen, ÖzgürAff15, Gajek, SebastianAff16, Aff17, Göpfert, FlorianAff18

Contributors: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Kwon, Soonhak, editorAff13, Yun, Aaram, editorAff14

Superior Title: Information Security and Cryptology - ICISC 2015 : 18th International Conference, Seoul, South Korea, November 25-27, 2015, Revised Selected Papers. 9558:69-84

16
eBook

Authors: Reading, N.Aff3

Contributors: Grätzer, George, editorAff1, Wehrung, Friedrich, editorAff2

Superior Title: Lattice Theory: Special Topics and Applications : Volume 2. :399-487

17
eBook

Authors: Diaconescu, RăzvanAff4

Contributors: Béziau, Jean-Yves, Series editorAff1, Koslow, Arnold, editorAff2, Buchsbaum, Arthur, editorAff3

Superior Title: The Road to Universal Logic : Festschrift for 50th Birthday of Jean-Yves Béziau Volume I. :127-143

18
eBook

Authors: Möller, BernhardAff16

Contributors: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Kahl, Wolfram, editorAff13, Winter, Michael, editorAff14, Oliveira, José, editorAff15

Superior Title: Relational and Algebraic Methods in Computer Science : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings. 9348:344-361

19
eBook

Authors: Wang, BoAff21, Aff22, Shi, YongAff21, Aff22, Yang, ZhuofanAff23, Ju, XuchanAff24

Contributors: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Zhang, Chengqi, editorAff13, Huang, Wei, editorAff14, Shi, Yong, editorAff15, Yu, Philip S., editorAff16, Zhu, Yangyong, editorAff17, Tian, Yingjie, editorAff18, Zhang, Peng, editorAff19, He, Jing, editorAff20

Superior Title: Data Science : Second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015, Proceedings. 9208:62-69

20
eBook

Contributors: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Benediktsson, Jón Atli, editorAff13, Chanussot, Jocelyn, editorAff14, Najman, Laurent, editorAff15, Talbot, Hugues, editorAff16

Superior Title: Mathematical Morphology and Its Applications to Signal and Image Processing : 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings. 9082:434-445