#### Filter Results:

- Full text PDF available (14)

#### Publication Year

1993

2016

- This year (0)
- Last 5 years (7)
- Last 10 years (16)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

We present a new method based on software analysis for refactoring object-oriented programs. The segment to be refactored is decomposed by a parser into structural elements and described by five sets of relations organized in sparse matrix format. Rows correspond to tuples, columns to variables in the segment, column partitions to classes, and row… (More)

- Sergio Pissanetzky
- Software Engineering Research and Practice
- 2007

Many tools that analyze, refactor or otherwise evolve source code use ad-hoc, task-specific representations because the detailed information they need is hidden in the code and difficult to extract and organize. This leads to limited capabilities and interoperability. To address the problem, we propose the Relational Model of Computation (RMC), a… (More)

The Matrix Model of Computation (MMC) is a new Turing-equivalent and Deutsch-equivalent virtual machine used for the mathematical analysis of systems. The importance of the MMC stems from the fact that it allows uniform techniques to be applied to all kinds of systems and makes them amenable to formal mathematical manipulation. But the strength of the MMC… (More)

The Matrix Model of Computation (MMC) is a new Turing-complete virtual machine that serves as a formal container for the structural representation and analysis of systems, and finds applications in diverse areas such as Business, Software Engineering and Theoretical Physics. The MMC is a unifying notion in Systemics. It allows uniform, interoperable… (More)

The recently introduced Matrix Model of Computation in its imperative form (iMMC) can perfectly represent any finite physical system. A new canonical form (cMMC) is introduced. The iMMC is sequential, highly structured, and object-oriented, and saves resources by reusing them heavily. Software and other models convert easily to iMMC and viceversa. The cMMC,… (More)

- Sergio Pissanetzky
- Complexity
- 2011

Reported here is the discovery of a simple functional the optimization of which by a dynamical process results in extraordinary structural organization in partially ordered sets. Since partially ordered sets are one of the most prevalent and fundamental objects in Mathematics, and are ubiquitous in nature, physics, engineering and technology in general, and… (More)

- Sergio Pissanetzky
- IC-AI
- 2008

The recently introduced Turing-complete Matrix Model of Computation (MMC) is a connectionist, massively parallel, formal mathematical model that can be set up as a network of artificial neurons and represent any other ANN. The model is hierarchically structured and has a natural ontology determined by the information stored in the model. The MMC is… (More)

The ability of the brain to organize information and generate the functional structures we use to act, think and communicate, is a common and easily observable natural phenomenon. In object-oriented analysis, these structures are represented by objects. Objects have been extensively studied and documented, but the process that creates them is not… (More)

- Sergio Pissanetzky
- J. Artificial General Intelligence
- 2012

A logic is a mathematical model of knowledge used to study how we reason, how we describe the world, and how we infer the conclusions that determine our behavior. The logic presented here is natural. It has been experimentally observed, not designed. It represents knowledge as a causal set, includes a new type of inference based on the minimization of an… (More)

- Sergio Pissanetzky
- AGI
- 2011

Extraordinary structural organization known as emergence is observed in partially ordered sets when a recently discovered functional is minimized. Emergence creates the first structures, and feedback reuses them to create hierarchies of structures. The partially ordered set is the knowledge representation, the functional connects local behavior to global… (More)