Books on the topic 'Logic optimizations'

Khatri, Sunil P. Advanced techniques in logic synthesis, optimizations and applications. New York: Springer, 2011.

Gulati, Kanupriya, ed. Advanced Techniques in Logic Synthesis, Optimizations and Applications. New York, NY: Springer New York, 2011. http://dx.doi.org/10.1007/978-1-4419-7518-8.

Adam, Kaplan, and Sarrafzadeh Majid, eds. Synthesis techniques and optimizations for reconfigurable systems. Boston: Kluwer Academic Publishers, 2004.

Kastner, Ryan. Synthesis techniques and optimizations for reconfigurable systems. Boston: Kluwer Academic Publishers, 2004.

Sasao, Tsutomu. Logic Synthesis and Optimization. Boston, MA: Springer US, 1993.

Sasao, Tsutomu, ed. Logic Synthesis and Optimization. Boston, MA: Springer US, 1993. http://dx.doi.org/10.1007/978-1-4615-3154-8.

McAloon, Kenneth. Optimization and computational logic. New York: Wiley, 1996.

Hooker, John. Logic-Based Methods for Optimization. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2000. http://dx.doi.org/10.1002/9781118033036.

Villa, Tiziano. Synthesis of Finite State Machines: Logic Optimization. Boston, MA: Springer US, 1997.

Chandru, Vijay. Optimization methods for logical inference. New York: Wiley, 1999.

Castillo, Oscar, and Patricia Melin, eds. Fuzzy Logic Augmentation of Nature-Inspired Optimization Metaheuristics. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-10960-2.

service), SpringerLink (Online, ed. Logic and Integer Programming. Boston, MA: Springer-Verlag US, 2009.

Chen, Guoqing. Fuzzy Logic and Soft Computing. Boston, MA: Springer US, 1999.

Adeli, Hojjat. Cost optimization of structures: Fuzzy logic, genetic algorithms, and parallel computing. Chichester, England: Wiley, 2006.

Woodruff, David L., ed. Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search. Boston, MA: Springer US, 1998. http://dx.doi.org/10.1007/978-1-4757-2807-1.

Barth, Peter. Logic-Based 0-1 Constraint Programming. Boston, MA: Springer US, 1996.

Genetic algorithms and fuzzy multiobjective optimization. Boston: Kluwer Academic Publishers, 2002.

Höhle, Ulrich. Mathematics of Fuzzy Sets: Logic, Topology, and Measure Theory. Boston, MA: Springer US, 1999.

Castillo, Oscar, and Patricia Melin, eds. Fuzzy Logic Hybrid Extensions of Neural and Optimization Algorithms: Theory and Applications. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-68776-2.

Lodwick, Weldon A., and Janusz Kacprzyk. Fuzzy optimization: Recent advances and applications. Berlin: Springer, 2010.

Castillo, Oscar, Patricia Melin, and Janusz Kacprzyk, eds. Fuzzy Logic Augmentation of Neural and Optimization Algorithms: Theoretical Aspects and Real Applications. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-71008-2.

Olivas, Frumen, Fevrier Valdez, Oscar Castillo, and Patricia Melin. Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logic. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-70851-5.

Ramík, Jaroslav. Generalized Concavity in Fuzzy Optimization and Decision Analysis. Boston, MA: Springer US, 2002.

Melin, Patricia, Oscar Castillo, and Janusz Kacprzyk, eds. Design of Intelligent Systems Based on Fuzzy Logic, Neural Networks and Nature-Inspired Optimization. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17747-2.

Woodruff, David L. Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search: Interfaces in Computer Science and Operations Research. Boston, MA: Springer US, 1998.

Castillo, Oscar, Patricia Melin, and Janusz Kacprzyk, eds. Intuitionistic and Type-2 Fuzzy Logic Enhancements in Neural and Optimization Algorithms: Theory and Applications. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-35445-9.

Heusler, Lucas Sebastian. Transistor sizing for timing optimization of combinational digital CMOS circuits. [Konstanz, Switzerland: Hartung-Gorre Verlag, 1990.

Słowiński, Roman. Fuzzy Sets in Decision Analysis, Operations Research and Statistics. Boston, MA: Springer US, 1998.

Verbruggen, H. B. Fuzzy Algorithms for Control. Dordrecht: Springer Netherlands, 1999.

Golan, Jonathan S. Semirings and their Applications. Dordrecht: Springer Netherlands, 1999.

Golan, Jonathan S. Semirings and Affine Equations over Them: Theory and Applications. Dordrecht: Springer Netherlands, 2003.

Vasil'eva, Natal'ya. Mathematical models in the management of copper production: ideas, methods, examples. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1014071.

Milan, Vlach, ed. Generalized concavity in fuzzy optimization and decision analysis. Boston: Kluwer Academic Publishers, 2002.

Taylor, Cynthia. Algorithm design, user interface, and optimization procedure for a fuzzy logic ramp metering algorithm: A training manual for freeway operations engineers. [Olympia, Wash.]: Washington State Dept. of Transportation, 2000.

Kamareddine, Fairouz D. Thirty Five Years of Automating Mathematics. Dordrecht: Springer Netherlands, 2003.

Steven, Nowick, ed. Sequential optimization of asynchronous and synchronous finite-state machines: Algorithms and tools. Boston: Kluwer Academic Publishers, 2001.

Fuhrer, Robert M. Sequential optimization of asynchronous and synchronous finite-state machines: Algorithms and tools. Boston: Kluwer Academic Publishers, 2001.

Salleh, Shaharuddin. Scheduling in Parallel Computing Systems: Fuzzy and Annealing Techniques. Boston, MA: Springer US, 1999.

Leuken, René Van. Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation: 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011.

Ruan, Da. Fuzzy If-Then Rules in Computational Intelligence: Theory and Applications. Boston, MA: Springer US, 2000.

Hömberg, Dietmar. System Modeling and Optimization: 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Braulio, García-Cámara, Prieto Manuel, Ruggiero Martino, Sicard Gilles, and SpringerLink (Online service), eds. Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation: 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.

David, Hutchison. Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

A mathematical structure for emergent computation. Dordrecht, The Netherlands: Kluwer Academic Publishers, 1999.

Italian, Conference on Algorithms and Complexity (5th 2003 Rome Italy). Algorithms and complexity: 5th Italian conference, CIAC 2003, Rome, Italy, May 28-30, 2003 : proceedings. New York: Springer, 2003.

Wolfgang, Günther, ed. Towards one-pass synthesis. Boston, Mass: Kluwer Academic Publishers, 2002.

Fonseca, Carlos M. da. A panorama of mathematics: Pure and applied : Conference on Mathematics and Its Applications, November 14-17, 2014, Kuwait University, Safat, Kuwait. Providence, Rhode Island: American Mathematical Society, 2016.

Spain) UIMP-RSME Lluis Santaló Summer (2012 Santander. Recent advances in real complexity and computation: UIMP-RSME Lluis A. Santaló Summer School, Recent advances in real complexity and computation, July 16-20, 2012, Universidad Internacional Menéndez Pelayo, Santander, Spain. Edited by Montaña, Jose Luis, 1961- editor of compilation and Pardo, L. M. (Luis M.), editor of compilation. Providence, Rhode Island: American Mathematical Society, 2013.

Gulati, Kanupriya. Advanced Techniques in Logic Synthesis, Optimizations and Applications. Springer, 2011.

Kastner, Ryan, Adam Kaplan, and Majid Sarrafzadeh. Synthesis Techniques and Optimizations for Reconfigurable Systems. Springer, 2003.