Loading…
Static Analysis of Information Systems for IoT Cyber Security: A Survey of Machine Learning Approaches
Kotenko, Igor, Izrailov, Konstantin, Buinevich, Mikhail
Published in Sensors (Basel, Switzerland) (10.02.2022)
Published in Sensors (Basel, Switzerland) (10.02.2022)
Get full text
Journal Article
Loading…
Loading…
Strategy formalization in emerging companies of technological basis: alternative resources in the liability of newness
Ribeiro, Artur Tavares Vilas Boas, Rocha, Renata Malagoli, Krakauer, Patricia Viveiros de Castro, Pedroso, Marcelo Caldeira
Published in Revista ibero-americana de estratégia (01.12.2016)
Published in Revista ibero-americana de estratégia (01.12.2016)
Get full text
Journal Article
Loading…
Loading…
Formalization of the General Model of the Green Economy at the Regional Level
Ivan Mikhaylovich Potravny, Andrey Leonidovich Novoselov, Igor Borisovich Gengut
Published in Ekonomika regiona (01.06.2016)
Published in Ekonomika regiona (01.06.2016)
Get full text
Journal Article
Loading…
Loading…
MOVEMENT 2. FORMALIZING ARRANGEMENTS: Re‐signification and the Making of Governable Spaces
Cante, Fabien, Hussain, Ajmal, Makori, Timo, Mohamed, Surer Qassim, Osbourne, Alana, Pilo’, Francesca, Ramakrishnan, Kavita, Simone, AbdouMaliq, Sitas, Rike, Suhail, Adeem
Published in International journal of urban and regional research (01.05.2023)
Published in International journal of urban and regional research (01.05.2023)
Get full text
Journal Article
Loading…
Loading…
Loading…
A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized
Abel, Andreas, Danielsson, Nils Anders, Eriksson, Oskar
Published in Proceedings of ACM on programming languages (30.08.2023)
Published in Proceedings of ACM on programming languages (30.08.2023)
Get full text
Journal Article
Loading…
Loading…
MOVEMENT 4. BREATH SIGH TEMPEST: On the Temporal Dimensions of Re‐arrangements
Cante, Fabien, Hussain, Ajmal, Makori, Timo, Mohamed, Surer Qassim, Osbourne, Alana, Pilo', Francesca, Ramakrishnan, Kavita, Simone, AbdouMaliq, Sitas, Rike, Suhail, Adeem
Published in International journal of urban and regional research (01.05.2023)
Published in International journal of urban and regional research (01.05.2023)
Get full text
Journal Article
Loading…
Loading…
Semantic annotation for knowledge explicitation in a product lifecycle management context: A survey
Liao, Yongxin, Lezoche, Mario, Panetto, Hervé, Boudjlida, Nacer, Loures, Eduardo Rocha
Published in Computers in industry (01.08.2015)
Published in Computers in industry (01.08.2015)
Get full text
Journal Article
Loading…
Loading…