Search results for "lattices"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Guo-Qiang Zhang 0001	Universal Quasi-Prime Algebraic Domains.	MFPS	1993	DBLP DOI BibTeX RDF	universal structures, lattices, Domain theory, universal algebra, semantics of programming languages
15	Ralph-Johan Back, Joakim von Wright	Refinement Calculus, Part I: Sequential Nondeterministic Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	angelic nondeterminism, demonic non-determinism, miraculous statements, inverse statements, lattices, weakest preconditions, Stepwise refinement, data refinement, specification methods, total correctness
10	Wenjie Fang, Henri Mühle, Jean-Christophe Novelli	Parabolic Tamari Lattices in Linear Type B.	Electron. J. Comb.	2024	DBLP DOI BibTeX RDF
10	Colin Defant, Valentin Féray, Philippe Nadeau, Nathan Williams	Wiener Indices of Minuscule Lattices.	Electron. J. Comb.	2024	DBLP DOI BibTeX RDF
10	Xiaogang An, Mingming Chen	On type-2 cyclic associative groupoids and inflationary pseudo general residuated lattices.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
10	Ana Shirley Monteiro, Regivan H. N. Santiago, Benjamín R. C. Bedregal, Eduardo Silva Palmeira, Juscelino Araújo	On retractions and extension of quasi-overlap and quasi-grouping functions defined on bounded lattices.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
10	Jérémie Dusart, Michel Habib, Derek G. Corneil	Maximal Cliques Lattices Structures for Cocomparability Graphs with Algorithmic Applications.	Order	2024	DBLP DOI BibTeX RDF
10	Johannes Hirth, Viktoria Horn, Gerd Stumme, Tom Hanika	Ordinal motifs in lattices.	Inf. Sci.	2024	DBLP DOI BibTeX RDF
10	Feixiang Zhao, Jian Weng 0001, Wenli Xie, Ming Li 0049, Jiasi Weng 0001	HRA-secure attribute-based threshold proxy re-encryption from lattices.	Inf. Sci.	2024	DBLP DOI BibTeX RDF
10	Gustavo de Castro Biage, Gustavo Zambonin, Thaís Bardini Idalino, Daniel Panario, Ricardo Felipe Custódio	A Concrete LIP-Based KEM With Simple Lattices.	IEEE Access	2024	DBLP DOI BibTeX RDF
10	Anyi Chen, Xianqi Tang, JinPing He	New Method for Measuring Diagnosis Indexes Based on Concept Lattices in Dam Health Diagnosis.	IEEE Access	2024	DBLP DOI BibTeX RDF
10	Gül Deniz Çayli	Constructing Uninorms on Bounded Lattices Through Closure and Interior Operators.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2024	DBLP DOI BibTeX RDF
10	Yunseo Choi, Nathan Sun	The image of the pop operator on various lattices.	Adv. Appl. Math.	2024	DBLP DOI BibTeX RDF
10	Chinmoy Biswas, Ratna Dutta, Sumanta Sarkar	An efficient post-quantum secure dynamic EPID signature scheme using lattices.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
10	Sujuan Fan, Keke Chen, Junfeng Tian	A novel image encryption algorithm based on coupled map lattices model.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
10	Jianhua Zhang, Qinjie Min, Yu Zhou, Lilai Cheng	Vulnerability assessments of urban rail transit networks based on extended coupled map lattices with evacuation capability.	Reliab. Eng. Syst. Saf.	2024	DBLP DOI BibTeX RDF
10	Serife Yilmaz, Rabia Isçi	Triangular Norm-Based Elements on Bounded Lattices.	Axioms	2024	DBLP DOI BibTeX RDF
10	Juan Baz, Irene Díaz, Susana Montes	Aggregation of random elements over bounded lattices.	Int. J. Approx. Reason.	2024	DBLP DOI BibTeX RDF
10	Junping Xie, Jing Yang, Jinhai Li, Debby D. Wang	An efficient method of renewing object-induced three-way concept lattices involving decreasing attribute-granularity levels.	Int. J. Approx. Reason.	2024	DBLP DOI BibTeX RDF
10	Francisco José Valverde Albacete, Martin Trnecka, Sadok Ben Yahia	Special Issue on Concept Lattices and their Applications (CLA 2020).	Int. J. Approx. Reason.	2024	DBLP DOI BibTeX RDF
10	Jie Zhao, Renxia Wan, Duoqian Miao, Boyang Zhang	Rule acquisition of three-way semi-concept lattices in formal decision context.	CAAI Trans. Intell. Technol.	2024	DBLP DOI BibTeX RDF
10	Gergely Ambrus, Martin Balko, Nóra Frankl, Attila Jung, Márton Naszódi	On Helly numbers of exponential lattices.	Eur. J. Comb.	2024	DBLP DOI BibTeX RDF
10	Alexey Garber	On Combinatorics of Voronoi Polytopes for Perturbations of the Dual Root Lattices.	Exp. Math.	2024	DBLP DOI BibTeX RDF
10	Huck Bennett, Surendra Ghentiyala, Noah Stephens-Davidowitz	The more the merrier! On the complexity of finding multicollisions, with connections to codes and lattices.	Electron. Colloquium Comput. Complex.	2024	DBLP BibTeX RDF
10	Maiara F. Bollauf, Hsuan-Yin Lin, Øyvind Ytrehus	Secrecy Gain of Formally Unimodular Lattices From Codes Over the Integers Modulo 4.	IEEE Trans. Inf. Theory	2024	DBLP DOI BibTeX RDF
10	Evgeny Sedov, Alexey Kavokin	Polariton lattices as binarized neuromorphic networks.	CoRR	2024	DBLP DOI BibTeX RDF
10	Sebastiano Cultrera di Montesano, Ondrej Draganov, Herbert Edelsbrunner, Morteza Saghafian	The Euclidean MST-ratio for Bi-colored Lattices.	CoRR	2024	DBLP DOI BibTeX RDF
10	M. Yusuf Sener, Gerhard Kramer, Shlomo Shamai, Ronald Böhnke, Wen Xu 0001	Achieving Gaussian Vector Broadcast Channel Capacity with Scalar Lattices.	CoRR	2024	DBLP DOI BibTeX RDF
10	Jouni Järvinen, Sándor Radeleczki, Umberto Rivieccio	Nelson algebras, residuated lattices and rough sets: A survey.	CoRR	2024	DBLP DOI BibTeX RDF
10	Tobias A. Boege, Janneke H. Bolt, Milan Studený	Self-adhesivity in lattices of abstract conditional independence models.	CoRR	2024	DBLP DOI BibTeX RDF
10	Maiara F. Bollauf, Hsuan-Yin Lin	On the Maximum Theta Series over Unimodular Lattices.	CoRR	2024	DBLP DOI BibTeX RDF
10	Robert Lin, Peter W. Shor	A New Class of Algorithms for Finding Short Vectors in Lattices Lifted from Co-dimension k Codes.	CoRR	2024	DBLP DOI BibTeX RDF
10	Nihar Gargava, Vlad Serban, Maryna Viazovska, Ilaria Viglino	Effective module lattices and their shortest vectors.	CoRR	2024	DBLP DOI BibTeX RDF
10	Junpeng Wang, Rüdiger Westermann, Xifeng Gao, Jun Wu 0005	Design and Optimization of Functionally-graded Triangular Lattices for Multiple Loading Conditions.	CoRR	2024	DBLP DOI BibTeX RDF
10	Oded Regev 0001	On Lattices, Learning with Errors, Random Linear Codes, and Cryptography.	CoRR	2024	DBLP DOI BibTeX RDF
10	Francis Woumfo, Blaise Blériot Koguep Njionou, Etienne Romuald Alomo Temgoua, Michiro Kondo	Some results on state ideals in state residuated lattices.	Soft Comput.	2024	DBLP DOI BibTeX RDF
10	Lingjuan Yao, Shengwen Wang, Qingguo Li, Mingjie Cai	Continuous lattices in formal concept analysis.	Soft Comput.	2024	DBLP DOI BibTeX RDF
10	Zoltán Fülöp 0001, Heiko Vogler	A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices.	Int. J. Found. Comput. Sci.	2024	DBLP DOI BibTeX RDF
10	Mengxue Yang, Huaqun Wang, Debiao He	Puncturable Attribute-Based Encryption From Lattices for Classified Document Sharing.	IEEE Trans. Inf. Forensics Secur.	2024	DBLP DOI BibTeX RDF
10	Yanyan Dong, Bin Pang 0004, Bernard De Baets	The pseudo-inverse of a monotone function between complete lattices and its use in generating t-norms and t-conorms.	Fuzzy Sets Syst.	2024	DBLP DOI BibTeX RDF
10	Zhiyong Hu, Mingwen Shao, Jusheng Mi, Weizhi Wu 0001	Mining positive and negative rules via one-sided fuzzy three-way concept lattices.	Fuzzy Sets Syst.	2024	DBLP DOI BibTeX RDF
10	Ma Eugenia Cornejo, Jesús Medina 0001, Francisco José Ocaña	Attribute implications in multi-adjoint concept lattices with hedges.	Fuzzy Sets Syst.	2024	DBLP DOI BibTeX RDF
10	Anisha Mukherjee, Aikata, Ahmet Can Mert, Yongwoo Lee 0002, Sunmin Kwon, Maxim Deryabin, Sujoy Sinha Roy	ModHE: Modular Homomorphic Encryption Using Module Lattices Potentials and Limitations.	IACR Trans. Cryptogr. Hardw. Embed. Syst.	2024	DBLP DOI BibTeX RDF
10	Henry Bambury, Phong Q. Nguyen	Improved Provable Reduction of NTRU and Hypercubic Lattices.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
10	Valerio Cini, Giulio Malavolta, Ngoc Khanh Nguyen, Hoeteck Wee	Polynomial Commitments from Lattices: Post-Quantum Security, Fast Verification and Transparent Setup.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
10	Huiwen Jia, Yupu Hu, Chunming Tang, Lin Wang	Towards Compact Identity-based Encryption on Ideal Lattices.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
10	João E. Strapasson, Giselle Strey	Perfect codes in two-dimensional algebraic lattices.	Discret. Math.	2024	DBLP DOI BibTeX RDF
10	Reza Gheissari, Alistair Sinclair	Spatial mixing and the random-cluster dynamics on lattices.	Random Struct. Algorithms	2024	DBLP DOI BibTeX RDF
10	Yang Yang, Guoyin Zhang, Sizhao Li, Zechao Liu	Offline/online attribute-based searchable encryption scheme from ideal lattices for IoT.	Frontiers Comput. Sci.	2024	DBLP DOI BibTeX RDF
10	Amit Kukker, Rajneesh Sharma, Om Mishra, Deepak Parashar	Epileptic seizure classification using fuzzy lattices and Neural Reinforcement Learning.	Comput. methods Biomech. Biomed. Eng. Imaging Vis.	2024	DBLP DOI BibTeX RDF
10	Xi Lin, Heyang Cao, Feng-Hao Liu, Zhedong Wang, Mingsheng Wang	Shorter ZK-SNARKs from square span programs over ideal lattices.	Cybersecur.	2024	DBLP DOI BibTeX RDF
10	Massimiliano Lupo Pasini, Mariia Karabin, Markus Eisenbach 0002	Transferring predictions of formation energy across lattices of increasing size.	Mach. Learn. Sci. Technol.	2024	DBLP DOI BibTeX RDF
10	Katharina Boudgoust, Adeline Roux-Langlois	Overfull: Too Large Aggregate Signatures Based on Lattices.	Comput. J.	2024	DBLP DOI BibTeX RDF
10	M. Yusuf Sener, Ronald Böhnke, Wen Xu 0001, Gerhard Kramer	Achieving the Dirty Paper Channel Capacity With Scalar Lattices and Probabilistic Shaping.	IEEE Commun. Lett.	2024	DBLP DOI BibTeX RDF
10	Darrell Whitley, Gabriela Ochoa, Noah Floyd, Francisco Chicano	Reduction-Based MAX-3SAT with Low Nonlinearity and Lattices Under Recombination.	EvoStar	2024	DBLP DOI BibTeX RDF
10	Nikolay Bazhenov 0001, Manat Mustafa	On Learning Families of Ideals in Lattices and Boolean Algebras.	TAMC	2024	DBLP DOI BibTeX RDF
10	Uddipana Dowerah, Aikaterini Mitrokotsa	Decentralized Private Stream Aggregation from Lattices.	ACNS (2)	2024	DBLP DOI BibTeX RDF
10	Madalina Bolboceanu, Zvika Brakerski, Devika Sharma	On Algebraic Embedding for Unstructured Lattices.	Public Key Cryptography (3)	2024	DBLP DOI BibTeX RDF
10	Dennis Hofheinz, Kristina Hostáková, Roman Langrehr, Bogdan Ursu	On Structure-Preserving Cryptography and Lattices.	Public Key Cryptography (3)	2024	DBLP DOI BibTeX RDF
10	Yiming Li, Shengli Liu 0001	Tagged Chameleon Hash from Lattices and Application to Redactable Blockchain.	Public Key Cryptography (3)	2024	DBLP DOI BibTeX RDF
10	Conor Power, Saikrishna Achalla, Ryan Cottone, Nathaniel Macasaet, Joseph M. Hellerstein	Wrapping Rings in Lattices: An Algebraic Symbiosis of Incremental View Maintenance and Eventual Consistency.	PaPoC@EuroSys	2024	DBLP DOI BibTeX RDF
10	Huiwen Jia, Yupu Hu, Chunming Tang, Lin Wang	Towards Compact Identity-Based Encryption on Ideal Lattices.	CT-RSA	2024	DBLP DOI BibTeX RDF
10	Andrea Giusti, Marco Coraggio, Mario di Bernardo	Local Convergence of Multi-Agent Systems Toward Rigid Lattices.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
10	Akash Kumar Ball, Swati Rana, Gargi Agrahari, Abhijit Chatterjee	Accelerated calculation of configurational free energy using a combination of reverse Monte Carlo and neural network models: Adsorption isotherm for 2D square and triangular lattices.	Comput. Phys. Commun.	2023	DBLP DOI BibTeX RDF
10	Andrew Hofstrand, Huaiyu Li, Michael I. Weinstein	Discrete Breathers of Nonlinear Dimer Lattices: Bridging the Anti-continuous and Continuous Limits.	J. Nonlinear Sci.	2023	DBLP DOI BibTeX RDF
10	Giuseppe Cotardo, Alberto Ravagnani	Rank-Metric Lattices.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
10	Aram Dermenjian	Maximal Degree Subposets of $\nu$-Tamari Lattices.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
10	Juntao Wang, Mengna Kang, Xuesong Fu, Fei Li	State monadic residuated lattices and their corresponding filters.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
10	Arnaud Girès Fobasso Tchinda, Emmanuel Fouotsa, Celestin Nkuimi Jugnia	A Polynomial Algorithm for Solving the Closest Vector Problem in Tensored Root Lattices of Type D.	SN Comput. Sci.	2023	DBLP DOI BibTeX RDF
10	Monika Rani, Vikramjeet Singh, Rakesh Goyal	Analytical solution for ginzburg-landau equation in discrete solitons laser arrays lattices via non-perturbation methods.	Photonic Netw. Commun.	2023	DBLP DOI BibTeX RDF
10	Rob Egrot	Amalgamating Poset Extensions and Generating Free Lattices.	Order	2023	DBLP DOI BibTeX RDF
10	Sergio A. Celani	Subordinations on Bounded Distributive Lattices.	Order	2023	DBLP DOI BibTeX RDF
10	William Gustafson	Polymatroids, Closure Operators and Lattices.	Order	2023	DBLP DOI BibTeX RDF
10	Bernhard Ganter	Order-Preserving Self-Maps of Complete Lattices.	Order	2023	DBLP DOI BibTeX RDF
10	Aiping Gan, Li Guo 0003, Shoufeng Wang	Integral Operators on Lattices.	Order	2023	DBLP DOI BibTeX RDF
10	Nikolaos Galatos, Sara Ugolini	Gluing Residuated Lattices.	Order	2023	DBLP DOI BibTeX RDF
10	Camille Combe	Geometric Realizations of Tamari Interval Lattices Via Cubic Coordinates.	Order	2023	DBLP DOI BibTeX RDF
10	Lisha Yao, Jian Weng 0001, Anjia Yang, Xiaojian Liang, Zhenghao Wu, Zike Jiang, Lin Hou	Scalable CCA-secure public-key authenticated encryption with keyword search from ideal lattices in cloud computing.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
10	Ondrej Krídlo, Domingo López-Rodríguez, Lubomir Antoni, Peter Elias 0002, Stanislav Krajci, Manuel Ojeda-Aciego	Connecting concept lattices with bonds induced by external information.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
10	Xiaodan Jin, Fuqun Wang, Renjun Zhang, Bin Lian, Kefei Chen	Leveled Fully Homomorphic Signcryption From Lattices.	IEEE Access	2023	DBLP DOI BibTeX RDF
10	Fernand Kuiebove Pefireko	Lattices of (Generalized) Fuzzy Ideals in Double Boolean Algebras.	TFSS	2023	DBLP DOI BibTeX RDF
10	Liviu-Constantin Holdon	On Semitopological De Morgan Residuated Lattices.	TFSS	2023	DBLP DOI BibTeX RDF
10	Funda Karaçal, Ümit Ertugrul, Samet Arpaci, M. Nesibe Kesicioglu	Congruence Relations and Direct Decomposition of Uninorms on Bounded Lattices.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2023	DBLP DOI BibTeX RDF
10	Huayan Wen, Xinxing Wu, Gül Deniz Çayli	Characterizing Some Types of Uninorms on Bounded Lattices.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2023	DBLP DOI BibTeX RDF
10	Huyile Liang, Yanni Pei, Yi Wang 0027	Analytic combinatorics of coordination numbers of cubic lattices.	Adv. Appl. Math.	2023	DBLP DOI BibTeX RDF
10	Abdullah Alasmari, Iskander Aliev	On unique recovery of finite-valued integer signals and admissible lattices of sparse hypercubes.	Optim. Lett.	2023	DBLP DOI BibTeX RDF
10	Xiaohong Zhang 0001, Nan Sheng, Rajab Ali Borzooei	Partial Residuated Implications Induced by Partial Triangular Norms and Partial Residuated Lattices.	Axioms	2023	DBLP DOI BibTeX RDF
10	Maximilian Felde, Maren Koyda	Interval-dismantling for lattices.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
10	Mingwen Shao, Zhiyong Hu, Weizhi Wu 0001, Huan Liu	Graph neural networks induced by concept lattices for classification.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
10	Maren Koyda, Gerd Stumme	Factorizing lattices by interval relations.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
10	Maksim Iavich, Tamari Kuchukhidze, Razvan Bocu	A Post-Quantum Digital Signature Using Verkle Trees and Lattices.	Symmetry	2023	DBLP DOI BibTeX RDF
10	Sneha Thomas, Kevin S. Silmore, Piyush Sharma, Ananth Govind Rajan	Enumerating Stable Nanopores in Graphene and Their Geometrical Properties Using the Combinatorics of Hexagonal Lattices.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
10	Sergio A. Celani, Hernán Javier San Martín	On the variety of strong subresiduated lattices.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
10	Adam Prenosil	Logics of upsets of De Morgan lattices.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
10	Joseph McDonald, Katalin Bimbó	Topological duality for orthomodular lattices.	Math. Log. Q.	2023	DBLP DOI BibTeX RDF
10	Ruqi Pei, Travis Askham, Leslie Greengard, Shidong Jiang	A fast method for imposing periodic boundary conditions on arbitrarily-shaped lattices in two dimensions.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
10	Livia Betti, Jim Brown, Fernando Gaitan, Aiyana Spear, Japheth Varlack	Lattices in real quadratic fields and associated theta series arising from codes over bfF4 and bfF2 ˟ bfF2.	Des. Codes Cryptogr.	2023	DBLP DOI BibTeX RDF
10	Ward Beullens, Samuel Dobson, Shuichi Katsumata, Yi-Fu Lai, Federico Pintore	Group signatures and more from isogenies and lattices: generic, simple, and efficient.	Des. Codes Cryptogr.	2023	DBLP DOI BibTeX RDF
10	Fucai Luo, Saif M. Al-Kuwari, Haiyan Wang 0009, Fuqun Wang, Kefei Chen	Revocable attribute-based encryption from standard lattices.	Comput. Stand. Interfaces	2023	DBLP DOI BibTeX RDF
10	José Luis Castiglioni, Víctor Fernández 0003, Héctor Federico Mallea, Hernán Javier San Martín	Sub-Hilbert Lattices.	Stud Logica	2023	DBLP DOI BibTeX RDF