The document discusses issues with computational scientific software and proposes a solution called Digital Scientific Notations. Current scientific software is difficult to test and validate due to a lack of specifications and documentation. This makes the software results unverifiable and prevents comparison of different models. The proposed Digital Scientific Notations would embed computational models and methods into scholarly documents using a formal programming language. This would allow models to be precisely defined, validated, and compared, addressing current verification and reproducibility problems in computational science.
International Journal of Engineering Research and Applications (IJERA) is an open access online peer reviewed international journal that publishes research and review articles in the fields of Computer Science, Neural Networks, Electrical Engineering, Software Engineering, Information Technology, Mechanical Engineering, Chemical Engineering, Plastic Engineering, Food Technology, Textile Engineering, Nano Technology & science, Power Electronics, Electronics & Communication Engineering, Computational mathematics, Image processing, Civil Engineering, Structural Engineering, Environmental Engineering, VLSI Testing & Low Power VLSI Design etc.
large data set is not available for some disease such as Brain Tumor. This and part2 presentation shows how to find "Actionable solution from a difficult cancer dataset
Presentation for Network Biology SIG 2013 by Gang Su, University of Michigan, USA. “CoolMap Cytoscape App: Flexible Multi-scale Heatmap-Driven Molecular Network Exploration”
Free Energy Methods Involving Quantum Physics, Path Integrals, and Virtual Sc...MocLan2
This thesis was created within the graduate programs of the Berlin Mathematical
School (BMS) and the International Max Planck Research School for Computational Biology and Scientific Computing (IMPRS-CBSC) of the Max Planck
Institute for Molecular Genetics (MPIMG), as well as within the Department of
Mathematics and Computer Science and the Department of Physics of the Freie Universität Berlin.
International Journal of Engineering Research and Applications (IJERA) is an open access online peer reviewed international journal that publishes research and review articles in the fields of Computer Science, Neural Networks, Electrical Engineering, Software Engineering, Information Technology, Mechanical Engineering, Chemical Engineering, Plastic Engineering, Food Technology, Textile Engineering, Nano Technology & science, Power Electronics, Electronics & Communication Engineering, Computational mathematics, Image processing, Civil Engineering, Structural Engineering, Environmental Engineering, VLSI Testing & Low Power VLSI Design etc.
large data set is not available for some disease such as Brain Tumor. This and part2 presentation shows how to find "Actionable solution from a difficult cancer dataset
Presentation for Network Biology SIG 2013 by Gang Su, University of Michigan, USA. “CoolMap Cytoscape App: Flexible Multi-scale Heatmap-Driven Molecular Network Exploration”
Free Energy Methods Involving Quantum Physics, Path Integrals, and Virtual Sc...MocLan2
This thesis was created within the graduate programs of the Berlin Mathematical
School (BMS) and the International Max Planck Research School for Computational Biology and Scientific Computing (IMPRS-CBSC) of the Max Planck
Institute for Molecular Genetics (MPIMG), as well as within the Department of
Mathematics and Computer Science and the Department of Physics of the Freie Universität Berlin.
The Algorithms of Life - Scientific Computing for Systems Biologyinside-BigData.com
In this deck from ISC 2019, Ivo Sbalzarini from TU Dresden presents: The Algorithms of Life - Scientific Computing for Systems Biology. In his talk, Sbalzarini mainly discussed the rapidly growing importance and influence in the life sciences for scientific high-performance computing.
"Scientific high-performance computing is of rapidly growing importance and influence in the life sciences. Thanks to the increasing knowledge about the molecular foundations of life, recent advances in biomedical data science, and the availability of predictive biophysical theories that can be numerically simulated, mechanistic understanding of the emergence of life comes within reach. Computing is playing a pivotal and catalytic role in this scientific revolution, both as a tool of investigation and hypothesis testing, but also as a school of thought and systems model. This is because a developing tissue, embryo, or organ can itself be seen as a massively parallel distributed computing system that collectively self-organizes to bring about behavior we call life. In any multicellular organism, every cell constantly takes decisions about growth, division, and migration based on local information, with cells communicating with each other via chemical, mechanical, and electrical signals across length scales from nanometers to meters. Each cell can therefore be understood as a mechano-chemical processing element in a complexly interconnected million- or billion-core computing system. Mechanistically understanding and reprogramming this system is a grand challenge. While the “hardware” (proteins, lipids, etc.) and the “source code” (genetic code) are increasingly known, we known virtually nothing about the algorithms that this code implements on this hardware. Our vision is to contribute to this challenge by developing computational methods and software systems for high-performance data analysis, inference, and numerical simulation of computer models of biological tissues, incorporating the known biochemistry and biophysics in 3D-space and time, in order to understand biological processes on an algorithmic basis. This ranges from real-time approaches to biomedical image analysis, to novel simulation languages for parallel high-performance computing, to virtual reality and machine learning for 3D microscopy and numerical simulations of coupled biochemical-biomechanical models. The cooperative, interdisciplinary effort to develop and advance our understanding of life using computational approaches not only places high-performance computing center stage, but also provides stimulating impulses for the future development of this field."
Watch the video: https://wp.me/p3RLHQ-kBB
Learn more: https://www.isc-hpc.com/
Sign up for our insideHPC Newsletter: http://insidehpc.com/newsletter
Community Finding with Applications on Phylogenetic Networks [Extended Abstract]Luís Rita
[Master Thesis Extended Abstract]
With the advent of high-throughput sequencing methods, new ways of visualizing and analyzing increasingly amounts of data are needed. Although some software already exist, they do not scale well or require advanced skills to be useful in phylogenetics.
The aim of this thesis was to implement three community finding algorithms – Louvain, Infomap and Layered Label Propagation (LLP); to benchmark them using two synthetic networks – Girvan-Newman (GN) and Lancichinetti-Fortunato-Radicchi (LFR); to test them in real networks, particularly, in one derived from a Staphylococcus aureus MLST dataset; to compare visualization frameworks – Cytoscape.js and D3.js, and, finally, to make it all available online (mscthesis.herokuapp.com).
Louvain, Infomap and LLP were implemented in JavaScript. Unless otherwise stated, next conclusions are valid for GN and LFR. In terms of speed, Louvain outperformed all others. Considering accuracy, in networks with well-defined communities, Louvain was the most accurate. For higher mixing, LLP was the best. Contrarily to weakly mixed, it is advantageous to increase the resolution parameter in highly mixed GN. In LFR, higher resolution decreases the accuracy of detection, independently of the mixing parameter. The increase of the average node degree enhanced partitioning accuracy and suggested detection by chance was minimized. It is computationally more intensive to generate GN with higher mixing or average degree, using the algorithm developed in the thesis or the LFR implementation. In S. aureus network, Louvain was the fastest and the most accurate in detecting the clusters of seven groups of strains directly evolved from the common ancestor.
Dynamic Evolving Neuro-Fuzzy Inference System for Mortality Prediction IJERA Editor
In this paper we propose a dynamic evolving neuro-fuzzy inference system (DENFIS) to forecast mortality. DENFIS is an adaptive intelligent system suitable for dynamic time series prediction. An Evolving Cluster Method (ECM) drives the learning process. The typical fuzzy rules of the neuro- fuzzy systems are updated during the learning process and adjusted according to the features of the data. This makes possible to capture the changes in the mortality evolution at the basis of the so called longevity risk
An information-theoretic, all-scales approach to comparing networksJim Bagrow
My presentation at NetSci 2018 on Portrait Divergence, a new approach to comparing networks that is simple, general-purpose, and easy to interpret.
The preprint: https://arxiv.org/abs/1804.03665
The code: https://github.com/bagrow/portrait-divergence
Detecting malaria using a deep convolutional neural networkYusuf Brima
Experiment with Deep Residual Convolutional Neural Network to classify microscopic blood cell images (Uninfected, Parasitized)
Utiling ResNet,Deep Residual Learning for Image Recognition (He et al, 2015) architecture.
Uses Keras with a Tensorflow backend.
NIRS-BASED CORTICAL ACTIVATION ANALYSIS BY TEMPORAL CROSS CORRELATIONsipij
In this study we present a method of signal processing to determine dominant channels in near infrared spectroscopy (NIRS). To compare measuring channels and identify delays between them, cross correlation is computed. Furthermore, to find out possible dominant channels, a visual inspection was performed. The
outcomes demonstrated that the visual inspection exhibited evoked-related activations in the primary somatosensory cortex (S1) after stimulation which is consistent with comparable studies and the cross correlation study discovered dominant channels on both cerebral hemispheres. The analysis also showed a relationship between dominant channels and adjacent channels. For that reason, our results present a new
method to identify dominant regions in the cerebral cortex using near-infrared spectroscopy. These findings have also implications in the decrease of channels by eliminating irrelevant channels for the experiment.
In this paper we present the use of a signal processing technique to find dominant channels in
near infrared spectroscopy (NIRS). Cross correlation is computed to compare measuring
channels and identify delays among the channels. In addition, visual inspection was used to
detect potential dominant channels. The results showed that the visual analysis exposed painrelated
activations in the primary somatosensory cortex (S1) after stimulation which is
consistent with similar studies and the cross correlation analysis found dominant channels on
both cerebral hemispheres. The analysis also showed a relationship between dominant channels
and neighbouring channels. Therefore, our results present a new method to detect dominant
regions in the cerebral cortex using near-infrared spectroscopy. These results have also
implications in the reduction of number of channels by eliminating irrelevant channels for the
experiment.
CROSS CORRELATION ANALYSIS OF MULTI-CHANNEL NEAR INFRARED SPECTROSCOPYcscpconf
In this paper we present the use of a signal processing technique to find dominant channels in near infrared spectroscopy (NIRS). Cross correlation is computed to compare measuring channels and identify delays among the channels. In addition, visual inspection was used to detect potential dominant channels. The results showed that the visual analysis exposed painrelated activations in the primary somatosensory cortex (S1) after stimulation which is consistent with similar studies and the cross correlation analysis found dominant channels on both cerebral hemispheres. The analysis also showed a relationship between dominant channels
and neighbouring channels. Therefore, our results present a new method to detect dominant regions in the cerebral cortex using near-infrared spectroscopy. These results have also implications in the reduction of number of channels by eliminating irrelevant channels for the experiment.
CROSS CORRELATION ANALYSIS OF MULTI-CHANNEL NEAR INFRARED SPECTROSCOPYcscpconf
In this paper we present the use of a signal processing technique to find dominant channels in near infrared spectroscopy (NIRS). Cross correlation is computed to compare measuring channels and identify delays among the channels. In addition, visual inspection was used to detect potential dominant channels. The results showed that the visual analysis exposed painrelated activations in the primary somatosensory cortex (S1) after stimulation which is consistent with similar studies and the cross correlation analysis found dominant channels on both cerebral hemispheres. The analysis also showed a relationship between dominant channels and neighbouring channels. Therefore, our results present a new method to detect dominant regions in the cerebral cortex using near-infrared spectroscopy. These results have also implications in the reduction of number of channels by eliminating irrelevant channels for the experiment
Presentation from the ECDC expert consultation on Whole Genome Sequencing organised by the European Centre of Disease Prevention and Control - Stockholm, 19 November 2015
(The Ima Volumes in Mathematics and Its Applications) Terry Speed (editor), M...EdizonJambormias2
(The Ima Volumes in Mathematics and Its Applications) Terry Speed (editor), Michael Waterman (editor) - Genetic Mapping and DNA Sequencing-Springer Verlag (2012).pdf
Forest Environment Analysis for the Pandemic HealthJun Steed Huang
The result of our analyses of the 2021 pandemic toll suggest that pesticide residual, annual precipitation, forest coverage, economy development, pet life, etc. have different impacts on toll of each country.
The Algorithms of Life - Scientific Computing for Systems Biologyinside-BigData.com
In this deck from ISC 2019, Ivo Sbalzarini from TU Dresden presents: The Algorithms of Life - Scientific Computing for Systems Biology. In his talk, Sbalzarini mainly discussed the rapidly growing importance and influence in the life sciences for scientific high-performance computing.
"Scientific high-performance computing is of rapidly growing importance and influence in the life sciences. Thanks to the increasing knowledge about the molecular foundations of life, recent advances in biomedical data science, and the availability of predictive biophysical theories that can be numerically simulated, mechanistic understanding of the emergence of life comes within reach. Computing is playing a pivotal and catalytic role in this scientific revolution, both as a tool of investigation and hypothesis testing, but also as a school of thought and systems model. This is because a developing tissue, embryo, or organ can itself be seen as a massively parallel distributed computing system that collectively self-organizes to bring about behavior we call life. In any multicellular organism, every cell constantly takes decisions about growth, division, and migration based on local information, with cells communicating with each other via chemical, mechanical, and electrical signals across length scales from nanometers to meters. Each cell can therefore be understood as a mechano-chemical processing element in a complexly interconnected million- or billion-core computing system. Mechanistically understanding and reprogramming this system is a grand challenge. While the “hardware” (proteins, lipids, etc.) and the “source code” (genetic code) are increasingly known, we known virtually nothing about the algorithms that this code implements on this hardware. Our vision is to contribute to this challenge by developing computational methods and software systems for high-performance data analysis, inference, and numerical simulation of computer models of biological tissues, incorporating the known biochemistry and biophysics in 3D-space and time, in order to understand biological processes on an algorithmic basis. This ranges from real-time approaches to biomedical image analysis, to novel simulation languages for parallel high-performance computing, to virtual reality and machine learning for 3D microscopy and numerical simulations of coupled biochemical-biomechanical models. The cooperative, interdisciplinary effort to develop and advance our understanding of life using computational approaches not only places high-performance computing center stage, but also provides stimulating impulses for the future development of this field."
Watch the video: https://wp.me/p3RLHQ-kBB
Learn more: https://www.isc-hpc.com/
Sign up for our insideHPC Newsletter: http://insidehpc.com/newsletter
Community Finding with Applications on Phylogenetic Networks [Extended Abstract]Luís Rita
[Master Thesis Extended Abstract]
With the advent of high-throughput sequencing methods, new ways of visualizing and analyzing increasingly amounts of data are needed. Although some software already exist, they do not scale well or require advanced skills to be useful in phylogenetics.
The aim of this thesis was to implement three community finding algorithms – Louvain, Infomap and Layered Label Propagation (LLP); to benchmark them using two synthetic networks – Girvan-Newman (GN) and Lancichinetti-Fortunato-Radicchi (LFR); to test them in real networks, particularly, in one derived from a Staphylococcus aureus MLST dataset; to compare visualization frameworks – Cytoscape.js and D3.js, and, finally, to make it all available online (mscthesis.herokuapp.com).
Louvain, Infomap and LLP were implemented in JavaScript. Unless otherwise stated, next conclusions are valid for GN and LFR. In terms of speed, Louvain outperformed all others. Considering accuracy, in networks with well-defined communities, Louvain was the most accurate. For higher mixing, LLP was the best. Contrarily to weakly mixed, it is advantageous to increase the resolution parameter in highly mixed GN. In LFR, higher resolution decreases the accuracy of detection, independently of the mixing parameter. The increase of the average node degree enhanced partitioning accuracy and suggested detection by chance was minimized. It is computationally more intensive to generate GN with higher mixing or average degree, using the algorithm developed in the thesis or the LFR implementation. In S. aureus network, Louvain was the fastest and the most accurate in detecting the clusters of seven groups of strains directly evolved from the common ancestor.
Dynamic Evolving Neuro-Fuzzy Inference System for Mortality Prediction IJERA Editor
In this paper we propose a dynamic evolving neuro-fuzzy inference system (DENFIS) to forecast mortality. DENFIS is an adaptive intelligent system suitable for dynamic time series prediction. An Evolving Cluster Method (ECM) drives the learning process. The typical fuzzy rules of the neuro- fuzzy systems are updated during the learning process and adjusted according to the features of the data. This makes possible to capture the changes in the mortality evolution at the basis of the so called longevity risk
An information-theoretic, all-scales approach to comparing networksJim Bagrow
My presentation at NetSci 2018 on Portrait Divergence, a new approach to comparing networks that is simple, general-purpose, and easy to interpret.
The preprint: https://arxiv.org/abs/1804.03665
The code: https://github.com/bagrow/portrait-divergence
Detecting malaria using a deep convolutional neural networkYusuf Brima
Experiment with Deep Residual Convolutional Neural Network to classify microscopic blood cell images (Uninfected, Parasitized)
Utiling ResNet,Deep Residual Learning for Image Recognition (He et al, 2015) architecture.
Uses Keras with a Tensorflow backend.
NIRS-BASED CORTICAL ACTIVATION ANALYSIS BY TEMPORAL CROSS CORRELATIONsipij
In this study we present a method of signal processing to determine dominant channels in near infrared spectroscopy (NIRS). To compare measuring channels and identify delays between them, cross correlation is computed. Furthermore, to find out possible dominant channels, a visual inspection was performed. The
outcomes demonstrated that the visual inspection exhibited evoked-related activations in the primary somatosensory cortex (S1) after stimulation which is consistent with comparable studies and the cross correlation study discovered dominant channels on both cerebral hemispheres. The analysis also showed a relationship between dominant channels and adjacent channels. For that reason, our results present a new
method to identify dominant regions in the cerebral cortex using near-infrared spectroscopy. These findings have also implications in the decrease of channels by eliminating irrelevant channels for the experiment.
In this paper we present the use of a signal processing technique to find dominant channels in
near infrared spectroscopy (NIRS). Cross correlation is computed to compare measuring
channels and identify delays among the channels. In addition, visual inspection was used to
detect potential dominant channels. The results showed that the visual analysis exposed painrelated
activations in the primary somatosensory cortex (S1) after stimulation which is
consistent with similar studies and the cross correlation analysis found dominant channels on
both cerebral hemispheres. The analysis also showed a relationship between dominant channels
and neighbouring channels. Therefore, our results present a new method to detect dominant
regions in the cerebral cortex using near-infrared spectroscopy. These results have also
implications in the reduction of number of channels by eliminating irrelevant channels for the
experiment.
CROSS CORRELATION ANALYSIS OF MULTI-CHANNEL NEAR INFRARED SPECTROSCOPYcscpconf
In this paper we present the use of a signal processing technique to find dominant channels in near infrared spectroscopy (NIRS). Cross correlation is computed to compare measuring channels and identify delays among the channels. In addition, visual inspection was used to detect potential dominant channels. The results showed that the visual analysis exposed painrelated activations in the primary somatosensory cortex (S1) after stimulation which is consistent with similar studies and the cross correlation analysis found dominant channels on both cerebral hemispheres. The analysis also showed a relationship between dominant channels
and neighbouring channels. Therefore, our results present a new method to detect dominant regions in the cerebral cortex using near-infrared spectroscopy. These results have also implications in the reduction of number of channels by eliminating irrelevant channels for the experiment.
CROSS CORRELATION ANALYSIS OF MULTI-CHANNEL NEAR INFRARED SPECTROSCOPYcscpconf
In this paper we present the use of a signal processing technique to find dominant channels in near infrared spectroscopy (NIRS). Cross correlation is computed to compare measuring channels and identify delays among the channels. In addition, visual inspection was used to detect potential dominant channels. The results showed that the visual analysis exposed painrelated activations in the primary somatosensory cortex (S1) after stimulation which is consistent with similar studies and the cross correlation analysis found dominant channels on both cerebral hemispheres. The analysis also showed a relationship between dominant channels and neighbouring channels. Therefore, our results present a new method to detect dominant regions in the cerebral cortex using near-infrared spectroscopy. These results have also implications in the reduction of number of channels by eliminating irrelevant channels for the experiment
Presentation from the ECDC expert consultation on Whole Genome Sequencing organised by the European Centre of Disease Prevention and Control - Stockholm, 19 November 2015
(The Ima Volumes in Mathematics and Its Applications) Terry Speed (editor), M...EdizonJambormias2
(The Ima Volumes in Mathematics and Its Applications) Terry Speed (editor), Michael Waterman (editor) - Genetic Mapping and DNA Sequencing-Springer Verlag (2012).pdf
Forest Environment Analysis for the Pandemic HealthJun Steed Huang
The result of our analyses of the 2021 pandemic toll suggest that pesticide residual, annual precipitation, forest coverage, economy development, pet life, etc. have different impacts on toll of each country.
El QUANTEC nos ayuda a los oncólogos radioterápicos a la hora de aprobar un tratamiento con sus tablas con "constraints" de los órganos de riesgo (los límites de dosis que pueden recibir los órganos sanos situados entorno al tumor que queremos tratar).
PD: Las tablas se encuentran en las páginas 15-17
International Journal of Engineering and Science Invention (IJESI) is an international journal intended for professionals and researchers in all fields of computer science and electronics. IJESI publishes research articles and reviews within the whole field Engineering Science and Technology, new teaching methods, assessment, validation and the impact of new technologies and it will continue to provide information on the latest trends and developments in this ever-expanding subject. The publications of papers are selected through double peer reviewed to ensure originality, relevance, and readability. The articles published in our journal can be accessed online.
International Journal of Computational Engineering Research(IJCER) is an intentional online Journal in English monthly publishing journal. This Journal publish original research work that contributes significantly to further the scientific knowledge in engineering and Technology.
Similar to Leibniz: A Digital Scientific Notation (20)
Le pourquoi et le comment de la science ouvertekhinsen
La science ouverte est une nouvelle vertu que nous sommes tous censés adopter. Nous devrions élaborer des plans de gestion des données, préenregistrer les études que nous prévoyons, publier nos données et notre code, et faire en sorte que tout soit reproductible. Cela implique beaucoup de travail et requiert de nouvelles compétences. J'essaierai de fournir à la fois la motivation et des informations pratiques pour faire les premiers pas vers la science ouverte.
A computational scientist's wish list for tomorrow's computing systemskhinsen
Like many areas of modern life, scientific research has been transformed profoundly by information technology. Most of today's research relies on computers and software for core tasks such as data analysis and model exploration. This has created both new opportunities and new danger zones. The much discussed reproducibility crisis, for example, is largely the result of inappropriate use of computational tools.
To make sure that tomorrow's computing systems provide support for doing research reliably, computational scientists need to establish a dialog with designers of programming languages and systems, and that is my goal with this presentation. I will describe the particularities of computational science: data-centric approaches, situated software, exploration vs. consolidation of computational models, the role of specifications, interfacing independently developed components, and the central scientific requirement of inquirability. I will also outline how today's computing systems are insufficient, and discuss some of my own attempts to contribute to improving them.
Expérience, statistique, calcul : La trinité de la reproductibilité scientifiquekhinsen
Au cours des dernières années, la crise de la reproductibilité est devenu un sujet récurrent dans presque tous les domaines de la recherche scientifique. En effet, un grand nombre d'études scientifiques publiées se sont avérées non reproductibles : d'autres chercheurs ont répété les travaux décrits, mais n'ont réussi, ou ont obtenu des résultats différents. Ceci crée un doute sur la fiabilité des résultats de la recherche, et laisse soupçonner une négligence généralisée ou même des tentatives de fraude. Mais la réalité est plus compliquée : le même terme "reproductibilité" désigne des caractéristiques très différents quand il est appliqué aux expériences, aux inférences statistiques, et aux calculs. Bien que la reproductibilité soit toujours désirable en principe, sa défaillance indique des problèmes de fond très différents, et pas toujours attribuables à des fautes professionnelles. Je vais essayer de démêler les différents types de reproductibilité afin d'aider à l'appréciation de la problématique, qui est un premier pas nécessaire à une amélioration de la qualité de nos recherches.
Numerical models for complex molecular systemskhinsen
The models used in molecular simulations have become complex to the point of "existing" only in software source code, which is hard to read, rarely reviewed and often not even published. This talk explores how and why we should pull the models out of the source code and put them back into scientific discourse.
An alternative to the "big molecules" view of proteins is the "small things" view in which protein have a shape and material properties. This talk is about investigating these properties.
ESR spectroscopy in liquid food and beverages.pptxPRIYANKA PATEL
With increasing population, people need to rely on packaged food stuffs. Packaging of food materials requires the preservation of food. There are various methods for the treatment of food to preserve them and irradiation treatment of food is one of them. It is the most common and the most harmless method for the food preservation as it does not alter the necessary micronutrients of food materials. Although irradiated food doesn’t cause any harm to the human health but still the quality assessment of food is required to provide consumers with necessary information about the food. ESR spectroscopy is the most sophisticated way to investigate the quality of the food and the free radicals induced during the processing of the food. ESR spin trapping technique is useful for the detection of highly unstable radicals in the food. The antioxidant capability of liquid food and beverages in mainly performed by spin trapping technique.
Remote Sensing and Computational, Evolutionary, Supercomputing, and Intellige...University of Maribor
Slides from talk:
Aleš Zamuda: Remote Sensing and Computational, Evolutionary, Supercomputing, and Intelligent Systems.
11th International Conference on Electrical, Electronics and Computer Engineering (IcETRAN), Niš, 3-6 June 2024
Inter-Society Networking Panel GRSS/MTT-S/CIS Panel Session: Promoting Connection and Cooperation
https://www.etran.rs/2024/en/home-english/
Nucleophilic Addition of carbonyl compounds.pptxSSR02
Nucleophilic addition is the most important reaction of carbonyls. Not just aldehydes and ketones, but also carboxylic acid derivatives in general.
Carbonyls undergo addition reactions with a large range of nucleophiles.
Comparing the relative basicity of the nucleophile and the product is extremely helpful in determining how reversible the addition reaction is. Reactions with Grignards and hydrides are irreversible. Reactions with weak bases like halides and carboxylates generally don’t happen.
Electronic effects (inductive effects, electron donation) have a large impact on reactivity.
Large groups adjacent to the carbonyl will slow the rate of reaction.
Neutral nucleophiles can also add to carbonyls, although their additions are generally slower and more reversible. Acid catalysis is sometimes employed to increase the rate of addition.
Richard's aventures in two entangled wonderlandsRichard Gill
Since the loophole-free Bell experiments of 2020 and the Nobel prizes in physics of 2022, critics of Bell's work have retreated to the fortress of super-determinism. Now, super-determinism is a derogatory word - it just means "determinism". Palmer, Hance and Hossenfelder argue that quantum mechanics and determinism are not incompatible, using a sophisticated mathematical construction based on a subtle thinning of allowed states and measurements in quantum mechanics, such that what is left appears to make Bell's argument fail, without altering the empirical predictions of quantum mechanics. I think however that it is a smoke screen, and the slogan "lost in math" comes to my mind. I will discuss some other recent disproofs of Bell's theorem using the language of causality based on causal graphs. Causal thinking is also central to law and justice. I will mention surprising connections to my work on serial killer nurse cases, in particular the Dutch case of Lucia de Berk and the current UK case of Lucy Letby.
Seminar of U.V. Spectroscopy by SAMIR PANDASAMIR PANDA
Spectroscopy is a branch of science dealing the study of interaction of electromagnetic radiation with matter.
Ultraviolet-visible spectroscopy refers to absorption spectroscopy or reflect spectroscopy in the UV-VIS spectral region.
Ultraviolet-visible spectroscopy is an analytical method that can measure the amount of light received by the analyte.
Phenomics assisted breeding in crop improvementIshaGoswami9
As the population is increasing and will reach about 9 billion upto 2050. Also due to climate change, it is difficult to meet the food requirement of such a large population. Facing the challenges presented by resource shortages, climate
change, and increasing global population, crop yield and quality need to be improved in a sustainable way over the coming decades. Genetic improvement by breeding is the best way to increase crop productivity. With the rapid progression of functional
genomics, an increasing number of crop genomes have been sequenced and dozens of genes influencing key agronomic traits have been identified. However, current genome sequence information has not been adequately exploited for understanding
the complex characteristics of multiple gene, owing to a lack of crop phenotypic data. Efficient, automatic, and accurate technologies and platforms that can capture phenotypic data that can
be linked to genomics information for crop improvement at all growth stages have become as important as genotyping. Thus,
high-throughput phenotyping has become the major bottleneck restricting crop breeding. Plant phenomics has been defined as the high-throughput, accurate acquisition and analysis of multi-dimensional phenotypes
during crop growing stages at the organism level, including the cell, tissue, organ, individual plant, plot, and field levels. With the rapid development of novel sensors, imaging technology,
and analysis methods, numerous infrastructure platforms have been developed for phenotyping.
This presentation explores a brief idea about the structural and functional attributes of nucleotides, the structure and function of genetic materials along with the impact of UV rays and pH upon them.
BREEDING METHODS FOR DISEASE RESISTANCE.pptxRASHMI M G
Plant breeding for disease resistance is a strategy to reduce crop losses caused by disease. Plants have an innate immune system that allows them to recognize pathogens and provide resistance. However, breeding for long-lasting resistance often involves combining multiple resistance genes
Observation of Io’s Resurfacing via Plume Deposition Using Ground-based Adapt...Sérgio Sacani
Since volcanic activity was first discovered on Io from Voyager images in 1979, changes
on Io’s surface have been monitored from both spacecraft and ground-based telescopes.
Here, we present the highest spatial resolution images of Io ever obtained from a groundbased telescope. These images, acquired by the SHARK-VIS instrument on the Large
Binocular Telescope, show evidence of a major resurfacing event on Io’s trailing hemisphere. When compared to the most recent spacecraft images, the SHARK-VIS images
show that a plume deposit from a powerful eruption at Pillan Patera has covered part
of the long-lived Pele plume deposit. Although this type of resurfacing event may be common on Io, few have been detected due to the rarity of spacecraft visits and the previously low spatial resolution available from Earth-based telescopes. The SHARK-VIS instrument ushers in a new era of high resolution imaging of Io’s surface using adaptive
optics at visible wavelengths.
1. Leibniz: A Digital Scientific Notation
Konrad HINSEN
Centre de Biophysique Moléculaire, Orléans, France
and
Synchrotron SOLEIL, Saint Aubin, France
24 November 2016
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 1 / 38
2. Computational science today
BY ZEEYA MERALI
Z. Merali, Nature 467, 775 (2010)
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 2 / 38
3. Embarassing bugs
THIS WEEK A dolphin’s
demise
1860
Untilrecently,GeoffreyChang’scareerwason
a trajectory most young scientists only dream
about. In 1999, at the age of 28, the protein
crystallographer landed a faculty position at
the prestigious Scripps Research Institute in
San Diego, California.The next year, in a cer-
emony at the White House, Chang received a
Presidential Early Career Award
for Scientists and Engineers, the
country’s highest honor for young
researchers. His lab generated a
stream of high-profile papers
detailing the molecular structures
of important proteins embedded in
2001 Science paper, which described the struc-
tureofaproteincalledMsbA,isolatedfromthe
bacterium Escherichia coli. MsbA belongs to a
huge and ancient family of molecules that use
energy from adenosine triphosphate to trans-
port molecules across cell membranes. These
so-called ABC transporters perform many
Scien
EmrE
C
five
was a
postd
nia In
prote
beca
ousl
need
deter
cess:
ethic
A Scientist’s Nightmare: Software
Problem Leads to Five Retractions
SCIENTIFIC PUBLISHING
G. Miller, Science 314 1856 (2007)
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 3 / 38
4. Unexpected behavior
The Effects of FreeSurfer Version, Workstation Type, and
Macintosh Operating System Version on Anatomical
Volume and Cortical Thickness Measurements
Ed H. B. M. Gronenschild1,2
*, Petra Habets1,2
, Heidi I. L. Jacobs1,2,3
, Ron Mengelers1,2
, Nico Rozendaal1,2
,
Jim van Os1,2,4
, Machteld Marcelis1,2
1 Department of Psychiatry and Neuropsychology, School for Mental Health and Neuroscience, Maastricht University Medical Center, Maastricht, Alzheimer Center
Limburg, The Netherlands, 2 European Graduate School of Neuroscience (EURON), Maastricht University, Maastricht, The Netherlands, 3 Cognitive Neurology Section,
Institute of Neuroscience and Medicine-3, Research Centre Ju¨lich, Ju¨lich, Germany, 4 King’s College London, King’s Health Partners, Department of Psychosis Studies
Institute of Psychiatry, London, United Kingdom
Abstract
FreeSurfer is a popular software package to measure cortical thickness and volume of neuroanatomical structures. However,
little if any is known about measurement reliability across various data processing conditions. Using a set of 30 anatomical
T1-weighted 3T MRI scans, we investigated the effects of data processing variables such as FreeSurfer version (v4.3.1, v4.5.0,
and v5.0.0), workstation (Macintosh and Hewlett-Packard), and Macintosh operating system version (OSX 10.5 and OSX
10.6). Significant differences were revealed between FreeSurfer version v5.0.0 and the two earlier versions. These differences
were on average 8.866.6% (range 1.3–64.0%) (volume) and 2.861.3% (1.1–7.7%) (cortical thickness). About a factor two
smaller differences were detected between Macintosh and Hewlett-Packard workstations and between OSX 10.5 and OSX
10.6. The observed differences are similar in magnitude as effect sizes reported in accuracy evaluations and
neurodegenerative studies. The main conclusion is that in the context of an ongoing study, users are discouraged to
E. Gronenschild et al., PLoS ONE 7(6) e38234 (2012)
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 4 / 38
5. Misuse of black-box software
Cluster failure: Why fMRI inferences for spatial extent
have inflated false-positive rates
Anders Eklunda,b,c,1
, Thomas E. Nicholsd,e
, and Hans Knutssona,c
a
Division of Medical Informatics, Department of Biomedical Engineering, Linköping University, S-581 85 Linköping, Sweden; b
Division of Statistics and
Machine Learning, Department of Computer and Information Science, Linköping University, S-581 83 Linköping, Sweden; c
Center for Medical Image
Science and Visualization, Linköping University, S-581 83 Linköping, Sweden; d
Department of Statistics, University of Warwick, Coventry CV4 7AL, United
Kingdom; and e
WMG, University of Warwick, Coventry CV4 7AL, United Kingdom
Edited by Emery N. Brown, Massachusetts General Hospital, Boston, MA, and approved May 17, 2016 (received for review February 12, 2016)
The most widely used task functional magnetic resonance imaging
(fMRI) analyses use parametric statistical methods that depend on a
variety of assumptions. In this work, we use real resting-state data
and a total of 3 million random task group analyses to compute
empirical familywise error rates for the fMRI software packages SPM,
FSL, and AFNI, as well as a nonparametric permutation method. For a
nominal familywise error rate of 5%, the parametric statistical
methods are shown to be conservative for voxelwise inference
and invalid for clusterwise inference. Our results suggest that the
principal cause of the invalid cluster inferences is spatial autocorre-
lation functions that do not follow the assumed Gaussian shape. By
comparison, the nonparametric permutation test is found to produce
nominal results for voxelwise as well as clusterwise inference. These
findings speak to the need of validating the statistical methods being
used in the field of neuroimaging.
fMRI | statistics | false positives | cluster inference | permutation test
(FWE), the chance of one or more false positives, and empirically
measure the FWE as the proportion of analyses that give rise to
any significant results. Here, we consider both two-sample and
one-sample designs. Because two groups of subjects are randomly
drawn from a large group of healthy controls, the null hypothesis
of no group difference in brain activation should be true. More-
over, because the resting-state fMRI data should contain no
consistent shifts in blood oxygen level-dependent (BOLD) activity,
for a single group of subjects the null hypothesis of mean zero
activation should also be true. We evaluate FWE control for both
voxelwise inference, where significance is individually assessed at
each voxel, and clusterwise inference (19–21), where significance
is assessed on clusters formed with an arbitrary threshold.
In brief, we find that all three packages have conservative
voxelwise inference and invalid clusterwise inference, for both
one- and two-sample t tests. Alarmingly, the parametric methods
can give a very high degree of false positives (up to 70%, com-
pared with the nominal 5%) for clusterwise inference. By com-
NEUROSCIENCE
A. Eklund, T.E. Nichols, H. Knutsson, PNAS 113(28) 7900 (2016)
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 5 / 38
6. Why can’t we fix this?
Insufficient software engineering
Testing numerical software is very difficult.
Most scientific software has no specification.
Most scientific software is badly documented.
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 6 / 38
7. Testing floating-point code
Reliable tests check for equality...
... but exact equality never happens with floats.
... but exact equality never happens with floats. Why ???
... therefore we must introduce tolerances ...
... but nobody knows how to choose them.
Full discussion:
K. Hinsen, The Approximation Tower in Computational Science: Why Testing
Scientific Software Is Difficult, Comp. Sci. Eng. 17(4) 72-77 (2015)
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 7 / 38
8. Specifications and documentation
Informal specifications / documentation
Theory: should be published in journal articles etc.
Practice: complexity of models and methods prevents a full
description
Formal specifications
Unknown to most computational scientists
No domain-specific languages and tools
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 8 / 38
9. Climate models
meteorological research and development (Met
R&D) effort. The two groups primarily occupy
a single, open-plan office space on the second
floor of the Met Office’s Exeter headquarters
and have built a single unified code base. This
and mass transfers between subsystems (see
Figure 1). Researchers can run the models at dif-
ferent resolutions, depending on the available
computing power. Coarse-resolution GCMs can
simulate large-scale phenomena, such as mid-
Figure 1. Conceptual view of the components and couplings of a coupled Earth system model.
Sea ice
Chemistry
Atmospheric
transport
Dynamics
Ice sheet
coupler Atmosphere
surface
interface
Land
surface
model
Ocean
coupler
Dynamics
Inland ice
Dynamics
Mass
balance
Bedrock
model
Thermo-
dynamics
Surface
vegetation
atmosphere
transfer (SVAT)
Ocean
Atmosphere
Solar
Hydrological
cycle
Thermo-
dynamics
Thermodynamics
Oceanic
transport
Carbon
cycle
Salinity
CO2
Terrestrial
carbon cycle
Vegetation
dynamics
Terrestrial vegetation
From: Easterbrook & Johns, Comp. Sci. Eng. 11(6), 65-74 (2009)
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 9 / 38
10. Protein models
A small protein (lysozyme) in the Amber99 force field
1960 atoms (1001 shown)
183 distinct atom types
interaction energy: a
function of 5880 variables,
with a few thousand
numerical parameters
Remember that this is a small
protein!
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 10 / 38
11. Biomolecular force fields (1/2)
This is how a typical research paper describes the AMBER force field:
U =
X
bonds ij
kij
⇣
rij r
(0)
ij
⌘2
+
X
angles ijk
kijk
⇣
ijk
(0)
ijk
⌘2
+
X
dihedrals ijkl
kijkl cos (nijkl✓ijkl ijkl)
+
X
all pairs ij
4✏ij
12
ij
r12
6
ij
r6
!
+
X
all pairs ij
qiqj
4⇡✏0rij
U =
X
kij
⇣
rij r
(0)
⌘2
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 11 / 38
12. Biomolecular force fields (2/2)
Protein parameter files for Amber 12, in somewhat documented
formats:
lines filename
984 amino12.in
814 aminoct12.in
782 aminont12.in
533 frcmod.ff12SB
744 parm99.dat
For the details... read the source code!
For the algorithms that select the parameters for a given protein
structure... read the source code!
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 12 / 38
13. Read the source code!
Streamlining Development of a Multimillion-Line
Computational Chemistry Code
Robin M. Betz and Ross C. Walker | San Diego Supercomputer Center
Software engineering methodologies can be helpful in computational science and engineering projects. Here, a
continuous integration software engineering strategy is applied to a multimillion-line molecular dynamics code; the
implementation both streamlines the development and release process and unifies a team of widely distributed,
academic developers.
T
he needs of computational science and en-
gineering (CSE) projects greatly differ from
those of more traditional business enterprise
software, especially in terms of code valida-
tion and testing. Although software engineers have
developers are also researchers first and foremost,
and their goal is primarily to generate publication-
quality research, rather than develop maintainable,
extensible code using the latest development meth-
odologies. This frequently results in a developer cul-
SOFTWARE ENGINEERING FOR CSE
Betz & Walker, Comp. Sci. Eng. 16(3), 10-17 (2014)
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 13 / 38
14. Can we do science with computers?
Science requires verifiability of all findings, but:
We cannot discuss computational models and methods
... because we cannot write them down.
We cannot compare different models and methods
... for the same reason.
We cannot test scientific software
... because we have no specifications.
Users don’t understand their software
... because it’s too complex ...
... and there is no specification.
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 14 / 38
15. Similar issues elsewhere (1/2)
Reports and Articles
Social Processes and Proofs of Theorems
and Programs
Richard A. De Millo
Georgia Institute of Technology
Richard J. Lipton and Alan J. Perlis
Yale University
It is argued that formal verifications of programs,
no matter how obtained, will not play the same key role
I should like to ask the same question that Descartes as
are proposing to give a precise definition of logical co
Communications of the ACM, 1979
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 15 / 38
16. Similar issues elsewhere (2/2)
Quanta Magazine, 2013
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 16 / 38
17. Digital Scientific Notations
Informal language programming language
Digital
Scientific
Notation
formal
embedded into
scholarly discourse
automated
(partial) validation
verifiable by
human readers
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 17 / 38
18. Full story
K. Hinsen, The Self-Journal of Science, 2016
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 18 / 38
19. Commented summary
thesis
Digital science
Technology is transforming science. We
can calculate faster than ever before, and
gather more precise data, of an ever-
expanding variety. We now store staggering
volumes of information, and draw on it
ever more creatively. Communication
between scientists is changing too, even
if the scientific paper still remains the
standard element of information transfer
and recording. The web, e-mail and blogs, as
well as social media including Facebook and
Twitter, have completely altered how we
exchange thoughts.
The standard scientific paper increasingly
offers only a limited glimpse of today’s
scientific process. After all, computer
software of innumerable kinds has
established itself implicitly within the fabric
of scientific practice — in the structuring
of databases, and in computer algorithms
used to process such data, or to carry out
mathematical analyses. How the intricate
details of software and algorithms influence
results isn’t always clear.
apparatus was set up and used; we accept
theoretical arguments only if each step is
made explicit. Likewise, Hinsen argues,
trusting the results of any calculation
run on scientific software requires full
understanding of the functioning of that
software. Unfortunately, most software used
today never gets any peer review.
Hinsen offers an illustration of the
problem. Consider using Newton’s equations
to calculate the celestial mechanics of planets
and predict their future trajectories. The
scientific knowledge relevant to the problem
is embodied in Newton’s laws of motion and
gravitation, the mathematics of calculus, as
reduced to numerics. The result is a series
of diabolical tendencies all too familiar
to computational scientists. As he notes,
scientists can develop software using the best
practices of software engineering and the
result may still compute something different
from what its users think it computes. Of
course, concerned users can in principle
consult the documentation, but how do
they know that documentation is complete
and accurate?
All of this would be avoided if computing
source code were intelligible to human
readers, but that’s very far from the
case. At the moment, Hinsen suggests,
“most scientific software source code is
unintelligible to its users, and sometimes it
even becomes unintelligible to its developers
over time.”
Hinsen got concerned about the issue
after having to abandon a research project
when he could not reproduce the most
important prior work on the topic, which
relied on software that no longer existed.
Computer software
of innumerable kinds
has established itself
implicitly within the fabric
of scientific practice.
M. Buchanan, Nature Physics 12 630 (2016)
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 19 / 38
20. Leibniz - a digital notation for the physical sciences
My first attempt at a Digital Scientific Notation
Still in a very early stage
Any feedback welcome:
Open Science project on Digital Scientific Notations in general
Leibniz on GitHub
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 20 / 38
21. Gottfried Wilhelm Leibniz (1646-1716)
Leibniz attributed all his discov-
eries in mathematics to the de-
velopment and use of good no-
tations.
Ideas most relevant to Digital
Scientific Notations:
Leibniz’s notation in
calculus: dy/dx,
R
etc.
Calculus ratiocinator:
computing, formal logic,
etc.
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 21 / 38
22. Approximation chain in numerical simulations
Mathematical
model
Simulation
program
Discretization
Real→Float
Optimization
Model parameters
Model
transformations
Specification
Leibniz
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 22 / 38
24. Software tools around Leibniz
Leibniz
Authoring
tools
Manipulation
tools
Numerical
tools
Visualization
tools
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 24 / 38
25. Leibniz authoring environment (just a demo for now)
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 25 / 38
26. Output for human readers
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 26 / 38
27. “Development” syntax (works now)
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 27 / 38
28. Leibniz in a nutshell
An algebraic specification language
based on equational logic
... and term rewriting
Today, Leibniz is a subset of Maude with different syntax.
In the future, Leibniz will further diverge from Maude.
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 28 / 38
29. Order-sorted term algebra
A Leibniz term is either a standard term or a special term.
A standard term has the form op(arg1 arg2 . . .),
or just op for zero arguments.
Special terms are integers, rationals, and floats.
Each term has an associated sort.
Sorts have a partial order, defined by subsort relations.
Subsort relations form a directed acyclic graph.
The connected components of this graph are called kinds.
All terms must be kind-correct (“static typing”)
Sort errors within a kind can be resolved during rewriting
(“dynamic typing”)
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 29 / 38
30. Sort graph for the number sorts
NonZeroNatural
NonZeroIntegerPositiveRational Natural
NonNegativeRational
NonNegativeReal Rational
IEEE-binary64
IEEE-floating-point
NonZeroRational
NonZeroReal
Real
IntegerPositiveReal
Zero IEEE-binary32
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 30 / 38
31. A very simple example
define-context mass
;
include real-numbers
;
sort Mass
;
; The sum of two masses is a mass.
op {Mass + Mass} Mass
; The product of a positive number with a mass is a mass.
op {PositiveReal * Mass} Mass
; A mass divided by a positive number is a mass.
op {Mass / PositiveReal} Mass
; The quotient of two masses is a positive number.
op {Mass / Mass} PositiveReal
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 31 / 38
32. Using subsorts
define-context distance
;
include real-numbers
;
sort Distance
;
sort NonZeroDistance ; an important special case for division
subsort NonZeroDistance Distance
;
op {Distance + Distance} Distance
op {Distance - Distance} Distance
;
op {Real * Distance} Distance
op {NonZeroReal * NonZeroDistance} NonZeroDistance
op {Distance / NonZeroReal} Distance
;
op {Distance / NonZeroDistance} Real
op {NonZeroDistance / NonZeroDistance} NonZeroReal
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 32 / 38
33. Terms
define-context distance-test
include distance
op d Distance
op nzd NonZeroDistance
with-context distance-test
displayln T(d)
displayln T(nzd)
displayln T{2 * d}
displayln T{2 * nzd}
displayln T{0 * nzd}
displayln T{d / nzd}
displayln T{nzd / d}
Distance:d
NonZeroDistance:nzd
Distance:(* 2 d)
NonZeroDistance:(* 2 nzd)
Distance:(* 0 nzd)
Real:(/ d nzd)
[NonZeroNatural]:(/ nzd d)
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 33 / 38
34. Rewrite rules
define-context distance-with-rules
;
include distance
;
=> D : Distance
{1 * D}
D
=> F1 : Real
F2 : Real
D : Distance
{{F1 * D} + {F2 * D}}
{{F1 + F2} * D}
=> F : NonZeroReal
D : Distance
{D / F}
{{1 / F} * D}
=> F1 : Real
F2 : Real
D : Distance
{F1 * {F2 * D}}
{{F1 * F2} * D}
define-context distance-test
include distance-with-rules
op d Distance
with-context distance-test
displayln T{{2 * d} + {3 * d}}
displayln RT{{2 * d} + {3 * d}}
displayln RT{{2 * d} + {d / 2}}
Distance:(+ (* 2 d) (* 3 d))
Distance:(* 5 d)
Distance:(* 5/2 d)
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 34 / 38
∀
∀
∀
∀
∀
∀
∀
∀
∀
35. Equations and transformations
define-context distance-with-equations
;
include distance-with-rules
;
op d1 Distance
op d2 NonZeroDistance
;
eq #:label eq-1
d1
{2 * d2}
with-context distance-with-equations
;
displayln eq(eq-1)
;
displayln
A
tr #:var (D Distance) D {D / 2}
eq(eq-1)
#:label eq-2
(eq #:label eq-1 d1 (* 2 d2))
(eq #:label eq-2 (* 1/2 d1) d2)
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 35 / 38
36. Unusual features
Embedding code into scholarly discourse leads to different priorities
from software development.
No namespaces, no scopes, no modularity.
Use explicit renaming instead (supported by the authoring
environment).
Minimal built-in contexts: just numbers and booleans.
No “standard library”.
Re-use and adapt published libraries instead.
Prevents the creation of large black-box code libraries.
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 36 / 38
37. Play with it yourself
All the code is on GitHub.
Written in Racket, which provides excellent support for this kind
of project.
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 37 / 38
38. Future work
Leibniz
Associative/commutative operators
Built-in collections: lists, sets, maybe more
Interfaces to external data (files, databases, ...)
Support tools
Authoring environment
Manipulation tools for numerical work (real ! float etc.)
Libraries for popular programming languages
Find funding
Project outside of every funding agency’s categories
Suggestions welcome!
Konrad HINSEN (CBM/SOLEIL) Leibniz: A Digital Scientific Notation 24 November 2016 38 / 38