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

This book provides an overview of computer techniques and tools — especially from artificial intelligence (AI) — for handling legal evidence, police intelligence, crime analysis or detection, and forensic testing, with a sustained discussion of methods for the modelling of reasoning and forming an opinion about the evidence, methods for the modelling of argumentation, and computational approaches to dealing with legal, or any, narratives. By the 2000s, the modelling of reasoning on legal evidence has emerged as a significant area (...) within the well-established field of AI & Law. An overview such as this one has never been attempted before. It offers a panoramic view of topics, techniques and tools. It is more than a survey, as topic after topic, the reader can get a closer view of approaches and techniques. One aim is to introduce practitioners of AI to the modelling legal evidence. Another aim is to introduce legal professionals, as well as the more technically oriented among law enforcement professionals, or researchers in police science, to information technology resources from which their own respective field stands to benefit. Computer scientists must not blunder into design choices resulting in tools objectionable for legal professionals, so it is important to be aware of ongoing controversies. A survey is provided of argumentation tools or methods for reasoning about the evidence. Another class of tools considered here is intended to assist in organisational aspects of managing of the evidence. Moreover, tools appropriate for crime detection, intelligence, and investigation include tools based on link analysis and data mining. Concepts and techniques are introduced, along with case studies. So are areas in the forensic sciences. Special chapters are devoted to VIRTOPSY (a procedure for legal medicine) and FLINTS (a tool for the police). This is both an introductory book (possibly a textbook), and a reference for specialists from various quarters. (shrink)

This book brings together the latest technological research in computational intelligence and fuzzy logic as a way to care for our environment, highlighting current advances and future trends in environmental sustainability using the principles of soft computing.

To shorten the travel time and improve comfort, the automatic train driving system is considered to replace manual driving. In this article, an automatic control method of computer application data-processing system based on artificial intelligence is proposed. An automatic train operation (ATO) introduced the structure and function of an autopilot system (train), optimized the train running on the target curve, introduced the basic principle of fuzzy generalized predictive control (PC) algorithm, and combined with the characteristics of ATO system design (...) the speed controller based on optimization algorithm, the target curve to make use of the designed controller to track and simulation validation. The experimental outcomes demonstrate that when the train runs to 90 s, the displacement difference reaches about 40 m, which proves that the fuzzy PC has better displacement tracking, punctual arrival, and higher stopping accuracy. (shrink)

Argumentation schemes can be described as abstract structures representing the most generic types of argument, constituting the building blocks of the ones used in everyday reasoning. This paper investigates the structure, classification, and uses of such schemes. Three goals are pursued: 1) to describe the schemes, showing how they evolved and how they have been classified in the traditional and the modern theories; 2) to propose a method for classifying them based on ancient and modern developments; and 3) to outline (...) and show how schemes can be used to describe and analyze or produce real arguments. To this purpose, we will build on the traditional distinctions for building a dichotomic classification of schemes, and we will advance a modular approach to argument analysis, in which different argumentation schemes are combined together in order to represent each step of reasoning on which a complex argument relies. Finally, we will show how schemes are applied to formal systems, focusing on their applications to Artificial Intelligence, AI & Law, argument mining, and formal ontologies. (shrink)

This textbook carefully develops the main ideas and techniques of statistical and thermal physics and is intended for upper-level undergraduate courses. The authors each have more than thirty years' experience in teaching, curriculum development, and research in statistical and computational physics. Statistical and Thermal Physics begins with a qualitative discussion of the relation between the macroscopic and microscopic worlds and incorporates computer simulations throughout the book to provide concrete examples of important conceptual ideas. Unlike many contemporary texts on thermal (...) physics, this book presents thermodynamic reasoning as an independent way of thinking about macroscopic systems. Probability concepts and techniques are introduced, including topics that are useful for understanding how probability and statistics are used. Magnetism and the Ising model are considered in greater depth than in most undergraduate texts, and ideal quantum gases are treated within a uniform framework. Advanced chapters on fluids and critical phenomena are appropriate for motivated undergraduates and beginning graduate students. Integrates Monte Carlo and molecular dynamics simulations as well as other numerical techniques throughout the text Provides self-contained introductions to thermodynamics and statistical mechanics Discusses probability concepts and methods in detail Contains ideas and methods from contemporary research Includes advanced chapters that provide a natural bridge to graduate study Features more than 400 problems Programs are open source and available in an executable cross-platform format Solutions manual. (shrink)

We present techniques for integrating low‐level neurobiological constraints into high‐level, functional cognitive models. In particular, we use these techniques to construct a model of eyeblink conditioning in the cerebellum based on temporal representations in the recurrent Granule‐Golgi microcircuit.

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

The computer distance teaching system teaches through the network, and there is no entrance threshold. Any student who is willing to study can log in to the network computer distance teaching system for study at any free time. Neural network has a strong self-learning ability and is an important part of artificial intelligence research. Based on this study, a neural network-embedded architecture based on shared memory and bus structure is proposed. By looking for an alternative method of exp (...) function to improve the speed of radial basis function algorithm, and then by analyzing the judgment conditions in the main loop during the algorithm process, these judgment conditions are modified conditionally to reduce the calculation scale, which can double the speed of the algorithm. Finally, this article verifies the function, performance, and interface of the computer distance education system. (shrink)

This chapter contains sections titled: Introduction The ACL2 System A Modeling Problem Case Studies.

We study computability of the abstract linear Cauchy problem equation image)where A is a linear operator, possibly unbounded, on a Banach space X. We give necessary and sufficient conditions for A such that the solution operator K: x ↦ u of the problem is computable. For studying computability we use the representation approach to computable analysis developed by Weihrauch and others. This approach is consistent with the model used by Pour-El/Richards.

In 1966 Richard Levins argued that applications of mathematics to population biology faced various constraints which forced mathematical modelers to trade-off at least one of realism, precision, or generality in their approach. Much traditional mathematical modeling in biology has prioritized generality and precision in the place of realism through strategies of idealization and simplification. This has at times created tensions with experimental biologists. The past 20 years however has seen an explosion in mathematical modeling of biological systems with the (...) rise of modern computational systems biology and many new collaborations between modelers and experimenters. In this paper I argue that many of these collaborations revolve around detail-driven modeling practices which in Levins’ terms trade-off generality for realism and precision. These practices apply mathematics by working from detailed accounts of biological systems, rather than from initially idealized or simplified representations. This is possible by virtue of modern computation. The form these practices take today suggest however Levins’ constraints on mathematical application no longer apply, transforming our understanding of what is possible with mathematics in biology. Further the engagement with realism and the ability to push realistic models in new directions aligns well with the epistemological and methodological views of experimenters, which helps explain their increased enthusiasm for biological modeling. (shrink)

Most of the IoT-based smart systems require low latency and crisp response time for their applications. Achieving the demand of this high Quality of Service becomes quite challenging when computationally intensive tasks are offloaded to the cloud for execution. Edge computing therein plays an important role by introducing low network latency, quick response, and high bandwidth. However, offloading computations at a large scale overwhelms the edge server with many requests and the scalability issue originates. To address the above issues, (...) an efficient resource management technique is required to maintain the workload over the edge and ensure the reduction of response time for IoT applications. Therefore, in this paper, we introduce a metaheuristic and nature-inspired Artificial Bee Colony optimization technique that effectively manages the workload over the edge server under the strict constraints of low network latency and quick response time. The numerical results show that the proposed ABC algorithm has outperformed Particle Swarm Optimization, Ant Colony Optimization, and Round-Robin Scheduling algorithms by producing low response time and effectively managing the workload over the edge server. Furthermore, the proposed technique scales the edge server to meet the demand of high QoS for IoT applications. (shrink)

We present the history of the conference Applications of Algebra in Logic and Computer Science, whose twenty-third edition will be held in March, 2019. At the end we outline some plans for the future.

This paper explores the question of whether or not the law is a computable number in the sense described by Alan Turing in his 1937 paper ‘On computable numbers with an application to the Entscheidungsproblem.’ Drawing upon the legal, social, and political context of Alan Turing’s own involvement with the law following his arrest in 1952 for the criminal offence of gross indecency, the article explores the parameters of computability within the law and analyses the applicability of Turing’s computability thesis (...) within the context of legal decision-making. (shrink)

This paper is a discussion about how the Application Perspective works in practice.1 We talk about values and attitudes to system development and computer systems, and we illustrate how they have been carried out in practice by examples from the Florence project.2 The metaphors ‘utensil’ and ‘epaulet’ refer to questions about how we conceive the computer system we are to design in the system development process. Our experience is that, in the scientific community, technical challenges mean making (...) class='Hi'>computer systems that may be characterised as ‘epaulets’: they have technical, fancy features, but are not particularly useful. Making small, simple, but useful computer systems, more like ‘utensils’, does not give as much credit even if the development process may be just as challenging. (shrink)

In this paper we specialize the notion of abstract computational procedure previously introduced for intensionally presented structures to those which are extensionally given. This is provided by a form of generalized recursion theory which uses schemata for explicit definition, conditional definition and least fixed point recursion in functional of type level 2 over any appropriate structure. It is applied here to the case of potentially infinite streams as an abstract data type.

ObjectiveThis study aimed to examine the effectiveness and safety of the Brain-computer interface in treatment of upper limb dysfunction after stroke.MethodsEnglish and Chinese electronic databases were searched up to July 2021. Randomized controlled trials were eligible. The methodological quality was assessed using Cochrane’s risk-of-bias tool. Meta-analysis was performed using RevMan 5.4.ResultsA total of 488 patients from 16 RCTs were included. The results showed that the meta-analysis of BCI-combined treatment on the improvement of the upper limb function showed statistical significance (...) [standardized mean difference : 0.53, 95% CI: 0.26–0.80, P < 0.05]; BCI treatment can improve the abilities of daily living of patients after stroke, and the analysis results are statistically significant ; and the BCI-combined therapy was not statistically significant for the analysis of the Modified Ashworth Scale.ConclusionThe meta-analysis indicates that the BCI therapy or BCI combined with other therapies such as conventional rehabilitation training and motor imagery training can improve upper limb dysfunction after stroke and enhance the quality of daily life. (shrink)

We present a simple proof of a Theorem of Khutoretskij on the number of incomparable one-one numberings of an r.e. family of r.e. sets. The proof directly generalizes to effective domains. In the second part, applying a Theorem of Goncharov, we show that for anyk≧ there exist total recursive functions having exactlyk recursive isomorphism classes. Using a Theorem of Selivanov, it is shown that a certain notion of computability via gödelization is different from Lacombe's notion ofV-recursiveness. Finally, we discuss the (...) complexity (w.r.t.T-degrees) of translating a Gödelnumbering into a direct sum of Friedbergnumberings. (shrink)

The existing computer technology is used to conduct an in-depth study and analysis of drilling waste treatment, and the results are analyzed by computer simulation optimization algorithms. Based on the system theory, we define the research system, combine the unique characteristics of the technological innovation mechanism of drilling waste treatment, and use the internal and external factors affecting the technological innovation dynamics of drilling waste treatment, such as drilling waste treatment capacity, from the current actual situation. On this (...) basis, factor analysis is used to analyze the factors affecting technological innovation dynamics from both internal and external aspects of the system, establish a system model of technological innovation dynamics of drilling waste disposal, and give the initial values of the simulation model. This will reduce the pollution of the environment and enhance the competitiveness of enterprises. Drilling waste treatment technology is getting increased attention, but at this stage, there is no suitable technology innovation mechanism for drilling waste treatment. Through the simulation trend chart obtained by sensitivity analysis, the key factors in the system are found, and the innovation power mechanism of drilling waste treatment technology is constructed, which provides a basis for the formulation of enterprise technological innovation strategies and the development of technological innovation activities. Research on the dynamic mechanism of drilling waste treatment technology innovation explores a waste treatment mechanism suitable for the drilling industry, so as to promote the steady development of the drilling industry and at the same time provide theoretical support for the treatment of drilling engineering waste. (shrink)

Regarding the continuous development of high-speed trains and the increase of running speeds, the aerodynamic design of high-speed trains has become significantly important, while reduction of drag and noise comprises a significant challenge in order to optimize aerodynamic design of high-speed trains. The design form factor of a high-speed train is highly influenced by aerodynamic aspects including aerodynamic drag, lift force, and noise. With the high-speed train as the object, the paper aims to take bionic concept as the entry point, (...) selecting the hummingbird as the bionic prototype and extracting bionic elements to establish a bionic train model. Then, the finite volume method was used for numerical simulation and analysis of the aerodynamic performance and aerodynamic noise of the bionic high-speed train. Computational results prove that drag and noise of the bionic head type were lower than those of the original train; drag of the head train of the bionic model was reduced by 2.21% in comparison with the original model, while the whole-train drag was reduced by 3.53%, indicating that drag reduction effects are available and implying that the bionic head type could reduce drag and noise. Noise sources of the bionic train are mainly located at positions with easy airflow separation and violent turbulence motion. Large turbulence energy is in bogie areas and mainly exists at the leeward side of the bogie area. Obviously, the bogie area is the major noise source of the train. Aerodynamic noise of the bionic train in far-field comprises a wide-frequency range. Noises were concentrated within 613 Hz~3150 Hz. When the bionic high-speed train ran at 350 km/h, through comparative analysis of total noise levels at observed points of the high-speed train, it is found that this position with the maximum noise level was 25 m away from the head train nose tip, with the maximum value of 88.4 dB. When the bionic train ran at 600 km/h, the maximum sound pressure level at the longitudinal point was 99.7 dB and the average noise level was 96.6 dB. When the running speed increased from 350 km/h to 600 km/h, the maximum noise level increased by 11.3 dB and the average noise level increased by 11.6 dB. Computation results of aerodynamic noise at the point which is 7.5 m away from the rail center show that the maximum aerodynamic noise level existed at the first-end bogie of the head train, while the noise level was larger at the position closer to the ground. (shrink)

In order to improve the effect of smart city construction, this paper combines smart buildings and ethical computing to conduct research on smart city edge computing. The new smart city architecture based on the flexible deployment of edge computing and data slicing capabilities provides support for the transformation of smart city construction from hardware embedded technology, access means, and software data processing. Moreover, this paper uses information technology to collect, process, analyze, use the information to achieve intelligence, and integrate resources (...) and information of cities and people to build a smart city functional architecture. Moreover, this paper combines simulation technology for experimental research. Through experimental analysis, it can be seen that the smart city edge computing method based on smart buildings and ethical computing proposed in this paper has good results. (shrink)

In this paper we answer the following well-known open question in computable model theory. Does there exist a computable not ‮א‬₀-categorical saturated structure with a unique computable isomorphism type? Our answer is affirmative and uses a construction based on Kolmogorov complexity. With a variation of this construction, we also provide an example of an ‮א‬₁-categorical but not ‮א‬₀-categorical saturated $\Sigma _{1}^{0}$ -structure with a unique computable isomorphism type. In addition, using the construction we give an example of an ‮א‬₁-categorical but (...) not ‮א‬₁-categorical theory whose only non-computable model is the prime one. (shrink)

This paper reviews computational models of surprise, with a specific focus on the authors’ probabilistic, contrast model. The contrast model casts surprise, and its intensity, as emerging from the difference between the probability of the surprising event and the probability of the highest expected‐event in a given situation. Strong arguments are made for the central role of surprise in creativity and learning by natural and artificial agents.