Researcher profile

Iaakov Exman

Iaakov Exman contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
9works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

9 published item(s)

preprint2014arXiv

A Bootstrap Theory: the SEMAT Kernel Itself as Runnable Software

The SEMAT kernel is a thoroughly thought generic framework for Software Engineering system development in practice. But one should be able to test its characteristics by means of a no less generic theory matching the SEMAT kernel. This paper claims that such a matching theory is attainable and describes its main principles. The conceptual starting point is the robustness of the Kernel alphas to variations in the nature of the software system, viz. to software automation, distribution and self-evolution. From these and from observed Kernel properties follows the proposed bootstrap principle: a software system theory should itself be a runnable software. Thus, the kernel alphas can be viewed as a top-level ontology, indeed the Essence of Software Engineering. Among the interesting consequences of this bootstrap theory, the observable system characteristics can now be formally tested. For instance, one can check the system completeness, viz. that software system modules fulfill each one of the system requirements.

preprint2014arXiv

An Anti_Turing Test: Reduced Variables for Social Network Friends' Recommendations

A routine activity of social networks servers is to recommend candidate friends that one may know and stimulate addition of these people to one's contacts. An intriguing issue is how these recommendation lists are composed. This work investigates the main variables involved in the recommendation activity, in order to reproduce these lists including its time dependent characteristics. We propose relevant algorithms. Besides conventional approaches, such as friend_of_a_friend, two techniques of importance have not been emphasized in previous works: randomization and direct use of interestingness criteria. An automatic software tool to implement these techniques is proposed. Its architecture and implementation are discussed. After a preliminary analysis of actual data collected from social networks, the tool is used to simulate social network friends' recommendations.

preprint2014arXiv

Interestingness a Unifying Paradigm Bipolar Function Composition

Interestingness is an important criterion by which we judge knowledge discovery. But, interestingness has escaped all attempts to capture its intuitive meaning into a concise and comprehensive form. A unifying paradigm is formulated by function composition. We claim that composition is bipolar, i.e. composition of exactly two functions, whose two semantic poles are relevance and unexpectedness. The paradigm generality is demonstrated by case studies of new interestingness functions, examples of known functions that fit the framework, and counter-examples for which the paradigm points out to the lacking pole.

preprint2014arXiv

Knowledge-Driven Game Design by Non-Programmers

Game extension is an entertaining activity that offers an opportunity to test new design approaches by non-programmers. The real challenge is to enable this activity by means of a suitable infrastructure. We propose a knowledge-driven approach with natural game-player concepts. These concepts, found in game ontologies, include game abstractions and rules for game moves. The approach has been implemented and tested for board games. These include tic-tac-toe as a simplest example, enabling extensions of tic-tac- toe, say to a four-by-four board and Sudoku, a single player game of a very different nature.

preprint2014arXiv

The Interestingness Tool for Search in the Web

Interestingness,as the composition of Relevance and Unexpectedness, has been tested by means of Web search cases studies and led to promising results. But for thorough investigation and routine practical application one needs a flexible and robust tool. This work describes such an Interestingness based search tool, its software architecture and actual implementation. One of its flexibility traits is the choice of Interestingness functions: it may work with Match-Mismatch and Tf-Idf, among other functions. The tool has been experimentally verified by application to various domains of interest. It has been validated by comparison of results with those of commercial search engines and results from differing Interestingness functions.

preprint2014arXiv

Web Search of New Linearized Medical Drug Leads

The Web is a potentially huge source of medical drug leads. But despite the significant amount of multi- dimensional information about drugs, currently commercial search engines accept only linear keyword strings as inputs. This work uses linearized fragments of molecular structures as knowledge representation units to serve as inputs to search engines. It is shown that quite arbitrary fragments are surprisingly free of ambiguity, obtaining relatively small result sets, which are both manageable and rich in novel potential drug leads.

preprint2012arXiv

Quantum Probes Reduce Measurements: Application to Distributed Grover Algorithm

Distributed computing seems to be a natural approach to overcome size limitations of quantum computers in terms of number of qubits. But one lacks an efficient distribution approach to deal systematically with potential algorithms. This work proposes suitable quantum probes to reduce measurements in distributed sub-systems. Probes are introduced in the context of distributed Grover search. These are shown to be indeed efficient. The latter can be generalized to be applicable to other distributed algorithms of interest.

preprint2011arXiv

Optimized Multi-Party Quantum Clock Synchronization

A multi-party protocol for distributed quantum clock synchronization has been claimed to provide universal limits on the clock accuracy, viz. that accuracy monotonically decreases with the number n of party members. But, this is only true for synchronization when one limits oneself to W-states. This work shows that usage of Zen-states, a generalization of W-states, results in improved accuracy, having a maximum when \lfloor n/2 \rfloor of its members have their qubits with a |1> value.

preprint2011arXiv

Z-States Algebra for a Tunable Multi-Party Entanglement-Distillation Protocol

W-States have achieved the status of the standard fully symmetric entangled states, for many entanglement application purposes. Z-States are a generalization of W-States that display an elegant algebra, enabling short paths to desired results. This paper describes Z-States algebra starting from neat definitions and laying down explicitly some fundamental theorems on composition and distillation, needed for applications. These theorems are synthesized into a generic tunable Entanglement-Distillation Protocol. Applications are readily developed based upon the tunable protocol. A few examples are provided to illustrate the approach generality. A concomitant graphical representation allows fast comprehension of the protocol inputs, operations and outcomes.