Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Ronghao Lin, Yutao Chen, Hing Cheung So, Jian Li 0001 |
On Binary Sequence Design via PSL Minimization. |
IEEE Signal Process. Lett. |
2024 |
DBLP DOI BibTeX RDF |
|
21 | Lei Yu 0014, Feng He 0001, Yongsheng Zhang, Yi Su |
Low-PSL Mismatched Filter Design for Coherent FDA Radar Using Phase-Coded Waveform. |
IEEE Geosci. Remote. Sens. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Zihao Chen, Junli Liang, Keman Song, Yuqiao Yang, Xiaobo Deng |
On designing good doppler tolerance waveform with low PSL of ambiguity function. |
Signal Process. |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Chinwei Huang, Li-Fu Chen, Borching Su |
Waveform Design for Optimal PSL Under Spectral and Unimodular Constraints via Alternating Minimization. |
IEEE Trans. Signal Process. |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Dimitri Leemans, Micael Toledo |
Maniplexes with automorphism group PSL(2,q). |
Discret. Math. |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Zhaolong Ling, Kui Yu, Lin Liu 0003, Jiuyong Li, Yiwen Zhang 0001, Xindong Wu 0001 |
PSL: An Algorithm for Partial Bayesian Network Structure Learning. |
ACM Trans. Knowl. Discov. Data |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Fang Huang, Xia Tang, Bo Ye, Songfeng Wu, Keyue Ding |
PSL-LCCL: a resource for subcellular protein localization in liver cancer cell line SK_HEP1. |
Database J. Biol. Databases Curation |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Neil R. Hoffman, Kathleen L. Petersen |
Small PSL(2, F) representations of Seifert fiber space groups. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Feng Yang, Yichao Cao, Weigong Zhang |
PSL-SLAM: a monocular SLAM system using points and structure lines in Manhattan World. |
Int. J. Intell. Robotics Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Hong-Shuo Chen, Kaitai Zhang, Shuowen Hu, Suya You, C.-C. Jay Kuo |
Fake Satellite Image Detection via Parallel Subspace Learning (PSL). |
ISCAS |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Verena Blaschke, Thora Daneyko, Jekaterina Kaparina, Zhuge Gao, Johannes Dellert |
Navigable Atom-Rule Interactions in PSL Models Enhanced by Rule Verbalizations, with an Application to Etymological Inference. |
ILP |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Martino Borello, Francesca Dalla Volta, Giovanni Zini |
The Möbius function of PSL(3, 2p) for any prime p. |
Int. J. Algebra Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Wen Fan, Junli Liang, Zihao Chen, Hing Cheung So |
Spectrally compatible aperiodic sequence set design with low cross- and auto-correlation PSL. |
Signal Process. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Jiliang Li, Zhou Su, Deke Guo, Kim-Kwang Raymond Choo, Yusheng Ji |
PSL-MAAKA: Provably Secure and Lightweight Mutual Authentication and Key Agreement Protocol for Fully Public Channels in Internet of Medical Things. |
IEEE Internet Things J. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Huili Dong |
Flag-transitive 4-designs and PSL(2, q) groups. |
Des. Codes Cryptogr. |
2021 |
DBLP DOI BibTeX RDF |
|
21 | M. Bagher Alaie, Seyed Ahmad Olamaei |
Design of unimodular sequences with small PSL. |
Signal Image Video Process. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Gregory Emmett Coxson |
Enumeration and Generation of $\rm PSL$ Equivalence Classes for Quad-Phase Codes of Odd Length. |
IEEE Trans. Aerosp. Electron. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Wei Gao 0012, Bazgha Idrees, Sohail Zafar, Tabasam Rashid |
Construction of Nonlinear Component of Block Cipher by Action of Modular Group PSL(2, Z) on Projective Line PL(GF(28)). |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Miroslav M. Dimitrov, Tsonka Baicheva, Nikolay Nikolov |
On the Generation of Long Binary Sequences With Record-Breaking PSL Values. |
IEEE Signal Process. Lett. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Shaofei Du, Klavdija Kutnar, Dragan Marusic |
Hamilton cycles in primitive vertex-transitive graphs of order a product of two primes - the case PSL(2, q2) acting on cosets of PGL(2, q). |
Ars Math. Contemp. |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Aaron Rodden, Tarun Salh, Eriq Augustine, Lise Getoor |
VMI-PSL: Visual Model Inspector for Probabilistic Soft Logic. |
RecSys |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Torger Olson, Eric Swartz |
Transitive PSL(2, 11)-invariant k-arcs in PG(4, q). |
Des. Codes Cryptogr. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Xiaoqin Zhan, Suyun Ding, Shuyi Bai |
Flag-transitive 2-designs from PSL(2, q) with block size 4. |
Des. Codes Cryptogr. |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Michael Grüninger, Megan Katsumi |
PSL as a Foundational Ontology for the Industrial Ontologies Foundry. |
JOWO |
2019 |
DBLP BibTeX RDF |
|
21 | Dusan Sormaz, Arkopaul Sarkar |
Hierarchical Representation of Manufacturing Process Plans using PSL. |
JOWO |
2019 |
DBLP BibTeX RDF |
|
21 | Vaibhav Agarwal, Sneh Saurabh |
Application of Probabilistic Spin Logic (PSL) in Detecting Satisfiability of a Boolean Function. |
ISQED |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Weixin Deng, Pengyu Wang 0003, Jing Wang, Chao Li 0009, Minyi Guo |
PSL: Exploiting Parallelism, Sparsity and Locality to Accelerate Matrix Factorization on x86 Platforms. |
Bench |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Vaibhav Agarwal, Sneh Saurabh |
Realizing Boolean Functions Using Probabilistic Spin Logic (PSL). |
VLSID |
2019 |
DBLP DOI BibTeX RDF |
|
21 | Shaojun Dai, Shangzhao Li |
Flag-transitive 4-(v, k, 3) designs and PSL(2, q) groups. |
Appl. Math. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Sadjad Imani, Mohammad Mahdi Nayebi, Seyed Ali Ghorashi |
Colocated MIMO Radar SINR Maximization Under ISL and PSL Constraints. |
IEEE Signal Process. Lett. |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Weixia Li, Dameng Deng, Guangjun Zhang |
Simple 3-(q+1, 5, 3) designs admitting an automorphism group PSL(2, q) with q ≅ 1 (mod 4). |
Ars Comb. |
2018 |
DBLP BibTeX RDF |
|
21 | Ling Long, Rafael I. Plaza, Peter Sin, Qing Xiang |
Characterization of intersecting families of maximum size in PSL(2, q). |
J. Comb. Theory, Ser. A |
2018 |
DBLP DOI BibTeX RDF |
|
21 | Gregory Emmett Coxson, Jon Carmelo Russo |
Enumeration and Generation of PSL Equivalence Classes for Quad-Phase Codes of Even Length. |
IEEE Trans. Aerosp. Electron. Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Fatemeh Negin Javaheri, Katell Morin-Allory, Dominique Borrione |
Synthesis of Regular Expressions Revisited: From PSL SEREs to Hardware. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Hamid Esmaeili-Najafabadi, Mohammad Ataei, Mohammad Farzan Sabahi |
Designing Sequence With Minimum PSL Using Chebyshev Distance and its Application for Chaotic MIMO Radar Waveform Design. |
IEEE Trans. Signal Process. |
2017 |
DBLP DOI BibTeX RDF |
|
21 | M. Alaee, Augusto Aubry, Antonio De Maio, Mohammad Mahdi Naghsh, Mahmood Modarres-Hashemi |
Design of binary sequences with low PSL/ISL. |
EUSIPCO |
2017 |
DBLP DOI BibTeX RDF |
|
21 | M. Alaee, Augusto Aubry, Antonio De Maio, Mohammad Mahdi Naghsh, Mahmood Modarres-Hashemi |
A Coordinate-Descent Framework to Design Low PSL/ISL Sequences. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
21 | Delu Tian, Shenglin Zhou |
Flag-transitive symmetric (v, k, λ) designs admitting primitive automorphism groups with socle PSL(12, 2). |
Ars Comb. |
2016 |
DBLP BibTeX RDF |
|
21 | Augusto Aubry, Antonio De Maio, Yongwei Huang |
MIMO Radar Beampattern Design Via PSL/ISL Optimization. |
IEEE Trans. Signal Process. |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Florenc Demrozi, Graziano Pravadelli, Francesco Stefanni |
Automatic generation of self-adaptive transactors from PSL assertions. |
FDL |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Sara Magliacane, Philip Stutz, Paul Groth, Abraham Bernstein |
foxPSL: A Fast, Optimized and eXtended PSL implementation. |
Int. J. Approx. Reason. |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Luozhong Gong, Guobing Fan |
Simple 3-designs of PSL(2, 2n) with block size 7. |
Ars Comb. |
2015 |
DBLP BibTeX RDF |
|
21 | Sara Magliacane, Philip Stutz, Paul Groth, Abraham Bernstein |
FoxPSL: An Extended and Scalable PSL Implementation. |
AAAI Spring Symposia |
2015 |
DBLP BibTeX RDF |
|
21 | Megan Katsumi, Michael Grüninger |
Using PSL to Extend and Evaluate Event Ontologies. |
RuleML |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Krishna B. Thapa Magar |
Low rank transitive representations, primitive extensions, and the collision problem in PSL (2, q). |
|
2015 |
RDF |
|
21 | Angelo Sonnino |
Transitive $$\text{ PSL}(2, 7)$$ -invariant 42-arcs in 3-dimensional projective spaces. |
Des. Codes Cryptogr. |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Carla Purdy, Chandan Singh, Rashna Seli |
Fixing power bugs at RTL stage using PSL assertions. |
MWSCAS |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Moshe Y. Vardi |
From Löwenheim to PSL and SVA. |
Language, Culture, Computation (1) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Golnoosh Farnadi, Stephen H. Bach, Marie-Francine Moens, Lise Getoor, Martine De Cock |
Extending PSL with Fuzzy Quantifiers. |
StarAI@AAAI |
2014 |
DBLP BibTeX RDF |
|
21 | Carmen Chui, Michael Grüninger |
Merging the DOLCE and PSL Upper Ontologies. |
KEOD |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Rita Vincenti, Hans-Joachim Kroll |
(2q+1)-arcs in PG(3, q3) stabilized by a Sylow p-subgroup of PSL(2, p). |
Electron. Notes Discret. Math. |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Ari Vesanen |
On the group PSL(n, q) as the multiplication group of a loop. |
Eur. J. Comb. |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Jianxiong Tang, Weijun Liu, Jinhua Wang |
Groups PSL(n, q) and 3-(v, k, 1) designs. |
Ars Comb. |
2013 |
DBLP BibTeX RDF |
|
21 | Francis Buekenhout, Julie De Saedeleer, Dimitri Leemans |
On the rank two geometries of the groups PSL(2, q): part II. |
Ars Math. Contemp. |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Bahram N. Uchevler, Kjetil Svarstad |
Assertion based verification using PSL-like properties in Haskell. |
DDECS |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Roy Armoni, Dana Fisman, Naiyong Jin |
SVA and PSL Local Variables - A Practical Approach. |
CAV |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione |
SyntHorus-2: Automatic prototyping from PSL. |
VLSI-SoC |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Jay Pujara, Hui Miao 0001, Lise Getoor, William W. Cohen |
Large-Scale Knowledge Graph Identification Using PSL. |
AAAI Fall Symposia |
2013 |
DBLP BibTeX RDF |
|
21 | Tatiana Bandman, Shelly Garion |
Surjectivity and Equidistribution of the Word xayb on PSL(2, q) and SL(2, q). |
Int. J. Algebra Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Lucia Indaco, Gábor Korchmáros |
42-arcs in PG(2, q) left invariant by PSL(2, 7). |
Des. Codes Cryptogr. |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Laurence Pierre, Luca Ferro, Zeineb Bel Hadj Amor, Philippe Bourgon, Jérôme Quévremont |
Integrating PSL properties into SystemC transactional modeling - Application to the verification of a modem SoC. |
SIES |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Maksim Jenihhin, Samary Baranov, Jaan Raik, Valentin Tihhomirov |
PSL assertion checkers synthesis with ASM based HLS tool ABELITE. |
LATW |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Ali Karami, Bahman Zanj, Azadeh Kiani Sarkaleh |
Persian sign language (PSL) recognition using wavelet transform and neural networks. |
Expert Syst. Appl. |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Tuomas Launiainen, Keijo Heljanko, Tommi A. Junttila |
Efficient model checking of PSL safety properties. |
IET Comput. Digit. Tech. |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Weixia Li, Hao Shen |
Simple 3-designs with block size d+1 from PSL(2, 2n) where d|(2n-1). |
Australas. J Comb. |
2011 |
DBLP BibTeX RDF |
|
21 | Michael Beeson, Jay Halcomb, Wolfgang Mayer |
Inconsistencies in the Process Specification Language (PSL). |
ATE |
2011 |
DBLP BibTeX RDF |
|
21 | Régis Gascon, Frédéric Mallet, Julien Deantoni |
Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL. |
TIME |
2011 |
DBLP DOI BibTeX RDF |
|
21 | Aaron Denney, Cristopher Moore, Alexander Russell |
Finding conjugate stabilizer subgroups in PSL and related groups. |
Quantum Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Helen Avelin |
Numerical Computations of Green's Function and Its Fourier Coefficients on PSL(2, ℤ). |
Exp. Math. |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Luozhong Gong, Weijun Liu |
Simple 3-designs of PSL(2, q) with block size 7. |
Ars Comb. |
2010 |
DBLP BibTeX RDF |
|
21 | G. R. Omidi |
3-Designs and Large Sets of PSL(2, 2n) with Block Sizes 6. |
Ars Comb. |
2010 |
DBLP BibTeX RDF |
|
21 | Julie De Saedeleer, Dimitri Leemans |
On the rank two geometries of the groups PSL(2, q): part I. |
Ars Math. Contemp. |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Brian Keng, Andreas G. Veneris, Sean Safarpour |
An Automated Framework for Correction and Debug of PSL Assertions. |
MTV |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Maksim Jenihhin, Jaan Raik, Raimund Ubar, Tatjana Shchenova |
An approach for PSL assertion coverage analysis with high-level decision diagrams. |
EWDTS |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Luca Ferro, Laurence Pierre |
Formal semantics for PSL modeling layer and application to the verification of transactional models. |
DATE |
2010 |
DBLP DOI BibTeX RDF |
|
21 | WenAn Tan, Fujun Yang, Weiming Shen 0001 |
An approach on business process ontology for CSCW using PSL. |
CSCWD |
2010 |
DBLP DOI BibTeX RDF |
|
21 | C. J. Cummins |
On Conjugacy Classes of Congruence Subgroups of PSL(2, R). |
LMS J. Comput. Math. |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar |
PSL Assertion Checking Using Temporally Extended High-Level Decision Diagrams. |
J. Electron. Test. |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Ezra Brown, Nicholas A. Loehr |
Why Is PSL(2, 7) ≅ GL(3, 2)? |
Am. Math. Mon. |
2009 |
DBLP BibTeX RDF |
|
21 | Michael Grüninger |
Using the PSL Ontology. |
Handbook on Ontologies |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Izumi Miyamoto |
A Construction of Designs from PSL(2, q) and PGL(2, q), q=1 mod 6, on q+2 Points. |
Algorithmic Algebraic Combinatorics and Gröbner Bases |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Michael Gruninger, Xing Tan 0002 |
Reasoning about Partially Ordered Web Service Activities in PSL. |
ASWC |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Weixia Li, Hao Shen |
Simple 3-designs of PSL(2, 2n) with block size 6. |
Discret. Math. |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Maksim Jenihhin, Jaan Raik, Anton Chepurov, Raimund Ubar |
Temporally Extended High-Level Decision Diagrams for PSL Assertions Simulation. |
ETS |
2008 |
DBLP DOI BibTeX RDF |
assertion checking, decision diagrams, Property Specification Language |
21 | Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer |
Specify, Compile, Run: Hardware from PSL. |
COCV@ETAPS |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Amjad Gawanmeh, Sofiène Tahar, Haja Moinudeen, Ali Habibi |
A Design for Verification Approach Using an Embedding of PSL in aSML. |
J. Circuits Syst. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
21 | G. R. Omidi, Mohammad Reza Pournaki, Behruz Tayfeh-Rezaie |
3-Designs with block size 6 from PSL(2, q) and their large sets. |
Discret. Math. |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Yann Oddos, Katell Morin-Allory, Dominique Borrione |
Prototyping Generators for On-line Test Vector Generation Based on PSL Properties. |
DDECS |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, Sofiène Tahar |
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL. |
FDL |
2007 |
DBLP BibTeX RDF |
|
21 | Martin Lange |
Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Peter J. Cameron, Hamid Reza Maimani, G. R. Omidi, Behruz Tayfeh-Rezaie |
3-Designs from PSL(2, q). |
Discret. Math. |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Cindy Eisner, Dana Fisman |
A Practical Introduction to PSL |
|
2006 |
DOI RDF |
|
21 | Marc Boule, Zeljko Zilic |
Efficient Automata-Based Assertion-Checker Synthesis of PSL Properties. |
HLDVT |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Sitvanit Ruah |
Main Results of PROSYD - Methodologies and Tools for Writing Reusable PSL Assertions. |
FDL |
2006 |
DBLP BibTeX RDF |
|
21 | Younes Lahbib, Romain Kamdem, Mohamed-Lyes Benalycherif, Rached Tourki |
An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC. |
Comput. Electr. Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Amjad Gawanmeh, Ali Habibi, Sofiène Tahar |
Embedding and Verification of PSL using AsmL. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
21 | D. Borionne, M. Liu, P. Ostier, Laurent Fesquet |
PSL-based online monitoring of digital systems. |
FDL |
2005 |
DBLP BibTeX RDF |
|
21 | Chris Cummins |
Congruence Subgroups of Groups Commensurable with PSL (2, Z) of Genus 0 and 1. |
Exp. Math. |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Ali Habibi, Amjad Gawanmeh, Sofiène Tahar |
Assertion based verification of PSL for SystemC designs. |
SoC |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Harald Gottschalk, Dimitri Leemans |
Geometries for the group PSL(3, 4). |
Eur. J. Comb. |
2003 |
DBLP DOI BibTeX RDF |
|