World Academy of Science, Engineering and Technology, International Journal of Computer, Electrical, Automation, Control and Information Engineering, Jan 21, 2013
... Famagusta, Turkish Republic of Northern Cyprus .~ (senay.kafkas, reki.bayram] @emu.edu.tr .I ... more ... Famagusta, Turkish Republic of Northern Cyprus .~ (senay.kafkas, reki.bayram] @emu.edu.tr .I . . ... At the same time, it providci tools for instructors to 'design course materials.and exams on their local machine and upload the mate-rials to the server as XML doe&ents.- . . . ...
Innovations in E-learning, Instruction Technology, Assessment, and Engineering Education
ABSTRACT We propose two ways of modeling the teacher relocation problem in the ECL ECLiPSe constr... more ABSTRACT We propose two ways of modeling the teacher relocation problem in the ECL ECLiPSe constraint logic programming system, implement them and compare their performance through simulation. The first one relies on logic variables that take on boolean values. The second one involves the use of the built-in predicates “element’ and “occurrences.’Simulations confirm that the approach that uses the built-in predicates performs better in general.
Motivated by the goal of being able to manipulate complex objects symbolically, we propose a meth... more Motivated by the goal of being able to manipulate complex objects symbolically, we propose a method of integrating functional, logic and object-oriented programming paradigms. Our method assumes the existence of an object-expression evaluator (i.e. the underlying Smalltalk interpreter) and relies on transformations and calls to this object-expression evaluator as its means of computation. Programs of the combined paradigm consist of conditional rewrite rules augmented to incorporate object expressions. 1
We present a semantic web service specification of banking transactions so that client software c... more We present a semantic web service specification of banking transactions so that client software can declare the functionality it desires of the web service without actually knowing which web service will be able to answer its request. The semantic web service infrastructure can then determine the correct web service to call, and make the call, taking care of details about the interaction between the client and server. Our approach represents a new genre of use case scenarios for semantic web services, since it envisions using them for specifying web services within an organization, rather than assuming the existence of numerous web services provided by different organizations, which would make the job of discovery an almost insurmountable task.
We identify significant weaknesses in the original State Machine (ASM) based choreography algorit... more We identify significant weaknesses in the original State Machine (ASM) based choreography algorithm of Web Service Modeling Ontology (WSMO), which make it impractical for use in semantic web service choreography engines. We present an improved algorithm which rectifies the weaknesses of the original algorithm, as well as a practical, fully functional choreography engine implementation in Flora-2 based on the improved algorithm. Our improvements to the choreography algorithm include (i) the linking of the initial state of the ASM to the precondition of the goal, (ii) the introduction of the concept of a final state in the execution of the ASM and its linking to the postcondition of the goal, and (iii) modification to the execution of the ASM so that it stops when the final state condition is satisfied by the current configuration of the machine. Our choreography engine takes as input semantic web service specifications written in the Flora-2 dialect of F-logic. Furthermore, we prove ...
ABSTRACT The original unification algorithm for F-Logic molecules presented by Kifer et al. 1995,... more ABSTRACT The original unification algorithm for F-Logic molecules presented by Kifer et al. 1995, contains a mistake. We identify the mistake and demonstrate it through two examples, suggest a solution to the problem in the original algorithm and prove that the resulting algorithm correctly unifies F-Logic molecules.
World Academy of Science, Engineering and Technology, International Journal of Computer, Electrical, Automation, Control and Information Engineering, Jan 21, 2013
... Famagusta, Turkish Republic of Northern Cyprus .~ (senay.kafkas, reki.bayram] @emu.edu.tr .I ... more ... Famagusta, Turkish Republic of Northern Cyprus .~ (senay.kafkas, reki.bayram] @emu.edu.tr .I . . ... At the same time, it providci tools for instructors to 'design course materials.and exams on their local machine and upload the mate-rials to the server as XML doe&ents.- . . . ...
Innovations in E-learning, Instruction Technology, Assessment, and Engineering Education
ABSTRACT We propose two ways of modeling the teacher relocation problem in the ECL ECLiPSe constr... more ABSTRACT We propose two ways of modeling the teacher relocation problem in the ECL ECLiPSe constraint logic programming system, implement them and compare their performance through simulation. The first one relies on logic variables that take on boolean values. The second one involves the use of the built-in predicates “element’ and “occurrences.’Simulations confirm that the approach that uses the built-in predicates performs better in general.
Motivated by the goal of being able to manipulate complex objects symbolically, we propose a meth... more Motivated by the goal of being able to manipulate complex objects symbolically, we propose a method of integrating functional, logic and object-oriented programming paradigms. Our method assumes the existence of an object-expression evaluator (i.e. the underlying Smalltalk interpreter) and relies on transformations and calls to this object-expression evaluator as its means of computation. Programs of the combined paradigm consist of conditional rewrite rules augmented to incorporate object expressions. 1
We present a semantic web service specification of banking transactions so that client software c... more We present a semantic web service specification of banking transactions so that client software can declare the functionality it desires of the web service without actually knowing which web service will be able to answer its request. The semantic web service infrastructure can then determine the correct web service to call, and make the call, taking care of details about the interaction between the client and server. Our approach represents a new genre of use case scenarios for semantic web services, since it envisions using them for specifying web services within an organization, rather than assuming the existence of numerous web services provided by different organizations, which would make the job of discovery an almost insurmountable task.
We identify significant weaknesses in the original State Machine (ASM) based choreography algorit... more We identify significant weaknesses in the original State Machine (ASM) based choreography algorithm of Web Service Modeling Ontology (WSMO), which make it impractical for use in semantic web service choreography engines. We present an improved algorithm which rectifies the weaknesses of the original algorithm, as well as a practical, fully functional choreography engine implementation in Flora-2 based on the improved algorithm. Our improvements to the choreography algorithm include (i) the linking of the initial state of the ASM to the precondition of the goal, (ii) the introduction of the concept of a final state in the execution of the ASM and its linking to the postcondition of the goal, and (iii) modification to the execution of the ASM so that it stops when the final state condition is satisfied by the current configuration of the machine. Our choreography engine takes as input semantic web service specifications written in the Flora-2 dialect of F-logic. Furthermore, we prove ...
ABSTRACT The original unification algorithm for F-Logic molecules presented by Kifer et al. 1995,... more ABSTRACT The original unification algorithm for F-Logic molecules presented by Kifer et al. 1995, contains a mistake. We identify the mistake and demonstrate it through two examples, suggest a solution to the problem in the original algorithm and prove that the resulting algorithm correctly unifies F-Logic molecules.
International Conference on Quality in Higher Education, 2019
Higher education institutions have a responsibility to perform research and produce well-educated... more Higher education institutions have a responsibility to perform research and produce well-educated graduates for a quality workforce. These outputs play an important role in nation’s economic development and sustainability as they are inputs for the industry. This effect is also important for individuals to have satisfying careers and earnings, together with better employment prospects. Both nations’ and individuals’ interest led to an increase in the number of higher education institutions, and competition among them resulted in the need to improve quality of education and student satisfaction. One of the items that affects student satisfaction is the quality of student services. The objective of this paper is to perform a systematic screening, as a precursor to a review, of published literature on Natural Language Interface applications in the education domain in order to determine the recent trends in the area.
Uploads
Papers by Zeki Bayram