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