Search for Topics All Reviews
	Conferences Tutorials   Optimization Routing Validation Arrays VLSI Verification   Distributed architectures RISC/CISC,VLIW architectures Neural nets Servers Portable devices Distributed systems Network architecture   Security State diagrams Correctness proofs UML OO design Networks Methodologies Coding Tools Software evolution Java Object-oriented Embedded systems Design C#   Stacks Encryption Compression Objects Graphs Standards Arrays Hash-tables Structures   Patterns Parallelism Geometric Algorithms Transforms Automata Invariants   Finite element methods Probability and statistics Graph Theory Numerical Linear Algebra Mathematical software Combinatorics PDEs   Evaluation/methodology Warehouses Web Systems Ergonomics Data models Data mining Information interfaces User interfaces Human factors Interaction styles Digital libraries   Expert systems Robotics Learning Simulation theory Deduction XML AI Scene analysis Geometry and modeling Knowledge representation Vision Discrete event simulation Robotics Video analysis Document preparation Learning Graphics and realism   Biosciences CAD Arts Engineering Publishing Business Linguistics Humanities   Privacy Regulation Security Patents Crime Systems design Strategic planning   Design Human factors Languages Performance Theory     Reviews limited to All General Terms Algorithms Design Documentation Economics Experimentation Human factors Languages Legal Aspects Management Measurement Performance Reliability Security Standardization Theory Verification Date Reviewed     Formal methods for multi-agent feedback control systems Lindemann L., Dimarogonas D., MIT Press, Cambridge, Massachucetts, 2025. 312 pp.  Type: Book (9780262049719) Nov 17 2025     Can you tell real from fake face images? Perception of computer-generated faces by humans Bozkir E., Riedmiller C., Skodras A., Kasneci G., Kasneci E. ACM Transactions on Applied Perception 22(2): 1-23, 2025.  Type: Article Nov 14 2025     The singularity is nearer: when we merge with AI Kurzweil R., Penguin Random House, New York, NY, 2024. 432 pp.  Type: Book (9780399562761) Nov 12 2025     LLM hallucinations in practical code generation: phenomena, mechanism, and mitigation Zhang Z., Wang C., Wang Y., Shi E., Ma Y., Zhong W., Chen J., Mao M., Zheng Z. Proceedings of the ACM on Software Engineering 2481-503, 2025.  Type: Article Nov 10 2025     AgeTech for staying connected Astell A., Clayton D., Springer International Publishing, New York, NY, 2025. 128 pp.  Type: Book (3031870301) Nov 6 2025     more..
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2025 ThinkLoud® Terms of Use | Privacy Policy