1.
Eszlari, Nora ✉ ; Hullam, Gabor ; Gal, Zsofia ; Torok, Dora ; Nagy, Tamas ; Millinghoffer, Andras ; Baksa, Daniel ; Gonda, Xenia ; Antal, Peter ; Bagdy, Gyorgy et al.
Olfactory genes affect major depression in highly educated, emotionally stable, lean women: a bridge between animal models and precision medicine
TRANSLATIONAL PSYCHIATRY 14 : 1 Paper: 182 , 10 p. (2024)
DOI WoS Scopus PubMed
Publication:34779723 Validated Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34779723] [Validated]
2.
Bajczi, Levente ; Ádám, Zsófia ; Micskei, Zoltán
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 330-334. Paper: Chapter 16 , 5 p. (2024)
DOI Other URL
Publication:34768972 Published Core Journal Article (Conference paper in journal ) Scientific
Conference paper in journal (Journal Article) | Scientific[34768972] [Approved]
3.
Bajczi, Levente ✉ ; Telbisz, Csanád ; Somorjai, Márk ; Ádám, Zsófia ; Dobos-Kovács, Mihály ; Szekeres, Dániel ; Mondok, Milán ; Molnár, Vince
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 412-417. Paper: Chapter 30 , 6 p. (2024)
DOI Other URL
Publication:34768428 Published Core Journal Article (Conference paper in journal ) Scientific
Conference paper in journal (Journal Article) | Scientific[34768428] [Approved]
4.
Bajczi, Levente ✉ ; Szekeres, Dániel ; Mondok, Milán ; Ádám, Zsófia ; Somorjai, Márk ; Telbisz, Csanád ; Dobos-Kovács, Mihály ; Molnár, Vince
EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE 14572 pp. 371-375. Paper: Chapter 23 , 5 p. (2024)
DOI Other URL
Publication:34768422 Published Core Journal Article (Conference paper in journal ) Scientific
Conference paper in journal (Journal Article) | Scientific[34768422] [Approved]
5.
Pogány, Domonkos ✉ ; Antal, Péter
Towards explainable interaction prediction: Embedding biological hierarchies into hyperbolic interaction space
PLOS ONE 19 : 3 Paper: e0300906 , 23 p. (2024)
DOI WoS Scopus PubMed Other URL
Publication:34751205 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34751205] [Approved]
6.
Serban, Andrada A. ; Micskei, Zoltán
Application of Mutation testing in Safety-Critical Embedded Systems: A Case Study
ACTA POLYTECHNICA HUNGARICA 21 : 8 pp. 87-106. , 20 p. (2024)
DOI Scopus
Publication:34727894 Published Core Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34727894] [Approved]
7.
Ákos, Ferenc Hegedűs ; Tamás, Dabóczi
Design Optimization of a Current Sensing Trace with respect to Skin Effect by FEM Simulations
(2024) , 4 p.
Publication:34726765 Published Core Conference proceedings Scientific
Conference proceedings | Scientific[34726765] [Approved]
8.
Alrwashdeh, Monther ; Czifra, Balazs ; Kollár, Zsolt
Analysis of Quantization Noise in Fixed-Point HDFT Algorithms
IEEE SIGNAL PROCESSING LETTERS 31 pp. 756-760. , 5 p. (2024)
DOI WoS Scopus Other URL
Publication:34720081 Published Core Citing Journal Article (Note, Short, Rapid communications ) Scientific
Note, Short, Rapid communications (Journal Article) | Scientific[34720081] [Approved]
9.
Al-Rikabi, Hussein ✉ ; Renczes, Balázs
Floating-Point Quantization Analysis of Multi-Layer Perceptron Artificial Neural Networks
JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY , 12 p. (2024)
DOI Scopus Other URL Teljes dokumentum
Publication:34714521 Published Core Citing Journal Article (Article ) Scientific
Article (Journal Article) | Scientific[34714521] [Approved]
10.
Paolo, Carbone ; Balázs, Renczes ; Alessio, De Angelis ; Antonio, Moschitta
Calibrated Sinefit Based on Quantized Data
In: Proceedings of the IEEE I2MTC conference : Instrumentation and Measurement for a Sustainable Future
(2024) Paper: accepted for publication
Other URL
Publication:34714453 Published Core Conference paper (Not classified ) Scientific
Not classified (Conference paper) | Scientific[34714453] [Approved]
2024-05-06 14:00