Sometimes in the course of image-making, images are asked to represent unusual things. Around 1960, scientists and engineers working on the Computer-Aided Design Project at MIT began imagining that computers could be “active partners” to human designers. They began talking about a future of “human-computer symbiosis.” And they created a new type of image—the screenshot—that represented this new possibility. This paper describes early CAD research as a site for the emergence of the ideal of the interactive (...) computer and how this ideal was described and distributed through screenshots.Though we now routinely associate computers with interactivity, interactivity was beyond the average user’s experience in 1960.... (shrink)

In his Languages of Art, Nelson Goodman proposes a theory of artistic notation that includes foundational requirements for any system of symbols we might use to specify and communicate the features of an artwork, in architecture or any other art form. Goodmans' theory usefully explains how notation can reveal linguistic-like phenomena of various art forms. But not all art forms can enjoy benefits of a full-blown notational system, in Goodman's view, and he suggests that architecture's symbol systems fall short in (...) this regard. It is a shortcoming of architecture, he believes, that its notation cannot communicate the sum of a given work's essential features. Against this view it may be argued that artworks are generally and inimically historical in character, such that an inability to capture this dimension may result in a failure to pick out the identity of a work. As a consequence, the suggestion of that inability looks like a shortcoming of the general notational theory rather than of the art form or its notation per se. I defend Goodman's background formalism against the criticism that an ahistoricist notation cannot possibly be adequate. But I reject his view that no actual architectural notation can satisfy the formal criteria of his theory. In particular, I propose that the foundational theory for Computer Aided Design (CAD) described by the architect William Mitchell satisfies Goodman's criteria and so yields a notation that enables communication of an architectural work's essential features. If, as I suggest, such a notation is feasible, then we have an additional result that Goodman foresees: a means of abstracting future architectural works from their historical contexts. This in turn yields a consequence at which Goodman only hints-that such architectural works can be intellectually grasped and physically constructed along purely formalist lines. One practical result here is that we introduce economical solutions to architectural design. On a theoretical level, we also expose the inessential character of historical properties to creating or understanding architecture, at least with respect to future possible works. (shrink)

In 2014, the worldwide context is that the population is increasingly both expanding and aging in industrial countries. In contrast, the personal health levels of individuals could decrease. Although retirement homes and health-care centers assume most of the demand, they will most probably overflow in the next few years. One of the current solutions is e-Health, which involves biomedical monitoring but also home automation functions to compensate for disabilities that tend to increase with age. In this context, several domains have (...) to be merged while respecting the entire ecosystem: the users, their needs and environment, but also all the various actors/experts involved in this process. The issue, however, is that enormous effort is required to combine the multiple expert domains because these can be antinomic. Hence, this paper proposes a collaborative workflow that brings together these different actors and generates the control/command application. Applying model-driven engineering, this workflow makes a clear distinction between people’s health requirements, the home automation functions, and the user interface points of view. Thus, it allows experts in each field to adapt their system in terms of the user’s needs, disability, and health state. (shrink)

In recent years, with the development of construction industry, more scientific, systematic, fast, and intelligent calculation methods are needed to coordinate urban development and fierce market competition, and mathematical algorithm library plays an important role in artificial intelligence. Therefore, the author uses computer mathematical algorithm and extension theory to study and analyze the residential building design and intelligent data mining. It is found that the research of the computer-aided expression method of extension building planning is mainly (...) the expression of the input and output system of extension building planning. It includes knowledge representation, system outline design, system flow, and interface expression based on the mathematical database. (shrink)

This paper is in two parts. Part I outlines three traditional approaches to the teaching of critical thinking: the normative, cognitive psychology, and educational approaches. Each of these approaches is discussed in relation to the influences of various methods of critical thinking instruction. The paper contrasts these approaches with what I call the “visualisation” approach. This approach is explained with reference to computer-aided argument mapping (CAAM) which uses dedicated computer software to represent inferences between premise and conclusions. (...) The paper presents a detailed account of the CAAM methodology, and theoretical justification for its use, illustrating this with the argument mapping software Rationale™. A number of Rationale™ design conventions and logical principles are outlined including the principle of abstraction, the MECE principle, and the “Holding Hands” and “Rabbit Rule” heuristics. Part II of this paper outlines the growing empirical evidence for the effectiveness of CAAM as a method of teaching critical thinking. (shrink)

In the paper, we tackle the matter of non-classical logics, in particular, paraconsistent ones, for which not every formula follows in general from inconsistent premisses. Our benchmark is Jaśkowski’s logic, modeled with the help of discussion. The second key origin of this paper is the matter of being tabular, i.e. being adequately expressible by finitely many finite matrices. We analyse Jaśkowski’s non-tabular discussive (discursive) logic $ \textbf {D}_{2}$, one of the first paraconsistent logics, from the perspective of a trivalent tabular (...) logic. We are motivated to step down from the ongoing modal $ \textbf {S5}$-perspective of developing $ \textbf {D}_{2}$ both by certain mysteries that have been surrounding it and by gaps in Jaśkowski’s arguments contra the multivalent tabular perspective. Although Jaśkowski’s idea to use $ \textbf {S5}$ in order to define $ \textbf {D}_{2}$ is very attractive since it allows one to benefit from the tools and results of modal logic, it also gives a ‘non-direct’ formulation and, as it appeared later, is superfluous with respect to what is meant to be achieved since one can define the very same logic but using modal logics weaker than S5. It is also known, due to Kotas, that discussive logic is not finite-valued. So, in light of Kotas’s result that $ \textbf {D}_{2}$ is non-tabular, we propose to associate it with a few dozen discussive formulae that Jaśkowski unequivocally and illustratively suggests to be its theorems or non-theorems rather than with axioms of its modern axiomatizations (one of which Kotas employs) in order to be capable of performing a computer-aided brute-force search for suitable trivalent matrices in the cases of one and two designated values. As a result, we find trivalent matrices with two designated values that might be dubbed ‘discussive’ because they meet Jaśkowski’s suggestion to validate and invalidate the litmus theorems and non-theorems, respectively, despite the fact that none of them validates all the negation axioms in the modern axiomatizations of $ \textbf {D}_{2}$. The matrices found are then analysed along with highlighting the ones that were previously mentioned in the literature. We conclude the paper with a comparative analysis of Omori’s results and a test of Karpenko’s hypothesis. (shrink)

The purpose is to improve the teaching and learning efficiency of college Innovation and Entrepreneurship Education. Firstly, from the perspective of aesthetic education, this work designs the teacher and student sides of the Computer-aided Instruction system. Secondly, the CAI model is implemented based on the weight sharing and local perception of the Convolutional Neural Network. Finally, the performance of the CNN-based CAI model is tested. Meanwhile, it analyses students’ IEE experience under the proposed CAI model through a case (...) study of Music Majors from Xi’an Conservatory of Music. The experimental data show that the CNN-based CAI model can respond quickly and stably when users access different functional modules, such as webpage browsing. The proposed CAI model increases students’ entrepreneurial interest, skills, and knowledge by 55.62, 57.32, and 72.12%, respectively. Students’ entrepreneurial practice ability has been improved by over 50.00%; such an increase in entrepreneurial practice ability has also shown individual differences. Thus, the proposed Music Majors-oriented IEE-infiltrated CAI model based on CNN improves students’ entrepreneurial practice ability and reflects the positive experience of Music Majors on IEE. The finding provides references for the step-by-step identification of the CNN-based CAI model and has certain guiding significance for analyzing the effect of college IEE. (shrink)

Profound changes in world markets are resulting in conflict between traditional structures of production and new market requirements. The right answers to this challenge are heavily disputed. One option is to replace human work still further by artificially intelligent technology without changing basic structures of production. In contrast to this strategy, alternative production concepts seek to combine the unique human capabilities of perception, evaluation and decision making in unstructured situations with appropriately designed computer systems. Empirical evidence from the use (...) of NC technology indicates that sensual experience and practical knowledge are necessary ingredients rather than disappearing residuals of efficient production. By far their tacit dimension does not allow complete transformation into objectified, scientific knowledge. In the field of metal cutting it is the skilled workers themselves who constitute the primary source of productivity. In order to overcome their traditionally problematic and uncomfortable working situation, shop-floor programming methods have been developed that are adapted to their concrete and graphic mode of thinking and acting. These allow workers to make their own efficient NC programs, thus maintaining their practical competence. This paper illustrates a necessary new perspective in system design: away from developing computer programs for imitating and replacing human expertise and towards designing computers as a useful tool for human experts. (shrink)

In this paper we summarize observations bridging the declared aspirations of pictorial semiotics and its real achievements. Pictorial semiotics is here understood as the general study of pictures as signs and it constituted a fundamental step beyond the art historical captivation with individual images. In the first part of our contribution we present a review of the most important methods that have been proposed as an answer to deal with several pictorial problems (multiple instances, segmentation, non-figurative meaning). In the second (...) part, we offer some positive and on-going implementations designed to remedy the shortcomings observed. What is suggested is the proof of concept that human researchers need the assistance of computing methodologies. However, computers can only do their job once an adequate phenomenology of human experience is fed into the process. (shrink)

"Offering integrated coverage of both digital and computer design, this text offers well-organized, concise, yet comprehensive content, presented from a contemporary engineering viewpoint. Understanding of the material is supported by clear explanations and a progressive development of examples ranging from sample combinatorial applications to a CISC architecture built upon a RISC core. A thorough coverage of traditional topics is combined with increased attention to computer-aided design, problem formulation, solution verification, and the building of problem-solving skills."--BOOK (...) JACKET. (shrink)

Engineering sketches and drawings are the building blocks of technological design and production. These visual representations act as the means for organizing the design to production process, hence serving as a "social glue" both between individuals and between groups. The author discusses two main capacities such visual representations serve in facilitating distributed cognition in team design work As conscription devices, they enlist and organize group participation. As boundary objects, they facilitate the reading of alternative meanings by various (...) groups involved in the design process. The introduction of computer-aided design into this visual culture of engineering restructures relationships between workers in ways that can hamper the flexibility necessary for these crucial capacities to take place. The data are drawn from a study of the daily practices of engineers engaged in redesigning a turbine engine package. The method is participant observation. (shrink)

Students, the future Information and Communication Technology (ICT) professionals, are often perceived to have little understanding of the ethical issues associated with the use of ICTs. There is a growing recognition that the moral issues associated with the use of the new technologies should be brought to the attention of students. Furthermore, they should be encouraged to explore and think more deeply about the social and legal consequences of the use of ICTs. This paper describes the development of a tool (...) designed to raise students’ awareness of the social impact of ICTs. The tool offers guidance to students undertaking computing and computer-related courses when considering the social, legal and professional implications of the actions of participants in situations of ethical conflict. However, unlike previous work in this field, this tool is not based on an artificial intelligence paradigm. Aspects of the theoretical basis for the design of the tool and the tool’s practical development are discussed. Preliminary results from the testing of the tool are also discussed. (shrink)

Good balance between product and service is the key in the innovative design of product service systems. In this study, the evolution route of the PSS based on Teoriya Resheniya Izobretatelskikh Zadatch ideal final result was provided. The function model of the PSS was constructed according to the service blueprint and function system diagrams. On this basis, an innovation design method of the PSS based on function incentive was established. The function incentive strategies included function synergy, function supplement, (...) and function substitution. Finally, the PSS design process of agricultural machinery based on computer-aided innovation platform was analyzed to verify this method. (shrink)

The German discussion about experience-guided work has led to the question of how work experience can be regarded within the process of designing technical artifacts. This paper offers a solution for the area of skilled maintenance work. Some considerations about the nature of experience and about the problems skilled workers have in aquiring work competences within computer aided production environments are introduced in order to illustrate the design philosophy: A decision-support-system is described which stimulates workplace learning by (...) enabling previous and present users of the system, including maintenance staff and shop floor workers, to exchange and build on experience. (shrink)

This paper is motivated by the increasing popularity of efficient designs for stated choice experiments. The objective in efficient designs is to create a stated choice experiment that minimizes the standard errors of the estimated parameters. In order to do so, such designs require specifying prior values for the parameters to be estimated. While there is significant literature demonstrating the efficiency improvements of employing efficient designs, the bulk of the literature tests conditions where the priors used to generate the efficient (...) design are assumed to be accurate. However, there is substantially less literature that compares how different design types perform under varying degree of error of the prior. The literature that does exist assumes small fractions are used, which is in contrast to computer-aided surveys that readily allow for large fractions. Further, the results in the literature are abstract in that there is no reference point to provide clear insight on the magnitude of any issue. Our objective is to analyze the robustness of different designs within a typical stated choice experiment context of a trade-off between price and quality. We use as an example transportation mode choice, where the key parameter to estimate is the value of time. Within this context, we test many designs to examine how robust efficient designs are against a misspecification of the prior parameters. The simple mode choice setting allows for insightful visualizations of the designs themselves and also an interpretable reference point for the range in which each design is robust. Not surprisingly, the D-efficient design is most efficient in the region where the true population VOT is near the prior used to generate the design: the prior is $20/h and the efficient range is $10–$30/h. However, the D-efficient design quickly becomes the most inefficient outside of this range, and the estimation significantly degrades above $50/h. The orthogonal and random designs are robust for a much larger range of VOT. The robustness of Bayesian efficient designs varies depending on the variance that the prior assumes. Implementing two-stage designs that first use a small sample to estimate priors are also not robust relative to uninformative designs. Arguably, the random design performs as well as any design, and it will perform even better if data cleaning is done to remove choice tasks where one alternative dominates the other. (shrink)

Systems, machines and organisation of forms developed in the Engineering and Manufacturing sectors frequently lay the basis for systems design philosophy at a general level. An analysis of technological change in these sectors reveals that the resultant deskilling is not limited to the shop floor and is now spreading to intellectual work. The impact of ‘machine based systems’ on designers is explored in some detail and suggests the need for alternatives which are based on ‘human centred systems’. Some attempts (...) to design sub-systems are described. (shrink)

New production concepts rely on the active (co-) shaping of planning, control and organisation processes on the shop floor level. Established CAPM technologies (CAPM =Computer Aided Production Management) only provide insufficient support, and a complete automation of the production management is not suited to close this gap. This is why new principles of system design have to be developed which meet various requirements: from taking into account a multidimensionality and contradiction of planning targets and the integration of (...) learning opportunities with the use of systems up to the promotion of work process knowledge. (shrink)

African literature has played a major role in changing and shaping perceptions about African people and their way of life for the longest time. Unlike western cultures that are associated with advanced forms of writing, African literature is oral in nature, meaning it has to be recited and even performed. Although Africa has an old tribal culture, African philosophy is a new and strange idea among us. Although the problem of “universality” of African philosophy actually refers to the question of (...) whether Africa has heckling of philosophy in the Western sense, obviously, the philosophy bred by Africa’s native culture must be acknowledged. Therefore, the human–computer interaction-oriented method is proposed to appreciate African literature and African philosophy. To begin with, a physical object of tablet-aid is designed, and a depth camera is used to track the user’s hand and tablet-aid and then map them to the virtual scene, respectively. Then, a tactile redirection method is proposed to meet the user’s requirement of tactile consistency in head-mounted display virtual reality environment. Finally, electroencephalogram emotion recognition, based on multiscale convolution kernel convolutional neural networks, is proposed to appreciate the reflection of African philosophy in African literature. The experimental results show that the proposed method has a strong immersion and a good interactive experience in navigation, selection, and manipulation. The proposed HCI method is not only easy to use, but also improves the interaction efficiency and accuracy during appreciation. In addition, the simulation of EEG emotion recognition reveals that the accuracy of emotion classification in 33-channel is 90.63%, almost close to the accuracy of the whole channel, and the proposed algorithm outperforms three baselines with respect to classification accuracy. (shrink)

Computer aided modeling and simulation of nanomaterials can describe the correlation between the material’s microstructure and its macroscopic properties quantitatively. In this paper, we propose an integrated modeling, simulation, and visualization approach for designing nanomaterials. Firstly, a fast parametric modeling method for important nanomaterials such as graphene, nanotubes, and MOFs is proposed; secondly, the material model could be edited adaptively without affecting the validity of the model on the physical level; thirdly a preliminary calculation for nanomaterials’ energy is (...) implemented based on the theory of surface fitting; finally, an integrated framework of nanomaterials modeling, simulation, and visualization is designed and implemented. Experimental results show that the proposed approach is feasible and effective. (shrink)

The design of medical knowledge-based computer systems requires effective interdisciplinary communication for the development of a community sharing common goals and a common language for design. Over the past 9 years the Perinatal Research Group, an interdisciplinary team of computer scientists, engineers and clinicians, have developed a prototype knowledge-based computer system to aid clinicians in the care of women in labour. The group were uncertain which approach to adopt to progress this system from a prototype (...) to a useful clinical tool to support decision making. A case study and activity theory analysis, of an existing clinical knowledge-based computer system in routine use, helped to resolve a number of communication and methodological issues that the design team encountered. Sharing of backgrounds and perspectives caused the design team to question previous assumptions and to explore alternative functions and roles for knowledge-based computer systems in maternity care. We are now undertaking a longitudinal case study and activity theory analysis of obstetric teams and women in labour to analyse the relationships between clinicians, patients and technology. This work will inform the development of our knowledge-based computer system to place the patient at the centre of the decision-making process. (shrink)

The large swinging bell Gloriosa, cast in 1497 for Erfurt Cathedral by Gherardus de Wou, ranks as an outstanding masterpiece of Gothic bell-founding art. Its musical quality and formal aesthetics became an object of emulation for generations of succeeeding bell founders and there have been repeated attempts to discover the hidden deisgn of the bell's profile. An early drawing is based on measurements made in 1865 by Sorge and consistent or modified reproductions of it were subsequently published by several authors. (...) Since 1985, a new admeasure of the bell's profile has been available. From these data a shape-fitting reconstruction was obtained by means of computer aided design (CAD) but following the traditional principles of bell design. With the aid of the finite element method (FEM) the frequencies of the partials of a bell can be calculated from its material and its profile. They make up the inner harmony as an important part of euphony, namely the purity of sound. Calculated values for the most important partials are given in terms of deviation from ideal harmonic intervals and are compared with acoustically ascertained values and modern standards. A further part of euphony, i.e. reverberation and sonority, is related to the bell metal, makingGloriosa highly resonant. As a piece of luck with a singular coincidence of perfect profile and excellent material.Gloriosa will remain the undefeatable prototype of western bells. (shrink)

The multimedia technology and computer technology supported by the development of modern science and technology provide an important platform for the development of college physical education teaching activities. To better play the role of network auxiliary teaching platform in college sports teaching and improve the effectiveness of college sports teaching, the construction method of multimedia auxiliary teaching effect evaluation model based on the random number forest algorithm is proposed. Through the specification of the random forest algorithm and the optimization (...) of the teaching quality evaluation index, the auxiliary teaching level of the college physical education network is analyzed, and the evaluation of the multimedia auxiliary teaching effect of the physical education courses is completed. The experimental results verify the effectiveness of the evaluation model designed in this article, with a user satisfaction of 72%. Teachers and students can use the evaluation model to improve the teaching quality and teaching efficiency, improve the management work, and promote the scientific, standardization, and specialization of physical education teaching management in colleges and universities. (shrink)

As various forms of artificial intelligence become increasingly integrated into our daily lives, understanding the ethical challenges that can be met by the development of human-centered AI is vital. This paper investigates the intersection of the philosophy of technology, moral philosophy, and user experience design to explore points of interaction between humans and machines. The paper suggests that examining the context in which AI is often deployed, including social and digital environments, offers a rich vein for examining the mechanisms (...) underlying ethical issues in AI. Finally the paper identifies concerns in the ethics of technology that complement issues arising in the development of human-computer interactions and explores a notion practice that can frame design as concerned with human values. By examining these intersections, I hope to offer insights that can aid in the deployment of human-centered AI. (shrink)

Timing diagrams are popular in hardware design. They have been formalized for use in reasoning tasks, such as computer-aided verification. These efforts have largely treated timing diagrams as interfaces to established notations for which verification is decidable; this has restricted timing diagrams to expressing only regular language properties. This paper presents a timing diagram logic capable of expressing certain context-free and context-sensitive properties. It shows that verification is decidable for properties expressible in this logic. More specifically, it (...) shows that containment of -regular languages generated by Büchi automata in timing diagram languages is decidable. The result relies on a correlation between timing diagram and reversal bounded counter machine languages. (shrink)

ABSTRACT To more efficiently cover a wide spectrum of conceptual modeling applications such as computer-aided design, computer-aided manufacturing, and medical information systems, we envision multi-paradigm design environments which have reasoning capability to support analyzing specifcations for correctness. For such applications, information system designers employ conceptual models characterized by semantically-rich specification languages. The problem of providing a comprehensive formal framework for such languages has not been adequately addressed. This paper investigates a formal system for this (...) purpose called Event-Formula Logic (EFL). The analysis focuses in particular on characterizing correctness of database updates. Its applicability is demonstrated from two perspectives: deriving preconditions that guarantee a given update will not violate an integrity constraint, and determining alternative integrity maintenance rules for performing corrective actions when the application semantics requires this update interpretation. The work described in this paper represents an important step in the analysis of database update semantics through the use of algorithmic logic. As a result, it contributes towards providing a formal basis for semantically-rich information system design environments. (shrink)

The first European settlements in the new world faced technical issues with the help of the XVI century scientific advances. Besides briefly exposing the scientific and technological situation, this paper explores, with the help of reverse engineering, two singular mechanical wits representative of the technological advances introduced in America to overcome different problems. Firstly, a pump, based on an alternative movement system through crankshafts and pistons used against the continuous flooding suffered in the Ciudad de México valley. Although flooding remained (...) a problem (it was solved in the XX century), hydraulic pumps were essential for continuous soil drainage. Secondly, a port crane for handling cannons, military devices, and construction materials during the Lima fortification in the XVII century. For both cases, reverse engineering, through engineering methods, Computer-Aided Design CAD programs, and additive manufacturing, provides virtual and/or tangible mockups that help to analyze and improve our knowledge about the dimensions, materials, and functions of used (and currently lost) mechanical systems during the American colonization. (shrink)

The field of synthetic biology is looking forward engineering framework for safely designing reliable de-novo biological functions. In this undertaking, Computer-Aided-Design environments should play a central role for facilitating the design. Although, CAD environment is widely used to engineer artificial systems the application in synthetic biology is still in its infancy. In this article we address the problem of the design of a high level language which at the core of CAD environment. More specifically the (...) Gubs language is a specification language used to describe the observations of the expected behaviour. The compiler appropriately selects components such that the observation of the synthetic biological function resulting to their assembly complies to the programmed behaviour. (shrink)

The field of synthetic biology is looking forward engineering framework for safely designing reliable de-novo biological functions. In this undertaking, Computer-Aided-Design environments should play a central role for facilitating the design. Although, CAD environment is widely used to engineer artificial systems the application in synthetic biology is still in its infancy. In this article we address the problem of the design of a high level language which at the core of CAD environment. More specifically the (...) Gubs language is a specification language used to describe the observations of the expected behaviour. The compiler appropriately selects components such that the observation of the synthetic biological function resulting to their assembly complies to the programmed behaviour. (shrink)

This contribution discusses the development of the Data Ethics Decision Aid (DEDA), a framework for reviewing government data projects that considers their social impact, the embedded values and the government’s responsibilities in times of data-driven public management. Drawing from distinct qualitative research approaches, the DEDA framework was developed in an iterative process (2016–2018) and has since then been applied by various Dutch municipalities, the Association of Dutch Municipalities, and the Ministry of General Affairs (NL). We present the DEDA framework as (...) an effective process to moderate case-deliberation and advance the development of responsible data practices. In addition, by thoroughly documenting the deliberation process, the DEDA framework establishes accountability. First, this paper sheds light on the necessity for data ethical case deliberation. Second, it describes the prototypes, the final design of the framework, and its evaluation. After a comparison with other frameworks, and a discussion of the findings, the paper concludes by arguing that the DEDA framework is a useful process for ethical evaluation of data projects for public management and an effective tool for creating awareness of ethical issues in data practices. (shrink)

The development of manufacturing technologies for new materials involves the generation of a large and continually evolving volume of information. The analysis, integration and management of such large volumes of data, typically stored in multiple independently developed databases, creates significant challenges for practitioners. There is a critical need especially for open-sharing of data pertaining to engineering design which together with effective decision support tools can enable innovation. We believe that ontology applied to engineering (OE) represents a viable strategy for (...) the alignment, reconciliation and integration of diverse and disparate data. The scope of OE includes: consistent capture of knowledge pertaining to the types of entities involved; facilitation of cooperation among diverse group of experts; more effective ongoing curation, and update of manufacturing data; collaborative design and knowledge reuse. As an illustrative case study we propose an ontology focused on the representation of composite materials focusing in particular on the class of Functionally Graded Materials (FGM) in particular. The scope of the ontology is to provide information about the components of such materials, the manufacturing processes involved in creation, and diversity of application ranging from additive manufacturing to restorative dentistry. The ontology is developed using Basic Formal Ontology (BFO) and the Ontology for Biomedical Investigations (OBI). (shrink)

The incorporation of hybrid systems based on renewable sources for the optimization of electricity distribution systems and planning of power supply strategies using genetic algorithms is studied. A series of characteristics of electrical sub-stations was chosen and through simulations, data were obtained for the optimization of the existing infrastructure, which provides reliability, security, economic supply and quality of service. An algorithm was obtained with the optimal configuration of various components: photovoltaic panels, batteries, AC generator, fuel cell and inverter, which in (...) the case of mono-objective optimization, minimized total system costs throughout its useful life. The most appropriate control strategy or combination of control variables was obtained to minimize costs. Keywords: Electrical distribution, Hybrid systems, Genetic algorithms. References [1]D. F. Pinzón, «Diseño óptimo de Sistemas de Distribución,» Universidad Nacional de Colombia, Bogotá, 2014. [2]F. A. Mendoza Lameda, «Diseño multiobjetivo y multietapa de sistemas de distribución de energía eléctrica aplicando algoritmos evolutivos,» Universidad de Zaragoza, Zaragoza, 2010. [3]L. Miró Hernández and R. Vizcón Toledo, «Sistema Hibrido Propuesto Para la Generación de Electricidad en un Policlínico,» Revista Avanzada Científica, vol. 9, nº 2, pp. 50-56, 2006. [4]J. Lagunas M., C. Ortega S. and P. Caratozzolo M., «Control supervisorio para sistemas híbridos de geración eléctrica basado en lógica difusa,» Boletin UE, Monterrey, 2005. [5]J. L. Bernal Agustín, «Aplicación de algoritmos genéticos al diseño óptimo de sistemas de distribución de energía eléctrica,» Universidad de Zaragoza, Zaragoza, 1998. [6]V. MIranda, J. V. Ranito and L. Proenca, «Genetic Algorithms in Optimal Multistage Distribution Network Planning, » IEEE, Porto, 1994. [7]I. Ramirez-Rosado and J. Dominguez-Navarro, «Computer Aided Desing of Power Distribution Systems: Multiobjective Mathematical Simulations» International Journal of Power and Energy Systems, vol. 19, nº 4, pp. 1801-1810, 2004. (shrink)

This book is structured in a practical, example-driven, manner. The use of VHDL for constructing logic synthesisers is one of the aims of the book; the second is the application of the tools to the design process. Worked examples, questions and answers are provided together with do and don'ts of good practice. An appendix on logic design the source code are available free of charge over the Internet.

In the late seventies at the Centre for Computers and Law research was started to find means for supporting lawyers' work with the aid of a computer. The research project was called JURICAS. In 1982 a prototype of a JURICAS system was produced and since 1986 seven advisory packages have been brought out on the market in the Netherlands. These packages consist of two main parts, an author's shell and an advisory program. The user cannot make changes to either (...) the shell or the program.In 1988 the JURICAS author's shell became commercially available. A buyer has to make his own advisory program and fill it with his expertise to produce an advisory package. To facilitate the designing, the typing in and the testing of a package a number of utility programs are included in the author's system. (shrink)

Mathematics is a struggle for many. To make it more accessible, behavioral and educational scientists are redesigning how it is taught. To a similar end, a few rogue mathematicians and computer scientists are doing something more radical: they are redesigning mathematics itself, improving its ergonomic features. Charles Peirce, an important contributor to ordinary symbolic logic, also introduced a rigorous but non-symbolic, graphical alternative to it that is easier to picture. In the spirit of this iconic logic, George Spencer-Brown founded (...) iconic mathematics. Performing iconic arithmetic, algebra, and even trigonometry, resembles doing calculations on an abacus, which is still popular in education today, has aided humanity for millennia, helps even when it is merely imagined, and ameliorates severe disability in basic computation. Interestingly, whereas some intellectually disabled individuals excel in very complex numerical tasks, others of normal intelligence fail even in very simple ones. A comparison of their wider psychological profiles suggests that iconic mathematics ought to suit the very people traditional mathematics leaves behind. (shrink)

How can an individual’s Moral Compass address the question of whether or not to help a patient to shorten and end his or her life? Moral Compass has been defined as that set of values and experiences that guides each individual’s decisions and conduct in relation to others and to society. Can a robot be programmed to have a moral compass? If we were only considering rules of conduct, then perhaps yes, that would be possible. We could establish a series (...) of rules and sanctions that a computer assisted robot could rigorously apply for any violation. The state and many religions already do that, and many individuals are quite comfortable with rigorous, unbendable rules. Most rules, however, have exceptions, so perhaps the robots of the future can be designed to be flexible, that is, human. (shrink)

The increasing use of computer-cont rolled automation systems has brought with it a bias towards a purely scientific approach to work. This tends to undermine the significance of experiential knowledge and sensory perception when working with highly automated processes. This paper argues for a recognition of the importance of subjectifying action in carrying out work practices. Without it, complex technical systems cannot be effectively operated. Moreover, the contradictory demands that arise for workers could have negative consequences in terms of (...) work burdens and health risks. (shrink)

Currently, there are no computerized tools enabling objective interpretation of observational gait assessment based on Wisconsin Gait Scale, which is a reliable and well-tested tool. The solution envisaged by us may provide a practical tool for assessing gait deviations in patients with hemiparesis after stroke. The present study assessed agreement between a new application software for computerized WGS and 3-dimensional gait analysis, and reliability of the application. The study involved 33 individuals with hemiparesis after stroke. The software was developed based (...) on a model designed taking into account components of the WGS and incorporating auxiliary lines passing through the relevant anthropometric points on the patient’s body, as well as measurements of angular values, distances and duration of the specific gait phases, which make it possible to substantiate assessment based on this scale. Series of videos were made to record gait of the qualified patients. After the gait evaluation was carried out using the app, the data were retrieved from the software. The gait assessment was performed separately by three independent examiners who reviewed the video recording using the new app twice. Additionally, 3DGA was carried out for all the subjects, and the results of the app-aided assessment were compared to those acquired using 3DGA. The findings show statistically significant correlations between majority of the WGS items measured using the new app, and the relevant spatiotemporal and kinematic parameters identified by 3DGA. Agreement between the scores reported by the three examiners was high in both measurements, as reflected by Cronbach’s alpha exceeding 0.8. The findings reflect very good intra-observer reliability and inter-observer reliability of the new application software for computerized WGS. The opportunities offered by the observational gait scale objectified through our new software for computerized WGS result from the fact that the tool provides a useful low-cost and time-effective feedback to monitor ongoing treatments or formulate hypotheses. (shrink)

This study extended the scope of previous findings in human–computer interaction research within the computers are social actors paradigm by showing that online users attribute perceptions of moral qualities to Websites and, further, that differential perceptions of morality affected the extent of persuasion. In an experiment (N = 138) that manipulated four morality conditions (universalist, relativist, egotistic, control) across worldview, a measured independent variable, users were asked to evaluate a Web site designed to aid them in making ethical decisions. (...) Web sites offered four different types of ethical advice as participants contemplated cases involving ethical quandaries. Perceptions of the Web sites’ moral qualities varied depending on the type of advice given. Further, the Web sites’ perceived morality and participants’ worldview predicted credibility, persuasiveness, and attitudes toward the Web sites. (shrink)

What we usually think of as higher order skills in argumentation can be profitably viewed as systematic structures for organizing and representing information. Standard terms like “line of argument”, “synthesis”, “analysis” and “draft” can be viewed as ways of constructing, storing, and accessing data in a social context — data structures for social communication. What makes argument difficult are the multiple structures that arguers have to construct and negotiate when reading and composing. In this paper, we describe the WARRANT project, (...) a project designed to identify data structures of written argument and to design and implement computer tools to aid in the reading and design of argument. (shrink)

My research is centred upon how architecture is invigorated by cyberspace, the blurred boundary between the virtual and the actual, and how the different parameters of these spaces can be used to inform one another. My early experience in practice was that buildings are limited by the inert materials used to construct them and by the unimaginative ideas of what a building should look like and be. My research draws upon a variety of different disciplines to inform one architecture. The (...) areas of research are multidisciplinary and include the changing status of the architectural drawing, smart materials, computer-aided architectural drawing, computer-aided manufacture, emergent systems, responsive environments, the architectural design of cyberspace, interactivity, cybernetics and evolving systems and algorithmic design. To create responsive, non-prescriptive designs for architectural intervention was the starting point that led to an interest in the logic of algorithms and open-ended systems. These problem-solving diagrams used by computer programmers are very useful as a way of describing fluctuating conditions in responsive environments. This led to an interest in other computing paradigms such as cellular automata, complexity and emergence. These and other ideas I attempted to bring into the arena of architectural design to help architects cope with the rapid growth of computational technology, which is starting to revolutionize the way buildings are designed, drawn and built. We are at another of the important perturbations in technology and epistemology that seems to affect us so often these days. Cell biology is the new cyber-space and nanotechnology. Once we fully understand the exact nature of how our world makes us and, indeed how it sometimes kills us, we will be able to make true architectures of ecological connectability. This is our profession's future. Small steps have been made, but much more remains to be done. (shrink)

This paper is concerned with scientific reasoning in the engineering sciences. Engineering sciences aim at explaining, predicting and describing physical phenomena occurring in technological devices. The focus of this paper is on mathematical description. These mathematical descriptions are important to computer-aided engineering or design programs (CAE and CAD). The first part of this paper explains why a traditional view, according to which scientific laws explain and predict phenomena and processes, is problematic. In the second part, the reasons (...) of these methodological difficulties are analyzed. Ludwig Prandtl’s method of integrating a theoretical and empirical approach is used as an example of good scientific practice. Based on this analysis, a distinction is made between different types of laws that play a role in constructing mathematical descriptions of phenomena. A central assumption in understanding research methodology is that, instead of scientific laws, knowledge of capacities and mechanisms are primary in the engineering sciences. Another important aspect in methodology of the engineering sciences is that in explaining a phenomenon or process spatial regions are distinguished in which distinct physical behaviour occur. The mechanisms in distinct spatial regions are represented in a so-called diagrammatic model. The construction of a mathematical description of the phenomenon or process is based on this diagrammatic model. (shrink)

Philosophers have relied on visual metaphors to analyse ideas and explain their theories at least since Plato. Descartes is famous for his system of axes, and Wittgenstein for his first design of truth table diagrams. Today, visualisation is a form of ‘computer-aided seeing’ information in data. Hence, information is the fundamental ‘currency’ exchanged through a visualisation pipeline. In this article, we examine the types of information that may occur at different stages of a general visualization pipeline. We (...) do so from a quantitative and a qualitative perspective. The quantitative analysis is developed on the basis of Shannon’s information theory. The qualitative analysis is developed on the basis of Floridi’s taxonomy in the philosophy of information. We then discuss in detail how the condition of the ‘data processing inequality’ can be broken in a visualisation pipeline. This theoretic finding underlines the usefulness and importance of visualisation in dealing with the increasing problem of data deluge. We show that the subject of visualisation should be studied using both qualitative and quantitative approaches, preferably in an interdisciplinary synergy between information theory and the philosophy of information. (shrink)

The advancement in technology has changed the workflow and the role of human translator in recent years. The impact from the trend of technology-mediated translation prompted the ratification of technology literacy as a major competence for modern translators. Consequently, teaching of translation technology including but not limited to Computer-aided Translation and Machine Translation became part of comprehensive curricula for translation training programs. However, in many institutions, the teaching of translation technology was haunted by issues such as: narrow scope (...) of curriculum design, outdated technologies, and unbalance between theories and practices in teaching. The study was the pilot evaluation of a tailored course to foster translation trainees’ knowledge and abilities of data science. The course was designed to be a fundamental step toward sophisticated translation technologies. During the pilot evaluation of the 8-week course, 85 students were recruited as participants. The study adopted a mix-method design by employing a survey to investigate student’s level of satisfaction toward the course and focus group discussion to understand students’ attitudes and perceptions of key aspects of the course. By interpreting the results from statistical analysis of the survey and thematic analysis of the focus group discussion, the course of data science for translators was well received among participants. The evaluation project manifested the feasibility and effectiveness of a translator-oriented data science course. (shrink)

A brain tumor is an abnormal mass or growth of a cell that leads to certain death, and this is still a challenging task in clinical practice. Early and correct diagnosis of this type of cancer is very important for the treatment process. For this reason, this study aimed to develop computer-aided systems for the diagnosis of brain tumors. In this research, we proposed three different end-to-end deep learning approaches for analyzing effects of local and deep features for (...) brain MRI images anomaly detection. The first proposed system is Directional Bit-Planes Deep Autoencoder which extracts and learns local and direction features. The DBP-DAE by decomposition of a local binary pattern into eight bit-planes extracts are directional and inherent local-structure features from the input image and learns robust feature for classification purposes. The second one is a Dilated Separable Residual Convolutional Network which extracts high and low-level features. The main advantage of this approach is that it is robust and shows stable results regardless to size of image database and to solve overfitting problems. To explore the effects of mixture of local and deep extracted feature on accuracy of classification of brain anomaly, a multibranch convolutional neural network approach is proposed. This approach is designed according to combination of DBP-DAE and DSRCN in an end-to-end manner. Extensive experiments conducted based on brain tumor in MRI image public access databases and achieves significant results compared to state-of-the-art algorithms. In addition, we discussed the effectiveness and applicability of CNNs with a variety of different features and architectures for brain abnormalities such as Alzheimer’s. (shrink)

Segmentation of the medical image plays a significant role when it comes to diagnosis using computer aided system. This article focuses on the human corneal endothelium’s health, which is one of the filed research interests, especially in the human cornea. Various pathological environments fasten the extermination of the endothelial cells, which in turn decreases the cell density in an abnormal manner. Dead cells worsen the hexagonal design. The mutilated endothelial cells can no longer revive back and that (...) gives room for neighbouring cells to migrate and expand so that they can fill in the space. The latter results in cell elongation that is unpredictable as well as increase in size and thinning. Cell density and shape are therefore considered major parameters when it comes to explaining the health condition attributed to corneal endothelium. In this study, medical feature extraction was obtained depending on the segmentation of the endothelial cell boundary, and the task of segmentation of such objects especially the thin, transparent, and unclear cell boundary is considered challenging due to the nature of the image capture during endothelium layer examination by ophthalmologists using confocal or specular microscopy. The resulting image suffers from various issues that affect the quality of the image. Low quality is due to non-uniformity of illumination and the presence of a lot of noise and artefacts resulting from high amounts of distortion, and most of these limitations are present because of the nature of the imaging modality. Usually, images contain certain kind of noise and also continuous shadow. Furthermore, the cells are separated by poor border, thereby leading to great difficulty in the segmentation of the images. The irregular shape of cell and also the contrast of such images seem to be low as they possess blurry boundaries with diverse objects existing in addition to the lack of homogeneity. The main aim of the study is to propose and develop a totally automatic, robust, and real-time model for the segmentation of endothelial cells of the human cornea obtained by in vivo microscopy and computation of different clinical features of endothelial cells. To achieve the aim of this study a new scheme of image enhancement was proposed such as the Contrast-Limited Adaptive Histogram Equalisation technique to enhance contrast. After that, a new image denoising technique called Wavelet Transform Filter and Butterworth Bandpass for Segmentation is used. Subsequently, brightness level correction is applied by using the moving average filter and the CLAHE to reduce the effects of the non-uniform image lighting produced as a result of the previous step. The main aim of this article is the segmentation of endothelial cells, which involves precise detection of the endothelial contours. So a new segmentation model was proposed such that the shape of the cells will be extracted, and the contours were highlighted. This stage is followed by clinical feature extraction and uses the features for diagnosis. In this stage, several relevant clinical features such as pleomorphism mean cell perimeter, mean cell density, mean cell area, and polymegathism are extracted. The role of these clinical features is crucial for the early detection of corneal pathologies as well as the evaluation of the health of the corneal endothelium layer. The findings of this study were promising. (shrink)