Výsledky vyhledávání - algorithm of checking recoverability of boolean function*

Method of restoring multivariable Boolean function from its derivative

Autoři: A. V. Mazurenko N. S. Mogilevskaya

Zdroj: Advanced Engineering Research, Vol 17, Iss 1, Pp 122-131 (2017)

Témata: polynomial ring, конечные поля, directional derivative of boolean function, complexity estimation, булева функция, производная булевой функции по направлению, алгоритм проверки возможности восстановления булевой функции, ring isomorphism, пространство булевых функций, algorithm of checking recoverability of boolean function, preimage searching, поиск прообраза, оценка сложности, boolean function, кольцо многочленов, TA401-492, теория кодирования, space of boolean functions, finite fields, coding theory, Materials of engineering and construction. Mechanics of materials, кольцевой изоморфизм

Přístupová URL adresa: https://vestnik.donstu.ru/jour/article/download/254/255
https://doaj.org/article/3557eb5d9f0c4ac496fd9300ccaeae53
http://science.donstu.ru/apex/f?p=381:39:12693320984079:::NO:P39_FILE_ID:31167505472188243

Adaptive and Fair Transformation for Recoverable Mutual Exclusion.

Autoři: Dhoked, Sahil Mittal, Neeraj

Zdroj: Journal of the ACM; Aug2025, Vol. 72 Issue 4, p1-61, 61p

Témata: FAULT tolerance (Engineering), FAIRNESS, PARALLEL computers, ALGORITHMS, COMPUTER performance

Способ восстановления булевой функции нескольких переменных по ее производной

Zdroj: Вестник Донского государственного технического университета.

Témata: БУЛЕВА ФУНКЦИЯ,ПРОИЗВОДНАЯ БУЛЕВОЙ ФУНКЦИИ ПО НАПРАВЛЕНИЮ,АЛГОРИТМ ПРОВЕРКИ ВОЗМОЖНОСТИ ВОССТАНОВЛЕНИЯ БУЛЕВОЙ ФУНКЦИИ,ОЦЕНКА СЛОЖНОСТИ,ПРОСТРАНСТВО БУЛЕВЫХ ФУНКЦИЙ,КОЛЬЦО МНОГОЧЛЕНОВ,КОНЕЧНЫЕ ПОЛЯ,КОЛЬЦЕВОЙ ИЗОМОРФИЗМ,ТЕОРИЯ КОДИРОВАНИЯ,ПОИСК ПРООБРАЗА,BOOLEAN FUNCTION,DIRECTIONAL DERIVATIVE OF BOOLEAN FUNCTION,ALGORITHM OF CHECKING RECOVERABILITY OF BOOLEAN FUNCTION,COMPLEXITY ESTIMATION,SPACE OF BOOLEAN FUNCTIONS,POLYNOMIAL RING,FINITE FIELDS,RING ISOMORPHISM,CODING THEORY,PREIMAGE SEARCHING

Popis souboru: text/html

Přístupová URL adresa: http://cyberleninka.ru/article/n/sposob-vosstanovleniya-bulevoy-funktsii-neskolkih-peremennyh-po-ee-proizvodnoy
http://cyberleninka.ru/article_covers/17000227.png

Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches.

Autoři: Haur, Imane Béchennec, Jean-Luc Roux, Olivier H.

Zdroj: Cybernetics & Systems; 2025, Vol. 56 Issue 6, p886-916, 31p

Témata: MULTICORE processors, PETRI nets, SOFTWARE verification, SYNCHRONIZATION, DECIDABILITY (Mathematical logic), SCHEDULING, AUTOMATIC timers, REAL-time programming

Nearly Optimal Pseudorandomness from Hardness.

Autoři: DORON, DEAN MOSHKOVITZ, DANA OH, JUSTIN a další

Zdroj: Journal of the ACM; Nov2022, Vol. 69 Issue 6, p1-55, 55p

Témata: DETERMINISTIC algorithms, CIRCUIT complexity, SEED size

A Framework-Driven Evaluation and Survey of MCU Fault Injection Resilience for IoT.

Autoři: Seniushin, Igor Glazyrina, Natalya Atanbayev, Yernat a další

Zdroj: Applied Sciences (2076-3417); Nov2025, Vol. 15 Issue 22, p11991, 36p

Témata: INTERNET of things, SECURITY management, HARDWARE Trojans (Computers), FAULT tolerance (Engineering), EVALUATION methodology, MICROPROCESSORS

Quantitative resilience assessment on critical infrastructures - A systematic literature review of the last decade (2014-2024).

Autoři: De Marco, Andrea Berardi, Davide Galuppi, Marta a další

Zdroj: Journal of Safety Science & Resilience; Sep2025, Vol. 6 Issue 3, p1-20, 20p

Témata: DISASTER resilience, QUANTITATIVE research, CLASSIFICATION, SWOT analysis, RESEARCH protocols, SYSTEM of systems, INFRASTRUCTURE (Economics)

High-Level Implicit Enumerations for Quadratic Periodic Train Timetabling with Prioritized Cross-Line Operations.

Autoři: Zou, Congcong Lv, Hongxia Lv, Miaomiao a další

Zdroj: Mathematics (2227-7390); Jul2025, Vol. 13 Issue 13, p2154, 33p

Témata: RAILROAD trains, TRAIN schedules, NONLINEAR programming, ITERATIVE methods (Mathematics), SCHEDULING, RAILROADS

Geografický termín: ZHUHAI (China), GUANGZHOU (China)

Modeling Photovoltaic Facilities via Fuzzy Sets and Linguistic Petri Nets.

Autoři: Medina, Jesús Moreno-García, Juan

Zdroj: International Journal of Information Technology & Decision Making; May2025, Vol. 24 Issue 4, p1191-1219, 29p

Témata: PHOTOVOLTAIC power systems, FUZZY sets, TIME series analysis, NATURAL languages, PETRI nets

Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets.

Autoři: Nigro, Libero Cicirelli, Franco

Zdroj: Mathematics (2227-7390); Mar2024, Vol. 12 Issue 6, p812, 25p

Témata: PETRI nets, SEMANTICS, STATISTICAL models, FORMAL languages

A Multivocal Review of MLOps Practices, Challenges and Open Issues.

Autoři: Eken, Beyza Pallewatta, Samodha Tran, Nguyen a další

Zdroj: ACM Computing Surveys; Feb2026, Vol. 58 Issue 2, p1-35, 35p

Témata: STANDARDS

Evaluation of the underground space safety resilience of Chinese urban agglomerations based on the "Pressure-State-Response": A case study of underground rail transit in 26 cities.

Autoři: Chong Li Yibao Wang

Zdroj: Journal of Safety Science & Resilience; Sep2025, Vol. 6 Issue 3, p1-16, 16p

Témata: UNDERGROUND areas, SUBWAYS, DISASTERS, EMERGENCY management, METROPOLITAN areas, RISK assessment

Geografický termín: PEARL River Delta (China), YANGTZE River Delta (China)

Validation and verification of low power and area efficient fault model methods using 16nm technology.

Autoři: Sahithi, Nagapuri Lavudya, Jyothi Krishnahari, E.

Zdroj: Analog Integrated Circuits & Signal Processing; Sep2025, Vol. 124 Issue 3, p1-22, 22p

A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets.

Autoři: Arias, Jaime Bae, Kyungmin Olarte, Carlos a další

Zdroj: Fundamenta Informaticae; 2024, Vol. 192 Issue 3/4, p261-312, 52p

Témata: PETRI nets, MATHEMATICAL logic, SEMANTICS (Philosophy), STATISTICAL models, LOGIC

Algorithm substitution attacks against receivers.

Autoři: Armour, Marcel Poettering, Bertram

Zdroj: International Journal of Information Security; Oct2022, Vol. 21 Issue 5, p1027-1050, 24p

Témata: RSA algorithm, PUBLIC key cryptography, DATA encryption, ALGORITHMS, MASS surveillance, LEAKS (Disclosure of information), WORKING class

Discovering chemical structure: general discussion.

Autoři: Aspuru-Guzik, Alán Bechtel, Tim Bernales, Varinia a další

Zdroj: Faraday Discussions; 2025, Issue 256, p177-220, 44p

Algorithms for partially robust team formation.

Autoři: Schwind, Nicolas Demirović, Emir Inoue, Katsumi a další

Zdroj: Autonomous Agents & Multi-Agent Systems; Oct2023, Vol. 37 Issue 2, p1-45, 45p

Computational discovery of dynamic cell line specific Boolean Networks from multiplex time-course data.

Autoři: Razzaq, Misbah Paulevé, Loïc Siegel, Anne a další

Zdroj: PLoS Computational Biology; 10/29/2018, Vol. 14 Issue 10, p1-23, 23p, 4 Diagrams, 2 Charts, 3 Graphs

Témata: CELL lines, CELL culture, BIOINFORMATICS, PROTEIN-protein interactions, GENE expression

DSDOS Cloud: A Decentralized Secure Data Outsourcing System With Hybrid Encryption, Blockchain Smart Contract‐Based Access Control, and Hash Authentication Codes for Cloud Security.

Autoři: Neela, K. L.

Zdroj: Transactions on Emerging Telecommunications Technologies; Nov2024, Vol. 35 Issue 11, p1-13, 13p

Harnessing Large Language Models for Automated Software Testing: A Leap Towards Scalable Test Case Generation.

Autoři: Rehan, Shaheer Al-Bander, Baidaa Al-Said Ahmad, Amro

Zdroj: Electronics (2079-9292); Apr2025, Vol. 14 Issue 7, p1463, 25p

Témata: LANGUAGE models, ARTIFICIAL intelligence, SOFTWARE reliability, AUTOMATION, COMPUTER software testing, TEST methods