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

Software-intensive systems are ubiquitous in the industrialized world. The reliability of software has implications for how we understand scientific knowledge produced using software-intensive systems and for our understanding of the ethical and political status of technology. The reliability of a software system is largely determined by the distribution of errors and by the consequences of those errors in the usage of that system. We select a taxonomy of software error types from the literature on (...) empirically observed software errors and compare that taxonomy to Giuseppe Primiero’s Minds and Machines 24: 249–273, (2014) taxonomy of error in information systems. Because Primiero’s taxonomy is articulated in terms of a coherent, explicit model of computation and is more fine-grained than the empirical taxonomy we select, we might expect Primiero’s taxonomy to provide insights into how to reduce the frequency of software error better than the empirical taxonomy. Whether using one software error taxonomy can help to reduce the frequency of software errors better than another taxonomy is ultimately an empirical question. (shrink)

The neural correlates of software programming skills have been the target of an increasing number of studies in the past few years. Those studies focused on error-monitoring during software code inspection. Others have studied task-related cognitive load as measured by distinct neurophysiological measures. Most studies addressed only syntax errors. However, a recent functional MRI study suggested a pivotal role of the insula during error-monitoring when challenging deep-level analysis of code inspection was required. This raised the hypothesis (...) that the insula is causally involved in deep error-monitoring. To confirm this hypothesis, we carried out a new fMRI study where participants performed a deep source-code comprehension task that included error-monitoring to detect bugs in the code. The generality of our paradigm was enhanced by comparison with a variety of tasks related to text reading and bugless source-code understanding. Healthy adult programmers participated in this 3T fMRI experiment. The activation maps evoked by error-related events confirmed significant activations in the insula [p < 0.05]. Importantly, a posterior-to-anterior causality shift was observed concerning the role of the insula: in the absence of error, causal directions were mainly bottom-up, whereas, in their presence, the strong causal top-down effects from frontal regions, in particular, the anterior cingulate cortex was observed. (shrink)

This paper argues that the difference between contemporary software intensive scientific practice and more traditional non-software intensive varieties results from the characteristically high conditionality of software. We explain why the path complexity of programs with high conditionality imposes limits on standard error correction techniques and why this matters. While it is possible, in general, to characterize the error distribution in inquiry that does not involve high conditionality, we cannot characterize the error distribution in inquiry (...) that depends on software. Software intensive science presents distinctive error and uncertainty modalities that pose new challenges for the epistemology of science. (shrink)

Imagine if each square of pavement on the sidewalk had an owner, and pedestrians required a license to step on it. Imagine the negotiations necessary to walk an entire block under this system. That is what writing a program will be like if software patents continue. The sparks of creativity and individualism that have driven the computer revolution will be snuffed out. Imagine if each square of pavement on the sidewalk had an owner, and pedestrians required a license to (...) step on it. Imagine the negotiations necessary to walk an entire block under this system. That is what writing a program will be like if software patents continue. The sparks of creativity and individualism that have driven the computer revolution will be snuffed out.—Richard Stallman and Simson Garfinkel (1992) This article highlights the vulnerability of the open source software movement to patent infringement lawsuits. With the number of patents on software algorithms predicted to exceed 100,000 this year, it is now virtually impossible to write any computer program, however trivial, that does not violate one or more patents. This paper argues that this situation is not only ludicrous, but it is contrary to any reasonable reading of the Constitution’s intentions with respect to the protection of intellectual property. In addition, the patentability of software algorithms stems from the U.S. Supreme Court’s failure to grasp one of the most fundamental concepts of computer science. From this error stems a long, dysfunctional chain of legal reasoning and patent policies, the effect of which has been to transform the mental reasoning processes, abstract knowledge, and scientific truths of computing into patentable subject matter. The result poses a potentially catastrophic threat not only to the open source software movement and the emerging industry of electronic commerce, but more fundamentally, to the very existence of the sciences of computing, without which further U.S. technological leadership will be impossible to sustain. (shrink)

We address some of the epistemological challenges highlighted by the Critical Data Studies literature by reference to some of the key debates in the philosophy of science concerning computational modeling and simulation. We provide a brief overview of these debates focusing particularly on what Paul Humphreys calls epistemic opacity. We argue that debates in Critical Data Studies and philosophy of science have neglected the problem of error management and error detection. This is an especially important feature of the (...) epistemology of Big Data. In “Error” section we explain the main characteristics of error detection and correction along with the relationship between error and path complexity in software. In this section we provide an overview of conventional statistical methods for error detection and review their limitations when faced with the high degree of conditionality inherent to modern software systems. (shrink)

There has been a transition in the way software developers work. Mistakes in software have been treated as "normal" occurrences. "All software has bugs." However, software engineering is an emerging profession which as a profession has now said that a caviler approach to software errors is unacceptable. They have asserted a very strong ethical position in the Software Engineering Code of Ethics and Professional Practice, a position which mandates concern for all those affected by (...) their work. The Code has several unique elements as a professional Code. (shrink)

Software defects prediction at the initial period of the software development life cycle remains a critical and important assignment. Defect prediction and correctness leads to the assurance of the quality of software systems and has remained integral to study in the previous years. The quick forecast of imperfect or defective modules in software development can serve the development squad to use the existing assets competently and effectively to provide remarkable software products in a given short (...) timeline. Hitherto, several researchers have industrialized defect prediction models by utilizing statistical and machine learning techniques that are operative and effective approaches to pinpoint the defective modules. Tree family machine learning techniques are well-thought-out to be one of the finest and ordinarily used supervised learning methods. In this study, different tree family machine learning techniques are employed for software defect prediction using ten benchmark datasets. These techniques include Credal Decision Tree, Cost-Sensitive Decision Forest, Decision Stump, Forest by Penalizing Attributes, Hoeffding Tree, Decision Tree, Logistic Model Tree, Random Forest, Random Tree, and REP-Tree. Performance of each technique is evaluated using different measures, i.e., mean absolute error, relative absolute error, root mean squared error, root relative squared error, specificity, precision, recall, F-measure, G-measure, Matthew’s correlation coefficient, and accuracy. The overall outcomes of this paper suggested RF technique by producing best results in terms of reducing error rates as well as increasing accuracy on five datasets, i.e., AR3, PC1, PC2, PC3, and PC4. The average accuracy achieved by RF is 90.2238%. The comprehensive outcomes of this study can be used as a reference point for other researchers. Any assertion concerning the enhancement in prediction through any new model, technique, or framework can be benchmarked and verified. (shrink)

This paper describes a novel pedagogical software program that can be seen as an online companion to one of the standard textbooks of formal natural language semantics, Heim and Kratzer (1998). The Penn Lambda Calculator is a multifunctional application designed for use in standard graduate and undergraduate introductions to formal semantics: Teachers can use the application to demonstrate complex semantic derivations in the classroom and modify them interactively, and students can use it to work on problem sets provided by (...) the teacher. The program supports demonstrations and exercises in two main areas: (1) performing beta reduction in the simply typed lambda calculus; (2) application of the bottom-up algorithm for computing the compositional semantics of natural language syntax trees. The program is able to represent the full range of phenomena covered in the Heim and Kratzer textbook by function application, predicate modification, and lambda abstraction. This includes phenomena such as intersective adjectives, relative clauses and quantifier raising. In the student use case, emphasis has been placed on providing “live” feedback for incorrect answers. Heuristics are used to detect the most frequent student errors and to return specific, interactive suggestions. (shrink)

Software vulnerabilities are the root cause for a multitude of security problems in computer systems. Owing to their efficiency and tight control over low-level system resources, the C and C++ programming languages are extensively used for a myriad of purposes, from implementing operating system kernels to user-space applications. However, insufficient or improper memory management frequently leads to invalid memory accesses, eventually resulting in memory corruption vulnerabilities. These vulnerabilities are used as a foothold for elaborated attacks that bypass existing defense (...) methods. In this paper, we summarise the main memory safety violation types (i.e. memory errors), and analyse how they are exploited by attackers and the main mitigation methods proposed in the research community. We further systematise the most relevant techniques with regards to memory corruption identification in current programs. (shrink)

In the discipline of software development, effort estimation renders a pivotal role. For the successful development of the project, an unambiguous estimation is necessitated. But there is the inadequacy of standard methods for estimating an effort which is applicable to all projects. Hence, to procure the best way of estimating the effort becomes an indispensable need of the project manager. Mathematical models are only mediocre in performing accurate estimation. On that account, we opt for analogy-based effort estimation by means (...) of some soft computing techniques which rely on historical effort estimation data of the successfully completed projects to estimate the effort. So in a thorough study to improve the accuracy, models are generated for the clusters of the datasets with the confidence that data within the cluster have similar properties. This paper aims mainly on the analysis of some of the techniques to improve the effort prediction accuracy. Here the research starts with analyzing the correlation coefficient of the selected datasets. Then the process moves through the analysis of classification accuracy, clustering accuracy, mean magnitude of relative error and prediction accuracy based on some machine learning methods. Finally, a bio-inspired firefly algorithm with fuzzy analogy is applied on the datasets to produce good estimation accuracy. (shrink)

With the continuous development of software, it is inevitable that there will be various unpredictable problems in computer software or programs that will damage the normal operation of the software. In the paper, static analysis software is taken as the research object, the errors or failures caused by the potential defects of the software modules are analyzed, and a software analysis method based on big data tendency prediction is proposed to use the software (...) defects of the stacked noise reduction sparse analyzer to predict. This method can learn features from original defect data, directly and efficiently extract required features of all levels from software defect data by setting different number of hidden layers, sparse regularization parameters, and noise ratio, and then classify and predict the extracted features by combining with big data. Through experimental tests, the performance of the presented method is better than that of the comparison method in correct rate, accuracy rate, recall rate, F1-measurement, AUC value, and running time, which proves that the research results in this paper have more accurate failure prediction effect and can timely eliminate software failures. (shrink)

The interdisciplinary research area Cognitive Interaction Technology (CIT) aims to understand and support interactions between human users and other elements of socio-technical systems. Important reasons for the new interest in understanding CIT in sport psychology are the impressive development of cognitive robotics and advanced technologies such as virtual or augmented reality systems, cognitive glasses or neurotechnology settings. The present article outlines this area of research, addresses ethical issues, and presents an empirical study in the context of a new measurement and (...) assessment system for training in karate. Recent advances in the field of cognitive assistance systems enabled largely automatized assessments of individual mental representation structures for action sequences, such as choreographed movement patterns in dance or martial arts. Empirical investigations with karate practitioners of different skill levels demonstrate that advanced software-based survey and algorithmic analysis procedures based on cognitive models generate individualized performance predictions for a movement sequence from theKanku-dai kata(a pre-defined karate movement sequence), which correlated significantly not only with formal expertise (kyu/danrank) but also with the actual likelihood of mistakes in action execution. This information could prospectively be used to define individual training goals for deliberate practice and incorporated into cognitive interaction technology to provide appropriate feedback. We argue that the development of cognitive interaction systems for sport should explicitly take ethical issues into consideration and present a particular developed engineering approach. The potential benefits of such an assistance system for intermediate and advanced practitioners include more effective and flexible practice, as well as supportive effects, and more flexible training schedules. Furthermore, we argue that researchers from the field of sport psychology can benefit from advances in technological systems that enhance the understanding of mental and motor control in skilled voluntary action. (shrink)

Software-intensive science challenges in many ways our current scientific methods. This affects significantly our notion of science and scientific interpretation of the world, driving at the same time the philosophical debate. We consider some issues prompted by SIS in the light of the philosophical categories of ontology and epistemology.

As sophisticated artificial intelligence software becomes more ubiquitously and more intimately integrated within domains of traditionally human endeavor, many are raising questions over how responsibility (be it moral, legal, or causal) can be understood for an AI’s actions or influence on an outcome. So called “responsibility gaps” occur whenever there exists an apparent chasm in the ordinary attribution of moral blame or responsibility when an AI automates physical or cognitive labor otherwise performed by human beings and commits an (...) class='Hi'>error. Healthcare administration is an industry ripe for responsibility gaps produced by these kinds of AI. The moral stakes of healthcare are often life and death, and the demand for reducing clinical uncertainty while standardizing care incentivizes the development and integration of AI diagnosticians and prognosticators. In this paper, we argue that (1) responsibility gaps are generated by “black box” healthcare AI, (2) the presence of responsibility gaps (if unaddressed) creates serious moral problems, (3) a suitable solution is for relevant stakeholders to voluntarily responsibilize the gaps, taking on some moral responsibility for things they are not, strictly speaking, blameworthy for, and (4) should this solution be taken, black box healthcare AI will be permissible in the provision of healthcare. (shrink)

2015 Reprint of 1956 Printing. Full facsimile of the original edition. Not reproduced with Optical Recognition Software. Cybernetics is here defined as "the science of control and communication, in the animal and the machine"-in a word, as the art of steersmanship; and this book will interest all who are interested in cybernetics, communication theory and methods for regulation and control. W. Ross Ashby (1903-1972) was an English psychiatrist and a pioneer in cybernetics, the study of complex systems. His two (...) books, "Design for a Brain" and "An Introduction to Cybernetics," were landmark works. They introduced exact and logical thinking into the nascent discipline and were highly influential. Contents include: What is new -- Change -- The Determinate Machine -- The Machine with Input -- Stability -- The Black Box -- Quantity of Variety -- Transmission of Variety -- Incessant Transmission -- Regulation in Biological Systems -- Requisite Variety -- The Error-controlled Regulator -- Regulating the Very Large System -- Amplifying Regulation. (shrink)

Various errors can affect scientific code and detecting them is a central concern within computational science. Could formal verification methods, which are now available tools, be widely adopted to guarantee the general reliability of scientific code? After discussing their benefits and drawbacks, we claim that, absent significant changes as regards features like their user-friendliness and versatility, these methods are unlikely to be adopted throughout computational science, beyond certain specific contexts for which they are well-suited. This issue exemplifies the epistemological heterogeneity (...) of computational science: profoundly different practices can be appropriate to meet the reliability challenge that rises for scientific code. (shrink)

Various errors can affect scientific code and detecting them is a central concern within computational science. Could formal verification methods, which are now available tools, be widely adopted to guarantee the general reliability of scientific code? After discussing their benefits and drawbacks, we claim that, absent significant changes as regards features like their user-friendliness and versatility, these methods are unlikely to be adopted throughout computational science, beyond certain specific contexts for which they are well-suited. This issue exemplifies the epistemological heterogeneity (...) of computational science: profoundly different practices can be appropriate to meet the reliability challenge that rises for scientific code. (shrink)

This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifi cally the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfi lms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in (...) this publication does not imply, even in the absence of a specifi c statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made. (shrink)

This study explored calibrating a large item bank for use in multidimensional health measurement with computerized adaptive testing, using both item responses and response time (RT) information. The Activity Measure for Post-Acute Care is a patient-reported outcomes measure comprised of three correlated scales (Applied Cognition, Daily Activities, and Mobility). All items from each scale are Likert type, so that a respondent chooses a response from an ordered set of four response options. The most appropriate item response theory model for analyzing (...) and scoring these items is the multidimensional graded response model (MGRM). During the field testing of the items, an interviewer read each item to a patient and recorded, on a tablet computer, the patient’s responses and the software recorded RTs. Due to the large item bank with over 300 items, data collection was conducted in four batches with a common set of anchor items to link the scale. Van der Linden’s (2007) hierarchical modeling framework was adopted. Several models, with or without interviewer as a covariate and with or without interaction between interviewer and items, were compared for each batch of data. It was found that the model with the interaction between interviewer and item, when the interaction effect was constrained to be proportional, fit the data best. Therefore, the final hierarchical model with lognormal model for RT and the MGRM for response data was fitted to all batches of data via a concurrent calibration. Evaluation of parameter estimates revealed that (1) adding response time information did not affect the item parameter estimates and their standard errors significantly; (2) adding response time information helped reduce the standard error of patients’ multidimensional latent trait estimates, but adding interviewer as a covariate did not result in further improvement. Implications of the findings for follow up adaptive test delivery design are discussed. (shrink)

Around the world, private and public organizations use software called legal expert systems to compute taxes. This software must comply with the laws they are designed to implement. As such, a bug or an error in a program that leads to tax miscalculations can have heavy legal and democratic consequences. However, increasing evidence suggests that some legal expert systems may not comply with the law. Moreover, traditional software development processes mean that legal expert systems are difficult (...) to adapt to the continuous flow of new legislation. To prevent further software decay and to reconcile these systems with the growing demand for algorithmic transparency, we argue that there is a need for a new development process for legal expert systems. This new system must be built to comply with the law, in particular the GDPR. It must also respect democratic transparency. For these reasons, we present a solution built by lawyers and computer scientists: C atala, a new programming language coupled with a pair programming development process. (shrink)

In order to study the influence of different entrepreneurial psychological leadership styles on organizational learning ability and organizational performance, and to provide theoretical basis for the improvement of organizational benefits of entrepreneurial enterprises in the future, 421 general managers, middle managers, and grass-roots managers of 350 small and medium-sized private enterprises in Beijing were surveyed by questionnaire in two forms: online and on site. Then, a hypothesis model of the relationship between different entrepreneurial psychological leadership styles and organizational learning ability (...) and organizational performance was constructed. The correlation between transformational, transactional, and laissez-faire psychological leadership style and organizational performance and organizational learning ability was analyzed using multiple regression models. AMOS 7.0 software was used to simulate and verify the model. The results show that transformational psychological leadership style is positively correlated with organizational learning ability, financial performance, and growth performance; transactional psychological leadership style is positively correlated with organizational financial performance, growth performance, and organizational learning ability; there is no correlation between laissez-faire psychological leadership style and organizational financial performance and growth performance, but there is a significant positive correlation between laissez-faire psychological leadership style and organizational learning ability. The covariance between the error terms of the internal and external potential variables of the model is positive, and the factor load value of each potential variable and the observed variable is between 0.5 and 1, which shows that transformational and transactional psychological leadership styles have more positive influence on organizational financial performance and learning ability than laissez-faire psychological leadership styles. The hypothesis model of the relationship between entrepreneurial psychological leadership style and organizational learning ability and organizational performance conforms to the adaptation criteria and is feasible. (shrink)

This article focuses on the problems of application of artificial intelligence to represent legal knowledge. The volume of legal knowledge used in practice is unusually large, and therefore the ontological knowledge representation is proposed to be used for semantic analysis, presentation and use of common vocabulary, and knowledge integration of problem domain. At the same time some features of legal knowledge representation in Ukraine have been taken into account. The software package has been developed to work with the ontology. (...) The main features of the program complex, which has a Web-based interface and supports multi-user filling of the knowledge base, have been described. The crowdsourcing method is due to be used for filling the knowledge base of legal information. The success of this method is explained by the self-organization principle of information. However, as a result of such collective work a number of errors are identified, which are distributed throughout the structure of the ontology. The results of application of this program complex are discussed in the end of the article and the ways of improvement of the considered technique are planned. (shrink)

Cellular Automata, which is a method for analyzing phenomena of complex systems, allows us to construct many kinds of simulators such as road traffic simulators. When we design a CA model, we need a CA simulator for verification of its result. However, at the present, we need to develop a software simulator since CA dedicated computers have not been generalized yet. We need to use a trial and error method with the simulator for design of local rules, which (...) is the main process of making CA models. We have developed an interpreter that makes this process easily. Giving the system a local rule described in a CA dedicated language, the user can instantly confirm the result. When the user change the rules, the system reflects his changes immediately. Our system does not regulate to design the local rules belonging to the CA category because the system is a general purpose CA simulator that adopts the method by description in the special language for definitions of local rules. We can modify a rule dramatically since the system interprets a rule description language in runtime. Furthermore, we can change variable parameters using GUI interfaces. Whereby they iterate to change a rule, a conflictive conditional statement sometimes occurs in a description of local rules. This conflict is far from seeking generally. Our system detects such a conflict automatically and notifies it to users as an error. (shrink)

In the traditional case, the uncertainty of the ambient temperature measured by the experiential distributed sensor is considered. In this paper, a model based on the moving least square method in the fusion algorithm is proposed to study the optimal monitoring point of the sensor in the greenhouse and determine the most suitable installation position of the sensor in the greenhouse to improve the control effect of the temperature control device of the system. MATLAB simulation software is used to (...) simulate each working condition of the greenhouse. Temperature data measured at 15 locations in the greenhouse were used to evaluate all possible combinations of monitoring locations and to estimate the optimal location for indoor temperature sensors. Compared with the traditional method, the error is reduced to 0.373, and the data are more accurate. (shrink)

Because of the rising labor costs and the trade impact after joining the World Trade Organization, the textile industry in Taiwan has encountered many operational and production problems and obstacles. In addition, the lack of knowledge and resources for the digital transformation required to improve business performance has led to poor production and decision-making efficiency, and stagnant R&D for textile product innovation. In order to improve business operations, enhance customer satisfaction and experience, increase efficiency and reduce manual error, this (...) study was conducted with senior executives and company managers in Taiwan’s textile industry as the target population. The knowledge, technological resources, and competitive pressure of digital transformation are the independent variables. The organizational innovation atmosphere is the moderating variable. The study analyzes the impact of digital transformation on the intention of enterprises. The results of the study show that the knowledge of digital transformation, technological resources, and the competitive pressure of the textile industry positively and significantly affect their perceived benefits of digital transformation. Digital transformation knowledge, technological resources, and competitive pressure will negatively and significantly affect the perceived risk of digital transformation. The perceived benefits and risks of digital transformation are related to the intention of digital transformation of enterprises. The organizational innovation atmosphere of the textile industry positively moderates the influence of perceived benefits on digital transformation intention. Finally, based on the research findings, this study provides practical recommendations to senior executives and company managers in the textile industry. It is also recommended to promote the digital transformation of related software and hardware vendors and government agencies, as well as the subsequent related research reference. (shrink)

Mistakes during criminal investigations are costly, leading to wrongful convictions, so it is helpful to employ rigorous analytic methods to help mitigate errors and biases. This paper introduces a new method to help make sense of a set of information, allowing thought processes to be externalised in a systematic and transparent manner. While this method is presented in a criminal investigation context, it can be applied to any situation where analysis of several hypotheses and evidence is required. Open source (...) class='Hi'>software was created and used to test the method empirically. A simulated criminal investigation was carried out by seventy-five trainee investigators, the results showed better conclusions were reached when using the method. (shrink)

Imagine this scenario: a bank customer walks up to an ATM to withdraw cash from her account. While entering her PIN, she accidentally presses the '3' key at the same time as the 'Clear' key. Instantly $100 comes out of the cash dispenser! Curious, she checks the receipt and seeing that the money did not from her account, she tries the same operation. Again, $100 comes out of the cash dispenser. At this point she has two options, A: she can (...) continue to take advantage of this obvious flaw and tell her friends, or B: she can report this problem to the bank, telling no one else. While Kantian ethics might require the latter, the issue becomes much grayer when it comes to computer software vulnerabilities. Many variables exist to cloud the ethical judgment of a software flaw's discoverer. The question becomes: is it better to report any vulnerability that could cause catastrophic problems or to make the vulnerability information public in order to simultaneously compel the software vendor to address the problem while giving the vendor's customers a chance to prepare for potential exploitation? Software companies are facing this dilemma on a regular basis. There are dozens of websites, newsgroups, and e-mail lists dedicated to the task of sharing vulnerability information, whether condoned by the software company or not. The issue increases in severity as vulnerable software becomes ubiquitous across global networks. The public release of vulnerability information is often the first drop of the monsoon that is the malicious network worm. How this information is controlled and disseminated is critical to the stable operation of millions of computer systems and networks across the globe.Modern software with network capability is fundamentally complex and can span thousands of lines of source code for one small part of the package. Without proper testing and quality assurance, many bugs and errors slip through. Software development requires these iterations of coding and bug fixing to produce stable and polished final products. Larger and more complex software gives a greater chance for a bug to remain undiscovered. Yet, since major vulnerabilities have appeared in relatively smaller projects, proper code audit and testing are critical regardless of the size of a software package or the amount of source code required to produce it. If bugs or security vulnerabilities are not discovered and fixed by the software manufacturers, it is inevitable that they will be discovered by outside researchers.This breeds the ethical conundrum of what the researchers do with the information once it has been discovered. Foundational to disclosure, regardless of the ideology, is the notion of providing useful protective information to the most appropriate audience. Many suggest that disclosure is about doing the 'greatest good' for the greatest number of people, which is an obvious adherence to the ethical principle of Utilitarianism. There are numerous parties involved in the network security process such as software vendor, security researcher, system administrator, and even malicious attacker: all whose intentions reflect on the ethical principles behind their actions. (shrink)

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

Hemispherical Resonator Gyro is a new type gyro with high precision, high reliability, shock resistance, no need of preheating, short start time, and long life. It is a kind of vibrating gyro with standing wave rotating along the sensitive base of annular precession, has a unique application prospect in the field of high precision inertial sensors, and is widely used in unmanned aerial vehicle control in complex environments. Based on the theory of the structure characteristics of the hemispherical resonator, the (...) mathematical model of energy of the resonator is established to research the rule of resonant frequency when the hemispherical resonator is rotated around the central axis. In this paper, the influence of precession factor, which are the top angle, the bottom angle, and wall unevenness of the hemispherical resonator, are analyzed. A series of hemispherical resonator models are constructed by ANSYS software to prove the results of theoretical research. The simulation results show that precession factor of the hemispherical resonator is more sensitive of the top angle than the bottom angle, and the error of angular velocity which is caused by the change of the top angle is larger than that which is caused by the change of the bottom angle. (shrink)

Through their transcript products genes regulate the rates at which an immense variety of transcripts and subsequent proteins occur. Understanding the mechanisms that determine which genes are expressed, and when they are expressed, is one of the keys to genetic manipulation for many purposes, including the development of new treatments for disease. Viewing each gene in a genome as a distinct variable that is either on or off, or more realistically as a continuous variable, the values of some of these (...) variables influence the values of others through the regulatory proteins they express, including, of course, the possibility that the rate of expression of a gene at one time may, in various circumstances, influence the rate of expression of that same gene at a later time. If we imagine an arrow drawn from each gene expression variable at a given time to a gene variable whose expression it influences a short while after, the result is a network, technically a directed acyclic graph. For example, the DAG in Figure 1 is a representation of a system in which the expression level of gene G1 at time 1 ) causes the expression level of G2, which in turn causes the expression level of G3. The arrows in Figure 1 which do not have a variable at their tails are “error terms” which represent all of the causes of a variable other than the ones explicitly represented in the DAG. The DAG describes more than associations—it describes causal connections among gene expression rates. A shock to a cell—by mutation, heating, chemical treatment, etc. may alter the DAG describing the relations among gene expressions, for example by activating a gene that was otherwise not expressed, producing a cascade of new expression effects. Although “knockout” experiments can reveal some of the underlying causal network of gene expression levels, unless guided by information from other sources, such experiments are limited in how much of the network structure they can reveal, due to the sheer number of possible combinations of experimental manipulations of genes necessary to reveal the complete causal network. Recent developments have made it possible to compare quantitatively the expression of tens of thousands of genes in cells from different sources in a single experiment, and to trace gene expression over time in thousands of genes simultaneously. cDNA microarrays are already producing extensive data, much of it available on the web. Thus there are calls for analytic software that can be applied to microarray and other data to help infer regulatory networks. In this paper we will review current techniques that are available for searching for the causal relations between variables, describe algorithmic and data gathering obstacles to applying these techniques to gene expression levels, and describe the prospects for overcoming these obstacles. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Database of Classical Bibliography ed. by Dee. L. ClaymanGerald A. PressDee. L. Clayman, editor. The Database of Classical Bibliography. CD-ROM and manual. Atlanta: Scholars Press, 1997. Pp. xvi + 120. $85 (individual); $340-2400 (institutional).L ’Annee Philologique (APh) has long been one of the most important scholarly resources for students of the history of ancient philosophy. Even though in print form it contains errors and omissions, has become (...) of unwieldy size, and does not appear promptly enough for up-to-date research, there is no other single source of such international comprehensiveness. It is far more inclusive in many respects than The Philosopher’s Index.The Database of Classical Bibliography (DCB) is a long-term project sponsored by the N.E.H., the American Philological Association and others to make the full contents of APh accessible from a CD-ROM either from individual PCs or on a local network. Unlike the Thesaurus Linguae Graecae, the DCB CD-ROM comes with its own search software (DCB CompLex) on the disk. This software is set up both for IBM and MAC machines, installs quickly, and operates extremely well. The manual gives clear instructions both for general use and for detailed search strategies. CompLex enables the user to search DCD in many different ways; e.g., by ancient or modern authors and works, by titles, publisher, place of publication, year of publication, journal, modern language, or series name, as well as by APh volumes, years, page numbers, rubrics, and topics. It can also search by any word in a modern language (i.e., in Roman characters) or for words in a Greek index. And CompLex enables one to perform more complex searches utilizing wildcards and Boolean operators in a user-friendly form.DCB Version 2, containing Volumes 45–60 (1974–1989), fulfills the editor’s initial commitment to make a new release available each year with the addition of three to five years, since it includes four years of APh (1973–74 and 1988–89) not on Version 1. Also new in Version 2 is a French interface and manual.DCB has faults, however. It repeats mistakes that appeared in the print version of APh and contains other mistakes that did not originate in APh. Many were noted in reviews of Version 1, but this should not be surprising in a work of such magnitude as either APh or DCB. What is perhaps disturbing is that errors noted in Version 1 have not been corrected in Version 2, though it would not seem difficult to make use of the information provided by careful reviewers.Nevertheless, DCB is a terrific scholarly tool. No college or university library should be without it. [End Page 619]Gerald A. PressHunter CollegeCopyright © 1998 Journal of the History of Philosophy, Inc... (shrink)

At present, the motion control algorithms of lower limb exoskeleton robots have errors in tracking the desired trajectory of human hip and knee joints, which leads to poor follow-up performance of the human-machine system. Therefore, an iterative learning control algorithm is proposed to track the desired trajectory of human hip and knee joints. In this paper, the experimental platform of lower limb exoskeleton rehabilitation robot is built, and the control system software and hardware design and robot prototype function test (...) are carried out. On this basis, a series of experiments are carried out to verify the rationality of the robot structure and the feasibility of the control method. Firstly, the dynamic model of the lower limb exoskeleton robot is established based on the structure analysis of the human lower limb; secondly, the servo control model of the lower limb exoskeleton robot is established based on the iterative learning control algorithm; finally, the exponential gain closed-loop system is designed by using MATLAB software. The relationship between convergence speed and spectral radius is analyzed, and the expected trajectory of hip joint and knee joint is obtained. The simulation results show that the algorithm can effectively improve the gait tracking accuracy of the lower limb exoskeleton robot and improve the follow-up performance of the human-machine system. (shrink)

Flooding is one of the most damaging natural hazards globally. During the past three years, floods have claimed hundreds of lives and millions of dollars of damage in Iran. In this study, we detected flood locations and mapped areas susceptible to floods using time series satellite data analysis as well as a new model of bagging ensemble-based alternating decision trees, namely, bag-ADTree. We used Sentinel-1 data for flood detection and time series analysis. We employed twelve conditioning parameters of elevation, normalized (...) difference’s vegetation index, slope, topographic wetness index, aspect, curvature, stream power index, lithology, drainage density, proximities to river, soil type, and rainfall for mapping areas susceptible to floods. ADTree and bag-ADTree models were used for flood susceptibility mapping. We used software of Sentinel application platform, Waikato Environment for Knowledge Analysis, ArcGIS, and Statistical Package for the Social Sciences for preprocessing, processing, and postprocessing of the data. We extracted 199 locations as flooded areas, which were tested using a global positioning system to ensure that flooded areas were detected correctly. Root mean square error, accuracy, and the area under the ROC curve were used to validate the models. Findings showed that root mean square error was 0.31 and 0.3 for ADTree and bag-ADTree techniques, respectively. More findings illustrated that accuracy was obtained as 86.61 for bag-ADTree model, while it was 85.44 for ADTree method. Based on AUC, success and prediction rates were 0.736 and 0.786 for bag-ADTree algorithm, in order, while these proportions were 0.714 and 0.784 for ADTree. This study can be a good source of information for crisis management in the study area. (shrink)

lecting statistics about missing bindings and macros, and other errors. This guides debugging and development efforts, leading to iterative improvements in both the tools and the quality of the converted corpus. The build system thus serves as both a production conversion engine and software test harness. We have now processed the complete arχiv collection through 2006 consisting of more than 400,000 documents (a complete run is a processor-yearsize undertaking), continuously improving our success rate. We are now able to convert (...) more than 90% of these documents to XHTML+MathML. We consider over 60% to be successes, converted with no or minor warnings. While the remaining 30% can also be converted, their quality is doubtful, due to unsupported macros or conversion errors. (shrink)

Two senses of ‘ontology’ can be distinguished in the current literature. First is the sense favored by information scientists, who view ontologies as software implementations designed to capture in some formal way the consensus conceptualization shared by those working on information systems or databases in a given domain. [Gruber 1993] Second is the sense favored by philosophers, who regard ontologies as theories of different types of entities (objects, processes, relations, functions) [Smith 2003]. Where information systems ontologists seek to maximize (...) reasoning efficiency even at the price of simplifications on the side of representation, philosophical ontologists argue that representational adequacy can bring benefits for the stability and resistance to error of an ontological framework and also for its extendibility in the future. In bioinformatics, however, a third sense of ‘ontology’ has established itself, above all as a result of the successes of the Gene Ontology (hereafter: GO), which is a tool for the representation and processing of information about gene products and their biological functions [Gene Ontology Consortium 2000]. We show how Basic Formal Ontology (BFO) has established itself as an overarching ontology drawing on all three of the strands distinguished above, and describe applications of BFO especially in the treatment of biological granularity. (shrink)

In the field of cybernetic systems and more specifically in robotics, one of the fundamental objectives is the detection of anomalies in order to minimize loss of time. Following this idea, this paper proposes the implementation of a Hybrid Intelligent System in four steps to impute the missing values, by combining clustering and regression techniques, followed by balancing and classification tasks. This system applies regression models to each one of the clusters built on the instances of data set. Subsequently, a (...) variety of balancing techniques are applied to improve the classifier’s ability to discern whether it is in an error or a normal state. These techniques support to obtain better classification ratios in which a robot is close to error and allow us to bring the behavior back to a normal state. The experimentation is performed using a modern and public data set, which has been extracted from a component-based robotic system, in which different anomalies are induced by software in their components. (shrink)

Encouraging students to apply classroom knowledge in their personal, everyday life is a major problem confronting many teachers of critical thinking. For example, while a student might recognize an ad hominem argument in a classroom exercise, it is quite another thing for him or her to avoid the same in interpersonal relations, say with parents, siblings, and peers. One approach to this problem is the creation of interaction software to which students can turn for input on the rationality of (...) their own thinking. Students can then speak to computers rather than instructors about their private lives without having to share confidential information with any other human being, yet still receive relevant feedback. I discuss software technology that actually performs this function. The software in question is an interactive, artificial intelligence program that checks beliefs for faulty thinking, including inductive and deductive errors. The system "scans" student essays for possible fallacies; asks questions at relevant junctions; provides individualized feedback on fallacies committed; provides summaries of fallacies found; diagnoses thinking problems; issues recommendations; and provides other pertinent information. (shrink)

In den letzten zehn Jahren sind die digitalen Geisteswissenschaften von einem Randphänomen zu einem der sichtbareren Felder kultur- und geisteswissenschaftlicher Forschung geworden. Dieser Erfolg ist von Kritik begleitet und Fotis Jannidis identifiziert drei Topoi der Kritik an den Digital Humanities, die oft vorgebracht und wiederholt werden: 1. ›Das wussten wir schon vorher‹ 2. ›Die Themen der Digital Humanities sind veraltet‹ 3. Es handle sich bei den Digital Humanities um eine neue Form des Positivismus, der geisteswissenschaftliche Gegenstände nicht adäquat beschreibt. Diese (...) drei Vorwürfe gegen die Digital Humanities werden von Jannidis aufgegriffen und auf ihren argumentativen und wissenschaftspolitischen Gehalt befragt und hinterfragt. Der Beitrag schließt mit einem Plädoyer für das Ausprobieren, Basteln und für die Neugierde auf die neu entstehenden Datensammlungen in den Bibliotheken und Archiven. Markus Krajewski hält die Erwartungen an das Innovationspotenzial der Digital Humanities dagegen für überzogen, die aus seiner Perspektive bisher über den Status einer Hilfswissenschaft nicht hinausgekommen sind. So wie die Diplomatik um die Analyse von Urkunden oder die Numismatik um die Einordnung von Münzen oder die Paläographie um die Analyse von Handschriften besorgt ist, so kümmern sich die Digital Humanities bisher lediglich um die Nahtstelle von geisteswissenschaftlichen Forschungsfragen mit computergestützten Methoden. Die eigentliche Aufgabe der Digital Humanities bestünde aber darin, die Kulturtechnik Codieren in den Vordergrund zu rücken. Denn Programmcodes lesen und schreiben zu können, seien auch für Geisteswissenschaftler eine Schlüsselkompetenz, damit die Schrift der Zukunft – die von Softwareentwicklern, Computeringenieuren und selbstlernenden Maschinen entworfenen Algorithmen – weiterhin kritisch kommentiert und interpretiert (und nicht bloß passiv angewandt) werden kann. During the last ten years, the so-called digital humanities have developed from a footnote to being a major player in the academic field of cultural studies and humanities alike. However, success goes hand in hand with increasing criticism, and Fotis Jannidis identifies three topoi of critique digital humanities repeatedly have to face. 1. ›We already knew that‹ 2. ›The topics of digital humanities are outdated‹ 3. Digital humanities are said to be a new form of positivism not adequately describing humanities related issues. Jannides takes up these accusations against digital humanities by scrutinizing and questioning their argumentative and scientific- political substance. The article closes with a speech promoting of a phase of trial and error, of tinkering and of curiosity for the subject at hand while analyzing newly originated data collections from libraries or archives. In Markus Krajewski’s opinion, however, the expectations placed in the potential of innovation of digital humanities are exaggerated which subsequently leads him to label them an ancillary discipline. The usefulness of digital humanities is entirely limited to providing the link between humanities-related research questions and computer-based methods in the same way diplomatics relies on the analysis of records, numismatics on the process of categorizing coins or paleography on the analysis of historical manuscripts. Krajewski sees the real task of digital humanities in bringing the cultural technology of coding into the spotlight. He describes the ability to write and read source code as a key competence every modern humanities scholar needs in order to be able to critically comment and interpret the script of the future: algorithms designed by software developers, computer engineers, and auto-didactic machines. (shrink)

Proof and Consequence is a rigorous, elegant introduction to classical first-order natural deductive logic; it provides an accurate and accessible first course in the study of formal systems. The text covers all the topics necessary for learning logic at the beginner and intermediate levels: this includes propositional and quantificational logic (using Suppes-style proofs) and extensive metatheory, as well as over 800 exercises. Proof and Consequence provides exclusive access to the software application Simon, an easily downloadable program designed to facilitate (...) an intuitive understanding of classical logic through the generation and analysis of proofs. It also aids with the representation of natural language sentences in the formal language. Equipped with nearly all the exercises found in the text, Simon helps students work efficiently and effectively by detecting and explaining errors in solutions as they proceed. Students can also submit assignments, view their own records, and check their standing in the class. The complete logic package includes: * The logic textbook, Proof and Consequence *A very helpful study guide to the textbook, containing extra exercises, Simple Simon *Access, through Simon, to the grading software, Simon Says, that allows students to submit assignments and track their grades. (shrink)

In den letzten zehn Jahren sind die digitalen Geisteswissenschaften von einem Randphänomen zu einem der sichtbareren Felder kultur- und geisteswissenschaftlicher Forschung geworden. Dieser Erfolg ist von Kritik begleitet und Fotis Jannidis identifiziert drei Topoi der Kritik an den Digital Humanities, die oft vorgebracht und wiederholt werden: 1. ›Das wussten wir schon vorher‹ 2. ›Die Themen der Digital Humanities sind veraltet‹ 3. Es handle sich bei den Digital Humanities um eine neue Form des Positivismus, der geisteswissenschaftliche Gegenstände nicht adäquat beschreibt. Diese (...) drei Vorwürfe gegen die Digital Humanities werden von Jannidis aufgegriffen und auf ihren argumentativen und wissenschaftspolitischen Gehalt befragt und hinterfragt. Der Beitrag schließt mit einem Plädoyer für das Ausprobieren, Basteln und für die Neugierde auf die neu entstehenden Datensammlungen in den Bibliotheken und Archiven. Markus Krajewski hält die Erwartungen an das Innovationspotenzial der Digital Humanities dagegen für überzogen, die aus seiner Perspektive bisher über den Status einer Hilfswissenschaft nicht hinausgekommen sind. So wie die Diplomatik um die Analyse von Urkunden oder die Numismatik um die Einordnung von Münzen oder die Paläographie um die Analyse von Handschriften besorgt ist, so kümmern sich die Digital Humanities bisher lediglich um die Nahtstelle von geisteswissenschaftlichen Forschungsfragen mit computergestützten Methoden. Die eigentliche Aufgabe der Digital Humanities bestünde aber darin, die Kulturtechnik Codieren in den Vordergrund zu rücken. Denn Programmcodes lesen und schreiben zu können, seien auch für Geisteswissenschaftler eine Schlüsselkompetenz, damit die Schrift der Zukunft – die von Softwareentwicklern, Computeringenieuren und selbstlernenden Maschinen entworfenen Algorithmen – weiterhin kritisch kommentiert und interpretiert (und nicht bloß passiv angewandt) werden kann. During the last ten years, the so-called digital humanities have developed from a footnote to being a major player in the academic field of cultural studies and humanities alike. However, success goes hand in hand with increasing criticism, and Fotis Jannidis identifies three topoi of critique digital humanities repeatedly have to face. 1. ›We already knew that‹ 2. ›The topics of digital humanities are outdated‹ 3. Digital humanities are said to be a new form of positivism not adequately describing humanities related issues. Jannides takes up these accusations against digital humanities by scrutinizing and questioning their argumentative and scientific- political substance. The article closes with a speech promoting of a phase of trial and error, of tinkering and of curiosity for the subject at hand while analyzing newly originated data collections from libraries or archives. In Markus Krajewski’s opinion, however, the expectations placed in the potential of innovation of digital humanities are exaggerated which subsequently leads him to label them an ancillary discipline. The usefulness of digital humanities is entirely limited to providing the link between humanities-related research questions and computer-based methods in the same way diplomatics relies on the analysis of records, numismatics on the process of categorizing coins or paleography on the analysis of historical manuscripts. Krajewski sees the real task of digital humanities in bringing the cultural technology of coding into the spotlight. He describes the ability to write and read source code as a key competence every modern humanities scholar needs in order to be able to critically comment and interpret the script of the future: algorithms designed by software developers, computer engineers, and auto-didactic machines. (shrink)

BackgroundNursing documentation as a pivotal part of nursing care has many implications for patient care in terms of safety and ethics.ObjectivesTo explore factors influencing nursing documentation from nurses’ perspectives in the Iranian nursing context.MethodsThis qualitative study was carried out using a qualitative content analysis of data collected from 2018 to 2019 in two urban areas of Iran. Semi-structured interviews (n = 15), observations, and reviews of patients’ medical files were used for data collection.Ethical considerationsThis study was conducted in accordance with (...) the ethical principles of research and regulations in terms of confidentiality of data, anonymity, and provision of informed consent.FindingsThe main theme of this study was “unsafe documentation.” Two categories, “types of errors in reporting” and “reasons of errors in reporting,” and 12 subcategories were developed indicating factors influencing nursing documentation in the Iranian nursing context.ConclusionIn general, individual, organizational, and national factors affected nursing documentation in Iran. In this respect, hiring more nurses, application of reforms in the healthcare management structure, devising appropriate regulations regarding division of labor, constant education of healthcare staff, establishment of clinical governance, improvement of interpersonal relationships, development of hardware and software techniques for documentation, and provision of support should be done to improve the quality of nursing documentation. The above-mentioned suggestions can help nurses with a safe, ethical, lawful, and reliable documentation in nursing practice. (shrink)

In face recognition systems, highly robust facial feature representation and good classification algorithm performance can affect the effect of face recognition under unrestricted conditions. To explore the anti-interference performance of convolutional neural network reconstructed by deep learning framework in face image feature extraction and recognition, in the paper, first, the inception structure in the GoogleNet network and the residual error in the ResNet network structure are combined to construct a new deep reconstruction network algorithm, with the random gradient descent (...) and triplet loss functions as the model optimizer and classifier, respectively, and it is applied to the face recognition in Labeled Faces in the Wild face database. Then, the portrait pyramid segmentation and local feature point segmentation are applied to extract the features of face images, and the matching of face feature points is achieved using Euclidean distance and joint Bayesian method. Finally, Matlab software is used to simulate the algorithm proposed in this paper and compare it with other algorithms. The results show that the proposed algorithm has the best face recognition effect when the learning rate is 0.0004, the attenuation coefficient is 0.0001, the training method is SGD, and dropout is 0.1, and the algorithm proposed in this paper has the largest mean average precision compared to other CNN algorithms. The correct rate of face feature matching of the algorithm proposed in this paper is 84.72%, which is higher than LetNet-5, VGG-16, and VGG-19 algorithms, the correct rates of which are 6.94%, 2.5%, and 1.11%, respectively, but lower than GoogleNet, AlexNet, and ResNet algorithms. At the same time, the algorithm proposed in this paper has a faster matching time and a higher correct matching rate than the joint Bayesian method, indicating that the deep reconstruction network algorithm proposed in this paper can be used in face image recognition, FE, and matching, and it has strong anti-interference. (shrink)

This paper researches and analyzes the evaluation of the competitiveness of ice and snow tourism, uses the improved fuzzy neural network algorithm to process the system flow diagram of ice and snow tourism development through the function and characteristics of the power system of ice and snow tourism, and finally selects more than 40 indicators of the three subsystems of resources, economy, and culture. Based on the construction of cloud fuzzy neural network model, the above method is used for experimental (...) comparison analysis, and experiments are conducted through University of California Irvine dataset and engineering examples to compare with the traditional cloud model, fuzzy neural network, and BP neural network to analyze the operation efficiency, accuracy rate, and several rules of the algorithm. Through the experimental comparative analysis, the cloud fuzzy neural network can fully take into account the randomness and fuzziness of the data, optimize the generation of cloud rules, avoid multidimensional rule disasters, and ensure the operational efficiency of the algorithm; the accuracy rate of the algorithm is improved relative to that of the traditional technology, and it applies to a variety of datasets. And the software is used to test the ice and snow tourism industry system dynamics model to realize the correctness and robustness testing of the model. After the constructed model can reflect the real situation within the error range, the final policy simulation of the model is carried out. (shrink)

This study investigates the influences of action research on primary school English instruction from five dimensions in the classroom, viz., types of questions, language errors, gestures, facial expressions, and interpersonal distance. Four English teachers’ 9 real classroom teaching videos before and after action research are collected and annotated by using ELAN software. The results show that primary school English teachers in Chinese rural areas prefer closed questions to open questions; They make some language errors; Deictic gestures are the most (...) common gestures used, while metaphoric gestures, beat gestures and iconic gestures are rare; Teachers have the same preference for three types of facial expressions, and teachers’ serious expressions accounts for most of the time; They seldom keep an intimate distance or personal distance from their students. Second, Action research is effective to motivate teachers in rural areas, who make great progress in all five dimensions after AR: more open questions are asked; pragmatic errors and grammatical errors are reduced; deictic gestures increase; apathetic decrease, and more intimate distance is exhibited in the interpersonal distance dimension. Third, teacher’s English teaching competence is partly transferrable to her future professional development, and this is also the long-lasting effect of AR. (shrink)

The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part of a (...) larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004). The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated (although some of the issues involved here can only be fully dealt with in a larger perspective, taking volition and other aspects of causality into consideration, as done in Volition and Allied Causal Concepts). Phase I: Macroanalysis. Starting with the paradigm of causation, its most obvious and strongest form, we can by abstraction of its defining components distinguish four genera of causation, or generic determinations, namely: complete, partial, necessary and contingent causation. When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation, or specific determinations, remain conceivable. The concept of causation thus gives rise to a number of positive and negative propositional forms, which can be studied in detail with relative ease because they are compounds of conjunctive and conditional propositions whose properties are already well known to logicians. The logical relations (oppositions) between the various determinations (and their negations) are investigated, as well as their respective implications (eductions). Thereafter, their interactions (in syllogistic reasoning) are treated in the most rigorous manner. The main question we try to answer here is: is (or when is) the cause of a cause of something itself a cause of that thing, and if so to what degree? The figures and moods of positive causative syllogism are listed exhaustively; and the resulting arguments validated or invalidated, as the case may be. In this context, a general and sure method of evaluation called ‘matricial analysis’ (macroanalysis) is introduced. Because this (initial) method is cumbersome, it is used as little as possible – the remaining cases being evaluated by means of reduction. Phase II: Microanalysis. Seeing various difficulties encountered in the first phase, and the fact that some issues were left unresolved in it, a more precise method is developed in the second phase, capable of systematically answering most outstanding questions. This improved matricial analysis (microanalysis) is based on tabular prediction of all logically conceivable combinations and permutations of conjunctions between two or more items and their negations (grand matrices). Each such possible combination is called a ‘modus’ and is assigned a permanent number within the framework concerned (for 2, 3, or more items). This allows us to identify each distinct (causative or other, positive or negative) propositional form with a number of alternative moduses. This technique greatly facilitates all work with causative and related forms, allowing us to systematically consider their eductions, oppositions, and syllogistic combinations. In fact, it constitutes a most radical approach not only to causative propositions and their derivatives, but perhaps more importantly to their constituent conditional propositions. Moreover, it is not limited to logical conditioning and causation, but is equally applicable to other modes of modality, including extensional, natural, temporal and spatial conditioning and causation. From the results obtained, we are able to settle with formal certainty most of the historically controversial issues relating to causation. Phase III: Software Assisted Analysis. The approach in the second phase was very ‘manual’ and time consuming; the third phase is intended to ‘mechanize’ much of the work involved by means of spreadsheets (to begin with). This increases reliability of calculations (though no errors were found, in fact) – but also allows for a wider scope. Indeed, we are now able to produce a larger, 4-item grand matrix, and on its basis find the moduses of causative and other forms needed to investigate 4-item syllogism. As well, now each modus can be interpreted with greater precision and causation can be more precisely defined and treated. In this latest phase, the research is brought to a successful finish! Its main ambition, to obtain a complete and reliable listing of all 3-item and 4-item causative syllogisms, being truly fulfilled. This was made technically feasible, in spite of limitations in computer software and hardware, by cutting up problems into smaller pieces. For every mood of the syllogism, it was thus possible to scan for conclusions ‘mechanically’ (using spreadsheets), testing all forms of causative and preventive conclusions. Until now, this job could only be done ‘manually’, and therefore not exhaustively and with certainty. It took over 72’000 pages of spreadsheets to generate the sought for conclusions. This is a historic breakthrough for causal logic and logic in general. Of course, not all conceivable issues are resolved. There is still some work that needs doing, notably with regard to 5-item causative syllogism. But what has been achieved solves the core problem. The method for the resolution of all outstanding issues has definitely now been found and proven. The only obstacle to solving most of them is the amount of labor needed to produce the remaining (less important) tables. As for 5-item syllogism, bigger computer resources are also needed. (shrink)

Proportional quantification and progressive aspect interact in English in revealing ways. This paper investigates these interactions and draws conclusions about the semantics of the progressive and telicity. In the scope of the progressive, the proportion named by a proportionality quantifier (e.g. most in The software was detecting most errors) must hold in every subevent of the event so described, indicating that a predicate in the scope of the progressive is interpreted as an internally homogeneous activity. Such an activity interpretation (...) is argued to be available for telic predicates (e.g. cross the street) because these receive a partitive interpretation except in combination with a completive operator, which asserts that the event so described has culminated. The obligatoriness of the completive operator in the preterit is shown to parametrically distinguish those languages that show completion entailments in the preterit, e.g. English, from those that do not, e.g. Malagasy, Hindi, and Japanese. (shrink)