Results 111 to 120 of about 38,933 (219)

Output Feedback Design for Parameter Varying Systems Subject to Persistent Disturbances and Control Rate Constraints

International Journal of Robust and Nonlinear Control, Volume 36, Issue 7, Page 4219-4233, 10 May 2026.
ABSTRACT This paper develops a framework for designing output feedback controllers for constrained linear parameter‐varying systems that experience persistent disturbances. We specifically propose an incremental parameter‐varying output feedback control law to address control rate constraints, as well as state and control amplitude constraints.
Jackson G. Ernesto, Eugênio B. Castelan, Walter Lucia   +2 more
wiley   +1 more source

Adaptive Hybrid Multi‐Objective Evolutionary Algorithm for Wireless Sensor Network Optimization: A Comprehensive Framework Integrating Opposition‐Based Learning and Levy Flight Strategies

Engineering Reports, Volume 8, Issue 5, May 2026.
The configuration of WSN design parameters presents a formidable multi‐objective optimization challenge characterized by five competing objectives that exhibit complex interdependencies. Figure 1 illustrates a typical WSN deployment topology showing sensor nodes, cluster heads, coverage areas, and various network conditions including out‐of‐range ...
Sandeep Deshmukh, Deepak Chandra Uprety, Mohd Haroon, Dyuti Banerjee, Preety Shoran, Yash Varshney, Anurag Sinha, Samarth Sinha, Shantanu Kumar Mishra   +8 more
wiley   +1 more source

Automated theorem proving

, 2016
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2016, Director: Juan Carlos Martínez ...
openaire   +1 more source

Enhancing Cloud‐Based Healthcare Security With Quantum‐Secure HealthChain: A Quantum Computing and Blockchain Integrated Framework

Health Science Reports, Volume 9, Issue 5, May 2026.
ABSTRACT Background and Aims Rising quantum hazards and flaws in conventional encryption make cloud‐based healthcare data security harder. Quantum‐Secure HealthChain, a new architecture using blockchain and quantum computing, improves medical data security, patient privacy, and data fidelity. Methods To prevent quantum attacks, the proposed system uses
Rajesh Bose, Somnath Mondal, Shrabani Sutradhar, Sujan Das, Muhammad Faheem, Sandip Roy, Arfat Ahmad Khan   +6 more
wiley   +1 more source

An ensemble novel architecture for Bangla Mathematical Entity Recognition (MER) using transformer based learning

Heliyon
Mathematical entity recognition is indispensable for machines to accurately explain and depict mathematical content and to enable adequate mathematical operations and reasoning. It expedites automated theorem proving, speeds up the analysis and retrieval
Tanjim Taharat Aurpa, Md Shoaib Ahmed
doaj   +1 more source

Automated geometry theorem proving

, 2011
60
openaire   +2 more sources

Automated ZFC Theorem Proving with E

, 2019
I introduce an approach for automated reasoning in first order set theories that are not finitely axiomatizable, such as $ZFC$, and describe its implementation alongside the automated theorem proving software E. I then compare the results of proof search in the class based set theory $NBG$ with those of $ZFC$.
openaire   +2 more sources

Cooperative Parallel Automated Theorem Proving [PDF]

, 1997
Automated Theorem Proving can be interpreted as the solution of search problems which comprise huge search spaces. Parallelization of the proof task as well as cooperation between the involved provers offer the possibility to develop more efficient search procedures.
openaire  

Peano: learning formal mathematical reasoning. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Poesia G, Goodman ND.
europepmc   +1 more source

Automated Theorem Proving: A Review

, 2002
Review of Automated Theorem Proving: Theory and Practice, by Monty Newborn, Berlin, Springer-Verlag, 231 pp., $54.95. ISBN 0-387-95075-3.
openaire   +1 more source