Search for Topics All Reviews
	Tutorials Conferences   VLSI Arrays Verification Optimization Validation Routing   Distributed systems Portable devices Network architecture Distributed architectures RISC/CISC,VLIW architectures Servers Neural nets   Java Software evolution Correctness proofs UML Embedded systems Coding Tools Methodologies Security State diagrams Object-oriented Networks OO design Design C#   Hash-tables Arrays Compression Structures Standards Stacks Encryption Graphs Objects   Automata Transforms Invariants Patterns Geometric Algorithms Parallelism   Combinatorics Mathematical software PDEs Finite element methods Probability and statistics Numerical Linear Algebra Graph Theory   User interfaces Information interfaces Web Interaction styles Data mining Data models Evaluation/methodology Warehouses Human factors Ergonomics Systems Digital libraries   Vision Knowledge representation Learning Simulation theory XML Video analysis Geometry and modeling Scene analysis Discrete event simulation Expert systems Robotics Robotics Document preparation AI Deduction Learning Graphics and realism   Linguistics Business Humanities Publishing Biosciences CAD Engineering Arts   Systems design Crime Strategic planning Privacy Regulation Patents Security   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