Today, Service-Oriented Architecture (SOA) and Grid and Cloud computing comprise the key technologies in distributed systems. In systems following the SOA approach, functionalities are delivered and consumed as services. Given the variety of resources (i.e. data, computing capabilities, applications, etc) as well as the variation of user-requested Quality of Service (e.g., high performance, fast access, low cost, high media resolution, etc), there is a need for advanced user management, trust establishment and service management mechanisms which adjust, monitor (...) and evaluate service provision according to the users’ requirements and rights. Within this context, security and privacy requirements have become of great importance, as well the need for flexible and efficient identity management. This editorial of the special issue Identity Management in Grid and SOA discusses the importance of identity management within SOA and Grid environments. A number of techniques and existing systems addressing these issues are presented and evaluated. Identity management is considered in various contexts and at different levels, including service composition level, system level and inter-system communication level. (shrink)

This book bridges the divide between the fields of power systems engineering and computer communication through the new field of power system information theory. Written by an expert with vast experience in the field, this book explores the smart grid from generation to consumption, both as it is planned today and how it will evolve tomorrow. The book focuses upon what differentiates the smart grid from the "traditional" power grid as it has been known for the last (...) century. Furthermore, the author provides the reader with a fundamental understanding of both power systems and communication networking. It shows the complexity and operational requirements of the evolving power grid, the so-called "smart grid," to the communication networking engineer; and similarly, it shows the complexity and operational requirements for communications to the power systems engineer. The book is divided into three parts. Part One discusses the basic operation of the electric power grid, covering fundamental knowledge that is assumed in Parts Two and Three. Part Two introduces communications and networking, which are critical enablers for the smart grid. It also considers how communication and networking will evolve as technology develops. This lays the foundation for Part Three, which utilizes communication within the power grid. Part Three draws heavily upon both the embedded intelligence within the power grid and current research, anticipating how and where computational intelligence will be implemented within the smart grid. Each part is divided into chapters and each chapter has a set of questions useful for exercising the readers' understanding of the material in that chapter. Key Features: Bridges the gap between power systems and communications experts Addresses the smart grid from generation to consumption, both as it is planned today and how it will likely evolve tomorrow Explores the smart grid from the perspective of traditional power systems as well as from communications Discusses power systems, communications, and machine learning that all define the smart grid It introduces the new field of power system information theory. (shrink)

Smart grids are rolling out internationally, with the United States nearing completion of a significant USD4-plus-billion federal program funded under the American Recovery and Reinvestment Act. The emergence of smart grids is widespread across developed countries. Multiple approaches to analyzing the benefits of smart grids have emerged. The goals of this white paper are to review these approaches and analyze examples of each to highlight their differences, advantages, and disadvantages. This work was conducted under the auspices of a joint U.S.-China (...) research effort, the Climate Change Working Group Implementation Plan, Smart Grid. We present comparative benefits assessments of smart grid demonstrations in the U.S. and China along with a BA of a pilot project in Europe. In the U.S., we assess projects at two sites: the University of California, Irvine campus, which consists of two distinct demonstrations: Southern California Edison’s Irvine Smart Grid Demonstration Project and the UCI campus itself; and the Navy Yard area in Philadelphia, which has been repurposed as a mixed commercial-industrial, and possibly residential, development. In China, we cover several smart-grid aspects of the Sino-Singapore Tianjin Eco-city and the Shenzhen Bay Technology and Ecology City. In Europe, we look at a BA of a pilot smart grid project in the Malagrotta area west of Rome, Italy, contributed by the Joint Research Centre of the European Commission. The Irvine sub-project BAs use the U.S. Department of Energy Smart Grid Computational Tool, which is built on methods developed by the Electric Power Research Institute. The TEC sub-project BAs apply Smart Grid Multi-Criteria Analysis developed by the State Grid Corporation of China based on the analytic hierarchy process with fuzzy logic. The B-TEC and TNY sub-project BAs are evaluated using new approaches developed by those project teams. JRC has adopted an approach similar to EPRI’s but tailored to the Malagrotta distribution grid. (shrink)

In the automatic detection of epileptic seizures, the monitoring of critically ill patients with time varying EEG signals is an essential procedure in intensive care units. There is an increasing interest in using EEG analysis to detect seizure, and in this study we aim to get a better understanding of how to visualize the information in the EEG time-frequency feature, and design and train a novel random forest algorithm for EEG decoding, especially for multiple-levels of illness. Here, we propose an (...) automatic detection framework for epileptic seizure based on multiple time-frequency analysis approaches; it involves a novel random forest model combined with grid search optimization. The short-time Fourier transformation visualizes seizure features after normalization. The dimensionality of features is reduced through principal component analysis before feeding them into the classification model. The training parameters are optimized using grid search optimization to improve detection performance and diagnostic accuracy by in the recognition of three different levels epileptic of conditions (healthy subjects, seizure-free intervals, seizure activity). Our proposed model was used to classify 500 samples of raw EEG data, and multiple cross-validations were adopted to boost the modeling accuracy. Experimental results were evaluated by an accuracy, a confusion matrix, a receiver operating characteristic curve and an area under the curve. The evaluations indicated that our model achieved the more effective classification than some previous typical methods. Such a scheme for computer-assisted clinical diagnosis of seizures has a potential guiding significance, which not only relieves the suffering of patient with epilepsy to improve quality of life, but also helps neurologists reduce their workload. (shrink)

The squared paper or graphs are grid-based design representations used in engineering, industrial and craft design practices wherein designs are drawn over symmetrical grids. This paper reports grid-processing strategies undertaken by actors in a native craft practice, viz. Kashmiri carpet-weaving having three task contexts: (1) _design_, wherein designs are drawn on graph sheets and color scheme given by assigning practice-specific symbolic codes to the motifs by designers; (2) _coding_, wherein a cryptic script, called _talim_, is generated from these (...) encoded graphs by talim-writers; and (3) _weaving_, wherein this script is read, decoded and communicated in an equally cryptic trade-language by weavers among their teams. 32 video-recorded think-aloud sessions were conducted with talim-writers to understand their graph-processing and resultant coding strategies. The observations and qualitative analysis of transcripts revealed highly _situated_ strategies undertaken by experts keen on imbibing visuality of design embedded in the grids, in contrast to _embodied_ strategies undertaken by less-experienced coders keen on processing grids’ structural features and getting overwhelmed by grid-clutter in the process. In this landscape, the findings revealed a negotiated nature of errors instead of being deviations from the underlying grid and thereby objectively assessable. The paper makes recommendations for CAD systems to include more of those grid features exploited by experts during their graph processing to facilitate designers. (shrink)

This paper addresses a common challenge with computational cognitive models: identifying parameter values that are both theoretically plausible and generate predictions that match well with empirical data. While computational models can offer deep explanations of cognition, they are computationally complex and often out of reach of traditional parameter fitting methods. Weak methodology may lead to premature rejection of valid models or to acceptance of models that might otherwise be falsified. Mathematically robust fitting methods are, therefore, essential to the progress of (...) computational modeling in cognitive science. In this article, we investigate the capability and role of modern fitting methods—including Bayesian optimization and approximate Bayesian computation—and contrast them to some more commonly used methods: grid search and Nelder–Mead optimization. Our investigation consists of a reanalysis of the fitting of two previous computational models: an Adaptive Control of Thought—Rational model of skill acquisition and a computational rationality model of visual search. The results contrast the efficiency and informativeness of the methods. A key advantage of the Bayesian methods is the ability to estimate the uncertainty of fitted parameter values. We conclude that approximate Bayesian computation is (a) efficient, (b) informative, and (c) offers a path to reproducible results. (shrink)

In this article, I argue that the artificial components of hybrid bionic systems do not play a direct explanatory role, i.e., in simulative terms, in the overall context of the systems in which they are embedded in. More precisely, I claim that the internal procedures determining the output of such artificial devices, replacing biological tissues and connected to other biological tissues, cannot be used to directly explain the corresponding mechanisms of the biological component(s) they substitute (and therefore cannot be used (...) to explain the local mechanisms determining an overall biological or cognitive function replicated by such bionic models). I ground this analysis on the use of the Minimal Cognitive Grid (MCG), a novel framework proposed in Lieto (Cognitive design for artificial minds, 2021) to rank the epistemological and explanatory status of biologically and cognitively inspired artificial systems. Despite the lack of such a direct mechanistic explanation from the artificial component, however, I also argue that the hybrid bionic systems can have an indirect explanatory role similar to the one played by some AI systems built by using an overall structural design approach (but including the partial adoption of functional components). In particular, the artificial replacement of part(s) of a biological system can provide i) a local functional account of that part(s) in the context of the overall functioning of the hybrid biological–artificial system and ii) global insights about the structural mechanisms of the biological elements connected to such artificial devices. (shrink)

Recent trends towards an e-Science offer us the opportunity to think about the specific epistemological changes created by computational empowerment in scientific practices. In fact, we can say that a computational epistemology exists that requires our attention. By ‘computational epistemology’ I mean the computational processes implied or required to achieve human knowledge. In that category we can include AI, supercomputers, expert systems, distributed computation, imaging technologies, virtual instruments, middleware, robotics, grids or databases. Although several authors talk about the extended mind (...) and computational extensions of the human body, most of these proposals don’t analyze the deep epistemological implications of computer empowerment in scientific practices. At the same time, we must identify the principal concept for e-Science: Information . Why should we think about a new epistemology for e-Science? Because several processes exist around scientific information that require a good epistemological model to be understood. (shrink)

This work aims to solve the complex problems of non-linearity, instability, and multiple economic factors in the tax forecast of the ceramic industry to ensure the sustainable development of the ceramic industry. The key influential indicators of the tax forecast are obtained by analyzing the principal components affecting the tax index. In addition, a human-computer interaction system is established based on cognitive psychology theory to improve the user-friendliness of tax analysis. At the same time, the tax data of the ceramic (...) industry in Jingdezhen City, Jiangxi Province in different years are used for the empirical analysis of the tax prediction of different prediction models, including particle swarm optimization algorithm, and fusion algorithm, and support vector machine. This work comprehensively analyzes the influence of the optimized tax supervision mode on the economic development of the ceramic industry and provides ideas for the development of the ceramic industry in Jingdezhen. The research results demonstrate that the main indicator affecting tax revenue is the added value of the primary and secondary industries. The optimized SVM based on grid search method can provide a comprehensive data base for tax forecasting. The optimization of the computer system based on cognitive psychology improves the model prediction accuracy by 10%, and the absolute error decreases from 6.9 to 1.8%. The tax forecast results indicate that the tax imbalance in Jingdezhen is increasing. Therefore, the government needs to attach great importance to the development of the ceramic industry and strictly implement the tax policy. The tax supervision model can alleviate the problems of low fiscal contribution rate, tax evasion, and management loopholes. In addition, the SVM tax prediction model optimized by grid search method will lay a theoretical foundation for the research and application of taxation in the ceramic industry. (shrink)

The never ending growth of digital information and the availability of low-cost storage facilities and networks capacity is leading users towards moving their data to remote storage resources. Since users’ data often holds identity-related information, several privacy issues arise when data can be stored in untrusted domains. In addition digital identity management is becoming extremely complicated due to the identity replicas proliferation necessary to get authentication in different domains. GMail and Amazon Web Services, for instance, are two examples of online (...) services adopted by million of users throughout the world which hold huge amounts of sensitive users data. State-of-the-art encryption tools for large-scale distributed infrastructures allow users to encrypt content locally before storing it on a remote untrusted repository. This approach can experience performance drawbacks, when very large data-sets must be encrypted/decrypted on a single machine. The proposed approach extends the existing solutions by providing two additional features: (1) the encryption can also be delegated to a pool of remote trusted computing resources, and (2) the definition of the encryption context which drives the tool to select the best strategy to process the data. The performance benchmarks are based on the results of tests carried out both on a local workstation and on the Grid INFN Laboratory for Dissemination Activities (GILDA) testbed. (shrink)

Informational self-determination refers to the right or ability of individuals to exercise personal control over the collection, use and disclosure of their personal data by others. The basis of modern privacy laws and practices around the world, informational privacy has become a challenging concept to protect and promote in a world of ubiquitous and unlimited data sharing and storage among organizations. The paper advocates a “user-centric” approach to managing personal data online. However, user-centricity can be problematic when the user—the data (...) subject—is not directly involved in transactions involving the disclosure, collection, processing, and storage of their personal data. Identity data is increasingly being generated, used and stored entirely in the networked “Cloud”, where it is under control of third parties. The paper explores possible technology solutions to ensure that individuals will be able to exercise informational self-determination in an era of network grid computing, exponential data creation, ubiquitous surveillance and rampant online fraud. The paper describes typical “Web 2.0” use scenarios, suggests some technology building blocks to protect and promote informational privacy online, and concludes with a call to develop a privacy-respective information technology ecosystem for identity management. Specifically, the paper outlines four fundamental technological approaches to help assure widespread and enduring online participation, confidence and trust in the information society. (shrink)

This poster presents results from applying agent-based modeling to an exploration of risk attitudes and rational decision making in the context of group interaction. We are also interested in the place of agent-based modeling and computational philosophy within the computational humanities. Computational philosophy has not typically been included in Digital Humanities; computational work has been done using philosophy texts as a source for analysis (Kinney 2022; Malaterre et al. 2021; Fletcher et al. 2021; Zahorec et al. 2022), but there are (...) few examples of philosophical arguments being made based on computation (Zahorec et al. 2022). Modeling is largely accepted as a computational humanist method (McCarty 2004; So 2022), but typically models are based on data rather than designed simulations as a method analogous to a thought experiment (Mayo-Wilson / Zollman 2021). Agent-based modeling is not as common in computational humanities, but we are interested in its potential; for instance, see work modeling correspondence networks to better understand lost information and biases in correspondence data sets (Buarque / Vogl 2023), or work simulating past human societies (Romanowska et al. 2021). Our project explores Lara Buchak’s theory of risk-weighted rational decision making by extending it to the context of group populations and interactions. Buchak has proposed risk-weighted expected utility maximization, which incorporates individual risk attitudes into the standard expected utility (EU) calculation based on utility and probability of outcomes (Buchak 2017). This theory provides an explanation for differences of behavior seen in human populations, while still allowing those different choices to be rational. Buchak’s theory has previously only been applied to individual decision making; our work uses agent-based modeling to develop and analyze simulations which incorporate a variety of risk attitudes (risk avoidance and risk seeking) into game theoretic interactions. This project is a collaboration between a philosopher and a research software engineer; we have worked together to develop simulations that implement agents with risk attitudes making risky choices. This presentation focuses on results from an implementation of a hawk/dove game with multiple risk attitudes and risk attitude adjustment. In the hawk/dove game cooperation, or playing dove, is better for the population, but acting aggressively, or playing hawk, is better for an individual if they are in a neighborhood of doves. To set up the game, we place agents on a grid and have them play against each of their neighbors, and accumulate payoffs based on the success of their plays. We define risk attitudes 0 through 9, where that number corresponds to the minimum number of neighbors playing dove for an agent to play hawk. An agent with risk attitude 0 is most risk seeking and always plays hawk; an agent with risk attitude 1 will play hawk if at least one neighbor plays dove; an agent with risk attitude 9 always takes the safe choice and plays dove; an agent with risk attitude 4 or 5 is risk neutral (breaking ties in different ways), which corresponds to expected utility. In this simulation we randomly set agent initial risk attitudes, and then every ten rounds agents compare their payoffs with their neighbors and adopt the most successful risk attitude in their neighborhood. The simulation is coded to stop once risk attitude adjustments stabilize. We define 13 different population states based on primary and second majority of risk averse, risk inclined, or risk moderate, and analysis of over 1 million runs indicate that while it’s more likely to stabilize with the population having become majority risk inclined, that is not the only outcome; we also see cases where the population stabilizes as risk neutral, risk avoidant, and many cases with no clear majority. This diversity of stable populations provides support for the argument that no one risk attitude is uniquely rational, but rather that risk attitudes are conventional. This matches what we observe in the real world: that different populations have different risk attitudes. Our simulations include numerous parameters to vary grid size; adjustment frequency, strategy, and wealth comparison; neighborhood sizes for observing previous choice, playing against, and comparing payoffs for adjusting risk attitudes; and different distributions for initializing risk attitudes. Analysis of parameters and adjusted risk attitudes shows that the strongest correlations are the initial distribution of risk attitudes, which tend to be preserved. * * * This poster was accepted and presented at the DH2024 conference in Washington, D.C. (shrink)

Book Description (Blurb): Cognitive Design for Artificial Minds explains the crucial role that human cognition research plays in the design and realization of artificial intelligence systems, illustrating the steps necessary for the design of artificial models of cognition. It bridges the gap between the theoretical, experimental and technological issues addressed in the context of AI of cognitive inspiration and computational cognitive science. -/- Beginning with an overview of the historical, methodological and technical issues in the field of Cognitively-Inspired Artificial Intelligence, (...) Lieto illustrates how the cognitive design approach has an important role to play in the development of intelligent AI technologies and plausible computational models of cognition. Introducing a unique perspective that draws upon Cybernetics and early AI principles, Lieto emphasizes the need for an equivalence between cognitive processes and implemented AI procedures, in order to realise biologically and cognitively inspired artificial minds. He also introduces the Minimal Cognitive Grid, a pragmatic method to rank the different degrees of biologically and cognitive accuracy of artificial systems in order project and predict their explanatory power with respect to the natural systems taken as source of inspiration. -/- Providing a comprehensive overview of cognitive design principles in constructing artificial minds, this text will be essential reading for students and researchers of artificial intelligence and cognitive science. (shrink)

Adaptive optics are techniques used for processing the spatial resolution of astronomical images taken from large ground-based telescopes. In this work, computational results are presented for a modified curvature sensor, the tomographic pupil image wavefront sensor, which measures the turbulence of the atmosphere, expressed in terms of an expansion over Zernike polynomials. Convolutional neural networks are presented as an alternative to the TPI-WFS reconstruction. This technique is a machine learning model of the family of artificial neural networks, which are widely (...) known for its performance as modeling and prediction technique in complex systems. Results obtained from the reconstruction of the networks are compared with the TPI-WFS reconstruction by estimating errors and optical measurements. The reconstructed wavefronts from both techniques are compared for wavefronts of 153 Zernike modes. For this case, a detailed comparison and grid search to find the most suitable neural network is performed, searching between multi-layer perceptron, CNN and recurrent networks topologies. In general, the best network was a CNN trained for TPI-WFS reconstruction, achieving better performance than the reconstruction software from TPI-WFS in most of the turbulent profiles, but the most significant improvements were found for higher turbulent profiles that have the lowest r0 values. (shrink)

In this article we will present the Conjoint Family Drawing, a graphic-interactive tool developed to evaluate family relationships. This tool allows an analytical and clinical evaluation of families and their relationships while facilitating the understanding of the overall family functioning through a synthetic coding system which distinguishes families from each other. First of all, a presentation of the analytical coding system is provided; such system consists of a grid, formed by two distinct levels of observation: the analysis of the (...) product, which, in turn focuses on two levels, the global-familiar one and the individual one, and the analysis of the drawing process, which is made up of the observations of family interactions at the individual and group level. Consistently with our objectives and the theoretical and methodological literature on family drawing in its various forms and ways of implementation, 10 indicators for product analysis and 9 indicators for process analysis have been identified. A sample of 117 Conjoint Family Drawings was analyzed in order to verify the coding system’s applicability and effectiveness. The sample was constituted according to a convenience criterion. Following, a computing system was developed to allow the investigation of the overall family functioning through three steps: the analysis of the frequency distribution of each indicator, in order to verify the non-determinability rates and the distribution of the different answer options; a two-step cluster analysis, to determine homogeneous groups of Conjoint Family Drawings and identify, within each cluster, the indicators and answer modalities that mostly affect the clusters’ aggregation itself; the development of a synthetic system to code the Conjoint Family Drawing, beginning with the indicators that define the typological profiles of the clusters obtained. The synthetic system was developed through a summative and logical-combinatorial method, merging the most discriminating and clinically significant coding items, that is, those that are best associable to specific ways of family functioning. Seven family types emerged from these analyses: families characterized by optimal functioning, families characterized by adequate functioning, families characterized by chaotic functioning, families characterized by fragile paternity, families characterized by separate functioning, families with multiproblematic functioning and residual families. The characteristics of these family types will be outlined in this article. (shrink)

Both scientists and children make important structural discoveries, yet their computational underpinnings are not well understood. Structure discovery has previously been formalized as probabilistic inference about the right structural form—where form could be a tree, ring, chain, grid, etc.. Although this approach can learn intuitive organizations, including a tree for animals and a ring for the color circle, it assumes a strong inductive bias that considers only these particular forms, and each form is explicitly provided as initial knowledge. Here (...) we introduce a new computational model of how organizing structure can be discovered, utilizing a broad hypothesis space with a preference for sparse connectivity. Given that the inductive bias is more general, the model's initial knowledge shows little qualitative resemblance to some of the discoveries it supports. As a consequence, the model can also learn complex structures for domains that lack intuitive description, as well as predict human property induction judgments without explicit structural forms. By allowing form to emerge from sparsity, our approach clarifies how both the richness and flexibility of human conceptual organization can coexist. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Hurricane Gloria LAWRENCE DUGAN A screaming northern gale flew past his wild words And slammed the sails, and pulled a wave toward heaven. —Aeneid, i.102–3 (Sarah Ruden, trans.) i. A phalanx of weather tools at the door, A shovel, an ice-pick, an umbrella, A new cane, leaning against each other, Plastic fabricated to resist storms, Reminds me of a storm I rode out years ago, The Nor’easter of 1985, (...) On the twenty-first floor of 5 Penn Center Across the street from where the Fox Theater Spread the bright wings of its marquee, folded Now forever, torn down, and then replaced With a glass-box not unlike the office I looked out of, watching the rain lashing Windows, tearing at the flags hung on poles On other buildings, solitary banners Left up as if to challenge the weather To do its worst, to refute the young storm Tearing northeast out of the Atlantic, Predicted only a few days before As a hurricane, that didn’t happen, But leaving the high-rise building nearly Deserted, with the ticker still running Across the wall; the market had opened Empty office or not, unoccupied Desks giving it that strange quietude Peculiar to such spaces, which the mind Expects to be filled, even while seeing Otherwise. arion 28.2 fall 2020 66 hurricane gloria I felt like a sailor for The only time in my life, stepping off The elevator at 21, and then Walking into the main hall and sensing The building swayed slighty, barely feeling It but knowing it distinctly, hearing It creak exactly as I had heard ships At sea in dozens of movies, and with The sound, the sway, the massive grid of pipes And beams giving and taking. jms Old timers hadn’t warned me about this Although some had ridden out several Storms as bad, real or metaphorical, Not even old Harris who remembered Moving down from Susquehanna county In ’29, to Wall Street and the Crash. ii. Future archaeologists of urban Storms will study pictures of umbrellas Taking flight, wrecked synthetic shapes blooming Against resistant hands, then abandoned, Stuffed into trash cans, twirling down alleys, Pastels, stripes or old-fashioned banker-black, The edge of the story, the windy street’s Last rebuke to those daring to stagger To lunch but caught in the nor’easterly Gale’s grey wall of wind and rain that rattled Doors and buckled windows. The building held Two dozen companies, and I still like To think one fronted for an anchorite, Some isolated individual Up on 24, alone at his desk In a skyscraper office for ten years Praying, sometimes looking down the cliff walls At the peregrine falcons sweeping home Lawrence Dugan 67 To their massive nest stuffed tight in the bronze Lap of a statue seated on City Hall, One of the allegories of Founders And Lenape chiefs placed high over Broad, The hawks diving downward athwart the storm Coming on in grey curtains wavering Over the city and the Delaware Valley. Across the river in Jersey The pines begin, in Camden the street dirt Is sand; halfway to the shore the forest Runs above the expressway, farms below, The pines flourishing in sandy barren Earth lacking nitrogen, incinerating Every dozen years, thousands of acres Blowing away in flames seen at the shore. After that rain those woods were safe for weeks. iii. Ten years and two jobs later I needed Census material and found it online On a rainy day in Center City In a high-rise office nearby, a halfDay ’s work done to my surprise in only Twenty minutes, then realizing as I Stood up from a computer that the view Was familiar. I was back on 21 In my old office; jms had moved But the grey sky cleared with a sweep of wind And the view north and south looked as before Wherever the market’s ticker-tape rolled now. The weather had surprised me again; The only full rainbow I ever saw, The ancient sign that spares the world from floods, A pure unblemished iridescent span, Appeared late in spring, in a sun shower.... (shrink)

The greatest challenge for Cultural Selection Theory, which holds that Darwinian natural selection contributes to cultural evolution, lies is the paucity of evidence for structural mechanisms in cultural systems that are sufficient for adaptation by natural selection. In part, clarification is required with respect to the interaction between cultural systems and their purported selective environments. Edmonds, Hull, and others have argued that Cultural Selection Theory requires simple, conclusive, unambiguous case studies in order to meet this challenge. To this end, I (...) am employing the songs of the Rufous-collared Sparrow, which seem to exhibit cultural adaptations that minimize signal degradation relative to local environments (Handford, et al.). Specifically, the more forested the habitat, the more the tail end of the song resembles a whistle rather than a trill; yet, variation in song is uncorrelated with genetic variation. I explore the mechanisms responsible for these putative acoustic adaptations through a series of computer simulations. I modify the framework of Alexander and Skyrms’ ‘Bargaining with Neighbours’: this dynamic evolutionary game theoretic framework is well-suited for my investigation because the local interactions between agents provide a basis for modeling song transmission from adults to fledglings. In the simplest version of the model, each bird adopts one of two song types – trill or whistle – and sings that song type for the duration of its life. These song strategies are communicated to other birds in neighboring territories, which are arranged as a grid composed of two acoustic habitats (forest and field). Birds have a set probability of dying in each year, and deceased birds are succeeded by fledglings. The likelihood that a fledgling adopts a particular song type depends on (i) the popularity of a particular song-type among neighboring birds and (ii) the relative ‘audibility’ of each signal, which is a joint function of the habitat and song type of the signaling bird. The main point of this research is not to test this model, but to demonstrate that models of this type have the resources to meet the outstanding challenges in Cultural Selection Theory. The benefits of this research are threefold. First, it will lend much needed empirical support to Cultural Selection Theory by clarifying the nature of the interaction between culture and environment. Second, it will support Alexander and Skyrms’ work by providing a set of empirically testable consequences for their model. Finally, it will contribute to evolutionary theory by clarifying the scope and limits of adaptation by natural selection. (shrink)

Successfully explaining and replicating the complexity and generality of human and animal learning will require the integration of a variety of learning mechanisms. Here, we introduce a computational model which integrates associative learning (AL) and reinforcement learning (RL). We contrast the integrated model with standalone AL and RL models in three simulation studies. First, a synthetic grid‐navigation task is employed to highlight performance advantages for the integrated model in an environment where the reward structure is both diverse and dynamic. (...) The second and third simulations contrast the performances of the three models in behavioral experiments, demonstrating advantages for the integrated model in accounting for behavioral data. (shrink)

Children of school age routinely gamer information from the Web-sites and homepages of the World Wide Web (WWW). For the foreseeable future increasing numbers of children will be doing more and more of this. These children will generally be in classrooms for much of the time, although their school-based learning will be supplemented by the use of home computers. The content and quality of information gathered by children will continue to be circumscribed by the demands of the curriculum and by (...) the parameters and guidelines provided by for example anti-pornography filtering software or, more positively, the National Grid for Learning.1 For the foreseeable future too, teachers will remain in a position to enable, guide and regulate children’s Internet use. It is and will be the job of teachers to help children to employ the resources of the WWW in order to become well informed, and to help them to reflect intelligently on the structures and processes involved, and on the significance of their learning to wider human concerns. But what specifically do children learn from using the WWW? Furthermore, is it possible that using the WWW and reflecting on the engagement with it could provide an opportunity for children to learn something new and significant? If so, what is it, and what is the role of teachers in this learning? (shrink)

Psychophysical experiments have demonstrated large and highly systematic perceptual distortions of tactile space. Such a space can be referred to our experience of the spatial organisation of objects, at representational level, through touch, in analogy with the familiar concept of visual space. We investigated the neural basis of tactile space by analysing activity patterns induced by tactile stimulation of nine points on a 3 × 3 square grid on the hand dorsum using functional magnetic resonance imaging. We used a (...) searchlight approach within pre-defined regions of interests to compute the pairwise Euclidean distances between the activity patterns elicited by tactile stimulation. Then, we used multidimensional scaling to reconstruct tactile space at the neural level and compare it with skin space at the perceptual level. Our reconstructions of the shape of skin space in contralateral primary somatosensory and motor cortices reveal that it is distorted in a way that matches the perceptual shape of skin space. This suggests that early sensorimotor areas critically contribute to the distorted internal representation of tactile space on the hand dorsum. (shrink)

Cardiovascular modelling has been a major research subject for the last decade. Different cardiac models have been developed at a cellular level as well as at the whole organ level. Most of these models are defined by a comprehensive cellular modelling using continuous formalisms or by a tissue-level modelling often based on discrete formalisms. Nevertheless, both views still suffer from difficulties that reduce their clinical applications: the first approach requires heavy computational resources while the second one is not able to (...) reproduce certain pathologies.This paper presents an original methodology trying to gather advantages from both approaches, by means of a hybrid model mixing discrete and continuous formalisms. This method has been applied to define a hybrid model of cardiac action potential propagation on a 2D grid of endocardial cells, combining cellular automata and a set of cells defined by the Beeler-Reuter model. For simulations under physiological and ischemic conditions, results show that the action potential propagation as well as electrogram reconstructions are consistent with clinical diagnosis. Finally, the advantage of the proposed approach is discussed within the frame of cardiac modelling and simulation. (shrink)

The continuous development of information communication technology facilitates the conventional grid in transforming into an automated modern system. Internet-of-Things solutions are used along with the evolving services of end-users to the electricity service provider for smart grid applications. In terms of various devices and machine integration, adequate authentication is the key to an accurate source and destination in advanced metering infrastructure (AMI). Various protocols are deployed to lead the identification between two parties, which require high computation time and (...) communicational bit operations for system development. Therefore, Kerberos-based authentication protocols were designed in this study with the assistance of elliptic curve cryptography to manage the mutual authentication between two parties and reduce the time and bit operations. The protocols were evaluated in a widely adopted tool, AVISPA, which builds an understanding of the proposed protocol and ensures mutual authentication without unauthorized knowledge. In addition, upon comparing security and performance assessments to the current schemes, it was found that the protocol in this study required less time and bits to transmit information. Consequently, it effectively provides multiple security features making it suitable for resource constraint smart meters in AMI. (shrink)

ArgumentRecent studies of patents have argued that the very materiality and techniques of legal media, such as the written patent document, are vital for the legal construction of a patentable invention. Developing the centrality placed on patent documents further, it becomes important to understand how these documents are ordered and mobilized. Patent classification answers the necessity of making the virtual nature of textual claims practicable by linking written inscription to bureaucracy. Here, the epistemological organization of documents overlaps with the (...) class='Hi'>grid of patent administration. How are scientific inventions represented in such a process? If we examine the process of creating a new patent category within the International Patent Classification (IPC), it becomes clear that disagreements about the substance of the novel inventive subject matter have been resolved by computer simulations of patent documents in draft classifications. The practical needs of patent examiners were the most important concerns in the making of a new category. Such a lack of epistemological mediation between the scientific and legal identities of an invention depicts a legal understanding that science is already inside patent law. From an internal legal perspective, the self-referential introduction of the new patent category may make practical sense; however it becomes problematic from a technological and scientific standpoint as the remit of the patent classification also affects other social contexts and 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)

A sector is a basic unit of airspace whose operation is managed by air traffic controllers. The operation complexity of a sector plays an important role in air traffic management system, such as airspace reconfiguration, air traffic flow management, and allocation of air traffic controller resources. Therefore, accurate evaluation of the sector operation complexity is crucial. Considering there are numerous factors that can influence SOC, researchers have proposed several machine learning methods recently to evaluate SOC by mining the relationship between (...) factors and complexity. However, existing studies rely on hand-crafted factors, which are computationally difficult, specialized background required, and may limit the evaluation performance of the model. To overcome these problems, this paper for the first time proposes an end-to-end SOC learning framework based on deep convolutional neural network specifically for free of hand-crafted factors environment. A new data representation, i.e., multichannel traffic scenario image, is proposed to represent the overall air traffic scenario. A MTSI is generated by splitting the airspace into a two-dimension grid map and filled with navigation information. Motivated by the applications of deep learning network, the specific CNN model is introduced to automatically extract high-level traffic features from MTSIs and learn the SOC pattern. Thus, the model input is determined by combining multiple image channels composed of air traffic information, which are used to describe the traffic scenario. The model output is SOC levels for the target sector. The experimental results using a real dataset from the Guangzhou airspace sector in China show that our model can effectively extract traffic complexity information from MTSIs and achieve promising performance than traditional machine learning methods. In practice, our work can be flexibly and conveniently applied to SOC evaluation without the additional calculation of hand-crafted factors. (shrink)

We examined the neural basis of tactile distance perception by analyzing activity patterns induced by tactile stimulation of nine points on a 3 x 3 square grid on the hand dorsum using functional magnetic resonance (fMRI). We used a searchlight approach within pre-defined regions of interests (ROIs) to compute the pairwise Euclidean distances between the activity patterns elicited by tactile stimulation. Then, we used multidimensional scaling (MDS) to reconstruct skin space at the neural level and compare it with skin (...) space at the perceptual level. Our reconstructions of the shape of skin space in contralateral primary somatosensory (SI) and motor (M1) cortices reveal that it is distorted in a way that matches the perceptual shape of skin space. This suggests that early sensorimotor areas are critical to processing tactile distance perception. (shrink)

Reinforcement Learning is a promising technique for creating agents that can be applied to real world problems. The most important features of RL are trial-and-error search and delayed reward. Thus, agents randomly act in the early learning stage. However, such random actions are impractical for real world problems. This paper presents a novel model of RL agents. A feature of our learning agent model is to integrate the Analytic Hierarchy Process into the standard RL agent model, which consists of three (...) modules: state recognition, learning, and action selecting modules. In our model, the AHP module is designed with {\\it primary knowledge} that humans intrinsically have in a process until a goal state is attained. This integration aims at increasing promising actions instead of completely random actions in the standard RL algorithms. Profit Sharing is adopted as a RL method for our model, since PS is known to be useful even in multi-agent environments. To evaluate our approach in a multi-agent environment, we test a PS RL method with our agent model on a pursuit problem in a grid world. Computational results show that our approach outperforms the standard PS in terms of learning speed in the earlier stages of learning. We also show that the learning performance of our approach is superior at least competitive to that of the standard one in the final stages of learning. (shrink)

The study of spatial cognition has provided considerable insight into how animals (including humans) navigate on the horizontal plane. However, the real world is three-dimensional, having a complex topography including both horizontal and vertical features, which presents additional challenges for representation and navigation. The present article reviews the emerging behavioral and neurobiological literature on spatial cognition in non-horizontal environments. We suggest that three-dimensional spaces are represented in a quasi-planar fashion, with space in the plane of locomotion being computed separately and (...) represented differently from space in the orthogonal axis bicoded.” We argue that the mammalian spatial representation in surface-travelling animals comprises a mosaic of these locally planar fragments, rather than a fully integrated volumetric map. More generally, this may be true even for species that can move freely in all three dimensions, such as birds and fish. We outline the evidence supporting this view, together with the adaptive advantages of such a scheme. (shrink)

Pila (2009) has criticised the recommendations made by requirements engineers involved in the design of a grid technology for the support of distributed readings of mammograms made by Jirotka et al. (2005). The disagreement between them turns on the notion of “biographical familiarity” and whether it can be a sound basis for trust for the performances of professionals such as radiologists. In the first two sections, this paper gives an interpretation of the position of each side in this disagreement (...) and their recommendation for the design of technology for distributed reading, and in the third the underlying reasons for this is agreement are discussed. It is argued that Pila, in attempting to make room for mistrust as well as trust, brings to the fore the question of having and reflecting upon reasons for trust or mistrust. Pila holds that biographical familiarity is not a sound reason for trust/mistrust, as it seems to obliterate the possibility of mistrust. In response to her proposal, an analysis is proposed of the forms of trust involved in biographical familiarity. In particular, implicit trust is focused upon — as a form of trust in advance of reasons, and as a form of trust contained (in the logical sense) within other reasons. It is proposed that implicit trust has an important role in establishing an intersubjectively shared world in which what counts as a reason for the acceptability of performances such as readings of X-rays is established. Implicit trust, therefore, is necessary for professionals to enter into a “space of reasons”. To insist upon judgements made in the absence of the form of implicit trust at play in biographical familiarity is to demand that radiologists (and other relevantly similar professionals) make judgements regarding whether to trust or mistrust on the basis of reasons capable of being reflected upon, but at the same time leave them without reasons upon which to reflect. (shrink)

This paper explores the intersections between national identity and the production of medical/population genomics in Mexico. The ongoing efforts to construct a Haplotype Map of Mexican genetic diversity offers a unique opportunity to illustrate and analyze the exchange between the historic-political narratives of nationalism, and the material culture of genomic science. Haplotypes are central actants in the search for medically significant SNP’s (single nucleotide polymorphisms), as well as powerful entities involved in the delimitation of ancestry, temporality and variability ( www.hapmap.org (...) ). By following the circulation of Haplotypes, light is shed on the alignments and discordances between socio-historical and bio-molecular mappings. The analysis is centred on the comparison between the genomic construction of time and ethnicity in the laboratory (through participant observation), and on the public mobilisation of a “Mexican Genome” and its wider political implications. Even though both: the scientific practice and the public discourse on medical/population genomics are traversed by notions of “admixture”, there are important distinctions to be made. In the public realm, the nationalist post-revolutionary ideas of Jose Vasconcelos, as expressed in his Cosmic Race ( 1925 ), still hold sway in the social imaginary. In contrast, admixture is treated as a complex, relative and probabilistic notion in laboratory practices. I argue that the relation between medical/population genomics and national identity is better understood as a process of re-articulation (Fullwiley Social Studies of Science 38:695, 2008 ), rather than coproduction (Reardon 2005 ) of social and natural orders. The evolving process of re-articulation conceals the novelty of medical/population genomics, aligning scientific facts in order to fit the temporal and ethnic grids of “Mestizaje”. But it is precisely the social and political work, that matches the emerging field of population genomics to the pre-existing projects of national identity, what is most revealing in order to understand the multiple and even subtle ways in which population genomics challenges the historical and identitarian frames of a “Mestizo” nation. (shrink)

In the early 1950s at the Institute for Advanced Study in Princeton, New Jersey, the canonical digital computer was created by John von Neumann. One of the first scientific applications written for this machine was a simulation of numerical symbioorganisms, a prototypical artificial life environment authored by researcher Nils Barricelli. In the decades since, computers have increasingly been used as tools to tackle major questions in biology, including the process of evolution and, more recently, the origins of life itself. Richard (...) Gordon, co-editor of the 2008 volume Divine Intervention and Natural Action posed a challenge to a new generation of artificial life programmers to cast off the temptation to intelligently design simple virtual organisms and go to the root of the matter by creating an origin of (artificial) life. Bruce Damer is answering this challenge with his proposed Evolution Grid (or EvoGrid) project which would assemble the elements of a primordial digital soup within which self-organization, replication and, eventually, an origin of virtual life might be observed. (shrink)

The authors propose a nested dissection approach to finding a fundamental cycle basis in a planar graph. The cycle basis corresponds to a fundamental null-space basis of the adjacency matrix. This problem is meant to model sparse null-space basis computations occurring in a variety of settings. An O(n3/2) bound is achieved on the nullspace basis size (i.e., the number of nonzero entries in the basis), and an O(n log n) bound on the size in the special case of grid (...) graphs. (shrink)

The true form of the seasonal-hour sundial, in both vertical and horizontal planes, has been calculated by spherical trigonometry and displayed with the aid of computer graphics. These grids are presented, and show that the hour lines are in fact shallow curves at sites not on the equator. The curvature becomes very apparent at latitudes exceeding 50°. The true seasonal-hour pattern for a vertical dial at a latitude of 52·6°N is compared with the equiangular scratch dial.

In lieu of an abstract, here is a brief excerpt of the content:Complex Mimetic SystemsHans Weigand (bio)The goal of science is to make the wonderful and complex understandable and simple—but not less wonderful.—Herb Simon, The Sciences of the Artificial11. IntroductionComplex systems theory stands for an approach in the social as well as natural and computational sciences that studies how interactions between parts give rise to collective behaviors of a system, and how the system interacts and forms relationships with its environment. (...) A typical example is the market economy, in which the order is emergent: it is the result of human action, but not the execution of any human design.2 Complex systems theory is currently a popular vehicle for understanding the complexities of the Internet; other examples of its application are as diverse as the stock market, ant colonies, epidemics, and the spread of business innovations. The focus in this article is on modeling social systems rather than physical or biological phenomena. [End Page 63]The mimetic theory developed by René Girard fits well with a systems perspective, as it has specific ideas about the drivers of human action (at the micro level) and cultural processes (at the macro level). The relationship has been explored earlier in several books and articles;3 in particular, in the work of the Centre de Recherche en Epistémologie Appliquée (CREA) in Paris. The systems perspective received a new stimulus in the 1990s in the form of complex adaptive systems (CAS),4 not least because of the agent-based computer simulations adopted at that time. The objective of this article is to introduce a special version of CAS, called complex mimetic systems (CMS), which builds on mimetic theory. The purpose of this article is twofold. On the one hand, the phrasing of mimetic theory in terms of CMS poses an interesting challenge to the theory to formalize its concepts and explicate possible limitations. On the other hand, CMS might be a useful contribution to the CAS field, as it incorporates concepts such as “social influence” that are very basic to but typically not spelled out in current CAS work.The structure of this article is as follows. In section 2, I briefly review the CAS literature and introduce the idea of complex mimetic systems. Section 3 describes a straw-man agent architecture for CMS, whereas in section 4, I move to the macro level and formalize the culture reproduction cycle. To illustrate the applicability of the CMS framework, I discuss in section 5 Ingo Piepers’s recent CAS analysis of the European international system in the period 1490–1945, and comment on it from a CMS perspective.2. Complex Mimetic SystemsThe characteristic features of complex systems are as follows:• Nonlinear effects: a small perturbation may have a large effect.• Feedback loops: the effects of an element’s behavior are fed back to it in some way. The feedback can be positive (amplification, runaway) or negative (damping).• Openness: a typical complex system interacts with its environment.• Memory: the history of a complex system may be important. Prior states may have an influence on present states.• Nesting, hierarchy: a complex system may itself be an element of a larger complex system. For example, clans in a tribal society, nation-states in an international system, or divisions in a company. [End Page 64]• Topology: the interactions of the elements are enabled and constrained by the network, or grid, of relationships between them.Complex Adaptive SystemsComplex adaptive systems (CAS) are a modern variant of complex systems theory. The elements of a complex adaptive system are called agents, as CAS builds on computational research in the field of multiagent systems.5 Although there is not much difference in the overall objectives, the use of agent simulation opens up interesting research opportunities. Let me clarify this by means of an introductory example given by Miller and Page, the standing ovation problem.6Standing ovations, in which waves of audience members stand up to express their particular appreciation of a performance, usually arise and evolve spontaneously. Suppose that we want to model this phenomenon. A starting point could be a simple mathematical model in which we distinguish N people, each receiving a signal... (shrink)

This paper conducts an evaluative study on the rehabilitation of limb motor function by using a microsensor information flow gain algorithm and investigates the surface electromyography signals of the upper limb during rehabilitation training. The surface EMG signals contain a large amount of limb movement information. By analysing and processing the surface EMG signals, we can grasp the human muscle movement state and identify the human upper limb movement intention. The EMG signals were processed by the trap and filter combination (...) denoising method and wavelet denoising method, respectively, the signal-to-noise ratio was used to evaluate the noise reduction effect, and finally, the wavelet denoising method with a better noise reduction effect was selected to process all the EMG signals. After the noise is removed, the signal is extracted in the time domain and frequency domain, and the root mean square, absolute mean, median frequency in the time domain, and average power frequency in the frequency domain are selected and input to the classifier for pattern recognition. The support vector machine is used to classify the myoelectric signals and optimize the parameters in the support vector machine using the grid search method and particle swarm optimization algorithm and classify the test samples using the trained support vector machine. Compared with the classification results of the grid search optimized support vector machine, the optimized vector machine has a 7% higher recognition rate, reaching 85%. The action recognition classification method of myoelectric signals is combined with an upper limb rehabilitation training platform to verify the feasibility of using myoelectric signals for rehabilitation training. After the classifier recognizes the upper limb movements, the upper computer sends movement commands to the controller to make the rehabilitation platform move according to the recognition results, and finally, the movement execution accuracy of the rehabilitation platform reaches 80% on average. (shrink)

A 10 kHz pulsed X-ray generator utilising a hot-cathode triode in conjunction with a new type of grid control device for controlling X-ray duration is described. The energy-storage condenser was charged up to 70 kV by a power supply, and the electric charges in the condenser were discharged to the X-ray tube repetitively by the grid control device. The maximum values of the grid voltage, the tube voltage, and the tube current were −1.5 kV, 70 kV, and (...) 0.4 A, respectively. The duration of the flash X-ray pulse was primarily determined by the time constant of the grid control device and the cut-off voltage of thermoelectrons. The X-ray duration was controlled within a region of less than 1 ms; the X-ray intensity with a pulse width of 0.27 ms, a charged voltage of 70 kV, and a peak tube current of 0.4 A was 0.92 μC kg −1 at 0.5 m per pulse. The maximum repetition rate was about 10 kHz, and the size of the focal spot was about 3.5×3.5 mm. (shrink)

We propose a new account of vagueness and approximation in terms of the theory of granular partitions. We distinguish different kinds of crisp and non-crisp granular partitions and we describe the relations between them, concentrating especially on spatial examples. We describe the practice whereby subjects use regular grid-like reference partitions as a means for tempering the vagueness of their judgments, and we demonstrate how the theory of reference partitions can yield a natural account of this practice, which is referred (...) to in the literature as ‘approximation’. (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)

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)