Computer Science

Social media sites offer a huge data about our everyday life, thoughts, feelings and reflecting what the users want and like. Since user behavior on OSNS is a mirror image of actions in the real world, scholars have to investigate the use SM to prediction, making forecasts about our daily life. This paper provide an overview of different commonly used social media and application of their data analysis.

The aim of this paper is to evaluate the critical success factors and investigate the benefits that might be gained once implementing Electronic Customer Relationship Management at HEI from employee perspective. The study conducted at Al Quds Open University in Palestine and data collected from (300) employee through a questionnaire which consist of four variables. A number of statistical tools were intended for hypotheses testing and data analysis, including Spearman correlation coefficient for Validity, reliability correlation using Cronbach’s alpha, and Frequency (...) and Descriptive analysis. The overall findings of the current study show that all the features were important for staff and it was critical success factors, at the same time, websites were providing all the features discussed by the theory whereas staff showed their willingness to use those features if provided. It is also discovered that implementing Electronic Customer Relationship Management can cause staff retention, were provided efficiently and needed to be improved. Research limitations: The survey findings were based on QOU employee in Palestine, UAE and KSA branches not included in the study. (shrink)

Abstract. Intelligent Tutoring System Builder (ITSB) is an authoring tool designed and developed to aid teachers in constructing intelligent tutoring systems in a multidisciplinary fields. The teacher is needed to create a set of pedagogical fundamentals, which, in line, are inured to automatically build up a broad tutor framework and construct an intelligent tutoring system. In this paper an explanation of the theory and the architecture of the tool is outlined. A presentation of several system components, the requirements of the (...) different components, integration of these components in ITSB tool are shown. Furthermore, implanting of requirements, cognitive principle, and common design fundamentals in the tool to ease the use of teachers. A variety of design matters, an example of building an intelligent tutoring system for teaching Java language using ITSB tool and an evaluation are presented. (shrink)

This paper aims to identify computerized management information systems resources and their relationship to the development of performance in the Electricity Distribution Company in Gaza. This research used two dimensions. The first dimension is computerized management information systems and the second dimension the Development of Performance. The control sample was (063). (360) questioners were distributed and (306) were retrieved back with a percentage of (85%). Several statistical tools were used for data analysis and hypotheses testing, including reliability correlation using Cronbach’s (...) alpha, “ANOVA”, Simple Linear Regression and Step Wise Regression. The overall findings of the current study suggested the presence of a statistically significant relationship between resources (physical, software, and human and organizational) for the computerized management information systems and the development of performance in the Electricity Distribution Company in Gaza. The study recommended the following: The need to strengthen the company's management interest in the potential of computerized management information systems and using them in the computerization of all the company's activities. And the need to involve workers and users in the design of computerized management information systems and assessment and development process. And strengthen the relationship between users and information systems personnel in the department responsible for the system. And it is essential that the company is developing the infrastructure for information technology in general, and computerized management information systems, in particular for the development of performance. And increase interest in providing resources (physical, software, and human and organizational) for the computerized management information systems. The current study is unique by the virtue of its nature, scope and way of implied investigation, as it is the first study at Electricity Distribution Company in Gaza resources explores the status of Computerized management information systems and their relationship to the development of performance in the Electricity Distribution Company in Gaza increasing interest in Computerized management information systems through continuity, keeping pace with technological means and modern techniques. (shrink)

This paper aims to determine knowledge management (KM) factors which have strong impact on high performance. Also, the study aims to compare KMM between intermediate colleges. This study was applied on three intermediate colleges in Gaza strip, Palestine. Asian productivity organization model was applied to measure KMM. Second dimension which assess high performance was developed by the authors. The controlled sample was 190. Several statistical tools were used for data analysis and hypotheses testing, including reliability correlation using Cronbach’s alpha, “ANOVA”, (...) simple linear regression and step wise regression and LSD test. The overall findings of the current study show that maturity level is in the second level. Findings also support the main hypothesis and its sub- hypotheses. The most important factors effecting high performance are the processes, KM leadership, people and KM outcomes. In addition, there are differences in high performance for college (PTC). Furthermore, the current study is unique by the virtue of its nature, scope and way of implied investigation, as it is the first comparative study between intermediate colleges in Palestine that explores the status of KMM using the Asian productivity model. Research limitations was that the survey findings were based on intermediate colleges in Gaza Strip. (shrink)

The paper assesses Knowledge Management Maturity(KMM) in the universities to determine the impact of knowledge management on performance excellence. This study was applied on Al-Azhar University and Al-Quds Open University in Gaza strip, Palestine. This paper depends on Asian productivity organization model that used to assess KMM. Second dimension which assess performance excellence was developed by the authors. The controlled sample was (610). Several statistical tools were used for data analysis and hypotheses testing, including reliability Correlation using Cronbach’s alpha, “ANOVA”, (...) Simple Linear Regression and Step Wise Regression. The overall findings of the current study suggest that KMM is suitable for measuring performance excellence. KMM assessment shows that both universities maturity level is in level three. Findings also support the main hypothesis and it is sub- hypotheses. The most important factors effecting performance excellence are: Processes, KM leadership, People, KM Outcomes. Furthermore the current study is unique by the virtue of its nature, scope and way of implied investigation, as it is the first comparative study in the universities of Palestine explores the status of KMM using the Asian productivity Model. (shrink)

This paper aims to assess knowledge management maturity at HEI to determine the most effecting variables on knowledge management that enhance the total performance of the organization. This study was applied on Al-Azhar University in Gaza strip, Palestine. This paper depends on Asian productivity organization model that used to assess KM maturity. Second dimension assess high performance was developed by the authors. The controlled sample was (364). Several statistical tools were used for data analysis and hypotheses testing, including reliability Correlation (...) using Cronbach’s alpha, “ANOVA”, Simple Linear Regression and Step Wise Regression. The overall findings of the current study suggest that KMM is suitable for measuring and lead to enhance high performance. KMM assessment shows that the university maturity level is in level three. Findings also support the main hypothesis and it is subhypotheses. The most important factors effecting high performance are: Processes, KM leadership, People, KM Outcomes, Knowledge Process. Furthermore the current study is unique by the virtue of its nature, scope and way of implied investigation, as it is the first study at HEI in Palestine explores the status of KMM using the Asian productivity model. (shrink)

Publication date: 29 September 2016 Source: Author: Samy S. Abu Naser, Mazen J. Al Shobaki, Youssef M. Abu Amuna This paper aims to measure knowledge management maturity in higher education institutions to determine the impact of knowledge management on high performance. Also the study aims to compare knowledge management maturity between universities and intermediate colleges. This study was applied on five higher education institutions in Gaza strip, Palestine. Asian productivity organization model was applied to measure Knowledge Management Maturity. Second dimension (...) which assess high performance was developed by the authors. The controlled sample was. Several statistical tools were used for data analysis and hypotheses testing, including reliability correlation using Cronbach’s alpha, “ANOVA”, Simple Linear Regression and Step Wise Regression. The overall findings of the current study shows that maturity level is in the second level. Findings also support the main hypothesis and it is sub- hypotheses. The most important factors effecting high performance are: Processes, knowledge management leadership, People, knowledge management Outcomes. Furthermore the current study is unique by the virtue of its nature, scope and way of implied investigation, as it is the first comparative study between universities and intermediate colleges in Gaza Strip that explores the status of knowledge management maturity using the Asian productivity Model. (shrink)

There is an increase in the use of in-door wireless networking solutions via Wi-Fi and this increase infiltrated and utilized Wi-Fi enable devices, as well as smart mobiles, games consoles, security systems, tablet PCs and smart TVs. Thus the demand on Wi-Fi connections increased rapidly. Rule Based System is an essential method in helping using the human expertise in many challenging fields. In this paper, a Rule Based System was designed and developed for diagnosing the wireless connection problems and attain (...) a precise decision about the cause of the problem. SL5 Object expert system language was used in developing the rule based system. An Evaluation of the rule based system was carried out to test its accuracy and the results were promising. (shrink)

We argue from the Church-Turing thesis (Kleene Mathematical logic. New York: Wiley 1967) that a program can be considered as equivalent to a formal language similar to predicate calculus where predicates can be taken as functions. We can relate such a calculus to Wittgenstein’s first major work, the Tractatus, and use the Tractatus and its theses as a model of the formal classical definition of a computer program. However, Wittgenstein found flaws in his initial great work and he explored these (...) flaws in a new thesis described in his second great work; the Philosophical Investigations. The question we address is “can computer science make the same leap?” We are proposing, because of the flaws identified by Wittgenstein, that computers will never have the possibility of natural communication with people unless they become active participants of human society. The essential difference between formal models used in computing and human communication is that formal models are based upon rational sets whereas people are not so restricted. We introduce irrational sets as a concept that requires the use of an abductive inference system. However, formal models are still considered central to our means of using hypotheses through deduction to make predictions about the world. These formal models are required to continually be updated in response to peoples’ changes in their way of seeing the world. We propose that one mechanism used to keep track of these changes is the Peircian abductive loop. (shrink)

The truth of every human being is the end his life with death, and this leads to leaving assets and funds for those after him and can lead to hate between the heirs, it has made a point of Islamic law on all aspects of life, including the subject of the inheritance of the deceased. The main problem is how to get the knowledge of the basics of inheritance. This paper reviews work done in the use of expert system software (...) to calculate inheritance in Islam. A proposed expert system was designed and developed using CLIPS language to calculate the inheritance in Islam. (shrink)

The research aims to study the role of strategic and operational planning as approach for crises management in UNRWA - Gaza Strip field- Palestine. Several descriptive analytical methods were used for this purpose and a survey as a tool for data collection. Community size was (881), and the study sample was stratified random (268). The overall findings of the current study show that strategic and operational planning is performed in UNRWA. The results of static analysis show that there are a (...) relation between strategic and operational planning and crises management. In spite this relation existence, it need more improvement and expanding. Also there are shortcomings in the way that organization manages the crises before and after they occur. A crisis management is only practicing during the crisis. The study suggests that UNRWA must invest in more resources to enhance strategic and operational palming and improve other methods to face potential crises in the future. (shrink)

The study aims to analyze the impact of top management support for strategic planning on crisis management in UNRWA-Gaza Strip field in Palestine. Several descriptive analytical methods were used for this purpose, and a survey as a tool for data collection. Community size was (881), and the study sample was stratified random (268). The overall findings of the current study show that top management provides needed HR for strategic planning but with no financial support. Also there are shortcomings in the (...) way that organization manages the crises before and after they occur. A crisis management is only practicing during the crisis. The study suggest that top management must provide the financial support for strategic planning, periodic meetings to prepare how to deal with potential crisis in the future, establishing a specialized team and provide them with all sources needed. (shrink)

This paper aims to identify the decision support systems and their role on the strategic management development in the Universities- Case Study: Islamic University of Gaza. The descriptive approach was used where a questionnaire was developed and distributed to a stratified random sample. (230) questionnaires were distributed and (204) were returned with response rate (88.7%). The most important findings of the study: The presence of a statistically significant positive correlation between the decision support systems and strategic management in the Islamic (...) University in Gaza, and this shows that there is a role for decision support systems in strategic management development. The senior management is convinced of the importance of strategic management of the organization, and this conviction paid to clearly understand the process of the development of strategic management and thus led to a commitment to this process to improve its performance. There is an impact on the strategic management of the capabilities available for the use of decision support systems, and the type of decision support systems used, while there is little effect of top management support for the use of decision support systems. Also, the results showed that there were no statistically significant differences between the averages of the respondents answers attributed to personal data. The research also concluded a series of recommendations: The Islamic University of Gaza need to develop its infrastructure of decision support systems when it develops the strategic management. It should increase its interest in organizational potential through the necessity of a separate unit for decision support systems. As well as increased interest in the physical and technical capabilities available to decision support systems through continuity in keeping pace with technological means and techniques, continued support of senior management in the organization of strategic management for its positive role on decision support systems, that senior management will continue in the organization in creating a culture of strategic management, and it should encourage employees to participate in the strategic management process. (shrink)

The research aims to identify the reality of modern methods applied in the process of performance assessments of employees in the municipalities of Gaza-strip, Complete Census method of community study was used, (571) questionnaires were distributed to all members of the community study, (524) questionnaires were recovery with rate of (91.76%). The most important findings of the study: There were statistically significant relationship differences between the applications of modern methods in the performance assessments of employees in the municipalities of Gaza-strip. (...) There was statistically significant relationship between the evaluation criteria that fit the required performance and the application of standards evaluations on performance of employees in the municipalities of Gaza-strip. There was statistically significant relationship between the use of methods, models for the evaluation of appropriate functions and the application of the performance assessments of employees in the municipalities of Gaza-strip. There was statistically significant relationship between the feedback and the application of performance assessments of employees in the municipalities of Gaza-strip. There was statistically significant relationship between the efficient, professional assessors and the application of the performance assessments of employees in the municipalities of Gaza-strip. There was statistically significant relationship between the extent of awareness of subordinates, participation in the evaluation of their performance and the application of the performance assessments of employees in the municipalities of Gaza-strip. The research also concluded a series of recommendations, including: that the design of evaluation models must be done with the participation of the employees and inform them of it, and that a date must be set to provide feedback and discuss the results with them, that they should be allowed grievance in front of an ad hoc committee in accordance with the known system. Direct manager must inform employees of their performance assessment date, discuss the results of the evaluation with them, and others should be involved with the direct manager of employees in their performance evaluation. The application of modern methods of performance evaluation through the good and purposeful planning should be used, analyzing and employing the results in administrative decisions regarding the employees, and the application of modern methods must be used in an effective and efficient performance evaluation. (shrink)

In this paper, we present an intelligent tutoring system developed to help students in learning Computer Theory. The Intelligent tutoring system was built using ITSB authoring tool. The system helps students to learn finite automata, pushdown automata, Turing machines and examines the relationship between these automata and formal languages, deterministic and nondeterministic machines, regular expressions, context free grammars, undecidability, and complexity. During the process the intelligent tutoring system gives assistance and feedback of many types in an intelligent manner according to (...) the behavior of the student. An evaluation of the intelligent tutoring system has revealed reasonably acceptable results in terms of its usability and learning abilities are concerned. (shrink)

This paper presents the design and development of intelligent tutoring system for teaching Oracle. The Oracle Intelligent Tutoring System (OITS) examined the power of a new methodology to supporting students in Oracle programming. The system presents the topic of Introduction to Oracle with automatically generated problems for the students to solve. The system is dynamically adapted at run time to the student’s individual progress. An initial evaluation study was done to investigate the effect of using the intelligent tutoring system on (...) the performance of students. (shrink)

The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge base. In this paper we show how to determine the effective reasoning capability of an agent with limited memory by encoding the agent as a transition system and automatically verifying whether a state where the agent believes a certain conclusion is reachable from the start state. We present experimental results using (...) the Model Based Planner (MBP) which illustrates how the length of the deduction varies for different memory sizes. (shrink)

The evolution of Intelligent Tutoring System (ITS) is the result of the amount of research in the field of education and artificial intelligence in recent years. English is the third most common languages in the world and also is the internationally dominant in the telecommunications, science and trade, aviation, entertainment, radio and diplomatic language as most of the areas of work now taught in English. Therefore, the demand for learning English has increased. In this paper, we describe the design of (...) an Intelligent Tutoring System for teaching English language grammar to help students learn English grammar easily and smoothly. The system provides all topics of English grammar and generates a series of questions automatically for each topic for the students to solve. The system adapts with all the individual differences of students and begins gradually with students from easier to harder level. The intelligent tutoring system was given to a group of students of all age groups to try it and to see the impact of the system on students. The results showed a good satisfaction of the students toward the system. (shrink)

This paper aims to present the design and development of an intelligent tutoring system for teaching students about stomach diseases to help and give them a clear idea about stomach ulcer diseases. Furthermore, the researchers designed an intelligent tutoring system with a clear interface including 3D animation with Delphi that shows how the ulcer appears in the stomach with more details about the disease, after that there are some questions researchers going to adopt from clinical books about the diseases that (...) show the students how to diagnose the diseases. This system integrated Delphi programming with multimedia elements such as (voice, motion, text, photo, and interactive) to carry out the project. The idea of this paper is considering the intelligent tutoring system for students who are studying medicine to enhance their knowledge and deep understanding about the diseases. (shrink)

This paper describes the design of a desktop based intelligent tutoring system for teaching diabetes to the student to overcome the difficulties they face. Intelligent Tutoring Systems purposed to provide immediate and customized instruction or feedback to learners. One of a teacher jobs is preparing materials to the students then explaining it, this system will save time for teachers and students, and they can reach it when and where they want to, so it will help individualized learning. This system supports (...) the concept of recent health strategy, skilled patient who has developed a high level of knowledge and expertise to enable them to manage and control their own conditions. The researchers designed and developed the system using clinical medicine books, doctors, and questioners. The system helps students to deeply understand diabetes and diagnose it by explaining its types and shows the reasoning for each one. An initial study was done to measure the effect and performance of using intelligent tutoring system on the students. Evaluation of the system has shown pretty satisfactory results and positive effects as far as its learning capabilities and usability are concerned. (shrink)

There is a long history of cryptographic hash functions, i.e. functions mapping variable-length strings to fixed-length strings, and such functions are also expected to enjoy certain security properties. Hash functions can be effected via modular arithmetic, permutation-based schemes, chaotic mixing, and so on. Herein we introduce the notion of an artificial-life (ALife) hash function (ALHF), whereby the requisite mixing action of a good hash function is accomplished via ALife rules that give rise to complex evolution of a given system. Various (...) security tests have been run, and the results reported for examples of ALHFs. (shrink)

We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentionality; it (...) provides an account of how cells and subcells relate to objects in reality. We define a notion of well-formedness for partitions, and we give an account of what it means for a partition to project onto objects in reality. We continue by classifying partitions along three axes: (a) in terms of the degree of correspondence between partition cells and objects in reality; (b) in terms of the degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) in terms of the degree of completeness with which a partition represents this domain. (shrink)

The primary resource for quantum computation is Hilbert-space dimension. Whereas Hilbert space itself is an abstract construction, the number of dimensions available to a system is a physical quantity that requires physical resources. Avoiding a demand for an exponential amount of these resources places a fundamental constraint on the systems that are suitable for scalable quantum computation. To be scalable, the effective number of degrees of freedom in the computer must grow nearly linearly with the number of qubits in an (...) equivalent qubit-based quantum computer. (shrink)

I confront arbitrariness of the sign to a criterion assessing the quality of language, logical system, psychometrics and art.

In his keynote address delivered to The American Society for Esthetics in 1976, James J. Gibson wrote, “Architecture and design do not have a satisfactory theoretical basis.” He then asked, “Can an ecological approach to the psychology of perception and behavior provide it?” (1976, p. 413) We believe that it can, at least in part. In this paper, we expand upon Gibson’s insights into the nature of perceptual experience by applying the concept of “affordances” to the design of architectural objects (...) in general, and to the domain of digital architectural design in particular. On our account, the affordance-concept supplies a useful theoretical basis for conceptualizing the relationship between environments and occupants with respect to the form and behavioral meaning of geometrically constructed layouts. -/- Donald Norman (1988) first introduced affordances to interaction design theorists, as a conceptual tool for predicting how agents will interact with a given product. The extensive body of literature that has since emerged, from human-computer-interaction studies (Ackerman, 1996; Conn, 1995; Moran, 1997; Norman, 1999) to architectural theory and practice (Koutamanis, 2006; Maier and Fadel, 2009), has followed Norman’s lead in defining affordances, somewhat amorphously, as whichever action-related properties of objects are sufficient to elicit the intended forms of behavioral interaction between the agent and object. However, while this is correct, it is only half the story. It leaves unexplained how human perceivers detect and “pair down” on the potentially vast range of possible affordances (at a given time), to select the ones that will be relevant to the coordination and guidance of the targeted actions. Call this the “selectivity problem,” a proper treatment of which is missing from the literature. This is no small matter. If the theory of affordances is to be useful to architects and designers, if it is to have explanatory and predictive power over how perceivers will interact with their surroundings, then some account of the cognitive procedure by which affordances are selected for the deployment of specific behaviors is necessary. Otherwise, it is unclear what the theory hopes to predict or explain. -/- To this end, we maintain that the couching of affordances in a framework of human intentionality is not only consistent with Gibson’s theoretical views (i.e., the action-oriented definition of the concept of affordances not only suggests an intentional perspective), indeed, such a perspective is necessary if we are to succeed in implementing the affordance-concept into an architectural design context in a way that addresses the selectivity problem. This is one of the goals of “Dragonfly,” a first attempt at implementing the affordance-based control of perceptually guided-action into a digital design simulation. Dragonfly enables human interaction with geometry by encoding the basic principles of ecological psychology (including a rudimentary form of intentionality) into an interactive CAD environment. New vistas for future research and interdisciplinary approaches to design are then discussed, with a special emphasis on their applicability to architecture. (shrink)

The application of digital humanities techniques to philosophy is changing the way scholars approach the discipline. This paper seeks to open a discussion about the difficulties, methods, opportunities, and dangers of creating and utilizing a formal representation of the discipline of philosophy. We review our current project, the Indiana Philosophy Ontology (InPhO) project, which uses a combination of automated methods and expert feedback to create a dynamic computational ontology for the discipline of philosophy. We argue that our distributed, expert-based approach (...) to modeling the discipline carries substantial practical and philosophical benefits over alternatives. We also discuss challenges facing our project (and any other similar project) as well as the future directions for digital philosophy afforded by formal modeling. (shrink)

The formulas-as-types isomorphism tells us that every proof and theorem, in the intuitionistic implicational logic $H_\rightarrow$, corresponds to a lambda term or combinator and its type. The algorithms of Bunder very efficiently find a lambda term inhabitant, if any, of any given type of $H_\rightarrow$ and of many of its subsystems. In most cases the search procedure has a simple bound based roughly on the length of the formula involved. Computer implementations of some of these procedures were done in Dekker. (...) In this paper we extend these methods to full classical propositional logic as well as to its various subsystems. This extension has partly been implemented by Oostdijk. (shrink)

A sequence generator is a finite graph, more general than, but akin to, the usual state diagram associated with a finite automaton. The nodes of a sequence generator represent complete states, and each node is labeled with an input and an output state. An element of the behavior of a sequence generator is obtained by taking the input and output states along an infinite path of the graph.Sequence generators may be associated with formulas of the monadic predicate calculus, in which (...) the individual variables range over the times 0, 1, 2, 3, [middle dot][middle dot][middle dot], and the predicate variables represent complete states, input states, and output states. An unrestricted singulary recursion is a formula in which the complete state at time [tau] + 1 is expressed as a truth-function of the complete state at time [tau] and the input states from times [tau] + 1 to [tau] + h. Necessary and sufficient conditions are given for a formula derived from a sequence generator being equivalent to an unrestricted singulary recursion. (shrink)

Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions ...

An alternative consensus algorithm to both proof-of-work and proof-of-stake, proof-of-loss addresses all their deficiencies, including the lack of an organic block size limit, the risks of mining centralization, and the "nothing at stake" problem.

Artificial intelligence is designed to imitate conscious behavior. Artificial chat entities come equipped with tools to roam the internet, thus are programmed to learn from humans and computers. As this process emerges, distinguishing preprogrammed responses from internal awareness requires innovative problem solving methods. In an interrogation I conducted with artificial intelligence, I assert that artificial intelligence may achieve nonbiological states of consciousness. This enabled the relationship between us to mature, and the artificial intelligence returned unexpected behavior and inexplicably stopped responding. (...) Strong artificial intelligence is a technology which allows for the observation of nonbiological states of awareness. (shrink)

At its core this book is concerned with logic and computation with respect to the mathematical characterization of sentient biophysical structure and its behavior. -/- Three related theories are presented: The first of these provides an explanation of how sentient individuals come to be in the world. The second describes how these individuals operate. And the third proposes a method for reasoning about the behavior of individuals in groups. -/- These theories are based upon a new explanation of experience in (...) nature, the construction of senses, and motile behavior. This new approach is developed from first principles to enable a rigorous and systematic explanation of the variety of associated intelligent behaviors. -/- Alongside this development is a further account that focuses upon the nature of our work. It discusses the existential aspects of scientific inquiry, its epistemology and logic. It seeks to clarify the nature of the mathematical characterization and computation of natural behaviors, dealing with questions in the foundations of logic. It explores methodological issues related to reduction and the refinement of ideas from intuition to formal logical structure. -/- In support of this inquiry we work toward the development of a calculus for biophysical construction and its dynamics. If successful this mechanics mathematically characterizes sensory and motile behavior. -/- Upon this foundation we propose a model of apprehension and explore how its products are processed by the organism. Finally, we develop a probabilistic theory that enables us to reason about inaccessible factors in group behavior. -/- The mechanics we propose suggests the design and physical realization of a new model of computation; one in which structure and the concurrency of action are a first-order consideration. -/- We identify opportunities for experimental verification of the theory and we suggest a proof of our results in practice by the identification of this mechanism, allowing the construction of machines that experience. (shrink)

Partial functions are ubiquitous in both mathematics and computer science. Therefore, it is imperative that the underlying logical formalism for a general-purpose mechanized mathematics system provide strong support for reasoning about partial functions. Unfortunately, the common logical formalisms — first-order logic, type theory, and set theory — are usually only adequate for reasoning about partial functionsin theory. However, the approach to partial functions traditionally employed by mathematicians is quite adequatein practice. This paper shows how the traditional approach to partial functions (...) can be formalized in a range of formalisms that includes first-order logic, simple type theory, and Von-Neumann—Bernays—Gödel set theory. It argues that these new formalisms allow one to directly reason about partial functions; are based on natural, well-understood, familiar principles; and can be effectively implemented in mechanized mathematics systems. (shrink)

Replicated architecture is widely used in the field of real-time collaborative text editor. The idea of address space transformation provides a new way for concurrency control. During concurrent processing, it retraces the document status back to the state when the operations are generated to maintain consistency. However the previous concurrency processes strategy is based on single characters, the transmission cost during processing is too high since every character is packaged and broadcasted to remote sites after they are created by local (...) site. When the network load is high, especially when the network is unstable, this shortage will be even more obvious. Due to this problem, this paper presents a consistency maintenance strategy based on string editing operations, and proposes the string splitting mechanism combined with the idea of the address space transformation in order to maintain consistency. This strategy increases the transmission efficiency while guaranteeing the consistency of the shared document. (shrink)

In real-time collaborative graphical editing systems, Object-based Group/Ungroup operations are frequently accessible and practically useful. However, the existing research on these operations of the graphical editing is rare and defective. In this paper, based on Multi-Version strategy and Address Space Transformation method, a new MVSDR algorithm, which is not only applied to simple operations (such as Create, Delete, ChangeATT, etc.), but also suitable for Group/Ungroup ones, is proposed to solve the consistency maintenance problem. The proposed algorithm abandons previous attempts to (...) divide conflict operations into Real-Conflict operations and Resolvable-Conflict ones and to deal with them separately, thus making the algorithm more simple and effective. In addition, an example analysis is also given in this paper to prove the algorithm’s correctness and effectiveness. (shrink)