Filters








577,779 Hits in 5.7 sec

Characterizing Programming Systems Allowing Program Self-reference [chapter]

John Case, Samuel E. MoeliusIII
2007 Lecture Notes in Computer Science  
The interest is in characterizing insightfully the power of program self-reference in effective programming systems (epses), the computability-theoretic analogs of programming languages.  ...  In an eps in which the not-necessarily-constructive form of Kleene's Recursion Theorem (krt) holds, such self-referential programs exist, but cannot, in general, be found algorithmically.  ...  Introduction The first author has, for some time, been interested in the difficult problem of understanding and insightfully characterizing the power of program or machine self-reference (synonym: program  ... 
doi:10.1007/978-3-540-73001-9_13 fatcat:qqnmtaxjy5fj5mbmzerxvf3f2a

Characterizing Programming Systems Allowing Program Self-Reference

John Case, Samuel E. Moelius
2009 Theory of Computing Systems  
The interest is in characterizing insightfully the power of program self-reference in effective programming systems (epses), the computability-theoretic analogs of programming languages.  ...  In an eps in which the not-necessarily-constructive form of Kleene's Recursion Theorem (krt) holds, such self-referential programs exist, but cannot, in general, be found algorithmically.  ...  Introduction The first author has, for some time, been interested in the difficult problem of understanding and insightfully characterizing the power of program or machine self-reference (synonym: program  ... 
doi:10.1007/s00224-009-9168-8 fatcat:gen4lbfgpve33bcbssjzavgzsa

Objects in Polynomial Time [chapter]

Emmanuel Hainry, Romain Péchoux
2015 Lecture Notes in Computer Science  
A type system based on non-interference and data ramification principles is introduced in order to capture the set of functions computable in polynomial time on OO programs.  ...  The studied language is general enough to capture most OO constructs and our characterization is quite expressive as it allows the analysis of a combination of imperative loops and of data ramification  ...  As in Java and for polymorphic reasons, null can be considered of any class C. • The rule (Self ) makes explicit that the self reference this is of type C and enforces the tier of the fields to be equal  ... 
doi:10.1007/978-3-319-26529-2_21 fatcat:rg76msfl4ncihclnvcnuip3zs4

Reasoning About Histories in Object-Based Distributed Systems [chapter]

F. S. Boer
1999 Formal Methods for Open Object-Based Distributed Systems  
The proof system formalizes reasoning about these dynamic structures on an abstraction level that is at least as high as that of the programming language.  ...  know each other by maintaining and passing around references.  ...  THE PROOF SYSTEM We start with the local proof system which allows us to reason about the correctness of a single object.  ... 
doi:10.1007/978-0-387-35562-7_4 fatcat:67ye6yljzjcnjgpzi5lxun6jxu

Library orientation and library instruction for medical students

J E Loftin
1983 Bulletin of the Medical Library Association  
Library instruction and library orientation goals, techniques, and programs are reviewed. These programs are a responsibility of the information specialist.  ...  Existing programs use varied means to accomplish these educational goals.  ...  A more demanding, extensive, and formal method is a separate course in information retrieval that allows time for more concentrated effort, is characterized by "a greater probability of high student motivation  ... 
pmid:6190524 pmcid:PMC227142 fatcat:u3muulsmmnaaxfbgjy6rldi3ii

Page 5 of The Monitor Vol. 10, Issue 9 [page]

1972 The Monitor  
One of these directions has been toward the develop- ment of self-contained systems.  ...  ., against a data base without requiring conven- tional procedural programming. Examples of such systems are MARK IV and GIS. They are characterized as follows: 1. For the non-programmer 2.  ... 

Didactical Framework for the Simulation of Computer Performance Analysis

David L. La Red Martinez, Carlos A. Romero, Alice R. Rambo
2017 European Scientific Journal  
In addition, a web application that allows the self-assessment of student in achieving learning outcomes was developed.  ...  systems of the FaCENA from the UNNE.  ...  In addition, a web application that allows the student to self-assess the acquired learning was developed.  ... 
doi:10.19044/esj.2016.v13n3p18 fatcat:re3yo4otbbeqxhlaws7zpjicli

Demand Response Model for Hardware Implementation

B. Capitao, J. Lagarto, R. Pereira, P. Almeida, P.M. Fonte
2020 2020 International Young Engineers Forum (YEF-ECE)  
The existence of a storage system based on batteries is considered as well as energy provided by the power grid and solar panel self-generation.  ...  The model is implemented using optimization software GAMS (General Algebraic Modeling System) as a Mixed Integer Programming (MIP) problem, where its outputs are used as inputs applied to the hardware  ...  This paper is organized as follows: in section II load management model is addressed, characterizing the considered CL, storage and self-generation system; in section III two case studies are analysed  ... 
doi:10.1109/yef-ece49388.2020.9171815 fatcat:2gwgya7kxvakbjlikruuhggoxq

Toward a Real-Time Reconfiguration of Self-Adaptive Smart Assembly Systems

Marco Bortolini, Riccardo Accorsi, Maurizio Faccio, Francesco Gabriele Galizia, Francesco Pilati
2019 Procedia Manufacturing  
characterized by the main attributes of changeability, reconfigurability and self-adaptability.  ...  In the current industrial context, signed by the advent of Industry 4.0, traditional manufacturing systems are evolving towards the new class of Next Generation Manufacturing Systems (NGMSs), characterized  ...  Afterwards the focus is on the description of the main components characterizing the proposed prototype of Self-adaptive Smart Assembly System (SASAS).  ... 
doi:10.1016/j.promfg.2020.01.232 fatcat:m2ouef5tznfr5hniomnxbfjc3i

Computational reflection

Pattie Maes
1988 Knowledge engineering review (Print)  
Re ective Systems: De nition, Characterization. Classi cation. Re ection. Historical Overview (Cont'd).  ...  In the meanwhile -Research eld: logic programming; -the meta-programming takes place in PROLOG.  ...  Re ective Systems: De nition, Characterization. Classi cation. Computational Re ection. Re ective Systems.  ... 
doi:10.1017/s0269888900004355 fatcat:uz5uxspwarfixjktg4fwabvd4m

Environmental issue through the international accreditation of engineering education

Enrica Caporali, Giampaolo Manfrida, Gianni Bartoli, Juna Valdiserri
2015 2015 International Conference on Interactive Collaborative Learning (ICL)  
system to provide the suitable measures to assess the quality of engineering programs in Europe and abroad.  ...  Particularly, based on the learning outcomes related to "knowledge and understanding" and "applying knowledge and understanding", the environmental engineering program of the School of Engineering of the  ...  In this context, the higher education system needs to adopt an accreditation system, acknowledged at an international level, in order to provide a set of measures to assess the quality of degree programs  ... 
doi:10.1109/icl.2015.7318173 fatcat:dggafnx4hvazzbjpr6bp7fsdhe

Annotating objects for transport to other worlds

David Ungar
1995 Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications - OOPSLA '95  
In Self 4.0, people write programs by directly constructing webs of objects in a larger world of objects. But in order to save or share these programs, the objects must be moved to other worlds.  ...  Any system that saves directly constructed programs will have to supply this missing information somehow. hides the information needed to describe objects' copying is by permission of ACM, inc.  ...  Recognizing and characterizing this gap was the hardest part of building the Self 4.0 transporter, a subsystem intended to move directly constructed Self programs from one world to another.  ... 
doi:10.1145/217838.217845 dblp:conf/oopsla/Ungar95 fatcat:q2sznwrr25gi5aig7mcxewisre

Annotating objects for transport to other worlds

David Ungar
1995 SIGPLAN notices  
In Self 4.0, people write programs by directly constructing webs of objects in a larger world of objects. But in order to save or share these programs, the objects must be moved to other worlds.  ...  Any system that saves directly constructed programs will have to supply this missing information somehow. hides the information needed to describe objects' copying is by permission of ACM, inc.  ...  Recognizing and characterizing this gap was the hardest part of building the Self 4.0 transporter, a subsystem intended to move directly constructed Self programs from one world to another.  ... 
doi:10.1145/217839.217845 fatcat:vtdko5veljcm7kcdz7dssxzvba

Study of Self Organizing Wireless Sensor Networks (2).pdf

ganesh E N
2022 figshare.com  
These hardwarecomponents need to be programmed using software tools to work cooperatively toward accomplishinga user-defined task.  ...  We have created a comprehensive design framework for an intelligentwireless patient-monitoring system as part of our ongoing work.  ...  wireless sensor network programming which runs on TinyOS operating system.  ... 
doi:10.6084/m9.figshare.19513873.v1 fatcat:sgtmiljmfve6tmv2gc2fiiesz4

Information technology, support for innovation in education sciences

Ion Smeureanu, Narcisa Isaila
2011 Procedia - Social and Behavioral Sciences  
These must be compatible with the learning management systems and any other future technology in the education area.  ...  New informatics technologies like the components-oriented programming or services-oriented architecture enable easily handling and composing of learning objects even by non-specialists, teachers who make  ...  Each learning object is characterized by a set of attributes that allow the location, management and their evaluation.  ... 
doi:10.1016/j.sbspro.2011.03.177 fatcat:7t7m6vv33zhanj2bi7jeno5abi
« Previous Showing results 1 — 15 out of 577,779 results