Výsledky vyhľadávania - Logic Programming General Terms Algorithms
-
1
The constitution of algorithms : ground-truthing, programming, formulating
ISBN: 9780262542142, 0262542145, 9780262363235, 0262363232Vydavateľské údaje: Cambridge The MIT Press 2021“…A laboratory study that investigates how algorithms come into existence. Algorithms—often associated with the terms big data, machine learning, or artificial intelligence…”
Získať plný text
E-kniha Kniha -
2
Cost-effective synthesis of QCA logic circuit using genetic algorithm
ISSN: 0920-8542, 1573-0484Vydavateľské údaje: New York Springer US 01.03.2023Vydané v The Journal of supercomputing (01.03.2023)“…, 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…”
Získať plný text
Journal Article -
3
Agent zero: toward neurocognitive foundations for generative social science.
ISBN: 9780691158884, 0691158886, 1400848253, 9781400848256Vydavateľské údaje: Princeton, N.J Princeton University Press 2014“…The Final Volume of the Groundbreaking Trilogy on Agent-Based Modeling In this pioneering synthesis, Joshua Epstein introduces a new theoretical entity:…”
Získať plný text
E-kniha Kniha -
4
Detecting sybil attacks in vehicular ad hoc networks using fuzzy logic and arithmetic optimization algorithm
ISSN: 0920-8542, 1573-0484Vydavateľské údaje: New York Springer US 01.09.2022Vydané v The Journal of supercomputing (01.09.2022)“… 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…”
Získať plný text
Journal Article -
5
Distributed unequal clustering algorithm in large-scale wireless sensor networks using fuzzy logic
ISSN: 0920-8542, 1573-0484Vydavateľské údaje: New York Springer US 01.06.2018Vydané v The Journal of supercomputing (01.06.2018)“…Clustering is a promising and popular approach to organize sensor nodes into a hierarchical structure, reduce transmitting data to the base station by…”
Získať plný text
Journal Article -
6
Soft Computing-Based Adaptive Energy Replenishment Via Mobile Charging in Wireless Sensor Networks with Fuzzy Logic and Genetic Algorithms
ISSN: 2661-8907, 2662-995X, 2661-8907Vydavateľské údaje: Singapore Springer Nature Singapore 01.08.2025Vydané v SN computer science (01.08.2025)“…Effectively managing energy in wireless sensor networks is crucial for maintaining network stability, as the depletion of sensor node energy can result in…”
Získať plný text
Journal Article -
7
Energy-efficient cluster head using modified fuzzy logic with WOA and path selection using enhanced CSO in IoT-enabled smart agriculture systems
ISSN: 0920-8542, 1573-0484Vydavateľské údaje: New York Springer US 01.05.2024Vydané v The Journal of supercomputing (01.05.2024)“… However, the vast amount of data generated by these sensors poses a significant challenge in terms of data processing and communication…”
Získať plný text
Journal Article -
8
Short-term prediction of solar energy in Saudi Arabia using automated-design fuzzy logic systems
ISSN: 1932-6203, 1932-6203Vydavateľské údaje: United States Public Library of Science 14.08.2017Vydané v PloS one (14.08.2017)“…) 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…”
Získať plný text
Journal Article -
9
An Optimized Type-2 Self-Organizing Fuzzy Logic Controller Applied in Anesthesia for Propofol Dosing to Regulate BIS
ISSN: 1063-6706, 1941-0034Vydavateľské údaje: New York IEEE 01.06.2020Vydané v IEEE transactions on fuzzy systems (01.06.2020)“…). 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…”
Získať plný text
Journal Article -
10
A Two-stage Stochastic Bi-level Model and a Decomposition Algorithm for the Valve Location Problem in Water Networks
ISSN: 0920-4741, 1573-1650Vydavateľské údaje: Dordrecht Springer Netherlands 01.09.2025Vydané v Water resources management (01.09.2025)“… 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…”
Získať plný text
Journal Article -
11
Anyone Can Code: The Art and Science of Logical Creativity
ISBN: 0367199742, 9780367199746, 9780367199692, 0367199696Vydavateľské údaje: Boca Raton CRC Press 2021“… accomplishes skills to develop solutions using programming.” — Andrés A. Navarro Newball , Professor, Pontificia Universidad Javeriana Cali Colombia…”
Získať plný text
E-kniha Kniha -
12
Balancing of cost-oriented U-type general resource-constrained assembly line: new constraint programming models
ISSN: 1432-7643, 1433-7479Vydavateľské údaje: Berlin/Heidelberg Springer Berlin Heidelberg 01.12.2023Vydané v Soft computing (Berlin, Germany) (01.12.2023)“… Two different constraint programming (CP) models that define the resource constraints as “and/or…”
Získať plný text
Journal Article -
13
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
ISBN: 9783031572319, 9783031572302, 3031572319, 3031572300Vydavateľské údaje: Cham Springer Nature 2024“…: Types and programming languages; logic and proofs; infinite-state systems…”
Získať plný text
E-kniha -
14
Advanced Methods for Photovoltaic Output Power Forecasting: A Review
ISSN: 2076-3417, 2076-3417Vydavateľské údaje: Basel MDPI AG 01.01.2020Vydané v Applied sciences (01.01.2020)“…Forecasting is a crucial task for successfully integrating photovoltaic (PV) output power into the grid. The design of accurate photovoltaic output forecasters…”
Získať plný text
Journal Article -
15
Extending a brainiac prover to lambda-free higher-order logic
ISSN: 1433-2779, 1433-2787Vydavateľské údaje: Berlin/Heidelberg Springer Berlin Heidelberg 01.02.2022Vydané v International journal on software tools for technology transfer (01.02.2022)“… 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…”
Získať plný text
Journal Article -
16
Fuzzy stochastic long-term model with consideration of uncertainties for deployment of distributed energy resources using interactive honey bee mating optimization
ISSN: 2095-1701, 2095-1698Vydavateľské údaje: Heidelberg Higher Education Press 01.12.2014Vydané v Frontiers in Energy (01.12.2014)“…) base fuzzy stochastic long-term approach for determining optimum location and size of distributed energy resources (DERs…”
Získať plný text
Journal Article -
17
Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses
Vydavateľské údaje: IEEE 29.06.2021Vydané v Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (29.06.2021)“… The class may be viewed as a generalisation to higher-order logic (with a simple restriction on types…”
Získať plný text
Konferenčný príspevok.. -
18
Development of closed–loop supply chain network in terms of corporate social responsibility
ISSN: 1932-6203, 1932-6203Vydavateľské údaje: United States Public Library of Science 06.04.2017Vydané v PloS one (06.04.2017)“… A proposed multi-objective mixed-integer linear programming (MILP) model was solved with non-dominated sorting genetic algorithm II (NSGA-II…”
Získať plný text
Journal Article -
19
Optimization of artificial neural network structure and hyperparameters in hybrid model by genetic algorithm: iOS–android application for breast cancer diagnosis/prediction
ISSN: 0920-8542, 1573-0484Vydavateľské údaje: New York Springer US 01.03.2024Vydané v The Journal of supercomputing (01.03.2024)“…) from the UCI library was used during the training and testing phases. A hybrid structure was created with genetic algorithm (GA…”
Získať plný text
Journal Article -
20
Multi-objective Unequal Optimal Clustering Algorithm for WSN Using Fuzzy Logic
ISSN: 2661-8907, 2662-995X, 2661-8907Vydavateľské údaje: Singapore Springer Nature Singapore 01.09.2023Vydané v SN computer science (01.09.2023)“…A wireless sensor network (WSN) is a network of sensors deployed in a specific area to monitor environmental characteristics. The primary objective is to…”
Získať plný text
Journal Article

