Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic
Jha, Susmit, Raman, Vasumathi, Sadigh, Dorsa, Seshia, Sanjit A.
Published in Journal of automated reasoning (01.01.2018)
Published in Journal of automated reasoning (01.01.2018)
Get full text
Journal Article
Three new classes of optimal quinary cyclic codes with minimum distance four
Liu, Yan, Cao, Xiwang
Published in Applicable algebra in engineering, communication and computing (01.05.2025)
Published in Applicable algebra in engineering, communication and computing (01.05.2025)
Get full text
Journal Article
Quasi type IV codes over a non-unital ring
Alahmadi, Adel, Altassan, Alaa, Basaffar, Widyan, Bonnecaze, Alexis, Shoaib, Hatoon, Solé, Patrick
Published in Applicable algebra in engineering, communication and computing (01.06.2021)
Published in Applicable algebra in engineering, communication and computing (01.06.2021)
Get full text
Journal Article
Soundness and Completeness Proofs by Coinductive Methods
Blanchette, Jasmin Christian, Popescu, Andrei, Traytel, Dmitriy
Published in Journal of automated reasoning (01.01.2017)
Published in Journal of automated reasoning (01.01.2017)
Get full text
Journal Article
LDPC codes constructed from cubic symmetric graphs
Crnković, Dean, Rukavina, Sanja, Šimac, Marina
Published in Applicable algebra in engineering, communication and computing (01.11.2022)
Published in Applicable algebra in engineering, communication and computing (01.11.2022)
Get full text
Journal Article
On the classification of unitals on 28 points of low rank
Tonchev, Vladimir, Wassermann, Alfred
Published in Applicable algebra in engineering, communication and computing (01.12.2022)
Published in Applicable algebra in engineering, communication and computing (01.12.2022)
Get full text
Journal Article
Computing with D-algebraic power series
van der Hoeven, Joris
Published in Applicable algebra in engineering, communication and computing (08.01.2019)
Published in Applicable algebra in engineering, communication and computing (08.01.2019)
Get full text
Journal Article
Some classes of permutation polynomials over finite fields with odd characteristic
Liu, Qian, Sun, Yujuan, Zhang, WeiGuo
Published in Applicable algebra in engineering, communication and computing (01.11.2018)
Published in Applicable algebra in engineering, communication and computing (01.11.2018)
Get full text
Journal Article
The weight enumerator of the duals of a class of cyclic codes with three zeros
Yang, Shudi, Yao, Zheng-An, Zhao, Chang-An
Published in Applicable algebra in engineering, communication and computing (01.08.2015)
Published in Applicable algebra in engineering, communication and computing (01.08.2015)
Get full text
Journal Article
Using symbolic evaluation to understand behavior in configurable software systems
Reisner, Elnatan, Song, Charles, Ma, Kin-Keung, Foster, Jeffrey S., Porter, Adam
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Get full text
Conference Proceeding
Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Year of Publication 2014
Get full text
Conference Proceeding