Cloud Computing paradigm has reached a high degree of popularity among all kinds of computer users, but it may not be suitable for mobile devices as they need computing power to be as close as possible to data sources in order to reduce delays. This paper focuses on achieving mathematical models for users moving around and proposes an overlay mobility model for Fog Data Centres based on traditional wireless mobility models aimed at better allocating edge computing resources (...) to client demands. Additionally, the focus is also on providing a model as to how the computing assets related to each user follow it through the fog infrastructure so as to minimise the distance to the user according to a Fat-Tree based Data Centre topology. (shrink)

Purpose The purpose of this study is to analyze how embedding of self-powered wireless sensors into cloud computing further enables such a system to become a sustainable part of work environment. Design/methodology/approach This is exemplified by an application scenario in healthcare that was developed in the context of the OpSIT project in Germany. A clearly outlined three-layer architecture, in the sense of Internet of Things, is presented. It provides the basis for integrating a broad range of sensors into smart (...) healthcare infrastructure. More specifically, by making use of short-range communication sensors, gateways which implement data transmission and low-level computation and cloud computing for processing the data. Findings A technical in-depth analysis of the first two layers of the infrastructure is given to prove reliability and to determine the communication quality and availability in real-world scenarios. Furthermore, two example use-cases that directly apply to a healthcare environment are examined, concluding with the feasibility of the presented approach. Practical implications Finally, the next research steps, oriented towards the semantic tagging and classification of data received from sensors, and the usage of advanced artificial intelligence-based algorithms on this information to produce useful knowledge, are described together with the derived social benefits. Originality/value The work presents an innovative, extensible and scalable system, proven to be useful in healthcare environments. (shrink)

In the last half century we have gone from storing data on 5-1/4 inch floppy diskettes to cloud and now fog computing. But one should ask why so much data is being collected. Part of the answer is simple in light of scientific projects but why is there so much data on us? Then, we ask about its “interface” through fog computing. Such questions prompt this chapter on the philosophy of big data and fog computing. After some (...) background on definitions, origins and contemporary applications, the main discussion begins with thinking about modern data collection, management, and applications from a complexity standpoint. Big data is turned into knowledge but knowledge is extrapolated from the past and used to manage the future. Yet it is questionable whether humans have the capacity to manage contemporary technological and social complexity evidenced by our world in crisis and possibly on the brink of extinction. Such calls for a new way of studying societies from a scientific point of view. We are at the center of the observation from which big data emerge and are manipulated, the overall human project being not only to create an artificial brain with an attendant mind but a society that might be able to survive what “natural” humans cannot. (shrink)

In order to explore one aspect of the engaging nature of computer games, this study will propose a method that aims at classifying the experience of engagement in video games. Inspired by a literature review, we will focus on the fundamental causes of engagement that motivate a player so much that he or she wants to continue playing. By organizing this willingness to continue playing into six broad types of causes of engagement—intellectual, physical, sensory, social, narrative, and emotional—we describe a (...) typology of player engagement and a method that is intended to map players’ experience of engagement while playing video games. The engagement mapping method is inspired by card sorting found from a perspective of usability testing, and in order to exemplify the use of the method, occurrences of the six types of engagement were investigated during gameplay in Angry Birds and Wii Sports. (shrink)

Historically, there has been great deliberation about the limits of human knowledge. Isaac Newton, recognizing his own shortcomings, once described himself as “a boy standing on the seashore... whilst the great ocean of truth lay all underscored before me.” In _Ignorance,_ Nicholas Rescher presents a broad-ranging study that examines the manifestations, consequences, and occasional benefits of ignorance in areas of philosophy, scientific endeavor, and ordinary life. Citing philosophers, theologians, and scientists from Socrates to Steven Hawking, Rescher seeks to uncover the (...) factors that hinder our cognition. Rescher categorizes ignorance as ontologically grounded, or epistemically grounded. He then defines the basis of ignorance: inaccessible data; statistical fogs; secreted information; past data that have left no trace; future discoveries; future contingencies; vagrant predicates; and superior intelligences. Such impediments set limits to inquiry and mean that while we can always extend our existing knowledge-variability here is infinite-there are things that we will never know. Cognitive finitude also hinders our ability to assimilate more than a certain number of facts. We may acquire additional information, but lack the facility to interpret it. More information does not always increase knowledge; it may point us further down the path toward an erroneous conclusion. In light of these deficiencies, Rescher looks to the role of computers in solving problems and expanding our knowledge base, but finds limits to their reasoning capacity. As Rescher's comprehensive study concludes, ignorance itself is a fertile topic for knowledge, and recognizing the boundaries of our comprehension is where wisdom begins. (shrink)

Because humans cannot know one another’s minds directly, every form of communication is a solution to the same basic problem: how can privately held information be made publicly accessible through manipulations of the physical environment? Language is by far the best studied response to this challenge. But there are a diversity of non-linguistic strategies for representation with external signs as well, from facial expressions and fog horns to chronological graphs and architectural renderings. The general thesis of this dissertation is that (...) there is an impressively wide spectrum of conventional systems of representation, corresponding to the many ways that the problem of communication can be solved, and that these systems can be described and explained using the tools of contemporary mathematical semantics. As a partial corrective to the countervailing norm, this work concentrates on the class of systems arguably most different from language— those governing the interpretation of pictorial images. Such representations dominate practical communication: witness the proliferation of maps, road signs, newspaper photographs, scientific illustrations, television shows, engineering drawings, and even the fleeting imagery of manual gesture. I argue that systems of depiction and languages embody a parallel technologies of communication. Both are based on semantics: systematic and conventional mappings from signs to representational content. But I also provide evidence that these semantics are profoundly divergent. Whereas the semantics of languages are based on arbitrary associations of signs and denotations, the semantics of systems of depiction are based on rules of geometrical transformation. Drawing on recent research in computer graphics and computational vision, I go on to develop a precise theory of pictorial semantics. This in turn facilitates a detailed comparison of iconic, image-based representation, and symbolic, language-based representation. A consequence of these conclusions is that the traditional, language-centric conception of semantics must be overhauled to allow for a more general semantic theory, one which countenances the wide variety of interpretive mechanisms actually at work in human communication. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy of Music Education Review 12.1 (2004) 17-29 [Access article in PDF] Intersections Form, Feeling, and Isomorphism Mary J. Reichling University of Louisiana at Lafayette These three concepts hold meanings that differ among musicians and aestheticians. In this essay I shall explore them in the writings of Susanne Langer. Contemporary musicians and aestheticians continue today to engage Langer albeit some favorably and others with disdain. Whatever their reasons, she (...) remains a dominant force in the philosophy of music.1 My purpose is not to defend her against her detractors, but rather to examine and to elucidate various aspects of these three concepts in her writing, as they are fundamental to an understanding of her aesthetic theory and to the construction of a philosophy of music and music education.First, I consider the broad and complex notion of form and the various ways Langer employs it in her aesthetic theory. Next, the rather all-encompassing idea of feeling as Langer conceives it is studied in relation to the form of the musical work. The intersection of form and feeling in the concept of isomorphism concludes the discussion. [End Page 17] Form In her various writings Langer uses several adjectives associated with the word "form" which seem to organize well into three groups. The first concerns the dynamic, living, organic, and vital qualities of form; the second speaks to its logical and abstract nature; and the last relates to the emotional or feeling aspect of form including expressive and significant characteristics.2 These groupings overlap and intertwine, but focusing on each specifically rather than all as a totality offers important insights.Form as dynamic, living, organic, and vital suggests metaphorical reference. Obviously the form is not physically, biologically, alive; reference is to the apparent movement, growth, and aliveness of the musical form as it is heard or performed. Thus this idea of form implies an actual performance to be realized or perceived. Langer is sometimes criticized for giving little attention to the actual making of music, that is, performance, yet her theory assumes music as heard. Essential to perceiving a dynamic form or hearing a feeling is a processual event, namely, performance or listening to a performance. Rarely a professional musician or gifted amateur might be able to engage this concept of form by reading through a score and hearing the music in imagination.Dynamic form parallels Eduard Hanslick's notion of tonend bewegte Formen. One might object that Hanslick and Langer are in conflict as Hanslick opposes while Langer supports the conviction that form is expressive of feeling, but that is moving beyond the matter at hand and suggests a superficial reading of both Hanslick and Langer. Hanslick asserts emphatically that music's meaning is not the arousal of emotion but does not deny feeling in music; Langer holds the same view. But Hanslick allows that "the words content and form are used not in the purely logical, but in an artistic sense." To me this suggests that he recognizes a nonliteral or metaphorical interpretation. He writes about the relationship of musical tones as "fraught with significance... congruity and opposition, their separating and combining, their soaring and subsiding-this is what comes in spontaneous forms before our inner contemplation and pleases us as beautiful." Certainly this parallels Langer's description of dynamic form.3 What is significant is that both philosophers are addressing the fluid, processual, active, movement-of-notes-through-time nature of musical form.The premise that forms are created by motion, are dynamic, is easily grasped by offering some examples. Fast cameras are able to take a series of photos of the movements of a pianist's hands giving still pictures of the moving forms created while performing a given passage.4 Alternately, forms are created by the movements of clouds or fog through the mist and early light; they are, in effect, quite literally moving forms. Cartoon characters generate moving forms through the [End Page 18] use of many drawings or more recently by means of computer animation. Time is a dynamic or moving form which we divide into hours... (shrink)

The sum, difference, product and quotient of two functions with different domains are usually defined only on their common domain. This paper extends these definitions so that the sum and other operations are essentially defined anywhere that at least one of the components is defined. This idea is applied to propositions and events, expressed as indicator functions, to define conditional propositions and conditional events as three-valued indicator functions that are undefined when their condition is false. Extended operations of "and", "or", (...) "not" and "conditioning" are then defined on these conditional events with variable conditions. The probabilities of the disjunction and of the conjunction of two conditionals are expressed in terms of the conditional probabilities of the component conditionals. In a special case, these are shown to be weighted averages of the component conditional probabilities where the weights are the relative probabilities of the various conditions. Next, conditional random variables are defined to be random variables X whose domain has been restricted by a condition on a second random variable Y. The extended sum, difference, product and conditioning operations on functions are then applied to these conditional random variables. The expectation of a random variable and the conditional expectation of a conditional random variable are recounted. Theorem 1 generalizes the standard result that the conditional expectation of the sum of two conditional random variables with disjoint and exhaustive conditions is a weighted sum of the conditional expectations of the component conditional random variables. Because of the extended operations, the theorem is true for arbitrary conditions. Theorem 2 gives a formula for the expectation of the product of two conditional random variables. After the definition of independence of two random variables is extended to accommodate the extended operations, it is applied to the formula of Theorem 2 to simplify the expectation of a product of conditional random variables. Two examples end the paper. The first concerns a work force of n workers of different output levels and work shifts. The second example involves two radars with overlapping surveillance regions and different detection error rates. One radar's error rate is assumed to be sensitive to fog and the other radar's error rate is assumed to be sensitive to air traffic density. The combined error rate over the combined surveillance region given heavy fog and moderate air traffic is computed. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Fine Delight that Fathers Thought: Rhetoric and Medievalism in Gerard Manley HopkinsRichard D. LordThe Fine Delight that Fathers Thought: Rhetoric and Medievalism in Gerard Manley Hopkins, by Franco Marucci; 261 pp. Washington, D.C.: Catholic University of America Press, 1994, $44.95.Paging one day through Hopkins’s notebooks in the library at Campion Hall, I was startled to find the draft of “Spelt From Sibyl’s Leaves” placed directly opposite the (...) tortuous grade computations for one of his classes. This book presents a similar contrast—insights into “The Wreck of the Deutschland” buried in the technical language of structuralism, semiotics, and rhetoric.In his preface, the author calls his book “a revised and updated translation of my I fogli della Sibilla. Retorica et medievalismo in Gerard Manley Hopkins” (p. ix). As the title indicates, it is divided into two parts, the former dealing with Hopkins’s poetic rhetoric viewed synchronically and the latter with his “textuality as a confluence of... cultural codes” (p. 89).In the chapter introducing part one, Marucci dismisses, with few exceptions, criticism from 1918 to the present as being of little use to one investigating “the function and functionality of Hopkins’s poetic rhetoric” (p. 3). The exemplifying portion of this chapter (“Amplification”) addresses “God’s Grandeur” and “The Wreck of the Deutschland” as judicial speech (persuasive), with the reader performing the judicial function. The analysis is useful in providing insights into the poet’s rhetorical planning as he guides the reader in this persuasive process.Moving from the “Deutschland” to the “terrible sonnets” as exemplifications of “autocommunication,” Marucci notes that here the interlocutor gradually disappears as the sender-receiver relationship fades. He believes that Hopkins became “no longer capable of finding in himself (or, more probably, of offering to a receiver who had proved cold and indifferent) the necessary stimuli” (p. 76) and names the editor of The Month, Bridges, and other correspondents as the probable receivers.In the second (and major) part of the book, the author sets out to examine the cultural codes influencing the poet’s textuality. The chapter introducing this section, “‘Integrated’ and ‘Apocalyptic’ Writers,” first looks at “the global syntagmatic model of the Victorian Age” (p. 98) and then divides its texts according to this model into three categories. The first two either reflect or modify the syntagmatic codes (“integrated” writers) while the third opposes these codes (“apocalyptic” writers). The author’s thesis is that Hopkins is not fully any one of these, but that his Victorianism is subsumed in various ways and ultimately subordinated to his medievalism. His position is that Victorian codes essentially ceased to affect the poet after his entrance into the Society of Jesus, when they were replaced by medieval codes. This is developed in some detail in the chapter entitled “Hopkins and Duns Scotus.”Although the book takes a narrow critical approach to Hopkins, it still might [End Page 149] well have been enriched by allowing for the ways in which the Ignatian method of meditation, with its emphasis on the “application of the senses,” so clearly drew Hopkins to find a kindred spirit in Scotus. This, together with the kind of seminary training in vogue in the Catholic Church until after Vatican II, certainly contributed to the medievalism that Marucci finds in the later Hopkins.This is a useful and provocative book for scholars, but many of the footnotes seem unnecessarily long and some chapters conclude too abruptly. The highly specialized language of structuralism and semiotics requires an expertise that probably eludes most undergraduate students.Richard D. LordWillamette UniversityCopyright © 1995 The Johns Hopkins University Press... (shrink)

Recent findings in evolutionary psychology explain how moral disciplining is connected to the need for collective action. Morals are strict in societies affected by war or perceived collective danger, but loose where peace and security prevail. This theory supplements the moral disciplining theory by providing an evolutionary explanation for the postulated link between puritanism and the need for cooperation.

A collective action problem exists not only in offensive warfare, but also in defensive situations. The collective action problem is dealt with in the same way in offensive and defensive warfare: by strong leadership, discipline, rewards and punishments, strong group identification, strict religiosity, and intolerance of deviants. This behavior is explained in terms of evolutionary psychology.

A group in intergroup conflict needs to overcome the collective action problem in order to defend itself against an external enemy. This leads to increasing complexity that cannot be adequately covered by just scaling up the model of intragroup conflicts. Research on cultural evolution and evolutionary psychology shows that external conflict has profound effects on group organization.

The PRDM family has recently spawned considerable interest as it has been implicated in fundamental aspects of cellular differentiation and exhibits expanding ties to human diseases. The PRDMs belong to the SET domain family of histone methyltransferases, however, enzymatic activity has been determined for only few PRDMs suggesting that they act by recruiting co‐factors or, more speculatively, confer methylation of non‐histone targets. Several PRDM family members are deregulated in human diseases, most prominently in hematological malignancies and solid cancers, where they (...) can act as both tumor suppressors or drivers of oncogenic processes. The molecular mechanisms have been delineated for only few PRDMs and little is known about functional redundancy within the family. Future studies should identify target genes of PRDM proteins and the protein complexes in which PRDM proteins reside to provide a more comprehensive understanding of the biological and biochemical functions of this important protein family. (shrink)

The idea of culture has been subject to critical debate in anthropology during the past decade as the result of a shift in emphasis from the bounded local culture to transnational cultural flows. But at the very same time that cultural mobility is being emphasized by anthropologists, the people they study are recasting culture as a place of belonging as they construct local identities. Siting Culture argues that it is only through rich ethnographic studies that anthropologists may explore the significance (...) of place in the global space of relations which mold the lives of people throughout the world. By examining the concept of culture through case studies from Europe, Africa, Oceania, Latin America and the Caribbean, it probes the methodological and theoretical implications of the divergent scholarly and popular concepts of culture. (shrink)

Since the 1970s, there has been an increased focus on gender in the research literature concerning British philosopher Mary Wollstonecraft, which most likely is caused by the increasing interest in the social aspects of gender inspired by poststructuralist thinking. Although such readings have been illuminative and fruitful, focusing on the social and the interconnections between Wollstonecraft and modernity seems to have brought with them a neglect of two interesting aspects of Wollstonecraft’s notion about gender. On the one hand, her thoughts (...) on the body seem somewhat underexposed, while her impact on the subsequent British romanticists is equally neglected. The article focuses on these two aspects. Here the analyses are based on Wollstonecraft’s discussions with Jean-Jacques Rousseau and Edmund Burke about the relations gender has to nature, bodies, and aesthetics; discussions which inform a conception of gender that the later romantics would take inspiration from. (shrink)

In Sandrine Bergès’s article ‘Revolution and Republicanism: Women Political Philosophers of Late Eighteenth-Century France and Why They Matter’ [2021], neo-Athenian and neo-Roman principles of republicanism are fused in order to show the idiosyncratic political position of Olympe de Gouges, Marie-Jeanne Phlipon Roland, and Sophie de Grouchy. As Bergès acknowledges, this amalgamation renders possible republican readings of women’s writings which so far have not been regarded as republican. Through my reading of Germaine de Staël and Mary Wollstonecraft, my aim will be (...) to show how Staël and Wollstonecraft embody the principles that Bergès highlights, but also venture into other areas tied to republican thinking that Bergès leaves untouched: religion and progress. Wollstonecraft and Staël both tie Christianity closely to their republicanism, maintaining that a future republican state will come through divine intervention. In this way, I hope to add complexity to Bergès’s project by expanding our knowledge of female republicans. (shrink)

I propose to consider the question, "Can machines think?" This should begin with definitions of the meaning of the terms "machine" and "think." The definitions might be framed so as to reflect so far as possible the normal use of the words, but this attitude is dangerous, If the meaning of the words "machine" and "think" are to be found by examining how they are commonly used it is difficult to escape the conclusion that the meaning and the answer to (...) the question, "Can machines think?" is to be sought in a statistical survey such as a Gallup poll. But this is absurd. Instead of attempting such a definition I shall replace the question by another, which is closely related to it and is expressed in relatively unambiguous words. The new form of the problem can be described in terms of a game which we call the 'imitation game." It is played with three people, a man (A), a woman (B), and an interrogator (C) who may be of either sex. The interrogator stays in a room apart front the other two. The object of the game for the interrogator is to determine which of the other two is the man and which is the woman. He knows them by labels X and Y, and at the end of the game he says either "X is A and Y is B" or "X is B and Y is A." The interrogator is allowed to put questions to A and B. We now ask the question, "What will happen when a machine takes the part of A in this game?" Will the interrogator decide wrongly as often when the game is played like this as he does when the game is played between a man and a woman? These questions replace our original, "Can machines think?". (shrink)

One recursively enumerable real α dominates another one β if there are nondecreasing recursive sequences of rational numbers (a[n] : n ∈ ω) approximating α and (b[n] : n ∈ ω) approximating β and a positive constant C such that for all n, C(α − a[n]) ≥ (β − b[n]). See [R. M. Solovay, Draft of a Paper (or Series of Papers) on Chaitin’s Work, manuscript, IBM Thomas J. Watson Research Center, Yorktown Heights, NY, 1974, p. 215] and [G. J. (...) Chaitin, IBM J. Res. Develop., 21 (1977), pp. 350–359]. We show that every recursively enumerable random real dominates all other recursively enumerable reals. We conclude that the recursively enumerable random reals are exactly the Ω-numbers [G. J. Chaitin, IBM J. Res. Develop., 21 (1977), pp. 350–359]. Second, we show that the sets in a universal Martin-Lof test for randomness have random measure, and every recursively enumerable random number is the sum of the measures represented in a universal Martin-Lof test. (shrink)

Collecting, comparing, and computing molecular sequences are among the most prevalent practices in contemporary biological research. They represent a specific way of producing knowledge. This paper explores the historical development of these practices, focusing on the work of Margaret O. Dayhoff, Richard V. Eck, and Robert S. Ledley, who produced the first computer-based collection of protein sequences, published in book format in 1965 as the Atlas of Protein Sequence and Structure. While these practices are generally associated with the rise (...) of molecular evolution in the 1960s, this paper shows that they grew out of research agendas from the previous decade, including the biochemical investigation of the relations between the structures and function of proteins and the theoretical attempt to decipher the genetic code. It also shows how computers became essential for the handling and analysis of sequence data. Finally, this paper reflects on the relationships between experimenting and collecting as two distinct “ways of knowing” that were essential for the transformation of the life sciences in the twentieth century. (shrink)

This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997. The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state (...) of the art in the area. (shrink)

This article shows how common morality can be helpful in clarifying the discussion of ethical issues that arise in computing. Since common morality does not always provide unique answers to moral questions, not all such issues can be resolved, however common morality does provide a clear answer to the question whether one can illegally copy software for a friend.

This paper investigates ontological dimensions of the blockchain by asking what kind of socio-technical object bitcoin is. It discusses both blockchain's political qualities and the political forms enabled by its emergence. It first observes recent approaches to the ontology of money and the political qualities of the ledgers used by the current fractional reserve banking model. It then directs the same questions at blockchain technology. The paper discusses an ontology proposed by Ole Bjerg and argues in favour of a mixed-ontology (...) approach to blockchains. It then questions the political qualities of the distributed ledger as a digital object and highlights the apparent absence of authority figures in the model. Finally, it argues that the political ontology of the blockchain can be framed as the displacement of authority from institutional actors into instrumental control of trust, in a dynamically distributed environment. (shrink)

An astonishingly diverse biomolecular circuitry orchestrates the functioning machinery underlying every living cell. These biomolecules and their circuits have been engineered not only for various industrial applications but also to perform other atypical functions that they were not evolved for—including computation. Various kinds of computational challenges, such as solving NP‐complete problems with many variables, logical computation, neural network operations, and cryptography, have all been attempted through this unconventional computing paradigm. In this review, we highlight key experiments across three different (...) ‘‘eras’’ of molecular computation, beginning with molecular solutions, transitioning to logic circuits and ultimately, more complex molecular networks. We also discuss a variety of applications of molecular computation, from solving NP‐hard problems to self‐assembled nanostructures for delivering molecules, and provide a glimpse into the exciting potential that molecular computing holds for the future. Also see the video abstract here: https://youtu.be/9Mw0K0vCSQw. (shrink)

Cognitive science has been dominated by the computational conception that cogniton is computation across representations. To the extent to which cognition is supposed to be a purposive, meaningful, algorithmic, problem-solving activity, however, computers appear to be incapable of cognition. They are devices that can facilitate computations on the basis of semantic grounding relations as special kinds of signs. Even their algorithmic, problem-solving character arises from ther interpretation by human users. Strictly speaking, computers as such–apart from human users–are not only incapable (...) of cognition but even incapable of computation, properly construed. If we want to understand the nature of thought, we are going to have to study thinking, not computing, because they are not the same thing. (shrink)

Various threshold Boolean networks, a formalism used to model different types of biological networks, can produce similar dynamics, i.e. share same behaviors. Among them, some are complex, others not. By computing both structural and behavioral complexities, we show that most TBNs are structurally complex, even those having simple behaviors. For this purpose, we developed a new method to compute the structural complexity of a TBN based on estimates of the sizes of equivalence classes of the threshold Boolean functions composing (...) the TBN. (shrink)

In this article we present a new kind of computing device that uses biochemical reactions networks as building blocks to implement logic gates. The architecture of a computing machine relies on these generic and composable building blocks, computation units, that can be used in multiple instances to perform complex boolean functions. Standard logical operations are implemented by biochemical networks, encapsulated and insulated within synthetic vesicles called protocells. These protocells are capable of exchanging energy and information with each other (...) through transmembrane electron transfer. In the paradigm of computation we propose, protoputing, a machine can solve only one problem and therefore has to be built specifically. Thus, the programming phase in the standard computing paradigm is represented in our approach by the set of assembly instructions that directs the wiring of the protocells that constitute the machine itself. To demonstrate the computing power of protocellular machines, we apply it to solve a NP-complete problem, known to be very demanding in computing power, the 3-SAT problem. We show how to program the assembly of a machine that can verify the satisfiability of a given boolean formula. Then we show how to use the massive parallelism of these machines to verify in less than 20 min all the valuations of the input variables and output a fluorescent signal when the formula is satisfiable or no signal at all otherwise. (shrink)

At its beginnings Humanities Computing was characterized by a primary interest in methodological issues and their epistemological background. Subsequently, Humanities Computing practice has been prevailingly driven by technological developments and the main concern has shifted from content processing to the representation in digital form of documentary sources. The Digital Humanities turn has brought more to the fore artistic and literary practice in direct digital form, as opposed to a supposedly commonplace application of computational methods to scholarly research. As (...) an example of a way back to the original motivations of applied computation in the humanities, a formal model of the interpretive process is here proposed, whose implementation may be contrived through the application of data processing procedures typical of the so called artificial adaptive systems. (shrink)

Internet of Things is expanding and evolves into all aspects of the society. Research and developments in the field of IoT have shown the possibility of producing huge volume of data and computation among different devices of the IoT. The data collected from IoT devices are transferred to a central server which can further be retrieved and accessed by the service providers for analyzing, processing, and using. Industrial Internet of Health Things is the expansion of the Internet of Health Things (...) which plays an important role in observing, consulting, monitoring, and treatment process of remote exchange data processes. The linkage of computation and interoperability are supported through various intelligent sensors, controllers, and actuators. The role of parallel computing for efficient and Intelligent Industrial Internet of Health Things is obvious to analyze and process different healthcare situations. A detailed overview of this existing literature is needed through which the research community will provide new solutions for efficient healthcare with the help of IoT based on parallel computing. Therefore, the current study presents a detailed overview of the existing literature for facilitating IIoHT. (shrink)

We show that the number of types of sequences of tuples of a fixed length can be calculated from the number of 1-types and the length of the sequences. Specifically, if κ≤λ, then sup ‖M‖=λ|Sκ|=|)κ. We show that this holds for any abstract elementary class with λ-amalgamation. No such calculation is possible for nonalgebraic types. However, we introduce a subclass of nonalgebraic types for which the same upper bound holds.

Affective computing adopts a computational approach to study affect. We highlight the AC approach towards automated affect measures that jointly model machine-readable physiological/behavioral signals with affect estimates as reported by humans or experimentally elicited. We describe the conceptual and computational foundations of the approach followed by two case studies: one on discrimination between genuine and faked expressions of pain in the lab, and the second on measuring nonbasic affect in the wild. We discuss applications of the measures, analyze measurement (...) accuracy and generalizability, and highlight advances afforded by computational tipping points, such as big data, wearable sensing, crowdsourcing, and deep learning. We conclude by advocating for increasing synergies between AC and affective science and offer suggestions toward that direction. (shrink)