Correctness of realizations of levels of abstraction in Operating Systems

Author(s):  
G. Belpaire ◽  
J. P. Wilmotte
2020 ◽  
Vol 43 ◽  
Author(s):  
Chris Fields ◽  
James F. Glazebrook

Abstract Gilead et al. propose an ontology of abstract representations based on folk-psychological conceptions of cognitive architecture. There is, however, no evidence that the experience of cognition reveals the architecture of cognition. Scale-free architectural models propose that cognition has the same computational architecture from sub-cellular to whole-organism scales. This scale-free architecture supports representations with diverse functions and levels of abstraction.


2007 ◽  
Author(s):  
Amy Perfors ◽  
Charles Kemp ◽  
Elizabeth Wonnacott ◽  
Joshua B. Tenenbaum

2012 ◽  
Vol 21 (2) ◽  
pp. 223-243
Author(s):  
Irit Degani-Raz

The idea that Beckett investigates in his works the limits of the media he uses has been widely discussed. In this article I examine the fiction Imagination Dead Imagine as a limiting case in Beckett's exploration of limits at large and the limits of the media he uses in particular. Imagination Dead Imagine is shown to be the self-reflexive act of an artist who imaginatively explores the limits of that ultimate medium – the artist's imagination itself. My central aim is to show that various types of structural homologies (at several levels of abstraction) can be discerned between this poetic exploration of the limits of imagination and Cartesian thought. The homologies indicated here transcend what might be termed as ‘Cartesian typical topics’ (such as the mind-body dualism, the cogito, rationalism versus empiricism, etc.). The most important homologies that are indicated here are those existing between the role of imagination in Descartes' thought - an issue that until only a few decades ago was quite neglected, even by Cartesian scholars - and Beckett's perception of imagination. I suggest the use of these homologies as a tool for tracing possible sources of inspiration for Beckett's Imagination Dead Imagine.


2017 ◽  
Author(s):  
Rebin B. Khoshnaw ◽  
Dana F. Doghramach ◽  
Mazin S. Al-Hakeem

Author(s):  
Georgiy Aleksandrovich Popov

The article deals with a two-channel queuing system with a Poisson incoming call flow, in which the application processing time on each of the devices is different. Such models are used, in particular, when describing the operation of the system for selecting service requests in a number of operating systems. A complex system characteristic was introduced at the time of service endings on at least one of the devices, including the queue length, the remaining service time on the occupied device, and the time since the beginning of the current period of employment. This characteristic determines the state of the system at any time. Recurrence relations are obtained that connect this characteristic with its marginal values when there is no queue in the system. The method of introducing additional events was chosen as one of the main methods for analyzing the model. The relationships presented in this article can be used for analysis of the average characteristics of this system, as well as in the process of its simulation. Summarizing the results of work on multichannel systems with an arbitrary number of servicing devices will significantly reduce the time required for simulating complex systems described by sets of multichannel queuing systems.


2020 ◽  
Author(s):  
Jeffrey Mendenhall ◽  
Benjamin Brown ◽  
Sandeepkumar Kothiwale ◽  
Jens Meiler

<div>This paper describes recent improvements made to the BCL::Conf rotamer generation algorithm and comparison of its performance against other freely available and commercial conformer generation software. We demonstrate that BCL::Conf, with the use of rotamers derived from the COD, more effectively recovers crystallographic ligand-binding conformations seen in the PDB than other commercial and freely available software. BCL::Conf is now distributed with the COD-derived rotamer library, free for academic use. The BCL can be downloaded at <a href="http://meilerlab.org/index.php/bclcommons/show/b_apps_id/1">http://meilerlab.org/ bclcommons</a> for Windows, Linux, or Apple operating systems.<br></div>


Sign in / Sign up

Export Citation Format

Share Document