Search Results - algorithm of checking recoverability of boolean function~

Method of restoring multivariable Boolean function from its derivative

Authors: A. V. Mazurenko N. S. Mogilevskaya

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

Subject Terms: 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, кольцевой изоморфизм

Access URL: 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.

Authors: Dhoked, Sahil Mittal, Neeraj

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

Subject Terms: FAULT tolerance (Engineering), FAIRNESS, PARALLEL computers, ALGORITHMS, COMPUTER performance

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

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

Subject Terms: БУЛЕВА ФУНКЦИЯ,ПРОИЗВОДНАЯ БУЛЕВОЙ ФУНКЦИИ ПО НАПРАВЛЕНИЮ,АЛГОРИТМ ПРОВЕРКИ ВОЗМОЖНОСТИ ВОССТАНОВЛЕНИЯ БУЛЕВОЙ ФУНКЦИИ,ОЦЕНКА СЛОЖНОСТИ,ПРОСТРАНСТВО БУЛЕВЫХ ФУНКЦИЙ,КОЛЬЦО МНОГОЧЛЕНОВ,КОНЕЧНЫЕ ПОЛЯ,КОЛЬЦЕВОЙ ИЗОМОРФИЗМ,ТЕОРИЯ КОДИРОВАНИЯ,ПОИСК ПРООБРАЗА,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

File Description: text/html

Access URL: 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.

Authors: Haur, Imane Béchennec, Jean-Luc Roux, Olivier H.

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

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

Nearly Optimal Pseudorandomness from Hardness.

Authors: DORON, DEAN MOSHKOVITZ, DANA OH, JUSTIN et al.

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

Subject Terms: DETERMINISTIC algorithms, CIRCUIT complexity, SEED size

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

Authors: Seniushin, Igor Glazyrina, Natalya Atanbayev, Yernat et al.

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

Subject Terms: INTERNET of things, SECURITY management, HARDWARE Trojans (Computers), FAULT tolerance (Engineering), EVALUATION methodology, MICROPROCESSORS

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

Authors: Zou, Congcong Lv, Hongxia Lv, Miaomiao et al.

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

Subject Terms: RAILROAD trains, TRAIN schedules, NONLINEAR programming, ITERATIVE methods (Mathematics), SCHEDULING, RAILROADS

Geographic Terms: ZHUHAI (China), GUANGZHOU (China)

Modeling Photovoltaic Facilities via Fuzzy Sets and Linguistic Petri Nets.

Authors: Medina, Jesús Moreno-García, Juan

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

Subject Terms: PHOTOVOLTAIC power systems, FUZZY sets, TIME series analysis, NATURAL languages, PETRI nets

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

Authors: De Marco, Andrea Berardi, Davide Galuppi, Marta et al.

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

Subject Terms: DISASTER resilience, QUANTITATIVE research, CLASSIFICATION, SWOT analysis, RESEARCH protocols, SYSTEM of systems, INFRASTRUCTURE (Economics)

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.

Authors: Chong Li Yibao Wang

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

Subject Terms: UNDERGROUND areas, SUBWAYS, DISASTERS, EMERGENCY management, METROPOLITAN areas, RISK assessment

Geographic Terms: PEARL River Delta (China), YANGTZE River Delta (China)

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

Authors: Sahithi, Nagapuri Lavudya, Jyothi Krishnahari, E.

Source: 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.

Authors: Arias, Jaime Bae, Kyungmin Olarte, Carlos et al.

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

Subject Terms: PETRI nets, MATHEMATICAL logic, SEMANTICS (Philosophy), STATISTICAL models, LOGIC

Algorithm substitution attacks against receivers.

Authors: Armour, Marcel Poettering, Bertram

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

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

Algorithms for partially robust team formation.

Authors: Schwind, Nicolas Demirović, Emir Inoue, Katsumi et al.

Source: 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.

Authors: Razzaq, Misbah Paulevé, Loïc Siegel, Anne et al.

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

Subject Terms: 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.

Authors: Neela, K. L.

Source: 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.

Authors: Rehan, Shaheer Al-Bander, Baidaa Al-Said Ahmad, Amro

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

Subject Terms: LANGUAGE models, ARTIFICIAL intelligence, SOFTWARE reliability, AUTOMATION, COMPUTER software testing, TEST methods

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

Authors: Nigro, Libero Cicirelli, Franco

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

Subject Terms: PETRI nets, SEMANTICS, STATISTICAL models, FORMAL languages

On robust vs fast solving of qualitative constraints.

Authors: Wehner, Jan Sioutis, Michael Wolter, Diedrich

Source: Journal of Heuristics; Dec2023, Vol. 29 Issue 4-6, p461-485, 25p

Subject Terms: ARTIFICIAL intelligence, HEURISTIC, CALCULUS, ALGEBRA, SCHEDULING

Nondeterministic Probabilistic Petri Net - A New Method to Study Qualitative and Quantitative Behaviors of System.

Authors: Liu, Yang Miao, Huai-Kou Zeng, Hong-Wei et al.

Source: Journal of Computer Science & Technology (10009000); Jan2013, Vol. 28 Issue 1, p203-216, 14p

Subject Terms: COMPUTER systems, PETRI nets, ALGORITHMS, COMPUTER simulation

People: PETRI, Carl Adam