461303. Computational logic and formal languages
| Title | 461303. Computational logic and formal languages |
|---|---|
| Parent | 4613. Theory of computation |
Latest research outputs
Sort by Date Title
Identifying partial subroutines for instrument control based on regular expressions
Maiti, Ananda, Kist, Alexander A. and Maxwell, Andrew D.. 2017. "Identifying partial subroutines for instrument control based on regular expressions." Auer, Michael E. and Zutin, Danilo G. (ed.) 14th International Conference on Remote Engineering and Virtual Instrumentation (REV 2017): Online Engineering & Internet of Things. New York, USA 15 - 17 Mar 2017 Switzerland. https://doi.org/10.1007/978-3-319-64352-6_45Paper
Efficient and secure ECDSA algorithm and its applications: a survey
Al-Zubaidie, Mishall, Zhang, Zhongwei and Zhang, Ji. 2019. "Efficient and secure ECDSA algorithm and its applications: a survey." International Journal of Communication Networks and Information Security. 11 (1), pp. 7-35.Article
L-diversity based dynamic update for large time-evolving microdata
Sun, Xiaoxun, Wang, Hua and Li, Jiuyong. 2008. "L-diversity based dynamic update for large time-evolving microdata." Wobcke, Wayne and Zhang, Mengjie (ed.) AI 2008: 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence . Auckland, New Zealand 01 - 05 Dec 2008 Germany. Springer. https://doi.org/10.1007/978-3-540-89378-3_47Paper
Estimation of the intercept parameter for linear regression model with uncertain non-sample prior information
Khan, Shahjahan, Hoque, Zahirul and Saleh, A. K. Md. E.. 2005. "Estimation of the intercept parameter for linear regression model with uncertain non-sample prior information." Statistical Papers. 46 (3), pp. 379-395. https://doi.org/10.1007/bf02762840Article
Specifying usage control model with object constraint language
Li, Min and Wang, Hua. 2010. "Specifying usage control model with object constraint language." NSS 2010: 4th International Conference on Network and System Security . Melbourne, Australia 01 - 03 Sep 2010 Piscataway, NJ. United States. https://doi.org/10.1109/NSS.2010.10Paper
A boolean algebra approach for class hierarchy normalization
Zhang, Yanchun and Xiao, Jitian. 1997. "A boolean algebra approach for class hierarchy normalization." Topor, R. and Tanaka, K. (ed.) 5th International Conference on Database Systems for Advanced Applications. Melbourne, Australia 01 - 04 Apr 1997 Singapore. https://doi.org/10.1142/9789812819536_0032Paper
Netml: a language and website for collaborative work on networks and their algorithms
Addie, Ron, Braithwaite, Stephen and Zareer, Abdulla. 2006. "Netml: a language and website for collaborative work on networks and their algorithms." Ellershaw, John (ed.) Australian Telecommunications Networks and Applications Conference (ATNAC 2006). Melbourne, Australia 04 - 06 Dec 2006 Melbourne Australia.Paper