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