Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Correct orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT
Djukic, Miodrag, Prokić, Ivan, Popovic, Miroslav, Ghilezan, Silvia, Popovic, Marko, Prokić, Simona
Published in International journal on software tools for technology transfer (01.02.2025)
Published in International journal on software tools for technology transfer (01.02.2025)
Get full text
Journal Article
A Generic Reliability Based Direct Decoding Algorithm for Turbo Codes
Salija, P., Yamuna, B., Padmanabhan, T. R., Mishra, Deepak
Published in Wireless personal communications (01.07.2022)
Published in Wireless personal communications (01.07.2022)
Get full text
Journal Article
The Topology ToolKit
Tierny, Julien, Favelier, Guillaume, Levine, Joshua A., Gueunet, Charles, Michaux, Michael
Published in IEEE transactions on visualization and computer graphics (01.01.2018)
Published in IEEE transactions on visualization and computer graphics (01.01.2018)
Get full text
Journal Article
Generic Decoding in the Sum-Rank Metric
Puchinger, Sven, Renner, Julian, Rosenkilde, Johan
Published in IEEE transactions on information theory (01.08.2022)
Published in IEEE transactions on information theory (01.08.2022)
Get full text
Journal Article
NIFTY – Numerical Information Field Theory: A versatile PYTHON library for signal inference
Selig, M., Bell, M. R., Junklewitz, H., Oppermann, N., Reinecke, M., Greiner, M., Pachajoa, C., Enßlin, T. A.
Published in Astronomy and astrophysics (Berlin) (01.06.2013)
Published in Astronomy and astrophysics (Berlin) (01.06.2013)
Get full text
Journal Article
The atomic simulation environment-a Python library for working with atoms
Hjorth Larsen, Ask, Jørgen Mortensen, Jens, Blomqvist, Jakob, Castelli, Ivano E, Christensen, Rune, Du ak, Marcin, Friis, Jesper, Groves, Michael N, Hammer, Bjørk, Hargus, Cory, Hermes, Eric D, Jennings, Paul C, Bjerre Jensen, Peter, Kermode, James, Kitchin, John R, Leonhard Kolsbjerg, Esben, Kubal, Joseph, Kaasbjerg, Kristen, Lysgaard, Steen, Bergmann Maronsson, Jón, Maxson, Tristan, Olsen, Thomas, Pastewka, Lars, Peterson, Andrew, Rostgaard, Carsten, Schiøtz, Jakob, Schütt, Ole, Strange, Mikkel, Thygesen, Kristian S, Vegge, Tejs, Vilhelmsen, Lasse, Walter, Michael, Zeng, Zhenhua, Jacobsen, Karsten W
Published in Journal of physics. Condensed matter (12.07.2017)
Published in Journal of physics. Condensed matter (12.07.2017)
Get full text
Journal Article
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP
Prokić, Ivan, Ghilezan, Silvia, Kašterović, Simona, Popovic, Miroslav, Popovic, Marko, Kaštelan, Ivan
Year of Publication 26.06.2023
Year of Publication 26.06.2023
Get full text
Journal Article
Implementation of a genetic algorithm for two-dimensional arrays using the numpy library for python
Masaev, S. N., Ilgov, A. R.
Published in Proceedings of SPIE, the international society for optical engineering (16.05.2025)
Published in Proceedings of SPIE, the international society for optical engineering (16.05.2025)
Get full text
Conference Proceeding
PyTirCam-1.0: A Python Model to Manage Thermal Infrared Camera Data
Calusi, Benedetta, Andronico, Daniele, Pecora, Emilio, Biale, Emilio, Cerminara, Matteo
Published in Remote sensing (Basel, Switzerland) (11.12.2020)
Published in Remote sensing (Basel, Switzerland) (11.12.2020)
Get full text
Journal Article
SciKit Digital Health: Python Package for Streamlined Wearable Inertial Sensor Data Processing
Adamowicz, Lukas, Christakis, Yiorgos, Czech, Matthew D, Adamusiak, Tomasz
Published in JMIR mHealth and uHealth (21.04.2022)
Published in JMIR mHealth and uHealth (21.04.2022)
Get full text
Journal Article