A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
On nonabelian key addition groups and markovian block ciphers
О неабелевых группах наложения ключа и марковости алгоритмов блочного шифрования
2018
Prikladnaya diskretnaya matematika Prilozhenie
О неабелевых группах наложения ключа и марковости алгоритмов блочного шифрования
Preserved Fulltext
ALIAS: A modular tool for finding backdoors for SAT // Proc. SAT Conf. 2018. (to be published) 11. Yeo S., Li Z., Khoo K., and Low Y. ...
Semenov A., Zaikin O., Otpuschennikov I., et al. On cryptographic attacks using backdoors for SAT // Proc. AAAI Conf. 2018. P. 6641-6648. 8. Semenov A. ...
doi:10.17223/2226308x/11/25
fatcat:sxiovazllfabbbr2gfmqtfiaya
Quantitative and Stream Extensions of Answer Set Programming
2021
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We propose the introduction and analysis of a general framework that incorporates all three directions of extension by exploiting the strengths of Here-and-There Logic and Weighted Logic. ...
Acknowledgments The author would like to thank Thomas Eiter for supervising his PhD research activities. This work has been supported by FWF project W1255-N23. ...
Considered, inter alia, in [23, 13, 3] • Modularity, a property facilitating the parallel evaluation of answer set programs. ...
doi:10.4204/eptcs.345.43
fatcat:cmzep6rghfaexky43f5enda5ky
Information, information transfer, and information processing
2002
Behavioral and Brain Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
But for ethologists there are no clubs and backdoors. ...
Thus, for a dancing couple, the place where each grips the other is the handle of a tool. ...
doi:10.1017/s0140525x02280115
fatcat:kkarxwas4zdztlaayovtrznaqm
Doesn't a dance require dancers?
2002
Behavioral and Brain Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
But for ethologists there are no clubs and backdoors. ...
Thus, for a dancing couple, the place where each grips the other is the handle of a tool. ...
doi:10.1017/s0140525x0245011x
fatcat:lsdzp434ezhi7ks5q3crw57feu
Operating System Security
2008
Synthesis Lectures on Information Security Privacy and Trust
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
He also developed the RBAC and Process Rights Management tools for the Solaris Management Console. He has authored several articles for Sun's Blueprints website, and the Solaris Developer Connection. ...
Glenn Faden is a Distinguished Engineer in the Solaris Security Technologies Group, and has worked at Sun for 19 years. ...
While tools have been developed that find bugs in mediation interfaces [149, 351] , proving the correctness of a reference monitor interface in an operating system is intractable in general because they ...
doi:10.2200/s00126ed1v01y200808spt001
fatcat:o7qgtis6zffr3disdujoq4izaa
Data structuring & Interoperability options for optimising 3D City Modelling
[article]
2020
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
GML3 has a modular structure, which allows to select the schemas or schema components that are needed for a specific application. ...
SketchUp application is a useful tool for rapid development of building schematic designs. ...
doi:10.26240/heal.ntua.19210
fatcat:nxa6buz5tnbwboxyuehvaxc5qi
Imagining Humans in the Age of DNA: Genetics and Contemporary British Fiction
2013
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
My hypothesis is that if gene-centred disciplines changed the way we see ourselves, then this would have implications for the literary novel, a genre that depends greatly on representations of humans. ...
Six literary novels were selected for analysis. This corpus consists of: A.S. ...
Mitchell also finds inappropriate, for example, to find an evolutionary explanation for the fact that men are particularly keen on expensive cars. ...
doi:10.25560/11593
fatcat:vd4vmkqyajeiboexiwrqfwhuxi