Modern computing is generally taken to consist primarily of symbol manipulation. But symbols are abstract, and computers are physical. How can a physical device manipulate abstract symbols? Neither Church nor Turing considered this question. My answer is that the bit, as a hardware-implemented abstract data type, serves as a bridge between materiality and abstraction. Computing also relies on three other primitive—but more straightforward—abstractions: Sequentiality, State, and Transition. These physically-implemented abstractions define the borderline between hardware and software and between physicality (...) and abstraction. At a deeper level, asking how a physical device can interact with abstract symbols is the wrong question. The relationship between symbols and physical devices begins with the realization that human beings already know what it means to manipulate symbols. We build and program computers to do what we understand to be symbol manipulation. To understand what that means, consider a light switch. A light switch doesn’t turn a light on or off. Those are abstractions. Light switches don’t operate with abstractions. We build light switches, so that when flipped, the world is changed in such a way that we understand the light to be on or off. Similarly, we build computers to perform operations that we understand as manipulating symbols. (shrink)

In classical physics, the world is considered as a matter-based reality, the arrangement of whose parts in time is uniquely determined by certain dynamic laws. By contrast, modern quantum physics reveals that matter is not composed of matter, but reality is merely potentiality. The world has a holistic structure, which is based on fundamental relations and not material objects, admitting more open, indeterministic developments. In this more flexible causal framework, inanimate and animate matter are not to be considered as fundamentally (...) different but as different order structures of the same immaterial entity. In a stable configuration, effectively all the uncertainties are statistically averaged out, thus the unique and deterministic behavior of ordinary inanimate matter is exhibited; whereas in the case of statically unstable but dynamically stable configurations, the “lively” features of the underlying quantum structure have a chance to surface to the mesocopic level and to be connected with what we observe as the phenomenon of life. This supposition can be more explicitly treated and clarified by identifying the electric dipole moment of biomolecules as the ordering parameter of the corresponding macroquantum system. This has important consequences for biology and medicine. In particular, it suggests the existence of a quantum-based “software,” essential perhaps for the logistics of biological processes, which are hidden behind the matter/energy-based “hardware” that alone is considered in the conventional approach. In medicine it opens an opportunity to build bridges between conventional medicine based essentially on the classical paradigm, and the various forms of complementary medicine, which have strong affinities with the new features of the modern holistic worldview. (shrink)

As artificial intelligence (AI) becomes progressively more engaged with society, its shift from technical tool to participating in society raises questions about AI personhood. Drawing upon developmental psychology and systems theory, a mediating structure for AI proto-personhood is defined analogous to an early stage of human development. The proposed AI bridges technical, psychological, and theological perspectives on near-future AI and is structured by its hardware, software, computational, and sociotechnical systems through which it experiences its world as embodied (even for putatively (...) disembodied AI). Further social and moral construction can occur building upon a simple “self” for AI synthesized from symbolic and statistical approaches to AI. (shrink)

We start with a example of assembler programming, and show how even at this low level the structure of the programming language does not directly mirror the structure of the hardware, but that it is also decisively influenced by the human practices surrounding computer use, and that assembly language gives a view of the hardware which is accommodated to human interests and capabilities. We give several historical examples and illustrate the changing pattern of mutual accommodation between human practices and computer (...) technology, and argue for a more explicitly dialectical and critical approach to the history and philosophy of programming. (shrink)

Formal verification involves the use of logical and computational methods to establish claims that are expressed in precise mathematical terms. These can include ordinary mathematical theorems, as well as claims that pieces of hardware or software, network protocols, and mechanical and hybrid systems meet their specifications. In practice, there is not a sharp distinction between verifying a piece of mathematics and verifying the correctness of a system: formal verification requires describing hardware and software systems in mathematical terms, at which point (...) establishing claims as to their correctness becomes a form of theorem proving. Conversely, the proof of a mathematical theorem may require a lengthy computation, in which case verifying the truth of the theorem requires verifying that the computation does what it is supposed to do. The gold standard for supporting a mathematical claim is to provide a proof, and twentieth-century developments in logic show most if not all conventional proof methods can be reduced to a small set of axioms and rules in any of a number of foundational systems. With this reduction, there are two ways that a computer can help establish a claim: it can help find a proof in the first place, and it can help verify that a purported proof is correct. Automated theorem proving focuses on the “finding” aspect. Resolution theorem provers, tableau theorem provers, fast satisfiability solvers, and so on provide means of establishing the validity of formulas in propositional and first-order logic. Other systems provide search procedures and decision procedures for specific languages and domains, such as linear or nonlinear expressions over the integers or the real numbers. Architectures like SMT combine domain-general search methods with domain-specific procedures. Computer algebra systems and specialized mathematical software packages provide means of carrying out mathematical computations, establishing mathematical bounds, or finding mathematical objects. A calculation can be viewed as a proof as well, and these systems, too, help establish mathematical claims. Automated reasoning systems strive for power and efficiency, often at the expense of guaranteed soundness. Such systems can have bugs, and it can be difficult to ensure that the results they deliver are correct. In contrast, interactive theorem proving focuses on the “verification” aspect of theorem proving, requiring that every claim is supported by a proof in a suitable axiomatic foundation. This sets a very high standard: every rule of inference and every step of a calculation has to be justified by appealing to prior definitions and theorems, all the way down to basic axioms and rules. In fact, most such systems provide fully elaborated “proof objects” that can be communicated to other systems and checked independently. Constructing such proofs typically requires much more input and interaction from users, but it allows us to obtain deeper and more complex proofs. The Lean Theorem Prover aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. The goal is to support both mathematical reasoning and reasoning about complex systems, and to verify claims in both domains. (shrink)

One of the most influential physics books of the twentieth century was actually about biology. In a series of lectures, Erwin Schrödinger described how he believed that quantum mechanics, or some variant of it, would soon solve the riddle of life. These lectures were published in 1944 under the title What is life? and are credited by some as ushering in the age of molecular biology. In the nineteenth century, many scientists thought they knew the answer to Schrödinger’s rhetorical question. (...) Life, they maintained, was some sort of magic matter. The continued use of the term ‘organic chemistry’ is a hangover from that era. The belief that there is a chemical recipe for life led to the hope that, if only we knew what it was, we could mix up the right stuff in a test tube and make life in the lab. Most research on biogenesis has followed that tradition, by assuming that chemistry was a bridge — and a long one at that — linking matter with life. Elucidating this chemical pathway has been a tantalizing goal, spurred on by the famous Miller–Urey experiment of 1952, in which amino acids were made by sparking electricity through a mixture of water and common gases. But the concept has turned out to be something of a blind alley, and further progress with prebiotic chemical synthesis has been frustratingly slow. The origin of life remains one of the great outstanding mysteries of science. To take up Schrödinger’s suggestion, a radical solution to the problem, ‘What is life?’ could be that quantum mechanics enabled life to emerge directly from the atomic world, without the need for complex intermediate chemistry. Life must have a chemical basis: organic molecules provide the hardware for biology. But what about the software? When Schrödinger asked, ‘What is life?’ he could already glimpse the central significance of the cell’s information storage and replication processes, even though the role of DNA and the genetic code was yet to be discovered.. (shrink)

This article traces the historical development of the boundaries around computer software and hardware. On one hand, the author documents ongoing discussions about the technical equivalence of hardware and software. On the other hand, he accounts for the stubborn persistence of these terms as markers for two distinct spheres of technology, knowledge, and practice. By using theoretical concepts such as “boundary work” and “coproduction,” the author argues that ongoing efforts to negotiate the boundaries between hardware and software are significantly “sociotechnical” (...) in that they involve both social and technical considerations. The analysis culminates with a discussion of the more recent rise of the “hardware/software codesign” movement. Particular emphasis is placed on the conditions that led to the emergence of codesign and the ongoing challenges faced by its proponents. The article concludes by describing how codesign points toward a more reflexive and socially responsible culture of computer design and use. (shrink)

There are a wide range of positions regarding the ontological nature of computer hardware and software. Moor [The British Journal for the Philosophy of Science 29 (1978), 213–222] argues that there...

The comprehensive nature of information and insight available in the Upanishads, the Indian philosophical systems like the Advaita Philosophy, Sabdabrahma Siddhanta, Sphota Vaada and the Shaddarsanas, in relation to the idea of human consciousness, mind and its functions, cognitive science and scheme of human cognition and communication are presented. All this is highlighted with vivid classification of conscious-, cognitive-, functional- states of mind; by differentiating cognition as a combination of cognitive agent, cognizing element, cognized element; formation; form and structure of (...) cognition, instruments and means of cognition, validity of cognition and the nature of energy/matter which facilitates and also is the medium of cognition- cognizing process; and also as the container and content of cognition. The human communication process which is just the reverse of cognizing process is also presented with necessary description and detail. The sameness of cognitive / communicative process during language acquisition and communication processes and the modes of language acquisition and communication are also given. The hardware and software of human cognition, language acquisition and communication as envisaged in Indian spiritual and philosophical expressions are given. In the light of the information and insight obtained as above, the axioms for human cognition / communication are formed, framed and presented. A brain-wave frequency modulation / demodulation model of human cognition, communication and language acquisition and communication process based on Upanishadic expressions, Shaddarsanas and Sabdabrahma Siddhhanta is defined and discussed here. The use of these theories and models and axioms in mind-machine modelling and natural language comprehension branch of artificial intelligence will be put forward and highlighted. (shrink)

We present an argument against physicalism in two steps: 1) Physics reduces the world to a mathematical structure; 2) The notion of 'structure' only makes sense when carried by something and interpreted by something else. Physicalism does not allow such a carrier and interpreter at a fundamental level, hence it must be wrong. An extended notion of Mind is presented as the fundamental 'hardware' which is necessary by the argument. In particular, qualia correspond to the 'monitor component' of mind. Some (...) ideas are presented on how to extend this mind-matter relation to a more elaborate picture: (1) A system of two complementary reductionisms (one physical, the other mental) may hint toward a deeper reality in which mind and the physical world are closely entangled. (2) A division of mind into a conscious 'monitor' and an unconscious 'processor' is suggested using the analogy of dreams. Finally, the problem of Solipsism and the existence of 'minds other than my own' is discussed. (shrink)

Push: Software Design and the Cultural Politics of Music Production shows how changes in the design of music software in the first decades of the twenty-first century shaped the production techniques and performance practices of artists working across media, from hip-hop and electronic dance music to video games and mobile apps. Emerging alongside developments in digital music distribution such as peer-to-peer file sharing and the MP3 format, digital audio workstations like FL Studio and Ableton Live introduced design affordances that encouraged (...) rapid music creation workflows through flashy, "user-friendly" interfaces. Meanwhile, software such as Avid's Pro Tools attempted to protect its status as the "industry standard," "professional" DAW of choice by incorporating design elements from pre-digital music technologies. Other software, like Cycling 74's Max, asserted its alterity to "commercial" DAWs by presenting users with nothing but a blank screen. These are more than just aesthetic design choices. Push examines the social, cultural, and political values designed into music software, and how those values become embodied by musical communities through production and performance. It reveals ties between the maximalist design of FL Studio, skeuomorphic design in Pro Tools, and gender inequity in the music products industry. It connects the computational thinking required by Max, as well as iZotope's innovations in artificial intelligence, with the cultural politics of Silicon Valley's "design thinking." Finally, it thinks through what happens when software becomes hardware, and users externalize their screens through the use of MIDI controllers, mobile media, and video game controllers. Amidst the perpetual upgrade culture of music technology, Push provides a model for understanding software as a microcosm for the increasing convergence of globalization, neoliberal capitalism, and techno-utopianism that has come to define our digital lives. (shrink)

Digital artifacts often fail to perform as expected. It has recently been argued that this should not be analyzed as software malfunctioning. Rather, every case that is not the result of hardware failures would be due to design errors. This claim, which hinges on the notion of ‘implementation’, highlights a potential fundamental difference between software and other technical artifacts. It also implies that software engineers have more extensive responsibilities than creators of other artifacts. After reconstructing the argument, we show that (...) it rests on two presuppositions regarding the nature of software and the activities of its creators, which we call ‘complete control’ and ‘self-containedness’. Software is taken to be a self-contained unit through which the software engineer exerts complete control over a machine’s behavior. These two presuppositions as well as the usage of implementation and strong claims regarding responsibility can be found throughout the literature on software engineering. Still, we argue that the presuppositions are untenable in light of current practices. For one thing, software engineers cannot exert complete control because software has become too complex for any technique to reliably locate every fault in it. For another, the creation and running of software are nowadays heavily mediated processes involving many agential activities. As a result, the performance of digital artifacts may vary, often in undesirable ways, without either hardware failures or design errors. This undermines the conclusion that software cannot malfunction, while also revealing the complications in developing a metaphysical account of software that fits contemporary practices. (shrink)

Many ontologies posit levels of existence. A whole exists at a level above its parts; a set exists at a level above its members. Hardware objects are at the lowest level in a computational ontology. Software objects exist at higher levels. The game of life illustrates a stratified computational ontology. The cells in the life grid are the hardware objects. An event is a function from cells to values 0 or 1. A process is a series of events. A process (...) contains a software object iff its content is generated by some rule that is independent of the rule for cells. We give a precise existence axiom for software objects. As expected, blinkers, gliders, puffer trains, and so on are software objects. Software objects satisfy traditional conceptions of materiality. Our conception of software objects has intriguing links to modern conceptions of material particles in terms of symmetry groups and topological invariants. Software objects are not abstract. (shrink)

Design and Development of software controlled stand-alone instruments have been identified as the most vital component of national and international programs on earthquake hazard and risk management. For in depth investigation and studies, the development of precise instruments designed around computer is emerging very fast. Interfacing of personal computer with seismic instrument is an important design task. A design technique based on minimum hardware has been worked out around the parallel printer interface of computer. Hardware and Software for this purpose (...) has been designed to make the instrument interact with computer through parallel port interface. Incorporation of software for seismic signal analysis has been considered the extremely powerful tool to view and analyze seismic data collected by seismic instruments. In this paper efforts have been made to describe the various design aspects for interfacing of Seismic Data Recorder and Analyser to computer through parallel printer port and computation steps incorporated in the software tool for seismic data analysis. (shrink)

The first aim of simulation in virtual environment is to help biologists to have a better understanding of the simulated system. The cost of such simulation is significantly reduced compared to that of in vivo simulation. However, the inherent complexity of biological system makes it hard to simulate these systems on non-parallel architectures: models might be made of sub-models and take several scales into account; the number of simulated entities may be quite large. Today, graphics cards are used for general (...) purpose computing which has been made easier thanks to frameworks like CUDA or OpenCL. Parallelization of models may however not be easy: parallel computer programing skills are often required; several hardware architectures may be used to execute models. In this paper, we present the software architecture we built in order to implement various models able to simulate multi-cellular system. This architecture is modular and it implements data structures adapted for graphics processing units architectures. It allows efficient simulation of biological mechanisms. (shrink)

O presente artigo discute alguns conceitos de linguagem de programação, buscando abrir uma discussão ontológica sobre os seres técnicos. Partindo de uma breve análise histórica e de conceitos da filosofia do séc. XX, problematiza-se as noções de abstrato e concreto dessas entidades, fazendo uma análise do dualismo hardware-software a partir da concepção hegemônica do hilemorfismo aristotélico e usando de exemplos de linguagem computacional para discutir uma certa ontologia desses seres. Fundamenta-se em Gilbert Simondon uma hipótese segundo a qual o computador (...) pessoal de uso geral seria a máquina concreta por excelência com potencial de ampliação das capacidades humanas através de um crescente desenvolvimento tecnológico e da lei de mudança de uso, em direção a uma espécie de transhumanismo. Por fim, discute-se também as possibilidades do computador como instrumento supra-paradigmático pós-kuhniano. (shrink)

The types of errors that emerge in the development and maintenance of software are essentially different from the types of errors that emerge in the development and maintenance of engineered hardware products. There is a set of standard responses to actual and potential hardware errors, including: engineering ethics codes, engineering practices, corporate policies and laws. The essential characteristics of software errors require new ethical, policy, and legal approaches to the development of software in the global arena.

A brain emulation would be a one‐to‐one simulation where every causal process in the brain is represented, behaving in the same way as the original. Opponents of animal testing often argue that much of it is unnecessary and could be replaced with simulations. Personal identity is going to be a major issue with brain emulations, both because of the transition from an original unproblematic single human identity to successor identity/identities that might or might not be the same, and because software (...) minds can potentially have multiple realizability. The process might produce distressed minds that have rights yet have an existence not worth living, or that lack the capacity to form or express their wishes. Emulations will experience and behave on a timescale set by the speed of their software. Brain emulations would not be self‐contained, and their survival would depend upon hardware over which they might not have any control. (shrink)

To study the static software defect detection system, based on the traditional static software defect detection system design, a new static software defect detection system design based on big data technology is proposed. The proposed method can optimize the distribution of test resources and improve the quality of software products by predicting the potential defect program modules and design the software and hardware of the static software defect detection system of big data technology. It is found that the traditional static (...) software defect detection system design based on code source data takes a long time, averaging 65 h /day. However, the traditional static software defect detection system based on deep learning has a short detection time, averaging 35 h/day. In this article, the detection time of the static software defect detection system based on big data is shorter than that of the other two traditional system designs, with an average of 15 h/day. Because the system design adjusts the operating state of the system, it improves the accuracy of data operation. On the premise of data collection, the system inspection research is completed, which ensures the operational safety of software data, alleviates the contradiction between system and data to a high degree, improves the efficiency of system operation, reduces unnecessary operations, further shortens the time required for inspection, improves the system performance, and has higher research and operation value. (shrink)

Open science hardware (OSH) are prototypes of laboratory instruments that use open source hardware to extend the purely epistemic (improving knowledge about nature) and normative (improving society) ideals of science and emphasize the importance of technology. They remind us of Zilsel’s 1942 thesis about the artisanal origins of science and instrument making that bridged disciplinary and social barriers in the 16th century. The emphasis on making, tinkering, and design transcends research, reproducibility, and corroboration in science and pushes to the forefront (...) educational, emancipatory, and aesthetic and exploratory uses. I will use two recent projects, OpenDrop electrowetting platform and Open Source Estrogen that make but also reflect OSH’s playful, expressive, and performative strategies and define the present practices as “artisanal science.” These hybrid and ambiguous practices bridge divides between present disciplines and skills but they also define science as an everyday activity directly connected to the private and public interests of the citizens. To describe this epistemic and normative ambiguity of artisanal science, I employ Hannah Arendt’s 1958 critique of homo laborans and homo faber and claim that science artisans (citizen scientists, geeks, makers, and hackers) offer an alternative to professionalization of science as practiced in the university and R&D laboratories. Science artisans design and build instruments to engage in civic “vita activa” over instruments but also leisurely “otium” outside of the work and science labor. OSH in this sense empowers individuals and communities to explore new connections between scientific practices, public actions, and private interests (leisure). The science artisans strive for and explore sovereignty, dignity, and freedom in an age immersed in science and technology controversies by bridging the divides between art, science, engineering, and humanities. (shrink)

According to the Argument for Autonomous Mental Disorder, mental disorder can occur in the absence of brain disorder, just as software problems can occur in the absence of hardware problems in a computer. This article argues that the AAMD is unsound. I begin by introducing the “natural dysfunction analysis” of disorder, before outlining the AAMD. I then analyze the necessary conditions for realizer autonomous dysfunction. Building on this, I show that software functions disassociate from hardware functions in a way that (...) mental functions do not disassociate from brain functions. It follows that mental disorders are brain disorders necessarily. (shrink)

Physicians try hard to alleviate mental and physical ailments of their patients. Thus, they are heavily burdened by observing ethics and staying well-informed while improving health of their patients. A major ethical concern or dilemma in medication is that some physicians know their behavior is unethical, yet act against their moral compass. This study develops models of theory–practice gap, offering optimal solutions for the gap. These solutions would enhance self-motivation or remove external obstacles to stimulate ethical practices in medicine. The (...) Constructivist Grounded Theory Methodology is applied here where the participants and the main researcher mutually interacted with each other. Data collection was performed through qualitative methods including observation and semi-structured interviews with 21 physicians and medical students. Initial and focused coding was done, from which principal concepts were later extracted. MAXQDA software was used for analyzing data. Analysis of twelve major concepts in the study resulted in two factors and solution groups, from which four general notions influencing the ethical theory and practice gap in medicine were extracted: (1) providing effective education to change attitude and behavior; (2) considering motivational and emotional factors; (3) reconstructing regulations and processes to facilitate ethical practice; (4) conducting comprehensive and systematic studies. The existing medical educational system needs to be reconsidered to add to individual internal motivation, including optimizing persuasion strategies, maximizing participation of students, adhering to virtuous ethical theories, and fostering emotions. Additionally, regulations and processes can be reconstructed to remove practical obstacles and promote ethical practice with insignificant damages to individual self-motivation. (shrink)

This special issue includes seven articles that make significant contribution to the literature pertaining to knowledge and public policy around Free, Libre and Open Source Software (FLOSS). Focusing on questions in two themes (i) motivation and organization and (ii) public policy, the articles in this volume develop new analytic models and report on new empirical findings, as an important step in bridging the wide gap that exists in public policy literature around FLOSS. Warning against rhetorical pitfalls that have been prevalent (...) in FLOSS research, this introduction starts with a short history of FLOSS development, continues with a brief thematic literature review and review of the misconceptions surrounding FLOSS, and concludes with a first introduction of the articles that follow. (shrink)

The public interest should be a central ethical concern of members of the computer profession, and this would also result in the social status and power of software engineers being augmented. One attractive means to encourage and enforce ethical standards on the part of engineers and employers would be a system of licensing by internationally recognised professional bodies whose legitimacy stems from their capacity to act in the public interest. The author is Senior Lecturer in the Department of Computer Science, (...) School of Applied Sciences, Anglia Polytechnic University, East Road, Cambridge CB1 1PT, England; email jwilkes@bridge.anglia.ac.uk or 10016.3425@compuserve.com. (shrink)

Design is a conceptive activity which is usually presented as a sensible, sequential process and action. This book claims that design cannot be reduced to the rational, effective planning and organization that most models (such as design thinking) present. The author suggests another type of rationality which is based on what the humanities call aesthetics, writing, composition, and style: a rationality based in imaginary elaboration and coherence. The chapters, therefore, demonstrate that design practice is about creating not only functional tools, (...) but planes of reflections that challenge norms. To support this claim, this book analyzes research programs, art works, and design projects that produced new information and communication technologies (ICT). This is detailed using examples in each chapter. From these examples, two types of conclusions are derived: a first level considers the lessons that we can draw from these examples in terms of design practice while the second level starts a theoretical discussion based on these analyses of use cases. The goal is to develop an understanding of conception in its different forms. This book brings the use of these neglected methods to the foreground as a way to explicate the design process. Taking into consideration the humanities within design contributes to the discussion on pluridisciplinarity. The book posits that design as a historical and situated activity is a truly multidisciplinary endeavor that bridges the gap between engineering sciences and the humanities. (shrink)

This theme issue has the founding ambition of landscaping Data Ethics as a new branch of ethics that studies and evaluates moral problems related to data (including generation, recording, curation, processing, dissemination, sharing, and use), algorithms (including AI, artificial agents, machine learning, and robots), and corresponding practices (including responsible innovation, programming, hacking, and professional codes), in order to formulate and support morally good solutions (e.g. right conducts or right values). Data Ethics builds on the foundation provided by Computer and Information (...) Ethics but, at the same time, it refines the approach endorsed so far in this research field, by shifting the Level of Abstraction of ethical enquiries, from being information-centric to being data-centric. This shift brings into focus the different moral dimensions of all kinds of data, even the data that never translate directly into information but can be used to support actions or generate behaviours, for example. It highlights the need for ethical analyses to concentrate on the content and nature of computational operations — the interactions among hardware, software, and data — rather than on the variety of digital technologies that enables them. And it emphasises the complexity of the ethical challenges posed by Data Science. Because of such complexity, Data Ethics should be developed from the start as a macroethics, that is, as an overall framework that avoids narrow, ad hoc approaches and addresses the ethical impact and implications of Data Science and its applications within a consistent, holistic, and inclusive framework. Only as a macroethics Data Ethics will provide the solutions that can maximise the value of Data Science for our societies, for all of us, and for our environments. (shrink)

Cyberfeminism and Artificial Life examines construction, manipulation and re-definition of life in contemporary technoscientific culture. It takes a critical political view of the concept of life as information, tracing this through the new biology and the changing discipline of artificial life and its manifestation in art, language, literature, commerce and entertainment. From cloning to computer games, and incorporating an analysis of hardware, software and 'wetware', Sarah Kember demonstrates how this relatively marginal field connects with, and connects up global networks of (...) information systems. As well as offering suggestions for the evolution of [cyber]feminism in Alife environments, the author identifies the emergence of posthumanism; an ethics of the posthuman subject mobilized in the tension between cold war and post-cold war politics, psychological and biological machines, centralized and de-centralized control, top-down and bottom-up processing, autonomous and autopoietic organisms, cloning and transgenesis, species-self and other species. Ultimately, this book aims to re-focus concern on the ethics rather than on the 'nature' of life-as-it-could-be. (shrink)

We estimate that 208,000 deep brain stimulation (DBS) devices have been implanted to address neurological and neuropsychiatric disorders worldwide. DBS Think Tank presenters pooled data and determined that DBS expanded in its scope and has been applied to multiple brain disorders in an effort to modulate neural circuitry. The DBS Think Tank was founded in 2012 providing a space where clinicians, engineers, researchers from industry and academia discuss current and emerging DBS technologies and logistical and ethical issues facing the field. (...) The emphasis is on cutting edge research and collaboration aimed to advance the DBS field. The Eighth Annual DBS Think Tank was held virtually on September 1 and 2, 2020 (Zoom Video Communications) due to restrictions related to the COVID-19 pandemic. The meeting focused on advances in: (1) optogenetics as a tool for comprehending neurobiology of diseases and on optogenetically-inspired DBS, (2) cutting edge of emerging DBS technologies, (3) ethical issues affecting DBS research and access to care, (4) neuromodulatory approaches for depression, (5) advancing novel hardware, software and imaging methodologies, (6) use of neurophysiological signals in adaptive neurostimulation, and (7) use of more advanced technologies to improve DBS clinical outcomes. There were 178 attendees who participated in a DBS Think Tank survey, which revealed the expansion of DBS into several indications such as obesity, post-traumatic stress disorder, addiction and Alzheimer’s disease. This proceedings summarizes the advances discussed at the Eighth Annual DBS Think Tank. (shrink)

The research aims to identify the trends of Palestinian higher educational institutions in Gaza Strip as learning organizations from the perspective of senior management in the Palestinian universities in Gaza Strip. The researchers used descriptive analytical approach and used the questionnaire as a tool for information gathering. The questionnaires were distributed to senior management in the Palestinian universities. The study population reached (344) employees in senior management is dispersed over (3) Palestinian universities. A stratified random sample of (182) employees from (...) the Palestinian universities was selected and the recovery rate was (69.2%). Statistical analysis (SPSS) program was used for analysis and processing the data. The study found the following results: There is an agreement about: the importance of the focus of "organizational structure" with an average approval, the importance of "technological infrastructure" axis with high approval, and the importance of "strategic" with an average approval. The results concluded that the study sample agree on the importance of "organizational dimension" highly. The results showed that the sample believe that the "strategic leadership" level in the universities got medium-approval. There is a fair level agreement about the axis of interest "teams / committees". There is an agreement about the importance of the "human dimension" moderately. The results showed that the sample is highly agreed about the importance of focus of the "knowledge management", and the focus of the "continuing education". They agreed weakly to somewhat about the importance of the focus of "scientific research", moderately agree about the importance of the center of "institutional culture", agree moderately on the importance of "cognitive dimension". The results showed that the sample largely agree on the importance of the focus of "strategic partnerships and alliances". They agree highly on the axis "keep up with the labor market" and on the focus of the importance of "technology incubators". The results showed that the sample moderately agree about the importance of the theme on "consulting and training", the importance of the focus of "social responsibility", and the focus of the "Community dimension". The study found a group of recommendations including: there is a need to provide suitable environment that achieve learning organizations. There is a need to develop the technological infrastructure (hardware, software, networks, databases, and human skills) because of the great advantages that they offer. The universities need to adopt knowledge management in the academic and administrative departments because knowledge is the core of the work of these departments. The establishment of technology incubators in universities to adopt outstanding university research projects, to protect, to supports, and to market them; furthermore, to develop the capabilities and skills of employees in the field of information technology. (shrink)

In Computers Ltd, David Harel, best-selling author of Algorithmics, explains and illustrates one of the most fundamental, yet under-exposed facets of computers - their inherent limitations. Looking at the bad news that is proven, lasting, and robust, discussing limitations that no amounts of hardware, software, talents, or resources can overcome, the book presents a disturbing and provocative view of computing at the start of the 21st century.

A clear account of the principles of fuzzy logic-based design, from a computer/electronics engineering perspective. This pedagogical work incorporates current fuzzy logic techniques, emphasizing hardware/software design for fuzzy systems and fuzzy logic development tools.

pt. I. Matter: 1. Philosophy as worldview ; 2. Classical matter: bodies and fields ; 3. Quantum matter: weird but real ; 4. General concept of matter: to be is to become ; 5. Emergence and levels ; 6. Naturalism ; 7. Materialism -- pt. II. Mind: 8. The mind-body problem ; 9. Minding matter: the plastic brain ; 10. Mind and society ; 11. Cognition, consciousness, and free will ; 12. Brain and computer: the hardware/software dualism ; 13. Knowledge: (...) genuine and bogus -- pt. III. Appendices: 14. Appendix A: Objects ; 15. Appendix B. Truths. (shrink)

As computers became multi-component systems in the 1950s, handling the speed differentials efficiently was identified as a major challenge. The desire for better understanding and control of ‘concurrency’ spread into hardware, software, and formalism. This paper examines the way in which the problem emerged and was handled across various computing cultures from 1955 to 1985. In the machinic culture of the late 1950s, system programs called ‘monitors’ were used for directly managing synchronisation. Attempts to reframe synchronisation in the subsequent algorithmic (...) culture pushed the problem to a higher level of abstraction; Dijkstra’s semaphores were a reaction to the algorithms’ complexity. Towards the end of the 1960s, the culture of ‘structured programming’ created a milieu in which Dijkstra, Hoare, and Brinch Hansen (among others) aimed for a concurrency primitive which embodied the new view of programming. Via conditional critical regions and Dijkstra’s ‘secretaries’, the co-produced ‘monitor’ appeared to provide the desired encapsulation. The construct received embodiment in a few programming languages; this paper ends by considering Modula and Concurrent Pascal. (shrink)

A simple exogenous growth model gives conservative estimates of the economic implications of machine intelligence. Machines complement human labor when they become more productive at the jobs they perform, but machines also substitute for human labor by taking over human jobs. At first, expensive hardware and software does only the few jobs where computers have the strongest advantage over humans. Eventually, computers do most jobs. At first, complementary effects dominate, and human wages rise with computer productivity. But eventually substitution can (...) dominate, making wages fall as fast as computer prices now do. An intelligence population explosion makes per-intelligence consumption fall this fast, while economic growth rates rise by an order of magnitude or more. These results are robust to automating incrementally, and to distinguishing hardware, software, and human capital from other forms of capital. (shrink)

A new working hypothesis of sleep-wake cycle mechanisms is proposed, based on ontogeny and functional/anatomic compression of two stochastic neuronal models of information coding that complement each other in a key/lock fashion: the axonal arbor patterns (AAP – “hardware”) and the neuronal spike interval inequality patterns (SIIP – “software”). [Hobson et al.; Nielsen; Revonsuo; Solms; Vertes & Eastman].

The umbrella-term ‘executive functions’ includes various domain-general, goal-directed cognitive abilities responsible for behavioral self-regulation. The influential unity and diversity model of EF posits the existence of three correlated yet separable executive domains: inhibition, shifting and updating. These domains may be influenced by factors such as socioeconomic status and culture, possibly due to the way EF tasks are devised and to biased choice of stimuli, focusing on first-world testees. Here, we propose a FREE test battery that includes two open-access tasks for (...) each of the three abovementioned executive domains to allow latent variables to be obtained. The tasks were selected from those that have been shown to be representative of each domain, that are not copyrighted and do not require special hardware/software to be administered. These tasks were adapted for use in populations with varying SES/schooling levels by simplifying tasks/instructions and using easily recognized stimuli such as pictures. Items are answered verbally and tasks are self-paced to minimize interference from individual differences in psychomotor and perceptual speed, to better isolate executive from other cognitive abilities. We tested these tasks on 146 early adolescents of both sexes and varying SES, because this is the age group in which the executive domains of interest become distinguishable and in order to confirm that SES effects were minimized. Performance was determined by Rate Correct Scores, which consider speed-accuracy trade-offs. Scores were sensitive to the expected improvement in performance with age and rarely/inconsistently affected by sex and SES, as expected, with no floor or ceiling effects, or skewed distribution, thus suggesting their adequacy for diverse populations in these respects. Using structural equation modeling, evidence based on internal structure was obtained by replicating the three correlated-factor solution proposed by the authors of the model. We conclude that the FREE test battery, which is open access and described in detail, holds promise as a tool for research that can be adapted for a wide range of populations, as well as altered and/or complemented in coming studies. (shrink)

Postnational, or after or more than national, is a world that connects the international with the local. Technollaboration, is how creative digital communities use technology to improve methods and environments for collaboration. Postbiotanical, after or more than biotanical, represents the future of human-centric collectives around farming and urban living and sustainability. Village, is ambiguous and raises the question how large is local, and how does a village-centric view impact the way we treat each other? Art traditionally functions as an environment (...) for philosophical and creative activity that works to secure its borders from intruding dictatorial ethics, ideology, politics or dogma that might sully its aim to maintain its open arduous exploration of the clash between image and meaning, icon and significance, or perception and identity in reference to culture and history. Integrating technology into this discourse introduces a milieu of associations, expectations and conclusions about how technological innovation, practices and products should be steered, which can also influence what we both make and teach. The web has since evolved into a pervasively instantaneous space for more involved forms of communication (Google hangout), content sharing (SVN), publishing (blogs), community building (messageboards, Facebook), creative performance (Isadora) and more. Now creative interactive initiatives are not limited to merely making a statement or triggering a semiotic synapse, but rather can have a social impact, enacting, mobilizing and serving as a resource for the public. Telematic Art that includes the activities surrounding Digital Communities and their behaviour, does not merely provide an environment to discuss social issues, but embodies social interaction in ways in which new forms of collective expression can be realized. The development of telematics tools is empowering for the public while serving as a medium that influences how individuals interact. Between DIY/DIWO models, open source hardware, software, and creation initiatives, practivist initiatives, creative hacking ideologies, immersion, and web-based communication tools to localize the international collaborative workshop, I believe our formats for education and exchange are becoming more collective and empowering, and with the inclusion of digital social collaboration initiatives seen in myriad examples of Telematic Art, there exists the potential to motivate a mindset desiring new shifts in perception and making with the goals of serving the global community in significant and direct ways. (shrink)

Why are we so many? Or, in other words, Why is our species so successful? The ultimate cause of our success as species is that we, Homo sapiens, are the first and the only Turing complete species. Turing completeness is the capacity of some hardware to compute by software whatever hardware can compute. To reach the answer, I propose to see evolution and computing from the problem solving point of view. Then, solving more problems is evolutionarily better, computing is for (...) solving problems, and software is much cheaper than hardware, resulting that Turing completeness is evolutionarily disruptive. This conclusion, together with the fact that we are the only Turing complete species, is the reason that explains why we are so many. Most of our unique cognitive characteristics as humans can be derived from being Turing complete, as for example our complete language and our problem solving creativity. (shrink)

In this paper, I address the question whether mental disorders should be understood to be brain disorders and what conditions need to be met for a disorder to be rightly described as a brain disorder. I defend the view that mental disorders are autonomous and that a condition can be a mental disorder without at the same time being a brain disorder. I then show the consequences of this view. The most important of these is that brain differences underlying mental (...) disorders derive their status as disordered from the fact that they realize mental dysfunction and are therefore non-autonomous or dependent on the level of the mental. I defend this view of brain disorders against the objection that only conditions whose pathological character can be identified independently of the mental level of description count as brain disorders. The understanding of brain disorders I propose requires a certain amount of conceptual revision and is at odds with approaches which take the notion of brain disorder to be fundamental or look to neuroscience to provide us with a purely physiological understanding of mental illness. It also entails a pluralistic understanding of psychiatric illness, according to which a condition can be both a mental disorder and a brain disorder. (shrink)

To create an astronomical software, one should use the most effective method to produce the quickest hardware calculation. However, the not so effective object oriented paradigm seems to have bigger influence on the astronomical domain. We discuss the status quo of its methodology. The traditional, Turing computation model does not have so distinct influence on knowledge creation because it is hardware-oriented. An object oriented programming language is more influential on discovery, because it works directly in the scientific domain.

“ Tripping through ” is an invitation to plunge into the invisible relationships of hard and soft computer matter through sensuous mediation. The projects outlined are designed to provoke and capture the specific behavior of individual computer components through the use of appropriate software fragments. If one approaches a digital apparatus with a transducer that transforms electromagnetic fields into acoustic waves, the analytical sphere is changed into concrete acoustical phenomena and enters the world of sensation (electromagnetic emissions can be picked (...) using induction microphones and output as acoustic signals. A suitable example is a Monacor telephone adapter AC-71/3,5MM). In choreographies for software and computer parts, these become actors in noise pieces for and in computers. Machine noises can be mediated for the public. They reveal the activity of computer programs in the widest sense and the activity of the computers or computer parts they are running on. The time and space of computer processes and memory span different levels of reality during “ runtime. ” Software being processed within this system of coordinates creates its own temporal and spatial dimensions, which are staged for an audience to provide a sensual experience: that of logic encountering the physical world. (shrink)

As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into a meaningful taxonomy? (2) To what ontology are computer programs committed? (3) What explains the proliferation of programming languages and how do they come about? Taking the complementary perspectives software engineering and mathematical logic, we take inventory of programs and related objects and conclude that the notions of abstraction and concretization take (...) a central role in this investigation. (shrink)