BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Iaakov Exman

Iaakov Exman appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
Information RetrievalSoftware Engineeringquant-phDistributed, Parallel, and Cluster Computingphysics.soc-phSocial and Information Networks

Catalog footprint

What is connected

11works
6topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

11 published item(s)

preprint2016arXiv

Non-Concept Software Subsystems: Tangible and Intangible

Concepts modified by a Non- prefix apparently denote a negation, an opposite of the concept without this prefix. But, generally the situation is rather subtle: non- implies only partial negation and the concept suggests preserved identity with some reduced quality or absent attribute. In this work tangible and intangible software subsystems based upon Non- concepts are defined and pluggable ontologies are proposed for their representation. Pluggable ontologies are a kind of nano-ontologies, which by their minimal size facilitate fast composition of new software subsystems. These ontologies are made pluggable by Design Sockets, a novel kind of class. These are abstract connectors for removed/added parts, functionalities or identities, and for subdued qualities. Design Sockets are the basis of a Design Pattern for dynamically modifiable software systems. Pragmatic implications of Non- concepts include manageable design of product lines with multiple models. Non- concepts are also relevant to the controversy whether composition is or is not identity. The resolution is not sharp. Identity is entangled with composition, and is preserved to a certain extent, until further removal causes identity breakdown.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Linear Software Models: Key Ideas

Linear Software Models is a systematic effort to formulate a theory of software systems neatly based upon standard mathematics, viz. linear algebra. It has appeared in a series of papers dealing with various aspects of the theory. But one was lacking a single source for its key ideas. This paper concisely distills foundational ideas and results obtained within Linear Software Models. First and foremost we claim that one must have a deep comprehension of the theory of software - the aim of this effort - before embarking into theory and practice of software engineering. The Modularity Matrix is the central algebraic structure of the software theory: it is the source of quantitative modularity criteria; it displays high cohesion, i.e. high sparsity; a Standard Modularity Matrix is defined - square and block-diagonal - enabling designs comparison for any software systems in a Software Design Laboratory. It triggers formulation of novel open questions waiting for resolution.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access