A graphic means of representing deductive proofs in a sentential system of symbolic logic is presented. Proof construction is characterized as a domain of the cognitive theory of problem solving, and three different interface designs for supporting the working backwards method of proof construction are demonstrated. Following a description of the rule set and the working backwards method, an analysis is given of student performance data that has guided interface development during the past two years. One interface design is shown (...) to be superior to the others in respect to working backwards. Finally, some general conclusions are drawn concerning the relevance of instructional programs for empirically documenting student difficulties and for improving interface designs. (shrink)

RCLIB is a 2-D graphical interface package available as an addition to the Poplog software development system. "RC" stands for "Relative Coordinates": all the graphical commands are relative to a frame of reference, which can be changed without altering the commands, making it easy to draw the same thing in different parts of a display, using different sizes or orientations, and possibly stretched or sheared.

Lab VIEW is frameworks designing programming for applications that require test, estimation, and control with fast access to equipment and information experiences. Lab VIEW By National Instruments is very good graphical programming tool for Engineers. Lab VIEW can be interface may peripheral devices for getting data from surrounding, different type of sensors and other hardware. In this Paper we are showing interfacing of PLC to Lab VIEW software for our application.

ABSTRACT Real-time graphical interval logic is a modal logic for reasoning about time in which the basic modality is the interval. The logic differs from other logics in that it has a natural intuitive graphical representation that resembles the timing diagrams drawn by system designers. We have developed an automted deduction system for the logic, which includes a theorem prover and a user interface. The theorem prover checks the validity of proofs in the logic and produces counterexamples to (...) invalid proofs. The user interface includes a graphical editor that enables the user to create graphical formulas on a workstation display, and a database and proof manager that tracks proof dependencies and allows graphical formulas to be stored and retrieved. In this paper we describe the logic, the automated deduction system, and an application to robotics. (shrink)

PurposeThe purpose of this paper is to show how both the presentation and limitation of visual choices in massively multiplayer online role‐playing games (MMORPG) avatar creation interfaces tends to exclude or favor different real life social groups.Design/methodology/approachA novel method combining both quantitative and critical analysis of the syntagmatic‐paradigmatic structure of MMORPG avatar creation interfaces is used to inform the findings of this study.FindingsThis study concludes that as cultural interfaces, current fantasy themed MMORPGs remediate socially exclusive values both (...) from fantasy literature and from their own game lore. The socially exclusive values deal largely with extreme and immutable racial and sexual dimorphism.Research limitations/implicationsInterfaces which present users with color palettes and/or smooth slider‐based body modifiers do not lend themselves well to this method of analysis. In addition to this, only a handful of the popular MMORPGs are analyzed within the body of this work.Practical implicationsThis paper demonstrates that MMORPG players and designers need to be more aware about how they are constructing and embedding social values in their worlds. Avatars are critical conduits for online social dynamics and embedding socially exclusive values may transfer negative ideologies from old media to new.Originality/valueThis paper offers one of the earliest critiques of embedded values in avatar creation interfaces of MMORPGs. The paper aims to begin discussion on an overlooked area of now popular media that has not received any critical attention regarding its embedded messages of social inclusiveness or exclusiveness. (shrink)

Smart homes create a beneficial environment for the lives of elderly people and enhance the quality of their home lives. This study aims to explore the design of age-friendly interfaces that can meet the emotional needs of self-care elderly people from the perspective of functional realization of the operating interface. Sixteen elderly users aged fifty-five and above were selected as subjects with healthy eyes and no excessive drooping eyelids to obscure them. Four representative age-friendly applications with different interface designs (...) were selected from the Android application market as the stimulus material for the experiment, and a total of fifteen pages were browsed independently. During the experiment, the ErgoLAB human-computer environment synchronization cloud platform was used to monitor and record the subjects' multidimensional physiological indicators of eye movements, skin electricity, and heart rate variability when using different styles of mobile application interfaces. Combined with the post-experimental PAD emotion scale data, the preferences of emotional interface design elements of the self-care elderly were analyzed to guide the subsequent design practice. The results show that: on the layout characteristics of the home page, a simple and intuitive multi-column layout or card layout combined with a bottom navigation bar type main navigation is used; on the choice of the main color, a single color with low saturation is used as the main color, with high saturation color accents to play a role in highlighting key information; on the information density of the home page, a moderate proportion of graphics and text is adopted, with low information density; on the arrangement of the page content, they try to give priority to information content with high user relevance. (shrink)

Recommender systems are recently developed computer-assisted tools that support social and informational needs of various communities and help users exploit huge amounts of data for making optimal decisions. In this study, we present a new recommender system for assessment and risk prediction in child welfare institutions in Israel. The system exploits a large diachronic repository of manually completed questionnaires on functioning of welfare institutions and proposes two different rule-based computational models. The system accepts users’ requests via a simple graphical (...) interface, calculates the institutions’ profiles according to user preferences, and presents assessment scores, trends and comparative analyses of the corresponding data using assorted visual aids. Based on the analysis, the system offers three different strategies for objective assessment of the institutions’ functioning and risks. Qualitative and quantitative evaluation of the system’s effectiveness and accuracy demonstrates that it substantially improves the assessment process of a welfare institution. Moreover, it provides an effective tool for objective large-scale analysis of the institution’s overall state and trends, which were previously based primarily on the institution supervisors’ subjective judgment and intuition. In addition, the proposed recommender system has great practical and social impact as it may help identify and avert potential problems, malfunctions, flaws, risks and even tragic incidents in child welfare institutions, as well as increase their overall functioning levels. As a result, as a long-term social implication, the system may also help reduce inequality and social gaps in the Israeli society. (shrink)

We present a cut-free tableau calculus with histories and variables for the EXPTIME-complete multi-modal logic of common knowledge. Our calculus constructs the tableau using only one pass, so proof-search for testing theoremhood of ϕ does not exhibit the worst-case EXPTIME-behaviour for all ϕ as in two-pass methods. Our calculus also does not contain a “finitized ω-rule” so that it detects cyclic branches as soon as they arise rather than by worst-case exponential branching with respect to the size of ϕ. Moreover, (...) by retaining the rooted-tree form from traditional tableaux, our calculus becomes amenable to the vast array of optimisation techniques which have proved essential for “practical” automated reasoning in very expressive description logics. Our calculus forms the basis for developing a uniform framework for the family of all fix-point logics of common knowledge. However, there is still no “free lunch” as, in the worst case, our method exhibits 2EXPTIME-behaviour. A prototype implementation can be found at twb.rsise.anu.edu.au which allows users to test formulae via a simple graphical interface. (shrink)

To make the interface design of computer application system better, meet the psychological and emotional needs of users, and be more humanized, the emotional factor is increasingly valued by interface designers. In the design of human-computer interaction graphical interfaces, the designer attaches great importance to the emotional design of the interface, and enhances the humanized design of the interface, which cannot only improve the comfort of the interface, but also improve the fun of the interface, to ensure the (...) psychological and emotional needs of users can be better satisfied. It may acquire information that is favorable to innovative design by utilizing cluster analysis algorithm to tackle the problem of complicated cultural information, and then utilize cellular genetic algorithm to carry out creative design of cultural items. It increases the availability of cultural and creative goods. The classic cluster analysis technique offers the maximum data clustering effect of 53.3%, according to the findings of this paper’s experiments. While the improved cluster analysis algorithm has the highest data clustering effect of 90%. It can be seen that the improved cluster analysis algorithm can effectively perform cluster analysis on a large amount of data in cultural and creative products. It thus finds out the most suitable designer’s creative information, which helps designers create better products. (shrink)

Legal contracts and litigation documents common to the American legal system were encoded in the eXtensible Markup Language (XML). XML also represents rules about the contracts and litigation procedure. In addition to an expert system tool that allows one to make inferences with that engine, a Graphical User Interface (GUI) generates the XML representing the rules. A rulebase is developed by marking up examples of the XML to be interpreted and the XML to be generated, analogously to Query By (...) Example. This article provides a broader context of the synergy between XML and artificial intelligence by including discussions of: (1) the role of Artificial Intelligence in handling routine litigation; (2) how the use of XML enables legal expert systems to get their `input' without the user having to enter the same information again for the expert system;(3) the advantages of XML markup over other forms of markup for documents; (4) the relationship between XML and ontologies; (5) other projects using XML with rules or legal affairs. (shrink)

Drawing on field data gathered from 1994 to 1996, this article considers tensions in the development of community networks and highlights the decisions that shape particular types of networks. Four key decision points include interface choice, content, interaction, and outreach. Discourse about decision making is often dichotomized around civic and consumer social currents. Civic currents demand text-only interfaces, exclusively non- profit content, full electronic interaction capabilities for everyone, and deep outreach efforts. In contrast, consumer currents push graphical (...) class='Hi'>interfaces, the inclusion of profit-making content, limited interaction options, and meso to shallow outreach. While considering the influences of these currents, the article problematizes the dichotomy and considers more specific social influences on decision making. It also suggests specific network decisions that may contribute to greater communications equity. (shrink)

In this paper we focus on theorem proving for conditional logics. First, we give a detailed description of CondLean, a theorem prover for some standard conditional logics. CondLean is a SICStus Prolog implementation of some labeled sequent calculi for conditional logics recently introduced. It is inspired to the so called “lean” methodology, even if it does not fit this style in a rigorous manner. CondLean also comprises a graphical interface written in Java. Furthermore, we introduce a goal-directed proof search (...) mechanism, derived from the above mentioned sequent calculi based on the notion of uniform proofs. Finally, we describe GOALDUCK, a simple SICStus Prolog implementation of the goal-directed calculus mentioned here above. Both the programs CondLean and GOALDUCK, together with their source code, are available for free download at. (shrink)

In recent years, several Vygotskian computer-based learning activities (VCBLAs) were designed in the context of (mathematics) education and implemented on Moodle platform. However, Moodle does not allow users to visualize all chats on a single browser page, and they are forced to open multiple browser windows and switch among them very frequently. This paper describes the features of a plugin for Moodle, called “Quick Chat,” which allows to manage in a single browser window both the narrative flow of a VCBLA (...) and all chats. Some results of an experimentation with PhD students, engaged in solving two mathematical tasks, are shown. (shrink)

Graphical AbstractDeep learning, data management, automated processing, virtualisation, clustering and cloud computing should be part of the lexicon of biomedical researchers. In article number 1900004, Germán González and Conor L. Evans show that these techniques can be used to turn large amounts of data into actionable insights. The authors apply them to generate an automated image analysis pipeline that performs cell detection, cell analysis, offers a quality control interface and fi nally aggregates the data to draw conclusions, Biomedical Image (...) Processing with Containers and Deep Learning: An Automated Analysis Pipeline DOI: 10.1002/bies.201900004. (shrink)

Graphical AbstractWe can, for example, understand intimately how the human endocrine systems works, and likewise the chemical nature of compounds present in our environment; but the result of the interaction cannot be deduced from any simple combination of the two knowledge sets: it's not the interacting entities that we should be studying, but the process that creates the phenomena that we witness as a result of this interaction. This is the “biodynamic interface” to which Manish Arora, Alessandro Giuliani and (...) Paul Curtin refer in their article in this issue, and it is a conceptual structure that comes into being upon interaction of entities: a new way to study interactions in complex systems and better understand emergent phenomena. (shrink)

Skilled cooperative action means being able to understand the communicative situation and know how and when to respond appropriately for the purpose at hand. This skill is of the performance of knowledge in co-action and is a form of social intelligence for sustainable interaction. Social intelligence, here, denotes the ability of actors and agents to manage their relationships with each other. Within an environment we have people, tools, artefacts and technologies that we engage with. Let us consider all of these (...) as dynamic representations of knowledge. When this knowledge becomes enacted, i.e., when we understand how to use it to communicate effectively, such that it becomes invisible to us, it becomes knowledge in co-action. A challenge of social intelligence design is to create mediating interfaces that can become invisible to us, i.e., as an extension of ourselves. In this paper, we present a study of the way people use surfaces that afford graphical interaction, in collaborative design tasks, in order to inform the design of intelligent user interfaces. This is a descriptive study rather than a usability study, to explore how size, orientation and horizontal and vertical positioning, influences the functionality of the surface in a collaborative setting. (shrink)

Real-time computer graphics and complex sensory input challenge past assumptions of highly constrained metaphors based on static imagery. Access to research and gaming interfaces have popularized the understanding of tracking technologies that tailor interaction to ambulatory displacement and dexterous handling of objects, expanding the realm of metaphors from visual to physical phenomena. But behaviour and the mind have been studied far before there were real-time computer graphics or digitally created synthetic environments. Dynamic relationships between environment, body and thought are (...) being dissected today by neuro-scientific research, and, conversely, synthetic environments are being utilized to address psychological disorders. This article examines research on scientific and philosophical fields that advance the definition of representation, from an image-based realm as limited by previous popular media to an understanding of action and immersion, where attention is activated by change, and rooted in the body. From this perspective, the advent of embodied representation may not be as much of a change of medium, but the perceptual relation with the medium, the medium being a created Umwelt, where the virtual world builds the mind through the body. (shrink)

The question “How can humans learn efficiently to make decisions in a complex, dynamic, and uncertain environment” is still a very open question. We investigate what effects arise when feedback is given in a computer-simulated microworld that is controlled by participants. This has a direct impact on training simulators that are already in standard use in many professions, e.g., for flight simulators for pilots, and a potential impact on a better understanding of human decision making in general. Our study is (...) based on a benchmark microworld with an economic framing, the IWR Tailorshop. N=94 participants played four rounds of the microworld, each 10 months, via a web interface. We propose a new approach to quantify performance and learning, which is based on a mathematical model of the microworld and optimization. Six participant groups receive different kinds of feedback in a training phase, then results in a performance phase without feedback are analyzed. As a main result, feedback of optimal solutions in training rounds improved model knowledge, early learning, and performance, especially when this information is encoded in a graphical representation. (shrink)

This paper describes an experimental platform for approximate knowledge databases called the Approximate Knowledge Database, based on a semantics inspired by rough sets. The implementation is based upon the use of a standard SQL database to store logical facts, augmented with several query interface layers implemented in JAVA through which extensional, intensional and local closed world nonmonotonic queries in the form of crisp or approximate logical formulas can be evaluated tractably. A graphical database design user interface is also provided (...) which simplifies the design of databases, the entering of data and the construction of queries. The theory and semantics for AKDBs is presented in addition to application examples and details concerning the database implementation. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Journal of Aesthetic Education 37.4 (2003) 58-64 [Access article in PDF] Media Literacy Education in Art:Motion Expression and the New Vision of Art EducationThe Bauhaus, which established the foundation of modern design, has greatly influenced Japanese design and art education. It is a historical fact that the movement views "synthetic art" as an integration of the various fields and the integration of the art and machine technology experimentally. (...) However, the Bauhaus is not just of historical importance but continues to have an influence even in the integration of the art and electronic technology in today's "multimedia." In addition, it can be said that it is very much alive as "the digital Bauhaus" or "the electronic Bauhaus." 1 As we know, today's multimedia and the Internet give us a new life-environment, and expandthe possibility of expression in art. Therefore, current art education must examine how these new medias will be incorporated into the curriculum.In the cases of the photograph, video, or computer, an expression by the image media is added to the art course for the junior high school course of study. 2 Also in school art classes, image media was introduced, expanding the possibilities of self-expression through art. This result can be matched to the needs of the industrial world in Japan as well. As an educational practice, the content of this course of study is promising, even though someproblems must be solved, acquiring new equipment, re-educating the artteacher, and securing additional art school hours. The new content in art education can be summarized as follows:1. The motion picture (animation) which includes time and movement. Motion picture is asequence of continuous images, obviously different from the still images of painting. There are, of course, artworks that express motion or induce the viewer'seye movement. There are also kinetic artworks that do move, such as mobiles. Works of motion picture have, however, a fixed time shaft, and they are formed by the afterimage phenomenon. Thinking about the progress of time shaft is an indispensable element for the production. [End Page 58]2. The synchronism of image and sound. Because time is a factor in the visual expression, the works are compatible with music — the art of time. There is a synchronized relation between the motion picture and music. Image expression with multimedia became synthetic art, just as the Bauhaus looked for "architecture." Currently, this kind of expression transitions from art to entertainment, and permeates daily life.3. The method with interactive art work. Not only artworks of installation, but also TV games and web design have interactive construction as an indispensable interface. The aesthetic value of these visual works will be appreciated when the user starts the action by hitting a touchpad, pushing buttons, or clicking a mouse. To make this kind of artwork, one needs to consider the latent relationships between humans and work, and establish the input-output order for the method of construction.4. The problem of virtual reality. The term "virtual reality" is used by some art teachers as criticism against digital works such as computer graphics. These teachers insist that there is no reality there. One can, however, get an aesthetic feeling through sensory information, imagination, and sensitivity, even though what one sees is an illusion. The feeling of reality a picture of an apple gives, for example, may be equal to a computer graphic apple.Human imagination also creates "virtual reality" beyond reality in the myth, the novel, and so on. It can be said that this is the basis for human creativity.Furthermore, expression by image media raises the problem of a "reality" in which material experience is important to encounterthe world directly. Such an argument discusses multimedia as a tool of expression and a teaching material while reconsidering human reality.More recently, "media literacy" (ability to read and understand media) became an important point of discussion for Japanese educators. Usually, in this discussion, the critical ability to talk back to the television program is emphasized. However, through art... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Journal of Aesthetic Education 37.4 (2003) 58-64 [Access article in PDF] Media Literacy Education in Art:Motion Expression and the New Vision of Art EducationThe Bauhaus, which established the foundation of modern design, has greatly influenced Japanese design and art education. It is a historical fact that the movement views "synthetic art" as an integration of the various fields and the integration of the art and machine technology experimentally. (...) However, the Bauhaus is not just of historical importance but continues to have an influence even in the integration of the art and electronic technology in today's "multimedia." In addition, it can be said that it is very much alive as "the digital Bauhaus" or "the electronic Bauhaus." 1 As we know, today's multimedia and the Internet give us a new life-environment, and expandthe possibility of expression in art. Therefore, current art education must examine how these new medias will be incorporated into the curriculum.In the cases of the photograph, video, or computer, an expression by the image media is added to the art course for the junior high school course of study. 2 Also in school art classes, image media was introduced, expanding the possibilities of self-expression through art. This result can be matched to the needs of the industrial world in Japan as well. As an educational practice, the content of this course of study is promising, even though someproblems must be solved, acquiring new equipment, re-educating the artteacher, and securing additional art school hours. The new content in art education can be summarized as follows:1. The motion picture (animation) which includes time and movement. Motion picture is asequence of continuous images, obviously different from the still images of painting. There are, of course, artworks that express motion or induce the viewer'seye movement. There are also kinetic artworks that do move, such as mobiles. Works of motion picture have, however, a fixed time shaft, and they are formed by the afterimage phenomenon. Thinking about the progress of time shaft is an indispensable element for the production. [End Page 58]2. The synchronism of image and sound. Because time is a factor in the visual expression, the works are compatible with music — the art of time. There is a synchronized relation between the motion picture and music. Image expression with multimedia became synthetic art, just as the Bauhaus looked for "architecture." Currently, this kind of expression transitions from art to entertainment, and permeates daily life.3. The method with interactive art work. Not only artworks of installation, but also TV games and web design have interactive construction as an indispensable interface. The aesthetic value of these visual works will be appreciated when the user starts the action by hitting a touchpad, pushing buttons, or clicking a mouse. To make this kind of artwork, one needs to consider the latent relationships between humans and work, and establish the input-output order for the method of construction.4. The problem of virtual reality. The term "virtual reality" is used by some art teachers as criticism against digital works such as computer graphics. These teachers insist that there is no reality there. One can, however, get an aesthetic feeling through sensory information, imagination, and sensitivity, even though what one sees is an illusion. The feeling of reality a picture of an apple gives, for example, may be equal to a computer graphic apple.Human imagination also creates "virtual reality" beyond reality in the myth, the novel, and so on. It can be said that this is the basis for human creativity.Furthermore, expression by image media raises the problem of a "reality" in which material experience is important to encounterthe world directly. Such an argument discusses multimedia as a tool of expression and a teaching material while reconsidering human reality.More recently, "media literacy" (ability to read and understand media) became an important point of discussion for Japanese educators. Usually, in this discussion, the critical ability to talk back to the television program is emphasized. However, through art... (shrink)

This article describes activities carried out at the computational art laboratory and discusses a question about place. To think of place as the place of universal, it’s ground, the place where you live, it isn’t only a residence place, a construction of exploration, but also the planet as a possible place of survival. Therefore, we will present artworks that, in the name of a conception inspired by ecocentrism, propose to eliminate the ontological and axiological difference between all living beings and, (...) for this reason, considers the biosphere as an important biotic unit in the context of artworks. Here the development of affective computer interfaces that seek to promote interactions is also described: a process by which an external or an internal stimulus causes a specific reaction, producing a perception, considering that the idea, in the Deleuzian and Guattarian sense, goes through creative activities. The idea arises in three distinct forms: in the philosophical context, in the form of concepts and in visual production. We describe below the results of collaborative research that has in common the poetics of interactivity between living beings and machines through graphical and machine interfaces, provided by computational processes and methods that approach several ideas involving affective mapping, body, nature and artificial life. (shrink)

Brain structural covariance network can delineate the brain synchronized alterations in a long-range time period. It has been used in the research of cognition or neuropsychiatric disorders. Recently, causal analysis of structural covariance network, winner-take-all and cortex–subcortex covariance network, and modulation analysis of structural covariance network have expended the technology breadth of SCN. However, the lack of user-friendly software limited the further application of SCN for the research. In this work, we developed the graphical user interface toolkit of brain (...) structural covariance connectivity based on MATLAB platform. The software contained the analysis of SCN, CaSCN, MOD-SCN, and WTA-CSSCN. Also, the group comparison and result-showing modules were included in the software. Furthermore, a simple showing of demo dataset was presented in the work. We hope that the toolkit could help the researchers, especially clinical researchers, to do the brain covariance connectivity analysis in further work more easily. (shrink)

Wilderness Search and Rescue is the process of finding and assisting persons who are lost in remote wilderness areas. Because such areas are often rugged or relatively inaccessible, searching for missing persons can take huge amounts of time and resources. Camera-equipped mini-Unmanned Aerial Vehicles have the potential for speeding up the search process by enabling searchers to view aerial video of an area of interest while closely coordinating with nearby ground searchers. In this paper, we report on lessons learned by (...) trying to use UAVs to support WiSAR. Our research methodology has relied heavily on field trials involving searches conducted under the direction of practicing search and rescue personnel but using simulated missing persons. Lessons from these field trials include the immediate importance of seeing things well in the video, the field need for defining and supporting various roles in the search team, role-specific needs like supporting systematic search by providing a visualization tool to represent the quality of the search, and the on-going need to better support interactions between ground and video searchers. Surprisingly to us, sophisticated autonomous search patterns were less critical than we anticipated, though advances in video enhancement and visualizing search progress, as well as ongoing work to model the likely location of a missing person, open up the possibility of closing the loop between UAV path-planning, search quality, and the likely location of a moving missing person. Keywords: Unmanned Aerial Vehicles, Wilderness Search and Rescue, Human–Robot Interaction, Human Factors, Field Robotics, Graphical User Interfaces. (shrink)

Irregularity may occur on the earth’s surface in the form of mountains due to the imperfection of the earth’s crust. To explore the influence of horizontally polarized shear waves on mountains, we considered the fluid-saturated porous medium over an orthotropic semi-infinite medium with rigid and soft mountain surfaces for wave propagation. The mountain surface is defined mathematically as a periodic function of the time domain. The physical interpretation of materials’ structure has been explained in rectangular Cartesian coordinate system originated at (...) the contact interface of layer and half-space. The displacement of the mountains has been derived by solving energy equations analytically. The influence of rigid and soft mountain surfaces on the phase velocity of shear waves has been demonstrated graphically. (shrink)

On several occasions Michel Foucault advocated a methodological turn towards what he called a ‘happy positivism’. Foucault’s emphasis on the surface does not deny the importance of structures of hiding, but understands it as a game in which the structures of hiding are viewed as contingently given. In this paper, I will analyse the conflict between the hacker movement and the field of corporate interests. I argue that the introduction of graphical user interfaces and the maintaining of copyright (...) interests are the contingent background of the ongoing conflict. By bracketing the analyses of hidden intentional structures, the happy positivist is thus able to facilitate deeper understandings of the prevailing structures of hiding. (shrink)

From the perspective of the system of systems development, system-level functional testing is required for designing subsystems. This study utilizes modeling and simulation techniques to analyze the operational behaviors of the subsystems and confirm data communication between them. The targeted system in the study is a naval combat system, which is a typical type of defense cyber-physical system. Three types of models were designed for the simulation testing of the NCS: a combat-management model for simulating the overall computational activities, physical (...) models to confirm the intrasubsystem behaviors, and data integration models to test the intersubsystem communications. These models are realized with the Model-View-ViewModel design pattern, which strongly facilitates graphical user interfaces being decoupled from model logic and data. We consider underwater combat scenarios as an application. Six significant physical subsystems within the NCS are simulated and tested: a ship-steering system, an inertial navigation system, a global navigation satellite system, a periscope, sonar systems, and a plotting board. We expect that the proposed work will play a principal role when analyzing the behaviors and communications of defense CPSs and providing an environment for functional testing as a digital twin. (shrink)

Deep Brain Stimulation (DBS) is an effective treatment for advanced Parkinson’s disease. However, identifying stimulation parameters, such as contact and current amplitudes, is time-consuming based on trial and error. Directional leads add more stimulation options and render this process more challenging with a higher workload for neurologists and more discomfort for patients. In this study, a sweet spot-guided algorithm was developed that automatically suggested stimulation parameters. These suggestions were retrospectively compared to clinical monopolar reviews. A cohort of 24 Parkinson’s disease (...) patients underwent bilateral DBS implantation in the subthalamic nucleus at our center. First, the DBS’ leads were reconstructed with the open-source toolbox Lead-DBS. Second, a sweet spot for rigidity reduction was set as the desired stimulation target for programming. This sweet spot and estimations of the volume of tissue activated were used to suggest (i) the best lead level, (ii) the best contact, and (iii) the effect thresholds for full therapeutic effect for each contact. To assess these sweet spot-guided suggestions, the clinical monopolar reviews were considered as ground truth. In addition, the sweet spot-guided suggestions for best lead level and best contact were compared against reconstruction-guided suggestions, which considered the lead location with respect to the subthalamic nucleus. Finally, a graphical user interface was developed as an add-on to Lead-DBS and is publicly available. With the interface, suggestions for all contacts of a lead can be generated in a few seconds. The accuracy for suggesting the best out of four lead levels was 56%. These sweet spot-guided suggestions were not significantly better than reconstruction-guided suggestions (p = 0.3). The accuracy for suggesting the best out of eight contacts was 41%. These sweet spot-guided suggestions were significantly better than reconstruction-guided suggestions (p < 0.001). The sweet spot-guided suggestions of each contact’s effect threshold had a mean error of 1.2 mA. On an individual lead level, the suggestions can vary more with mean errors ranging from 0.3 to 4.8 mA. Further analysis is warranted to improve the sweet spot-guided suggestions and to account for more symptoms and stimulation-induced side effects. (shrink)

This article focuses on the pendulum-like change in the way people read and use text, which was triggered by the introduction of new reading and writing technologies in human history. The paper argues that textual features, which characterized the ancient pre-print writing culture, disappeared with the establishment of the modern-day print culture and has been “revived” in the digital post-modern era. This claim is based on the analysis of four cases which demonstrate this textual-pendulum swing: (1) The swing from concrete (...) iconic-graphic representation of letters and words in the ancient alphabet to abstract phonetic representation of text in modern eras, and from written abstract computer commands “back” to the concrete iconic representation in graphic user interfaces of the digital era; (2) The swing from scroll reading in the pre-print era to page or book reading in the print era and “back” to scroll reading in the digital era; (3) The swing from a low level of authorship in the pre-print era to a strong authorship perception in the print era, and “back” to a low degree of authorship in the digital era; (4) The swing from synchronic representation of text in both visual and audio formats during the pre-print era to a visual representation only in print, and “back” to a synchronic representation in many environments of the digital era. We suggest that the print culture, which is usually considered the natural and preferred textual environment, should be regarded as the exception. (shrink)

Computer technology has become an integral part of daily life. From online banking and shopping to email and instant messaging, cyberspace is increasingly woven into the fabric of our everyday lives. The mouse, the monitor and keyboard are all a part of the interfacing devices that over time become extensions of our bodies as we “surf” through graphical user interfaces. Icons patterned together in a mosaic on our screens link to infinite possibilities. We can visit museums, chat with (...) family and friends around the world, not to mention shop to have virtually anything we want shipped to our door. What happens to notions of infinity and transcendence when they are conflated with cyberspatial matrices? Does cyberspatial disembodiment allow us to transcend ourselves or does it blind us from the notion that transcendence in a box is not transcendence at all? (shrink)

The past twenty years have witnessed extensive collaborative research between computer scientists, logicians, linguists, philosophers, and psychologists. These interdisciplinary studies stem from the realization that researchers drawn from all fields are studying the same problem. Specifically, a common concern amongst researchers today is how logic sheds light on the nature of information. Ancient questions concerning how humans communicate, reason and decide, and modern questions about how computers should communicate, reason and decide are of prime interest to researchers in various disciplines. (...) _Words, Proofs and Diagrams_ is a collection of papers covering active research areas at the interface of logic, computer science, and linguistics. Readers of the volume will find traditional research on process logics, issues in formal semantics, and language processing. In addition, the volume also highlights a particularly new area where all three disciplines meet—the study of images and graphics as information carriers and the diagrammatic reasoning supported by them. (shrink)

Luciano Floridi’s Philosophy and Computing: An Introduction is a survey of some important ideas that ground the newly emerging area of philosophy known, thanks to Floridi, as the philosophy of information. It was written as a textbook for philosophy students interested in the digital age, but is probably more useful for postgraduates who want to investigate intersections between philosophy and computer science, information theory and ICT (information and communications technology). The book is divided into five independent chapters followed by a (...) worthy, though impressionistic, afterthought under the title of the conclusion. Chapter One, “Divide et Computa: Philosophy and the Digital Environment,” begins by outlining four topics to consider when examining the significance of the digital revolution: 1) computation, 2) automatic control, 3) modeling and virtual reality, and 4) information management. This preliminary outline is followed by a brief historical consideration of the transition from analogue to digital information processing and the importance of “digitization” for developing mechanical means to manage information. According to Floridi, this digitization has occurred in three main areas. Regarding the scope of digitized content, we have moved from numerical data to sounds and images. At the same time, our interfaces to the computer have become less digital and more humane. Graphical user interfaces and WYSIWYG software have quickly replaced punch cards. In the area of connectivity, we have moved from the mainframe to the Internet, hence, to the possibility of a global information network. Together these transformations are accelerating the evolution of the infosphere and consequently its dramatic effect on the shape of society. These changes are of world historical significance, thus worthy of philosophical investigation, as the last part of the chapter shows.. (shrink)

Cet article, dans une perspective sémiopragmatique, interroge la disposition graphique des textes comme élément d'interface avec le lecteur. Il s'agit plus précisément d'examiner comment les signes organisateursde l'écrit - cadres, bords et marges- interviennent dans l'acte de lecture.What does the graphic organization of texts have to do with the mental construction of the reader ? How do indexical signs give him a direction ? Between semiotics and psychology, they remind us that the body and perception are important even through the (...) use of codified social models. (shrink)

Ns2 is an open-source communications network simulator primarily used in research and teaching. Ns2 provides substantial support for simulation of TCP, routing, and multicast protocols over wired and wireless networks. Although Ns2 is a widely used powerful simulator, it lacks a way to measure networks that are used to assess reliability and performance metrics and it does not analyse the trace files it produces. The data obtained from the simulations are not straightforward to analyse. Ns2 is still unable to provide (...) any data analysis statistics or graphics as requested. Moreover, the analysis of the Ns2 trace file using any software scripts requires further steps by a developer to do data processing and then produce graphical outputs. Lack of standardisation of tools means that results from different users may not be strictly comparable. There are alternative tools; however, most of them are not standalone applications, requiring some additional libraries. Also, they lack a user-friendly interface. This article presents the architecture and development considerations for the NsGTFA tool, which intends to simplify the management and enable the statistical analysis of trace files generated during network simulations. NsGTFA runs under Windows and has a friendly graphical user interface. This tool is a very fast standalone application implemented in VC++, taking as input an Ns2 trace file. It can output two-dimensional and 3D graphs or data sets, whatever the trace file format. It is also possible to specify the output of standard network performance metrics. NsGTFA satisfies most user needs. There is no complex installation process, and no external libraries are needed. (shrink)

Modern education attaches great importance to interdisciplinary skills, among which computational thinking is a core element, and heralds a new era. IT application has shaped education in the 21st century. Computational thinking has provided further impetus for building an all-encompassing social network and fostering a DIY culture enabled by digital technologies. One empirical study used four apps to test children's development in computational thinking and fluency. The article will help students overcome their fears of coding. Peer reviews provide students with (...) an opportunity to learn from each other and become more motivated. These reviews also serve as feedback for teachers to evaluate students' performance. Experimental design is used in this study, and a peer review system is implemented. Freshmen attending a programming class in a university are used as samples. At the class, students write computer programs with f-Chart, which provides a graphical user interface for students to learn programming logic and design. Zuvio, a cloud-based interactive response system, is used to conduct the peer reviews. The data of this study are analyzed through R. The results show not only an improvement in students' learning performance but also a gap between students' peer review scores and teachers' evaluation scores. Learning feedback and evaluation is crucial to transform education between students and teachers into a sustainable cycle system. (shrink)

In 2004, Robert Nelson noted in creative, practice-led research degrees that the exegesis had been reconceptualised as a cultural contribution to scholarship. He suggested that the challenge this posed was the need for writing to interface effectively with the nature and calibre of the creative work. A decade on from his observation, this article employs a case study to discuss emerging approaches to the exegesis in the work of graphic design doctoral candidates at AUT University in New Zealand. Accepting the (...) multi-perspectival and multi-voiced nature of the practice-led exegesis writer, it discusses approaches to both structure and presentation. In so doing, it also considers specific issues, including negotiated relationships between the role and the nature of the designer’s voice, systems of narration, and issues impacting upon both digital and print formats. (shrink)

In 1956, the mathematician John McCarthy coined the term "Artificial Intelligence" for a new discipline that was emerging from some of the more imaginative and playful explorations of the new mind-tool, the computer. A few years later he developed a radically new sort of programming language, Lisp, which became the lingua franca of AI. Unlike the sturdier, stodgier computer languages created by and for business and industry, Lisp was remarkably open-ended and freewheeling. Instead of concentrating on numbers, it was designed (...) to take any symbols or symbol strings (lists) as its objects, and since its own machinery consisted of just such lists (and lists of lists . . . ), Lisp creations easily inhabited the very world they acted upon, and hence could reflect upon themselves and their own reflections indefinitely, revising and reinventing themselves, breaking down the artificial barrier between program and data. Seymour Papert was one of the most playful of the AI pioneers, and more than any of the others, his own reflections turned to the nature of that very playfulness and its role in learning and discovery. In 1980, he published Mindstorms, in which he presented his utopian vision of computers in the classroom, centering on Logo, a dialect of Lisp that he and others had developed specifically for very young children. The key design element was Turtle graphics, an inspired interface which made the children's interactions with Logo not just visible, but instantly comprehensible--feelable, you might say. The tales he told of those early encounters were compelling. They became an important ingredient in the barrage of persuasions that led teachers and schools all over America, and indeed all over the world, to invest huge sums in "computerizing the classroom." Thousands of teachers tried their hand at Logo in the classroom, with mixed results. (shrink)

This paper addresses the possibility of measuring perceived usability in an absolute way. It studies the impact of the nature of the tasks performed in perceived software usability evaluation, using for this purpose the subjective evaluation of an application’s performance via the Software Usability Measurement Inventory (SUMI). The paper reports on the post-hoc analysis of data from a productivity study for testing the effect of changes in the graphical user interface (GUI) of a market leading drafting application. Even though (...) one would expect similar evaluations of an application’s usability for same releases, the analysis reveals that the output of this subjective appreciation is context sensitive and therefore mediated by the research design. Our study unmasked a significant interaction between the nature of the tasks used for the usability evaluation and how users evaluate the performance of this application. This interaction challenges the concept of absolute benchmarking in subjective usability evaluation, as some software evaluation methods aspire to provide, since subjective measurement of software quality will be affected most likely by the nature of the testing materials used for the evaluation. (shrink)

One of the more compelling beliefs about vision is that it is based on representations that are coherent and complete, with everything in the visual field described in great detail. However, changes made during a visual disturbance are found to be difficult to see, arguing against the idea that our brains contain a detailed, picture-like representation of the scene. Instead, it is argued here that a more dynamic, "just-in-time" representation is involved, one with deep similarities to the way that users (...) interact with external displays. It is further argued that these similarities can provide a basis for the design of intelligent display systems that can interact with humans in highly effective and novel ways. (shrink)

In the paper, I argue there is a whole political logistics to deportation. This is made visible by bringing the concept of microphysics to bear on the topic. Taking the case of enforced and escorted removals from the UK, I show that this logistics is vividly and graphically documented in the inspection reports. Hitherto largely ignored, inspection reports offer researchers a trove of information regarding the mechanisms and procedures of deportation. As I finally draw out, this focus can speak to (...) questions about the relationship of ethics to deportation: the inspection reports show how a certain form of ethical calculation, based on a risk-based approach to the use of force has been inscribed into the practices of deportation. DOI 10.17879/95189425134. (shrink)

We present a theoretical framework bearing on the evolution of written communication. We analyze writing as a special kind of graphic code. Like languages, graphic codes consist of stable, conventional mappings between symbols and meanings, but (unlike spoken or signed languages) their symbols consist of enduring images. This gives them the unique capacity to transmit information in one go across time and space. Yet this capacity usually remains quite unexploited, because most graphic codes are insufficiently informative. They may only be (...) used for mnemonic purposes or as props for oral communication in real-time encounters. Writing systems, unlike other graphic codes, work by encoding a natural language. This allows them to support asynchronous communication in a more powerful and versatile way than any other graphic code. Yet, writing systems will not automatically unlock the capacity to communicate asynchronously. We argue that this capacity is a rarity in non-literate societies, and not so frequent even in literate ones. Asynchronous communication is intrinsically inefficient because asynchrony constrains the amount of information that the interlocutors share and limits possibilities for repair. This would explain why synchronous, face-to-face communication always fosters the development of sophisticated codes (natural languages), but similar codes for asynchronous communication evolve with more difficulties. It also implies that writing cannot have evolved, at first, for supporting asynchronous communication. (shrink)