On mechanical quantifier elimination for elementary algebra and geometry

We give solutions to two problems of elementary algebra and geometry: (1) find conditlons on real numbers p, q, and r; so that the polynomial function f(x) = x4 + px2 + q x+ r is nonnegative for all real x and (2) find conditions on real numbers a, b, and c so that the ellipse (x−c)2q2+y2b2−1=0 lies inside the unit circle y2 + x2 - 1 = O. Our solutions are obtained by following the basic outline of the method of quantifier elimination by cylindrical algebraic decomposition (Collins, 1975), but we have developed, and have been considerably aided by, modified vcrsions of certain of its steps. We have found three equally simple but not obviously equivalent solutions for the first problem, illustrating the difficulty of obtaining unique “simplest” solutions to quantifier eliminetion problems of elementary algebra and geometry

Characterizing Purkinje Cell Responses and Cerebellar Influence on Fluid Licking in the Mouse

Rodents consume water by performing stereotypical, rhythmic licking movements which are believed to be driven by central pattern generating circuits located in the brainstem. Temporal aspects of rhythmic licking behavior have been shown to be represented in the olivo-cerebellar system in the form of population complex spike activity. These findings suggest that the olivo-cerebellar system is involved in the generating circuitry responsible for licking rhythm in rodents. However, the representation of licking in the simple spike activity of Purkinje cells and the consequences of loss of cerebellar function on licking behavior has not been quantified. I investigated the influence of the cerebellum on the maintenance of rhythm in murine fluid-licking. In one set of experiments, I characterized Purkinje cell activity in healthy mice during fluid licking. Use of a head-restrained preparation allowed recordings of well-isolated single units during repeated experimental sessions. Thus, a large number of neurons were tested for their relationship with behavior and detailed spatial maps of behavior related neuronal activity were generated as exemplified here with recordings from lick-related Purkinje cells in the cerebellum. The data show a multifaceted representation of licking behavior in the simple spike activity of a large population of Purkinje cells distributed across Crus I, Crus II, and lobus simplex of mouse cerebellar cortex. Lick related Purkinje cell simple spike activity was changed in a manner that was either rhythmic, in phase with the lick rhythm, or nonrhythmic with a decrease or increase in firing in relation to licks but not phasically. For rhythmically responsive units, signal modulation was marked by the introduction of a phasic variation in the frequency of spikes. A subpopulation of lick related Purkinje cells exhibited different activity patterns during short and long interlick intervals (ILIs). I examined the role of the cerebellum in fluid-licking by using several models of cerebellar ataxia with distinct causes. First, I observed fluid-licking in animals over several days to determine how the microstructure of the behavior may also be altered. The first model involved animals that underwent cerebellectomies. Surgical removal of the cerebellum resulted in significant slowing of the lick rhythm but did not affect the mouse’s ability to perform the gross licking movement. Thus, the cerebellum is involved in the modulation but not in the generation of the licking rhythm. Next, I observed changes to behavior in animals with a genetic cause to their ataxia, the Cerebellin1 (CBLN1) knockout and heterozygous mice (Morgan et al., 1988). The CBLN1 gene is a member of a family of proteins that have been found primarily in the Purkinje cell/parallel fiber synapse and is thought to stabilize the connection. Although removal of the gene does not alter the numbers of neurons or their spatial relations, the mutation results in moderate to severe ataxia. While these animals also varied significantly from their wild type counterparts in lick rate and microstructure, the changes were not all similar to the cerebellectomized model of ataxia. For example, cerebellectomized mice licked significantly slower with an average ILI of 135 ± 8 ms (mean ± S.D.) compared to 117 ± 7 ms whereas in cbln1 KO had a faster lick rate (110 ± 4 ) than wild type counterparts (121 ± 6 ), with all of these values significant with p \u3c 0.05. These observations show that the removal of the normal functions of the cerebellum can alter fluid-licking resulting in bidirectional rate changes. An alternative possibility is that there may be compensatory process. Lastly, I used a chemically-induced model of cerebellar ataxia by injecting the GABA agonist muscimol in the medial and lateral deep cerebellar nuclei. This transient cerebellar ataxia resulted in a similar slowing of the licking rhythm as in the cerebellectomized mice with the eventual recovery of the fluid-licking behavior to normal as the effect of muscimol wore off. My work to characterize the role of the cerebellum in the maintenance of fluid- licking rhythm and behavior microstructure has resulted in the development of experimental procedures for the recording of neuronal activity in awake and behaving mice. It is an important and necessary step towards neurophysiological investigation of normal and pathological mouse brain function. I have presented the first characterization of simple spike activity, the main cerebellar cortical output signal, during fluid-licking. Furthermore, my results show that the cerebellum is also involved in the control of fluid intake or homeostasis as the intervals between drinking events were abnormally long in mice with cerebellar ataxia. Electrophysiological recordings of individual Purkinje cells from the cerebellar cortex demonstrated variations in spike activity capable of influencing the rhythmicity of fluid licking. While licking still occurred with relative regularity in ataxic animals, the lick rates slowed significantly for mice with surgically induced ataxia and pharmalogically induced ataxia. For animals with a genetic origin to ataxia, lick rates increased. Regularity of licking remained evident despite the change in interlick interval duration. Any alteration of lick timing could ultimately affect the coordination of licking with other orofacial movements. Future investigations may benefit from this work by investigating if therapeutic interventions for cerebellar ataxias show a recovery of typical behavior or adapt the neurophysiological recordings to other behaviors in awake mice

Intelligent multi-agent system for intrusion detection and countermeasures

Intelligent mobile agent systems offer a new approach to implementing intrusion detection systems (IDS). The prototype intrusion detection system, MAIDS, demonstrates the benefits of an agent-based IDS, including distributing the computational effort, reducing the amount of information sent over the network, platform independence, asynchronous operation, and modularity offering ease of updates. Anomaly detection agents use machine learning techniques to detect intrusions; one such agent processes streams of system calls from privileged processes. Misuse detection agents match known problems and correlate events to detect intrusions. Agents report intrusions to other agents and to the system administrator through the graphical user interface (GUI);A sound basis has been created for the intrusion detection system. Intrusions have been modeled using the Software Fault Tree Analysis (SFTA) technique; when augmented with constraint nodes describing trust, contextual, and temporal relationships, the SFTA forms a basis for stating the requirements of the intrusion detection system. Colored Petri Nets (CPN) have been created to model the design of the Intrusion Detection System. Algorithmic transformations are used to create CPN templates from augmented SFT and to create implementation templates from CPNs. The implementation maintains the CPN semantics in the distributed agent-based intrusion detection system

Feasible Form Parameter Design of Complex Ship Hull Form Geometry

This thesis introduces a new methodology for robust form parameter design of complex hull form geometry via constraint programming, automatic differentiation, interval arithmetic, and truncated hierarchical B- splines. To date, there has been no clearly stated methodology for assuring consistency of general (equality and inequality) constraints across an entire geometric form parameter ship hull design space. In contrast, the method to be given here can be used to produce guaranteed narrowing of the design space, such that infeasible portions are eliminated. Furthermore, we can guarantee that any set of form parameters generated by our method will be self consistent. It is for this reason that we use the title feasible form parameter design. In form parameter design, a design space is represented by a tuple of design parameters which are extended in each design space dimension. In this representation, a single feasible design is a consistent set of real valued parameters, one for every component of the design space tuple. Using the methodology to be given here, we pick out designs which consist of consistent parameters, narrowed to any desired precision up to that of the machine, even for equality constraints. Furthermore, the method is developed to enable the generation of complex hull forms using an extension of the basic rules idea to allow for automated generation of rules networks, plus the use of the truncated hierarchical B-splines, a wavelet-adaptive extension of standard B-splines and hierarchical B-splines. The adaptive resolution methods are employed in order to allow an automated program the freedom to generate complex B-spline representations of the geometry in a robust manner across multiple levels of detail. Thus two complementary objectives are pursued: ensuring feasible starting sets of form parameters, and enabling the generation of complex hull form geometry

Different higher order kinematics between star-forming and quiescent galaxies based on the SAMI, MAGPI, and LEGA-C surveys

We present the first statistical study of spatially integrated non-Gaussian stellar kinematics spanning 7 Gyr in cosmic time. We use deep, rest-frame optical spectroscopy of massive galaxies (stellar mass ⁠) at redshifts z = 0.05, 0.3, and 0.8 from the SAMI, MAGPI, and LEGA-C surveys, to measure the excess kurtosis h4 of the stellar velocity distribution, the latter parametrized as a Gauss–Hermite series. We find that at all redshifts where we have large enough samples, h4 anticorrelates with the ratio between rotation and dispersion, highlighting the physical connection between these two kinematic observables. In addition, and independently from the anticorrelation with rotation-to-dispersion ratio, we also find a correlation between h4 and M⋆, potentially connected to the assembly history of galaxies. In contrast, after controlling for mass, we find no evidence of independent correlation between h4 and aperture velocity dispersion or galaxy size. These results hold for both star-forming and quiescent galaxies. For quiescent galaxies, h4 also correlates with projected shape, even after controlling for the rotation-to-dispersion ratio. At any given redshift, star-forming galaxies have lower h4 compared to quiescent galaxies, highlighting the link between kinematic structure and star-forming activity

Harmonized-Multinational qEEG Norms (HarMNqEEG)

This paper extends the frequency domain quantitative electroencephalography (qEEG) methods pursuing higher sensitivity to detect Brain Developmental Disorders. Prior qEEG work lacked integration of cross-spectral information omitting important functional connectivity descriptors. Lack of geographical diversity precluded accounting for site-specific variance, increasing qEEG nuisance variance. We ameliorate these weaknesses. i) Create lifespan Riemannian multinational qEEG norms for cross-spectral tensors. These norms result from the HarMNqEEG project fostered by the Global Brain Consortium. We calculate the norms with data from 9 countries, 12 devices, and 14 studies, including 1564 subjects. Instead of raw data, only anonymized metadata and EEG cross-spectral tensors were shared. After visual and automatic quality control, developmental equations for the mean and standard deviation of qEEG traditional and Riemannian DPs were calculated using additive mixed-effects models. We demonstrate qEEG "batch effects" and provide methods to calculate harmonized z-scores. ii) We also show that the multinational harmonized Riemannian norms produce z-scores with increased diagnostic accuracy to predict brain dysfunction at school-age produced by malnutrition only in the first year of life. iii) We offer open code and data to calculate different individual z-scores from the HarMNqEEG dataset. These results contribute to developing bias-free, low-cost neuroimaging technologies applicable in various health settings

Case board, traces, & chicanes: Diagrams for an archaeology of algorithmic prediction through critical design practice

This PhD thesis utilises diagrams as a language for research and design practice to critically investigate algorithmic prediction. As a tool for practice-based research, the language of diagrams is presented as a way to read algorithmic prediction as a set of intricate computational geometries, and to write it through critical practice immersed in the very materials in question: data and code. From a position rooted in graphic and interaction design, the research uses diagrams to gain purchase on algorithmic prediction, making it available for examination, experimentation, and critique. The project is framed by media archaeology, used here as a methodology through which both the technical and historical "depths" of algorithmic systems are excavated. My main research question asks: How can diagrams be used as a language to critically investigate algorithmic prediction through design practice? This thesis presents two secondary questions for critical examination, asking: Through which mechanisms does thinking/writing/designing in diagrammatic terms inform research and practice focused on algorithmic prediction? As algorithmic systems claim to produce objective knowledge, how can diagrams be used as instruments for speculative and/or conjectural knowledge production? I contextualise my research by establishing three registers of relations between diagrams and algorithmic prediction. These are identified as: Data Diagrams to describe the algorithmic forms and processes through which data are turned into predictions; Control Diagrams to afford critical perspectives on algorithmic prediction, framing the latter as an apparatus of prescription and control; and Speculative Diagrams to open up opportunities for reclaiming the generative potential of computation. These categories form the scaffolding for the three practice-oriented chapters where I evidence a range of meaningful ways to investigate algorithmic prediction through diagrams. This includes, the 'case board' where I unpack some of the historical genealogies of algorithmic prediction. A purpose-built graph application materialises broader reflections about how such genealogies might be conceptualised, and facilitates a visual and subjective mode of knowledge production. I then move to producing 'traces', namely probing the output of an algorithmic prediction system|in this case YouTube recommendations. Traces, and the purpose-built instruments used to visualise them, interrogate both the mechanisms of algorithmic capture and claims to make these mechanisms transparent through data visualisations. Finally, I produce algorithmic predictions and examine the diagrammatic "tricks," or 'chicanes', that this involves. I revisit a historical prototype for algorithmic prediction, the almanac publication, and use it to question the boundaries between data-science and divination. This is materialised through a new version of the almanac - an automated publication where algorithmic processes are used to produce divinatory predictions. My original contribution to knowledge is an approach to practice-based research which draws from media archaeology and focuses on diagrams to investigate algorithmic prediction through design practice. I demonstrate to researchers and practitioners with interests in algorithmic systems, prediction, and/or speculation, that diagrams can be used as a language to engage critically with these themes

Data Model Pattern for Data Warehouse Web Application of Information Portal (Case Study: Hidyatullah Integrated Islamic Boarding School, Banyuasin Regency)

Data warehouse is a collection of data that is subject-oriented, integrated, timevariant, and non-volatile which can be used to produce useful information for management decision making. In an information system, there are a lot of information that accommodated by both internal and external parties. Over time the amount of information has increased. For that we need a way to accommodate a lot of data in a data warehouse. One way to produce a good data model is to use the data model pattern. In this study, a data model pattern will be applied to the web application of information portal in the Hidayatullah Islamic boarding school in Banyuasin Regency. This software was taken as research material because the business process is quite varied and can describe the activities of all academicians in the Hidayatullah integrated Islamic boarding school, Banyuasin district. With well-structured data, the distribution of information to the general public will be faster and more accurate