652 research outputs found

    Revelation and exegesis in the theological writings of Emanuel Swedenborg

    Get PDF
    This essay contains nine chapters of which the first is mainly biographical and includes a short account of all the theological, writings laid under contribution in the later chapters. The second chapter deals with the important question of Swedenborg’s experiences of the spiritual world. These chapters are designed to lay a minimum of factual groundwork upon which appreciation of Swedenborg’s distinctive contribution to all matters of theology must be based. Some critical review of the spiritual experiences accompanies their description. Thereafter the work proceeds directly to exposition of the fundamental teachings which impinge upon Swedenborg’s doctrine of the Word. Of necessity his doctrine of God, that is, the doctrine of the sole Deity of the Lord Jesus Christ, the Tri-une God, is examined. It is further shown that the order of creation determines the order of revelation and that "degrees" and "correspondences" afford the means by which the Divine descends into the created universe. The doctrine of the Word is then examined in the light of these teachings and his statements about the internal sense of the Sacred Scriptures are found to be harmonious with them. The question of the canon of the Word is raised and considered, the last two chapters are concerned with Swedenborg’s exegesis. First it is shown that exegesis of the letter is supremely important, distinguishing however between historical and literary criticism and exegesis of the sense of the letter. In the concluding chapter four passages, two from each of Swedenborg’s major published exegetical works, are presented, showing how the internal sense of the chosen texts has been reached. Next a study is made of his treatment of the symbol of the serpent in passages from various parts of the Scriptures and finally certain experiments are made under the guidance of his principles of interpretation

    Transforming AdaPT to Ada

    Get PDF
    This paper describes how the main features of the proposed Ada language extensions intended to support distribution, and offered as possible solutions for Ada9X can be implemented by transformation into standard Ada83. We start by summarizing the features proposed in a paper (Gargaro et al, 1990) which constitutes the definition of the extensions. For convenience we have called the language in its modified form AdaPT which might be interpreted as Ada with partitions. These features were carefully chosen to provide support for the construction of executable modules for execution in nodes of a network of loosely coupled computers, but flexibly configurable for different network architectures and for recovery following failure, or adapting to mode changes. The intention in their design was to provide extensions which would not impact adversely on the normal use of Ada, and would fit well in style and feel with the existing standard. We begin by summarizing the features introduced in AdaPT

    Programming in a proposed 9X distributed Ada

    Get PDF
    The studies of the proposed Ada 9X constructs for distribution, now referred to as AdaPT are reported. The goals for this time period were to revise the chosen example scenario and to begin studying about how the proposed constructs might be implemented. The example scenario chosen is the Submarine Combat Information Center (CIC) developed by IBM for the Navy. The specification provided by IBM was preliminary and had several deficiencies. To address these problems, some changes to the scenario specification were made. Some of the more important changes include: (1) addition of a system database management function; (2) addition of a fourth processing unit to the standard resources; (3) addition of an operator console interface function; and (4) removal of the time synchronization function. To implement the CIC scenario in AdaPT, the decided strategy were publics, partitions, and nodes. The principle purpose for implementing the CIC scenario was to demonstrate how the AdaPT constructs interact with the program structure. While considering ways that the AdaPt constructs might be translated to Ada 83, it was observed that the partition construct could reasonably be modeled as an abstract data type. Although this gives a useful method of modeling partitions, it does not at all address the configuration aspects on the node construct

    Transforming AdaPT to Ada9x

    Get PDF
    How the concepts of AdaPT can be transformed into programs using the object oriented features proposed in the preliminary mapping for Ada9x are described. Emphasizing, as they do, the importance of data types as units of program, these features match well with the development of partitions as translations into Abstract Data Types which was exploited in the Ada83 translation covered in report R3. By providing a form of polymorphic type, the Ada83 version also gives support for the conformant partition idea which could be achieved in Ada83 only by using UNCHECKED CONVERSIONS. It is assumed that the reader understands AdaPT itself, but the translation into Ada83 is briefly reviewed, by applying it to a small example. This is then used to show how the same translation would be achieved in the 9x version. It is important to appreciate that the distribution features which are proposed in current mapping are not used or discussed in any detail, as those are not well matched to the AdaPT approach. Critical evaluation and comparison of these approaches is given in a separate report

    BioMeT and algorithm challenges: A proposed digital standardized evaluation framework

    Get PDF
    Technology is advancing at an extraordinary rate. Continuous flows of novel data are being generated with the potential to revolutionize how we better identify, treat, manage, and prevent disease across therapeutic areas. However, lack of security of confidence in digital health technologies is hampering adoption, particularly for biometric monitoring technologies (BioMeTs) where frontline healthcare professionals are struggling to determine which BioMeTs are fit-for-purpose and in which context. Here, we discuss the challenges to adoption and offer pragmatic guidance regarding BioMeTs, cumulating in a proposed framework to advance their development and deployment in healthcare, health research, and health promotion. Furthermore, the framework proposes a process to establish an audit trail of BioMeTs (hardware and algorithms), to instill trust amongst multidisciplinary users

    Distributed and parallel Ada and the Ada 9X recommendations

    Get PDF
    Recently, the DoD has sponsored work towards a new version of Ada, intended to support the construction of distributed systems. The revised version, often called Ada 9X, will become the new standard sometimes in the 1990s. It is intended that Ada 9X should provide language features giving limited support for distributed system construction. The requirements for such features are given. Many of the most advanced computer applications involve embedded systems that are comprised of parallel processors or networks of distributed computers. If Ada is to become the widely adopted language envisioned by many, it is essential that suitable compilers and tools be available to facilitate the creation of distributed and parallel Ada programs for these applications. The major languages issues impacting distributed and parallel programming are reviewed, and some principles upon which distributed/parallel language systems should be built are suggested. Based upon these, alternative language concepts for distributed/parallel programming are analyzed

    On-line replacement of program modules using AdaPT

    Get PDF
    One purpose of our research is the investigation of the effectiveness and expressiveness of AdaPT(1), a set of language extensions to Ada 83, for distributed systems. As a part of that effort, we are now investigating the subject of replacing, e.g., upgrading, software modules while the software system remains in operation. The AdaPT language extension provide a good basis for this investigation for several reasons: (1) they include the concept of specific, self-contained program modules which can be manipulated; (2) support for program configuration is included in the language; and (3) although the discussion will be in terms of the AdaPT language, the AdaPT to Ada 83 conversion methodology being developed as another part of this project will provide a basis for the application of our findings to Ada 83 systems. The purpose of this investigation is to explore the basic mechanisms to the replacement process. Thus, while replacement in the presence of real-time deadlines, heterogeneous systems, and unreliable networks is certainly a topic of interest, we will first gain an understanding of the basic processes in the absence of such concerns. The extension of the replacement process to more complex situations can be made later. This report will establish an overview of the on-line upgrade problem, and present a taxonomy of the various aspects of the replacement process

    Improving Biomedical Abstractive Summarisation with Knowledge Aggregation from Citation Papers

    Full text link
    Abstracts derived from biomedical literature possess distinct domain-specific characteristics, including specialised writing styles and biomedical terminologies, which necessitate a deep understanding of the related literature. As a result, existing language models struggle to generate technical summaries that are on par with those produced by biomedical experts, given the absence of domain-specific background knowledge. This paper aims to enhance the performance of language models in biomedical abstractive summarisation by aggregating knowledge from external papers cited within the source article. We propose a novel attention-based citation aggregation model that integrates domain-specific knowledge from citation papers, allowing neural networks to generate summaries by leveraging both the paper content and relevant knowledge from citation papers. Furthermore, we construct and release a large-scale biomedical summarisation dataset that serves as a foundation for our research. Extensive experiments demonstrate that our model outperforms state-of-the-art approaches and achieves substantial improvements in abstractive biomedical text summarisation.Comment: Accepted by EMNLP 202

    La ciència i els llibres de text: un apropament feminista

    Get PDF
    Treball final de Màster Universitari en Investigació Aplicada en Estudis Feministes, de Gènere i Ciutadania. Codi: SBH023. Curs acadèmic 2015-2016Aquest treball Final de Màster, titulat La ciència i els llibres de text: un apropament feminista, és una anàlisi bibliogràfica que examina l’estat de la qüestió de les investigacions feministes de llibres de text, però, des d’una perspectiva ben concreta. Ens referim, particularment, a la nostra preocupació per conèixer quina és la imatge de la ciència que transmeten els manuals escolars vinculats a aquesta disciplina, així com a la capacitat de les diferents proposicions i recomanacions que se’n deriven per superar eixa concepció des de posicions feministes. A grans trets, constatàrem que la meitat de les anàlisis desenvolupades des dels anys vuitanta havien evidenciat, moltes d’elles sense pretendre-ho explícitament, expressions d’una concepció positivista de la ciència; però també que algunes de les propostes per superar-la són coherents, si més no, amb certs pressupòsits epistemològics feministes.Este trabajo Final de Máster, titulado La ciencia y los libros de texto: un acercamiento feminista, es un análisis bibliográfico que examina el estado de la cuestión de las investigaciones feministas de libros de texto, desde una perspectiva concreta. Nos referimos, particularmente, a nuestra preocupación por conocer cuál es la imagen de la ciencia que transmiten los manuales escolares vinculados a esta disciplina, así como a la capacidad de las diferentes proposiciones y recomendaciones que se derivan para superar esa concepción desde posiciones feministas. A grandes rasgos, constatamos que la mitad de los análisis desarrollados desde los años ochenta habían evidenciado, muchas de ellas sin pretenderlo explícitamente, expresiones de una concepción positivista de la ciencia; pero también que algunas de las propuestas para superarla son coherentes, al menos, con ciertos presupuestos epistemológicos feministas

    ‘If They Don’t Listen to Us, they Deserve It’: The Effect of External Efficacy and Anger on the Perceived Legitimacy of Hacking

    Get PDF
    We conducted two studies examining the factors underlying individuals’ legitimization of hackers (digital actors operating on the internet). Drawing on the social banditry framework, and research on political action, we focused on the mediating role of anger in the association between external political efficacy and perceived legitimization of hackers’ actions. Specifically, we manipulated whether the system was responsive to participants’ demands following unfair treatment in a university (Study 1) and in an online work platform (Study 2) context. In Study 1 (N = 259) British undergraduate students read about unfair ‘grading’ practices. They were then informed that the management was either willing (high external political efficacy) or unwilling (low external political efficacy) to investigate the matter. In Study 2 (N = 222), British participants were recruited via Prolific Academic and were presented with a scenario describing an unfair rejection of their work. They were then informed that the platform admin was either willing or not willing to investigate their case. Across studies, participants were informed that hackers had attacked the website. Supporting the social banditry framework, results indicated that individuals who perceive the system as unresponsive to their demands tended to legitimize hackers’ actions via stronger perceived anger against the system. Implications of the results, and future directions are discussed
    • …
    corecore