Suchergebnisse - Logic Programming General Terms Algorithms

The constitution of algorithms : ground-truthing, programming, formulating von 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 …”
Volltext

Cost-effective synthesis of QCA logic circuit using genetic algorithm von 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 …”
Volltext

Agent zero: toward neurocognitive foundations for generative social science. von Epstein, Joshua M, Epstein, Joshua M

“… The Final Volume of the Groundbreaking Trilogy on Agent-Based Modeling In this pioneering synthesis, Joshua Epstein introduces a new theoretical entity: …”
Volltext

Detecting sybil attacks in vehicular ad hoc networks using fuzzy logic and arithmetic optimization algorithm von 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 …”
Volltext

Distributed unequal clustering algorithm in large-scale wireless sensor networks using fuzzy logic von 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 …”
Volltext

Soft Computing-Based Adaptive Energy Replenishment Via Mobile Charging in Wireless Sensor Networks with Fuzzy Logic and Genetic Algorithms von 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 …”
Volltext

Energy-efficient cluster head using modified fuzzy logic with WOA and path selection using enhanced CSO in IoT-enabled smart agriculture systems von 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 …”
Volltext

Short-term prediction of solar energy in Saudi Arabia using automated-design fuzzy logic systems von 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 …”
Volltext

An Optimized Type-2 Self-Organizing Fuzzy Logic Controller Applied in Anesthesia for Propofol Dosing to Regulate BIS von 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 …”
Volltext

A Two-stage Stochastic Bi-level Model and a Decomposition Algorithm for the Valve Location Problem in Water Networks von 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 …”
Volltext

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

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

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

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

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 von Kobayashi, Naoki, Worrell, James

“… : Types and programming languages; logic and proofs; infinite-state systems …”
Volltext

Advanced Methods for Photovoltaic Output Power Forecasting: A Review von 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 …”
Volltext

Extending a brainiac prover to lambda-free higher-order logic von 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 …”
Volltext

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

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

Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses von 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 …”
Volltext

Development of closed–loop supply chain network in terms of corporate social responsibility von 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 …”
Volltext

Optimization of artificial neural network structure and hyperparameters in hybrid model by genetic algorithm: iOS–android application for breast cancer diagnosis/prediction von 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 …”
Volltext

Multi-objective Unequal Optimal Clustering Algorithm for WSN Using Fuzzy Logic von 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 …”
Volltext