Search Results - Logic Programming General Terms Algorithms

Cost-effective synthesis of QCA logic circuit using genetic algorithm by Pramanik, Amit Kumar, Mahalat, Mahabub Hasan, Pal, Jayanta, Ahmadpour, Seyed-Sajad, Sen, Bibhash

“…, and achieving a high speed over the CMOS technology. Majority Voter (MV) and QCA Inverter (INV) are the primitive logic in QCA for implementing any QCA circuit…”
Get full text

The constitution of algorithms : ground-truthing, programming, formulating by Jaton, Florian, Bowker, Geoffrey C.

“…A laboratory study that investigates how algorithms come into existence. Algorithms—often associated with the terms big data, machine learning, or artificial intelligence…”
Get full text

Detecting sybil attacks in vehicular ad hoc networks using fuzzy logic and arithmetic optimization algorithm by Maleknasab Ardakani, Mahdi, Tabarzad, Mohammad Ali, Shayegan, Mohammad Amin

“… To deal with this problem, in this paper, we present a cross-layer approach and fuzzy logic-based solution that should be applied in roadside units (RSUs…”
Get full text

Distributed unequal clustering algorithm in large-scale wireless sensor networks using fuzzy logic by Neamatollahi, Peyman, Naghibzadeh, Mahmoud

“…Clustering is a promising and popular approach to organize sensor nodes into a hierarchical structure, reduce transmitting data to the base station by…”
Get full text

Soft Computing-Based Adaptive Energy Replenishment Via Mobile Charging in Wireless Sensor Networks with Fuzzy Logic and Genetic Algorithms by Punriboon, Chatchai, Leelathakul, Nutthanon, Aimtongkham, Phet, Musikawan, Pakarat, So-In, Chakchai

“…Effectively managing energy in wireless sensor networks is crucial for maintaining network stability, as the depletion of sensor node energy can result in…”
Get full text

Energy-efficient cluster head using modified fuzzy logic with WOA and path selection using enhanced CSO in IoT-enabled smart agriculture systems by Chandrasekaran, Senthil Kumar, Rajasekaran, Vijay Anand

“… However, the vast amount of data generated by these sensors poses a significant challenge in terms of data processing and communication…”
Get full text

Short-term prediction of solar energy in Saudi Arabia using automated-design fuzzy logic systems by Almaraashi, Majid

“…) for the next day in 8 stations in Saudi Arabia. The designed models are based on computational intelligence methods of automated-design fuzzy logic systems…”
Get full text

An Optimized Type-2 Self-Organizing Fuzzy Logic Controller Applied in Anesthesia for Propofol Dosing to Regulate BIS by Wei, Zi-Xiao, Doctor, Faiyaz, Liu, Yan-Xin, Fan, Shou-Zen, Shieh, Jiann-Shing

“…). However, in this article, an optimized type-2 self-organizing fuzzy logic controller (SOFLC) is designed for a target controlled infusion pump related to propofol dosing guided by BIS, to realize automatic control of general anesthesia…”
Get full text

A Two-stage Stochastic Bi-level Model and a Decomposition Algorithm for the Valve Location Problem in Water Networks by Hooshmand, F., MirHassani, S. A., Jamalian, M.

“… The second approach is a decomposition algorithm based on logic-based valid cuts. Computational results over a real-world network indicate that the proposed decomposition…”
Get full text

Anyone Can Code: The Art and Science of Logical Creativity by Arya, Ali

“… accomplishes skills to develop solutions using programming.” — Andrés A. Navarro Newball , Professor, Pontificia Universidad Javeriana Cali Colombia…”
Get full text

Balancing of cost-oriented U-type general resource-constrained assembly line: new constraint programming models by Alakaş, Hacı Mehmet, Pınarbaşı, Mehmet

“… Two different constraint programming (CP) models that define the resource constraints as “and/or…”
Get full text

Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II by Kobayashi, Naoki, Worrell, James

“…: Types and programming languages; logic and proofs; infinite-state systems…”
Get full text

Advanced Methods for Photovoltaic Output Power Forecasting: A Review by Mellit, Adel, Massi Pavan, Alessandro, Ogliari, Emanuele, Leva, Sonia, Lughi, Vanni

“…Forecasting is a crucial task for successfully integrating photovoltaic (PV) output power into the grid. The design of accurate photovoltaic output forecasters…”
Get full text

Extending a brainiac prover to lambda-free higher-order logic by Vukmirović, Petar, Blanchette, Jasmin, Cruanes, Simon, Schulz, Stephan

“… We explain how to extend the prover’s data structures, algorithms, and heuristics to λ -free higher-order logic, a formalism that supports partial application and applied variables…”
Get full text

Fuzzy stochastic long-term model with consideration of uncertainties for deployment of distributed energy resources using interactive honey bee mating optimization by AHMADIAN, Iraj, ABEDINIA, Oveis, GHADIMI, Noradin

“…） base fuzzy stochastic long-term approach for determining optimum location and size of distributed energy resources （DERs…”
Get full text

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses by Burn, Toby Cathcart, Ong, Luke, Ramsay, Steven, Wagner, Dominik

“… The class may be viewed as a generalisation to higher-order logic (with a simple restriction on types…”
Get full text

Development of closed–loop supply chain network in terms of corporate social responsibility by Pedram, Ali, Pedram, Payam, Yusoff, Nukman Bin, Sorooshian, Shahryar

“… A proposed multi-objective mixed-integer linear programming (MILP) model was solved with non-dominated sorting genetic algorithm II (NSGA-II…”
Get full text

Optimization of artificial neural network structure and hyperparameters in hybrid model by genetic algorithm: iOS–android application for breast cancer diagnosis/prediction by Bülbül, Mehmet Akif

“…) from the UCI library was used during the training and testing phases. A hybrid structure was created with genetic algorithm (GA…”
Get full text

Multi-objective Unequal Optimal Clustering Algorithm for WSN Using Fuzzy Logic by Pandey, Shivendra Kumar, Singh, Buddha

“…A wireless sensor network (WSN) is a network of sensors deployed in a specific area to monitor environmental characteristics. The primary objective is to…”
Get full text

Fuzzy-based weighting long short-term memory network for demand forecasting by Imani, Maryam

“…One of the main challenges in short-term electrical load forecasting is extraction of nonlinear relationships and complex dependencies among different time instances of the load time series…”
Get full text