Search results for "PSL"

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