Intelligent Control and Automation is a scholarly open access, peer-reviewed, quarterly and fully refereed journal focusing on theories, methods and applications in intelligent control and automation. The goal of this journal is to provide a platform for scientists and academicians all over the world to promote, share and discuss various new issues and developments in different areas of intelligent control and automation.
When developing corporate-level business applications (Enterprise Scale) customers often requires implementing support for extensibility of the application object model not modifying the system source code. Use of extensible domain model allows for development of new functionality without additional effort and overheads
This program is an interactive geometry software with proof related features.
The project consist in producing an interactive proof software for geometry.
GeoProof can communicate with the Coq proof assistant to perform automatic and interactive proofs of geometry theorems.
CaRMetal is based on C.a.R. : it includes all of its functionalities - or almost - but follows a different approach from the graphical interface point of view. It's not just a different design - which would not make sense - but instead it gives another way to reach functionnalities.
PyGeo is most fundamentally a framework for the creation of dynamic geometric constructions - i.e. constructions which embody defined and persistent geometric relationships responsive to real time on-screen interactivity.
PyGeo is, further, an implementation of this underlying abstract framework - exposing a range of geometric objects as the building blocks for virtual, dynamic geometric constructions.
The focus is away from Euclidian geometry and metrics, and toward later geometric and mathematical developments - particularly those connected with projective geometry of real space, and the geometry of complex numbers on the plane and on the unit (Riemann) sphere.
Guest blog by Dr. Jeremy Roschelle, Digital Promise, @roschelle63 Summary: When integrated with curriculum and pedagogy, visual representations that change in time can improve students’ conceptual understanding of mathematics. To understand mathematics, students need to connect ideas. For example, the slope of a line is often given as a number — the m in y…
A. Cheik Ahamed, и F. Magoulès. High Performance Computing and Communication 2012 IEEE 9th International Conference on Embedded Software and Systems (HPCC-ICESS), 2012 IEEE 14th International Conference on, стр. 1307-1314. (июня 2012)
D. Rother, K. Patwardhan, I. Aganj, и G. Sapiro. Computer Vision and Pattern Recognition Workshops, 2008. CVPRW '08.
IEEE Computer Society Conf. on, стр. 1--8. (2008)
T. Gu, C. Cao, C. Xu, X. Ma, L. Zhang, и J. Lu. Proceedings of the 2012 19th Asia-Pacific Software Engineering Conference - Volume 01, стр. 527--536. Washington, DC, USA, IEEE Computer Society, (2012)