https://arxiv.org/api/Cv89JTNHRsHHIRzqbzx9tJY27/g 2026-06-10T09:35:00Z 239 165 15 http://arxiv.org/abs/1207.1033v1 2012-07-03T05:55:24Z

Alan Turing's pioneering work on computability, and his ideas on morphological computing support Andrew Hodges' view of Turing as a natural philosopher. Turing's natural philosophy differs importantly from Galileo's view that the book of nature is written in the language of mathematics (The Assayer, 1623). Computing is more than a language of nature as computation produces real time physical behaviors. This article presents the framework of Natural Info-computationalism as a contemporary natural philosophy that builds on the legacy of Turing's computationalism. Info-computationalism is a synthesis of Informational Structural Realism (the view that nature is a web of informational structures) and Natural Computationalism (the view that nature physically computes its own time development). It presents a framework for the development of a unified approach to nature, with common interpretation of inanimate nature as well as living organisms and their social networks. Computing is understood as information processing that drives all the changes on different levels of organization of information and can be modeled as morphological computing on data sets pertinent to informational structures. The use of infocomputational conceptualizations, models and tools makes possible for the first time in history the study of complex selforganizing adaptive systems, including basic characteristics and functions of living systems, intelligence, and cognition.

2012-07-03T05:55:24Z Gordana Dodig-Crnkovic http://arxiv.org/abs/1207.1032v1 2012-07-03T05:54:51Z

The historical development has lead to the decay of Natural Philosophy which until 19th century included all of our knowledge about the physical world into the growing multitude of specialized sciences. The focus on the in-depth enquiry disentangled from its broad context lead to the problem of loss of common world-view and impossibility of communication between specialist research fields because of different languages they developed in isolation. The need for a new unifying framework is becoming increasingly apparent with the information technology enabling and intensifying the communication between different research fields and knowledge communities. This time, not only natural sciences, but also all of human knowledge is being integrated in a global network such as Internet with its diverse knowledge and language communities. Info-computationalism (ICON) as a synthesis of pancomputationalism and paninformationalism presents a unifying framework for understanding of natural phenomena including living beings and their cognition, their ways of processing information and producing knowledge. Within ICON physical universe is understood as a network of computational processes on an informational structure.

2012-07-03T05:54:51Z Gordana Dodig-Crnkovic http://arxiv.org/abs/cs/0507008v7 2012-06-25T00:09:32Z

In this article, we shall describe some of the most interesting topics in the subject of Complexity Science for a general audience. Anyone with a solid foundation in high school mathematics (with some calculus) and an elementary understanding of computer programming will be able to follow this article. First, we shall explain the significance of the P versus NP problem and solve it. Next, we shall describe two other famous mathematics problems, the Collatz 3n+1 Conjecture and the Riemann Hypothesis, and show how both Chaitin's incompleteness theorem and Wolfram's notion of "computational irreducibility" are important for understanding why no one has, as of yet, solved these two problems.

2005-07-05T17:03:37Z 10 pages, made a minor correction Progress in Physics, 2006, v. 3, 35-42 Craig Alan Feinstein http://arxiv.org/abs/1204.1351v2 2012-06-20T20:37:56Z

We survey the reasons for the ongoing boycott of the publisher Elsevier. We examine Elsevier's pricing and bundling policies, restrictions on dissemination by authors, and lapses in ethics and peer review, and we conclude with thoughts about the future of mathematical publishing.

2012-04-05T20:06:16Z 5 pages Notices of the American Mathematical Society 59 (2012), 828-833 Douglas N. Arnold Henry Cohn 10.1090/noti857 http://arxiv.org/abs/1206.4708v1 2012-06-20T20:14:13Z

The asynchronous systems f are multi-valued functions, representing the non-deterministic models of the asynchronous circuits from the digital electrical engineering. In real time, they map an 'admissible input' function u:R\rightarrow{0,1}^{m} to a set f(u) of 'possible states' x\inf(u), where x:R\rightarrow{0,1}^{m}. When f is defined by making use of a 'generator function' Φ:{0,1}^{n}\times{0,1}^{m}\rightarrow{0,1}^{n}, the system is called regular. The usual definition of the serial connection of systems as composition of multi-valued functions does not bring the regular systems into regular systems, thus the first issue in this study is to modify in an acceptable manner the definition of the serial connection in a way that matches regularity. This intention was expressed for the first time, without proving the regularity of the serial connection of systems, in a previous work. Our present purpose is to restate with certain corrections and prove that result.

2012-06-20T20:14:13Z 9 pages; ROMAI Journal, Vol. 7, Nr. 2, 2011 Serban E. Vlad http://arxiv.org/abs/1205.5823v1 2012-05-25T21:04:53Z

I am most honoured to have the privilege to present the Foreword to this fascinating and wonderfully varied collection of contributions, concerning the nature of computation and of its deep connection with the operation of those basic laws, known or yet unknown, governing the universe in which we live. Fundamentally deep questions are indeed being grappled with here, and the fact that we find so many different viewpoints is something to be expected, since, in truth, we know little about the foundational nature and origins of these basic laws, despite the immense precision that we so often find revealed in them. Accordingly, it is not surprising that within the viewpoints expressed here is some unabashed speculation, occasionally bordering on just partially justified guesswork, while elsewhere we find a good deal of precise reasoning, some in the form of rigorous mathematical theorems. Both of these are as should be, for without some inspired guesswork we cannot have new ideas as to where look in order to make genuinely new progress, and without precise mathematical reasoning, no less than in precise observation, we cannot know when we are right -- or, more usually, when we are wrong.

2012-05-25T21:04:53Z 26 pages, foreword to the book A Computable Universe: Understanding Computation and Exploring Nature As Computation, World Scientific, 2012 http://www.mathrix.org/experimentalAIT/ComputationNature.htm Roger Penrose http://arxiv.org/abs/1112.4082v4 2012-01-30T22:01:07Z

This article presents an overview, and recent history, of studies of gender gaps in the mathematically-intensive sciences. Included are several statistics about gender differences in science, and about public resources aimed at addressing them. We then examine the role that gender differences in creativity play in explaining the recent and current gender differences in the mathematical sciences, and identify several constructive suggestions aimed at improving analytical creativity output in research institutions.

2011-12-17T20:20:36Z 14 pages, 2 figures Theodore P. Hill Erika Rogers http://arxiv.org/abs/1112.1670v1 2011-12-07T19:44:48Z

The CDOI outcome measure - a patient-reported outcome (PRO) instrument utilizing direct client feedback - was implemented in a large, real-world behavioral healthcare setting in order to evaluate previous findings from smaller controlled studies. PROs provide an alternative window into treatment effectiveness based on client perception and facilitate detection of problems/symptoms for which there is no discernible measure (e.g. pain). The principal focus of the study was to evaluate the utility of the CDOI for predictive modeling of outcomes in a live clinical setting. Implementation factors were also addressed within the framework of the Theory of Planned Behavior by linking adoption rates to implementation practices and clinician perceptions. The results showed that the CDOI does contain significant capacity to predict outcome delta over time based on baseline and early change scores in a large, real-world clinical setting, as suggested in previous research. The implementation analysis revealed a number of critical factors affecting successful implementation and adoption of the CDOI outcome measure, though there was a notable disconnect between clinician intentions and actual behavior. Most importantly, the predictive capacity of the CDOI underscores the utility of direct client feedback measures such as PROs and their potential use as the basis for next generation clinical decision support tools and personalized treatment approaches.

2011-12-07T19:44:48Z Keywords- Data Mining; Patient-Reported Outcomes; CDOI; Implementation; Electronic Health Records; Decision Support Systems, Clinical; Theory of Planned Behavior First IEEE International Conference on Healthcare Informatics, Imaging and Systems Biology (HISB). (2011). 229-236 Casey Bennett Thomas Doub April Bragg Jason Luellen Christina Van Regenmorter Jennifer Lockman Randall Reiserer 10.1109/HISB.2011.20 http://arxiv.org/abs/1102.4651v3 2011-08-09T20:18:03Z

Computational science and engineering (CSE) has been misunderstood to advance with the construction of enormous computers. To the contrary, the historical record demonstrates that innovations in CSE come from improvements to the mathematics embodied by computer programs. Whether scientists and engineers become inventors who make these breakthroughs depends on circumstances and the interdisciplinary extent of their educations. The USA currently has the largest CSE professorate, but the data suggest this prominence is ephemeral.

2011-02-23T02:31:18Z 9 pages, 2 figures, 1 table Joseph F. Grcar http://arxiv.org/abs/1107.4684v1 2011-07-23T12:12:12Z

Sourcing processes are discussed at a high abstraction level. A dedicated terminology is developed concerning general aspects of sourcing. The term sourcement is coined to denote a building block for sourcing. No- tions of allocation, functional architecture and allocational architecture, equilibrium, and configuration are discussed. Limitations of the concept of outsourcing are outlined. This theoretical work is meant to serve as a point of departure for the subsequent development of a detailed theory of sourcing and sourcing transformations, which can be a tool for dealing with practical applica- tions.

2011-07-23T12:12:12Z J. A. Bergstra G. P. A. J. Delen S. F. M. van Vlijmen http://arxiv.org/abs/1103.0680v1 2011-03-03T13:32:59Z

Contemporary use of the term 'intension' derives from the traditional logical Frege-Russell's doctrine that an idea (logic formula) has both an extension and an intension. From the Montague's point of view, the meaning of an idea can be considered as particular extensions in different possible worlds. In this paper we analyze the minimal intensional semantic enrichment of the syntax of the FOL language, by unification of different views: Tarskian extensional semantics of the FOL, modal interpretation of quantifiers, and a derivation of the Tarskian theory of truth from unified semantic theory based on a single meaning relation. We show that not all modal predicate logics are intensional, and that an equivalent modal Kripke's interpretation of logic quantifiers in FOL results in a particular pure extensional modal predicate logic (as is the standard Tarskian semantics of the FOL). This minimal intensional enrichment is obtained by adopting the theory of properties, relations and propositions (PRP) as the universe or domain of the FOL, composed by particulars and universals (or concepts), with the two-step interpretation of the FOL that eliminates the weak points of the Montague's intensional semantics. Differently from the Bealer's intensional FOL, we show that it is not necessary the introduction of the intensional abstraction in order to obtain the full intensional properties of the FOL. Final result of this paper is represented by the commutative homomorphic diagram that holds in each given possible world of this new intensional FOL, from the free algebra of the FOL syntax, toward its intensional algebra of concepts, and, successively, to the new extensional relational algebra (different from Cylindric algebras), and we show that it corresponds to the Tarski's interpretation of the standard extensional FOL in this possible world.

2011-03-03T13:32:59Z 33 pages Zoran Majkic http://arxiv.org/abs/0807.4132v3 2010-10-11T11:01:40Z

The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a growing attention to the temporal aspects of computing, not only in the computer science domain, but also in more traditional fields of engineering. This article surveys various approaches to the formal modeling and analysis of the temporal features of computer-based systems, with a level of detail that is suitable also for non-specialists. In doing so, it provides a unifying framework, rather than just a comprehensive list of formalisms. The paper first lays out some key dimensions along which the various formalisms can be evaluated and compared. Then, a significant sample of formalisms for time modeling in computing are presented and discussed according to these dimensions. The adopted perspective is, to some extent, historical, going from "traditional" models and formalisms to more modern ones.

2008-07-25T16:09:16Z More typos fixed ACM Computing Surveys, 42(2):1--59, February 2010 Carlo A. Furia Dino Mandrioli Angelo Morzenti Matteo Rossi 10.1145/1667062.1667063 http://arxiv.org/abs/1009.0844v1 2010-09-04T14:56:07Z

In recent years environmental and energy conservation issues have taken the central theme in the global business arena. The reality of rising energy cost and their impact on international affairs coupled with the different kinds of environmental issues has shifted the social and economic consciousness of the business community. Hence, the business community is now in search of an eco-friendly business model. This paper highlights the concept of green business and their needs in the current global scenario.

2010-09-04T14:56:07Z 10 pages International Journal of Managing Information Technology (IJMIT) Vol.2, No.3, August 2010 Sajal Kabiraj Vinay Topkar R. C. Walke http://arxiv.org/abs/1002.1936v1 2010-02-09T20:54:33Z

We introduce a new visual analytic approach to the study of scientific discoveries and knowledge diffusion. Our approach enhances contemporary co-citation network analysis by enabling analysts to identify co-citation clusters of cited references intuitively, synthesize thematic contexts in which these clusters are cited, and trace how research focus evolves over time. The new approach integrates and streamlines a few previously isolated techniques such as spectral clustering and feature selection algorithms. The integrative procedure is expected to empower and strengthen analytical and sense making capabilities of scientists, learners, and researchers to understand the dynamics of the evolution of scientific domains in a wide range of scientific fields, science studies, and science policy evaluation and planning. We demonstrate the potential of our approach through a visual analysis of the evolution of astronomical research associated with the Sloan Digital Sky Survey (SDSS) using bibliographic data between 1994 and 2008. In addition, we also demonstrate that the approach can be consistently applied to a set of heterogeneous data sources such as e-prints on arXiv, publications on ADS, and NSF awards related to the same topic of SDSS.

2010-02-09T20:54:33Z 15 pages, 12 figures, 4 tables Scientometrics, 83(3), 669-688 (2010) Chaomei Chen Jian Zhang Michael S. Vogeley 10.1007/s11192-009-0123-x http://arxiv.org/abs/0912.0913v2 2009-12-07T11:09:29Z

In the last decade the broad scope of complex networks has led to a rapid progress. In this area a particular interest has the study of community structures. The analysis of this type of structure requires the formalization of the intuitive concept of community and the definition of indices of goodness for the obtained results. A lot of algorithms has been presented to reach this goal. In particular, an interesting problem is the search of overlapped communities and it is field seems very interesting a solution based on the use of genetic algorithms. The approach discusses in this paper is based on a parallel implementation of a genetic algorithm and shows the performance benefits of this solution.

2009-12-04T20:54:07Z 6 pages IEEE format, International Journal of Computer Science and Information Security, IJCSIS November 2009, ISSN 1947 5500, http://sites.google.com/site/ijcsis/ International Journal of Computer Science and Information Security, IJCSIS, Vol. 6, No. 2, pp. 113-118, November 2009, USA Vincenza Carchiolo Alessandro Longheu Michele Malgeri Giuseppe Mangioni