Attribute evaluation on attack trees with incomplete information : a preprintBuldas, Ahto; Gadyatskaya, Olga; Lenin, Aleksandr; Mauw, Sjouke; Trujillo-Rasua, RolandarXiv.org2019 / 21 p. : ill http://arxiv.org/abs/1812.10754 Bicategories in univalent foundationsAhrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolo; Weide, Niels van derarXiv.org2020 / 32 p https://doi.org/10.4230/LIPIcs.FSCD.2019.5 CAC 2.0 : a corrupt and correct logic locking technique resilient to structural analysis attacksAksoy, Levent; Yasin, Muhammad; Pagliarini, Samuel NascimentoarXiv.org2024 / 6 p. : ill https://doi.org/10.48550/arXiv.2401.07142 CLFT : camera-LiDAR fusion transformer for semantic segmentation in autonomous drivingGu, Junyi; Bellone, Mauro; Pivonka, Tomas; Sell, RaivoarXiv.org2024 / 12 p. : ill https://doi.org/10.48550/arXiv.2404.17793 Collages of string diagramsBraithwaite, Dylan; Roman Garcia, MarioarXiv.org2023 / p. 39-53 : ill https://doi.org/10.48550/arXiv.2305.02675 Comparison of Bayesian and particle swarm algorithms for hyperparameter optimisation in machine learning applications in high energy physics : [preprint]Tani, Laurits; Veelken, ChristianarXiv.org2024 / 8 p. : ill https://doi.org/10.48550/arXiv.2201.06809 Cornering optics : preprintBoisseau, Guillaume; Nester, Chad Mitchell; Roman Garcia, MarioarXiv.org2022 https://doi.org/10.48550/arXiv.2205.00842 DeepAxe : a framework for exploration of approximation and reliability trade-offs in DNN acceleratorsTaheri, Mahdi; Riazati, Mohamad; Ahmadilivani, Mohammad Hasan; Jenihhin, Maksim; Daneshtalab, Masoud; Raik, Jaan; Sjödin, Mikael; Lisper, BjörnarXiv.org2023 / 8 p. : ill https://doi.org/10.48550/arXiv.2303.0822 Detecting anisotropic inclusions through EIT [Online resource]Cristina, Jan; Päivärinta, Lassi JuhaniarXiv.org2016 / p. 1-18 https://arxiv.org/abs/1511.01233v2 Diagrammatic algebra of first order logic : [preprint]Bonchi, Filippo; Di Giorgio, Alessandro; Haydon, Nathan Joseph; Sobocinski, Pawel MariaarXiv.org2024 / 34 p. : ill https://doi.org/10.48550/arXiv.2401.07055 Differential 2-rigsLoregian, Fosco; Trimble, ToddarXiv.org2022 / 16 p. : ill https://doi.org/10.48550/arXiv.2103.00938 https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4413.pdf Discretizing numerical attributes : an analysis of human perceptionsKaushik, Minakshi; Sharma, Rahul; Draheim, DirkarXiv.org2023 / 18 p. : ill https://doi.org/10.48550/arXiv.2311.03278 Early RTL analysis for SCA vulnerability in fuzzy extractors of memory-based PUF enabled devicesLai, Xinhui; Jenihhin, Maksim; Selims, GeorgiosarXiv.org2020 / 6 p. : ill https://doi.org/10.48550/arXiv.2008.08409 https://arxiv.org/abs/2008.08409 Enhancing D-bar reconstructions for electrical impedance tomography with conformal maps [Online resource]Hyvönen, Nuutti; Päivärinta, Lassi Juhani; Tamminen, Janne Pertti OlaviarXiv.org2017 / p. 1-27 : ill https://arxiv.org/abs/1702.07531v1 Escrows are opticsGenovese, Fabrizio; Loregian, Fosco; Palombi, DanielearXiv.org2022 / 16 p. : ill https://doi.org/10.48550/arXiv.2105.10028 https://arxiv.org/pdf/2105.10028.pdf Evolutionary algorithms for hyperparameter optimization in machine learning for application in high energy physics : [preprint]Tani, Laurits; Rand, Diana; Veelken, Christian; Kadastik, MarioarXiv.org2021 / 11 p. : ill https://doi.org/10.48550/arXiv.2011.04434 Extending automated deduction for commonsense reasoningTammet, TanelarXiv.org2020 / p. 1-19 https://arxiv.org/pdf/2003.13159.pdf https://arxiv.org/abs/2003.13159 Fekete's lemma for componentwise subadditive functions of two or more real variablesCapobianco, SilvioarXiv.org2019 / 20 p. : ill https://arxiv.org/abs/1904.10507 Fibration linguistics (FibLang) : language acquisitionGenovese, Fabrizio; Loregian, Fosco; Puca, CaterinaarXiv.org2022 / p. 1-16 : ill https://doi.org/10.48550/arXiv.2207.06765 https://arxiv.org/pdf/2207.06765.pdf Fractional Brownian motion and asymptotic Bayesian estimation [Online resource]Päivärinta, Lassi Juhani; Piiroinen, PetteriarXiv.org2016 / p. 1-55 : ill https://arxiv.org/abs/1606.07576v1 A framework for modelling, verification and transformation of concurrent imperative programsBortin, MaksymarXiv.org2020 / 57 p https://arxiv.org/abs/2007.02261 https://doi.org/10.48550/arXiv.2007.02261 Holistic approach for Fault-Tolerant Network-on-Chip based many-core systems [Online resource]Azad, Siavoosh Payandeh; Niazmand, Behrad; Raik, Jaan; Jervan, Gert; Hollstein, ThomasarXiv.org2016 / [8] p. : ill Holistic IJTAG-based external and internal fault monitoring in UAVsAhmed, Foisal; Jenihhin, MaksimarXiv.org2023 / 6 p. : ill https://doi.org/10.48550/arXiv.2303.01816 Impact of orientation on the bias of SRAM-based PUFsAbideen, Zain Ul; Wang, Rui; Perez, Tiago Diadami; Schrijen, Geert-Jan; Pagliarini, Samuel NascimentoarXiv.org2023 / 7 p. : ill https://doi.org/10.48550/arXiv.2308.06730 Interaction laws of monads and comonadsKatsumata, Shin-ya; Rivas, Exequiel; Uustalu, TarmoarXiv.org2019 / 28 p. : ill https://arxiv.org/abs/1912.13477 Inverse acoustic scattering problem in half-space with anisotropic random impedance [Online resource]Helin, Tapio; Lassas, Matti; Päivärinta, Lassi JuhaniarXiv.org2014 / p. 1-26 https://arxiv.org/abs/1407.2481v2 Inverse source problem with a posteriori boundary measurement for fractional diffusion equationsJanno, Jaan; Kian, YavararXiv.org2022 / 17 p https://doi.org/10.48550/arXiv.2207.06468 KRATT : QBF-assisted removal and structural analysis attack against logic lockingAksoy, Levent; Yasin, Muhammad; Pagliarini, Samuel NascimentoarXiv.org2023 / 7 p. : ill https://doi.org/10.48550/arXiv.2311.05982 Numerical association rule mining : a systematic literature reviewKaushik, Minakshi; Sharma, Rahul; Fister, Iztok jr.; Draheim, DirkarXiv.org2023 / 50 p. : ill https://doi.org/10.48550/arXiv.2307.00662 Optics for premonoidal categoriesHefford, James; Roman Garcia, MarioarXiv.org2023 / p. 152-171 : ill https://doi.org/10.48550/arXiv.2305.02906 An overview of FPGA-inspired obfuscation techniquesAbideen, Zain Ul; Gokulanathan, Sumathi; Aljafar, Muayad J.; Pagliarini, Samuel NascimentoarXiv.org2023 / 30 p. : ill https://doi.org/10.48550/arXiv.2305.15999 Preventing distillation-based attacks on Neural Network IPGrailoo, Mahdieh; Abideen, Zain Ul; Leier, Mairo; Pagliarini, Samuel NascimentoarXiv.org2022 / 7 p. : ill https://doi.org/10.48550/arXiv.2204.00292 The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Roman Garcia, MarioarXiv.org2023 / 56 p. : ill https://doi.org/10.48550/arXiv.2301.11867 Profunctor optics : a categorical updateClarke, Bryce; Elkins, Derek; Gibbons, Jeremy; Loregian, Fosco; Milewski, Bartosz; Pillmore, Emily; Roman Garcia, MarioarXiv.org2022 / 45 p https://doi.org/10.48550/arXiv.2001.07488 Promonads and string diagrams for effectful categories : preprintRoman Garcia, MarioarXiv.org2022 https://doi.org/10.48550/arXiv.2205.07664 SALSy : security-aware layout synthesisEslami, Mohammad; Perez, Tiago Diadami; Pagliarini, Samuel NascimentoarXiv.org2024 / 13 p. : ill https://doi.org/10.48550/arXiv.2308.06201 SARS-CoV-2 Coronavirus data compression benchmarkLiiv, InnararXiv.org2020 / 6 p. https://arxiv.org/abs/2012.12013 SCARF : securing chips with a robust framework against fabrication-time hardware Trojans : preprintEslami, Mohammad; Ghasempouri, Tara; Pagliarini, Samuel NascimentoarXiv.org2024 / 14 p. : ill https://doi.org/10.48550/arXiv.2402.12162 Search for Higgs boson pairs decaying to WW*WW*, WW*ττ, and ττττ in proton-proton collisions at √s = 13 TeV : [preprint]Ehatäht, Karl; Kadastik, Mario; Raidal, Martti; Tani, Laurits; Veelken, ChristianarXiv.org2023 / 62 p. : ill https://doi.org/10.48550/arXiv.2206.10268 Strictly convex corners scatter [Online resource]Päivärinta, Lassi Juhani; Salo, Mikko; Vesalainen, Esa V.arXiv.org2014 / p. 1-27 https://arxiv.org/abs/1404.2513v2 A systematic study of lattice-based NIST PQC algorithms : from reference implementations to hardware acceleratorsImran, Malik; Abideen, Zain Ul; Pagliarini, Samuel NascimentoarXiv.org2020 / 36 p. : ill Tau lepton identification and reconstruction : a new frontier for jet-tagging ML algorithms : [preprint]Lange, Thomas; Nandan, Saswati; Pata, Joosep; Tani, Laurits; Veelken, ChristianarXiv.org2023 / 22 p. : ill https://doi.org/10.48550/arXiv.2307.07747 ULTRA : a data-driven approach for recommending team formation in response to proposal callsSrivastava, Biplav; Koppel, Tarmo; Shah, RonakarXiv.org2022 / 7 p https://doi.org/10.48550/arXiv.2201.05646 A version of the simplex method for solving linear systems of inequalities and linear programming problemsÜbi, Jaan; Übi, EvaldarXiv.org2023 / 9 p https://doi.org/10.48550/arXiv.2305.03730