Filters








7 Hits in 4.7 sec

On nonabelian key addition groups and markovian block ciphers
О неабелевых группах наложения ключа и марковости алгоритмов блочного шифрования

B. A. Pogorelov, M. A. Pudovkina
2018 Prikladnaya diskretnaya matematika Prilozhenie  
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

Rafael Kiesel
2021 Electronic Proceedings in Theoretical Computer Science  
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

Ulrike Hahn
2002 Behavioral and Brain Sciences  
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?

N. S. Thompson, Jaan Valsiner
2002 Behavioral and Brain Sciences  
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

Trent Jaeger
2008 Synthesis Lectures on Information Security Privacy and Trust  
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]

Aikaterini Athanasiou, National Technological University Of Athens
2020
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

Andreia Azevedo Soares, Nicholas Russell, Felicity Mellor, Fundacao Para A Ciencia E A Tecnologia
2013
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