Correction to: Editorial

Computing and Visualization in Science - In the original publication of the article the authorship was published incorrectly. The correct authorship is given in this correction     

A coalgebraic approach to non-determinism: Applications to multilattices

Multilattices are a suitable generalization of lattices which enables to accommodate the formalization of non-deterministic computation; specifically, the algebraic characterization for multilattices provides a formal framework to develop tools in several fields of computer science. On the other hand, the usefulness of coalgebra theory has been increasing in the recent years, and its importance is undeniable. In this paper, somehow mimicking the use of universal algebra, we define a new kind of coalgebras (the ND-coalgebras) that allows to formalize non-determinism, and show that several concepts, widely used in computer science are, indeed, ND-coalgebras. Within this formal context, we study a minimal set of properties which provides a coalgebraic definition of multilattices.     

Patents: to file or not to file?

In the previous paper, the author discussed the three criteria for patentability: novelty, usefulness, and nonobviousness and the practical value of obtaining a patent in terms of discoverability - the ease with which infringement can be determined, and in terms of avoidance - the ease with which a potential user of someone's invention could achieve similar results without using that invention. In this paper, the author continues the discussion of the practical value of a patent. Suppose that you have decided that your invention is novel, useful, and nonobvious. Further, suppose that you have decided that your invention is unavoidable (that is, it is the only reasonable way to do whatever it does), and that infringement would be easily discoverable. The remaining questions as to whether to proceed with a patent application are: Who would be likely to use your invention? Based on your answer to #1, what is the value to you of owning the patent? How much will it cost you to obtain the patent? Will your patent stand up in court if it is challenged?.     

爱敏捷，爱自由

仲夏之夜,一个五层楼的天台上传出轻快的音乐,一群年轻人聚集在这里,桌子上摆放着各种颜色的酒水和饮料,中间的两个大横桌上摆放了各种精致的美食。一阵欢快的笑声传来,寻声望去,天台的一角有一个桌上足球案,几个年轻人正在激烈的对逐。而天台的另一侧则摆放着两个红彤彤的炭火炉。     

Testability: Barriers to Acceptance

Design for testability sounds wonderful in theory, but if it is not used, or worse used to disadvantage, what good is it? With today's escalating technology and management's fear of commitment to a costly testing program, DFT practices are suffering. the author discusses the prominent barriers to accepting design for test: the impact of more advanced technology, the misunderstood role of testing, the lack of management's global view of sthe testing process, and the lack of integrasted tools. Testability standards are briefly discussed as a possible way to overcome these barriers.     

Tribute to: Masoud Yazdani

Artificial Intelligence Review -