This document discusses the OpenMath wiki located at wiki.openmath.org. It describes how the wiki works and how users can participate. Specifically, it outlines how the wiki is used to author, review, and discuss OpenMath content dictionaries (CDs). It also evaluates how users are interacting with the wiki and considers future directions. The document provides examples of how minor edits, discussions around revisions, and editing symbol notations can be carried out on the wiki.
Flyspeck in a Semantic Wiki – Collaborating on a Large Scale Formalization of...Christoph Lange
1) The document discusses using a semantic wiki to support the Flyspeck project, which aims to formally verify Thomas Hales' proof of the Kepler Conjecture.
2) Two semantic wikis, Semantic MediaWiki and SWiM, were evaluated for their ability to represent the formalized mathematics, annotate concepts, and enable collaboration on the large proof project.
3) While both showed promise, SWiM was found to better support the formal ontology needed and enable more powerful querying of the mathematical concepts and lemmas. However, more work is needed to fully realize SWiM's capabilities for the Flyspeck project.
This document discusses the future of semantic wikis. It predicts that applications with semantic wiki capabilities but not called wikis, like Google Docs and Microsoft SharePoint, will become more common. It also suggests that semantic forms and WYSIWYG editing may replace wiki text syntax for non-technical users. Additionally, it acknowledges challenges in mapping complex knowledge structures to the page-level granularity of wikis and balancing more expressive reasoning with consistency maintenance.
Towards Scientific Collaboration in a Semantic WikiChristoph Lange
This document discusses developing a semantic wiki for scientific collaboration called SWiM. It aims to bridge the gap between traditional wikis and the semantic web by incorporating formal knowledge representation and enabling enhanced services. The document outlines SWiM's use of semantic markup languages to represent scientific knowledge, extraction of an ontology from this representation, and potential services like learning assistance and dependency management that could be built on top. It concludes by discussing implementing and evaluating prototypes of these services in scientific and educational case studies.
Full tutorial to start with OpenFOAM: run tutorials, adapt tutorials, single phase flow, immiscible two-phase flow, grid complex geometries, program equations.
This document summarizes the Squeak programming environment. It discusses Squeak's history stemming from Alan Kay's Dynabook vision and its development at Xerox PARC as Smalltalk. Key features of Squeak include being a prototyping environment based on Smalltalk with multimedia capabilities. The document outlines several projects built using Squeak such as Sophie, Croquet, and Seaside. It argues Squeak is useful for research due to its reflective capabilities and being easy to modify, enabling rapid prototyping of new languages and tools to support software evolution.
SWiM – A wiki for collaborating on mathematical ontologiesChristoph Lange
SWiM is a semantic wiki for collaborating on mathematical ontologies. It combines a wiki interface with semantic markup languages like MathML and OMDoc to support collaborative authoring of mathematical knowledge. Key features include dedicated editors for mathematical formulas and structures, an argumentation ontology for discussion, and extraction of semantic relationships into an RDF graph using a mathematical ontology. The system is being used for projects like revising the OpenMath content dictionaries and formalizing a large mathematical proof.
The document provides an outline for analyzing the U-Boot developer community. It describes the introduction, methodology, results, and conclusions sections. The methodology section discusses the tools used for the analysis including cvsanaly, mlstats, and scripts. It also covers the data sources of the U-Boot code repository, mailing list, and wiki. The results section will analyze the repository, mailing list, and perform mixed analyses.
Flyspeck in a Semantic Wiki – Collaborating on a Large Scale Formalization of...Christoph Lange
1) The document discusses using a semantic wiki to support the Flyspeck project, which aims to formally verify Thomas Hales' proof of the Kepler Conjecture.
2) Two semantic wikis, Semantic MediaWiki and SWiM, were evaluated for their ability to represent the formalized mathematics, annotate concepts, and enable collaboration on the large proof project.
3) While both showed promise, SWiM was found to better support the formal ontology needed and enable more powerful querying of the mathematical concepts and lemmas. However, more work is needed to fully realize SWiM's capabilities for the Flyspeck project.
This document discusses the future of semantic wikis. It predicts that applications with semantic wiki capabilities but not called wikis, like Google Docs and Microsoft SharePoint, will become more common. It also suggests that semantic forms and WYSIWYG editing may replace wiki text syntax for non-technical users. Additionally, it acknowledges challenges in mapping complex knowledge structures to the page-level granularity of wikis and balancing more expressive reasoning with consistency maintenance.
Towards Scientific Collaboration in a Semantic WikiChristoph Lange
This document discusses developing a semantic wiki for scientific collaboration called SWiM. It aims to bridge the gap between traditional wikis and the semantic web by incorporating formal knowledge representation and enabling enhanced services. The document outlines SWiM's use of semantic markup languages to represent scientific knowledge, extraction of an ontology from this representation, and potential services like learning assistance and dependency management that could be built on top. It concludes by discussing implementing and evaluating prototypes of these services in scientific and educational case studies.
Full tutorial to start with OpenFOAM: run tutorials, adapt tutorials, single phase flow, immiscible two-phase flow, grid complex geometries, program equations.
This document summarizes the Squeak programming environment. It discusses Squeak's history stemming from Alan Kay's Dynabook vision and its development at Xerox PARC as Smalltalk. Key features of Squeak include being a prototyping environment based on Smalltalk with multimedia capabilities. The document outlines several projects built using Squeak such as Sophie, Croquet, and Seaside. It argues Squeak is useful for research due to its reflective capabilities and being easy to modify, enabling rapid prototyping of new languages and tools to support software evolution.
SWiM – A wiki for collaborating on mathematical ontologiesChristoph Lange
SWiM is a semantic wiki for collaborating on mathematical ontologies. It combines a wiki interface with semantic markup languages like MathML and OMDoc to support collaborative authoring of mathematical knowledge. Key features include dedicated editors for mathematical formulas and structures, an argumentation ontology for discussion, and extraction of semantic relationships into an RDF graph using a mathematical ontology. The system is being used for projects like revising the OpenMath content dictionaries and formalizing a large mathematical proof.
The document provides an outline for analyzing the U-Boot developer community. It describes the introduction, methodology, results, and conclusions sections. The methodology section discusses the tools used for the analysis including cvsanaly, mlstats, and scripts. It also covers the data sources of the U-Boot code repository, mailing list, and wiki. The results section will analyze the repository, mailing list, and perform mixed analyses.
Eclipse Memory Analyzer - More Than Just a Heap Walkerguest62fd60c
The document discusses the Eclipse Memory Analyzer tool, which helps simplify memory analysis of Java heap dumps. It can open large heap dumps from 64-bit machines, find objects of interest among millions, detect memory leaks, and support various dump formats from IBM systems. The tool provides automated analysis, reports on memory usage by component, and a bundle explorer for Equinox OSGi applications. It aims to make memory analysis easier for users through extensibility and free availability.
Aspects of Mathematical Knowledge on the Semantic WebChristoph Lange
Christoph Lange is a PhD student studying mathematical knowledge management using semantic web technologies. He developed a semantic wiki called SWiM for collaboratively structuring mathematical knowledge. His work included developing ontologies for modeling the structure of mathematical documents, creating user interfaces for annotating and browsing knowledge, and implementing domain-specific argumentation in wikis. He hopes his research on applying these techniques to the complex domain of mathematics can help advance semantic web technologies and knowledge management.
The document discusses various social media tools that can be used to support learning, including podcasting, wikis, blogs, and learning management systems. It provides information on how to create podcasts using software like Garageband and Audacity. Wikis are described as websites that allow collaboration through editing content. Examples of wikis include Wikipedia and WikiSpaces. Blogs are defined as interactive websites used to publish regular writings, and examples of blog uses for education are given. Finally, learning management systems like Blackboard and Moodle are introduced.
Concrete meta research - how to collect, manage, and read papers?Tao He
The document provides guidance on how to effectively conduct meta-research, including collecting, managing, and reading academic papers. It discusses tools and strategies for finding relevant conferences and journals, accessing papers, taking notes, generating citations, searching local paper libraries, and reading papers effectively. The presenter shares their experience and recommends resources for meta-research in computer science.
Presentation I did during a University of California Symposium on Open Source for the Arts in UCLA, February 2007. What is Free Software and what does it have to do with Sound and Music.
SWiM – A Semantic Wiki for Mathematical Knowledge ManagementChristoph Lange
SWiM is a semantic wiki for collaborative mathematical knowledge management. It uses IkeWiki combined with mathematical markup languages to allow users to formally edit content like proofs, formulas, and symbol dictionaries. The system extracts structured data from the wiki pages using an ontology and stores it as an RDF graph to power search and navigation services. SWiM aims to facilitate workflows like collaborative proof formalization and development of OpenMath content dictionaries. The approach is intended to be adaptable to other technical domains that use semantic markup.
Open-source tools for generating and analyzing large materials data setsAnubhav Jain
This document discusses open-source software tools for generating and analyzing large materials data sets developed by Anubhav Jain and collaborators. It summarizes several software packages including pymatgen for materials analysis, FireWorks for scientific workflows, custodian for error recovery in calculations, and matminer for data mining. Applications of the tools include generating the Materials Project database containing properties of over 65,000 materials compounds calculated using high-performance computing resources. The document emphasizes the importance of open-source collaborative software development and automation to accelerate materials discovery.
Problem How do you copy a file Analyze the problem and con.pdfaadeshwarexports
Problem: How do you copy a file?
Analyze the problem and consider alternate solutions:
Objective: reproduce a file.
Elements: (output) newfile, (input) oldfile
Relations: copy,reproduce, create a copy, photocopy, ...
Algorithm:
?
1
2
3
4
5
6
7
8
9
10
11
12
determine which file to copy from
find the oldfile
if cannot find oldfile, ???? else continue
determine which file to copy to
find the newfile
if newfile exists, ????? else continue
prepare (open) oldfile
prepare (open) newfile
transfer data from oldfile to newfile
put away (close) oldfile
put away (close) newfile
display the outcome
Note that our pseudocode is generic enough to follow a manual or a computerized process.
To construct a solution in the bash environment, we need to do some preparations:
1. Create a file for each script (do not get into the habit of just adding to the same file - one
solution, one file). For each variation (version), copy the current file to a file that identifies the
version. For example:
~$ mkdir bin
~$ cd bin
~/bin$ vi copy
.
.
.
~/bin$ cp copy copy.verA
~/bin$ vi copy
.
.
.
~/bin$ cp copy copy.verB
...and so on.
2. In your ~/bin directory (as demonstrated above), create a file called "copy", enter the code as
shown below, save the file and change the permissions so that you can execute the file.
~/bin$ vi copy
~/bin$ chmod 705 copy
3. Learn more about bash shell by examining the manual page: man bash
Let's return to the problem. From modelling example solutions, a number of questions should
come to mind, such as
What is a file? regular file? directory? special file?
Where do these values come from? are they chosen arbitrarily, by the user, by another program?
Identify other relevant information.
Identify and describe uncertainties about the interpretation of the problem.
Let's examine what happens to our solution as we make different assumptions about the problem
Stop and analyze:
Explore other alternatives and related assumptions.
Explore the implications of ambiguities when analysing a problem.
Consider the impact of alternative solutions on various types of users.
Plan and document how to test potential solutions.
Recognize and control your own biases when choosing a solution.
1 determine which file to copy from
2 find the oldfile
3 if cannot find oldfile, ???? else continue
4 determine which file to copy to
5 find the newfile
6 if newfile exists, ????? else continue
7 prepare (open) oldfile
8 prepare (open) newfile
9 transfer data from oldfile to newfile
10 put away (close) oldfile
11 put away (close) newfile
12 display the outcome
Version A: ....the first version is incomplete, yet provides a wealth of information that we address
one step at a time. r/bin$ copy.
A lightning round presentation about my work to use Innovative Interface's Metadata Manager to highlight finding aids and digital collections using EAD.
Using social networking tools a la carte for organic chemistry education: Wik...Jean-Claude Bradley
This document discusses using various social networking tools and online platforms for organic chemistry education. It outlines many different tools that can be used, including wikis, blogs, Second Life, podcasts, screencasts, and more. It then provides examples of how several professors have used these tools in their organic chemistry courses, such as recording lectures, hosting class discussions online, and creating virtual labs and assignments in Second Life. The goal is to make the best use of class time and online resources to increase student understanding and engagement with the material.
(Data structures) programming and problem solvingShishir Roy
This document provides information about the book "Programming and Problem Solving with C++ 3rd Ed." including the title, authors, publisher, ISBN numbers, publication date, and subjects. It also contains introductory text from the preface and pages discussing changes between this third edition and previous editions, such as the addition of a new chapter on templates and exceptions and more complete programs included in the body of the chapters.
This document provides information about the book "Programming and Problem Solving with C++ 3rd Ed." including the title, authors, publisher, ISBN numbers, publication date, and subjects. It also contains introductory text from the preface and pages discussing changes between this third edition and previous editions, such as the addition of a new chapter on templates and exceptions and more complete programs included in the body of the chapters.
Free, open source software (FOSS) provides concise summaries in 3 sentences or less that provide the high level and essential information from the document. The document discusses FOSS and how it has enabled technology through open innovation, collaborative computing, and freedom of choice. It highlights how the internet is based on open TCP/IP protocols and how open source software like Linux, Firefox, LibreOffice, and others have been developed openly and freely to power many modern technologies and services. FOSS allows knowledge and technology to be shared freely for the benefit of all.
Jean-Claude Bradley presents on "Peer Review and Science2.0: blogs, wikis and social networking sites" as a guest lecturer for the “Peer Review Culture in Scholarly Publication and Grantmaking” course at Drexel University. The main thrust of the presentation is that peer review alone is not capable of coping with the increasing flood of scientific information being generated and shared. Arguments are made to show that providing sufficient proof for scientific findings does scale and weakens the tragedy of the trusted source cascade.
Seminar on Parallel and Concurrent ProgrammingStefan Marr
This document outlines the agenda, tasks, deadlines, grading, and timeline for a seminar on parallel and concurrent programming. The agenda includes an introduction to concurrent programming models, an overview of selected seminar papers, and student presentations. Students must present on a selected paper, provide a summary and questions in advance, and submit a written report by the deadline. The report can focus on the theoretical treatment of a paper or practical reproduction of experiments. Attendance, the quality of the presentation and discussion, and the write-up determine grading. Consultations are available to prepare the presentation and agree on the report focus.
Plan 9 was an operating system designed in the 1980s by Bell Labs as a distributed successor to Unix. It treated all system resources, including files, devices, processes and network connections, as files that could be accessed through a single universal file system interface. Plan 9 assumed a network of reliable file servers and CPU servers with personal workstations accessing aggregated remote resources through a high-speed network. It aimed to "build a UNIX out of little systems" rather than integrating separate systems.
The document discusses knowledge mapping and social software tools that can be used to support sensemaking, knowledge sharing, and collective dialogue. It provides examples of tools such as Compendium that allow users to create and link different knowledge elements, and how such tools have been applied in contexts like capturing scientific collaborations and emergency response planning. The document concludes by suggesting potential applications of knowledge mapping tools and resources for learning more.
Software and the Concurrency Revolution : NotesSubhajit Sahu
Highlighted notes of article while studying Concurrent Data Structures, CSE:
Software and the Concurrency Revolution
Herb Sutter
Software Architect, Microsoft
Software Development Consultant, www.gotw.ca/training
Herb Sutter is a prominent C++ expert. He is also a book author and was a columnist for Dr. Dobb's Journal. He joined Microsoft in 2002 as a platform evangelist for Visual C++ .NET, rising to lead software architect for C++/CLI.
This document discusses the power of Git and distributed version control systems. It begins by explaining problems that can occur with finding and collaborating on code over time. It then introduces version control systems and how they address these problems by storing code revisions with metadata. A key advantage of Git is that it is a distributed version control system, allowing offline work and collaboration. GitHub is highlighted as a popular hosting service that has over 2.2 million active repositories, showing the power of Git for open source projects and collaboration at scale.
The document discusses Eclipse Memory Analyzer, a tool for analyzing Java heap dumps and system dumps. It can simplify memory analysis of large heap dumps, provide automated detection of memory leak suspects, and allow exploration of OSGi bundles in an application. Key features include a dominator tree for identifying retained memory, a query language, and adapters for analyzing different dump formats like IBM system dumps.
Faire Datenökonomie für Wirtschaft, Wissenschaft und Gesellschaft: Was brauch...Christoph Lange
In Wirtschaft und Wissenschaft entstehen zunehmend Infrastrukturen für Datenaustausch. Der Wirtschaft ist Vertrauen unter Geschäftspartnern wichtig und Souveränität darüber, was Andere mit meinen Daten machen – die Wissenschaft betont freie Zugänglichkeit und Nachnutzbarkeit. FAIR Data Spaces verbinden beides auf Grundlage gemeinsamer Prinzipien.
Was muss getan werden, damit Datenaustausch nicht mehr bedeutet, E-Mail-Anhänge zu verschicken oder Geheimnisse zentralen Plattformen feindlicher Mächte anzuvertrauen? Wirtschaft, Wissenschaft und öffentliche Verwaltung suchen zunehmend nach Lösungen, um den Datenaustausch sicher und effizient zu gestalten und damit neues Innovationspotenzial zu heben. Was gibt es schon, was ist geplant, und wie können vorhandene Initiativen zusammenwachsen, um Daten über die Grenzen dieser Welten hinaus gemeinsam zu nutzen?
Initiativen der Wirtschaft wie Gaia-X und International Data Spaces priorisieren den Aufbau von Vertrauen unter Geschäftspartner:innen ohne Papier-Verträge sowie die Souveränität darüber, was Andere mit den eigenen wertvollen Daten machen. In der Wissenschaft, zum Beispiel bei der Nationalen Forschungsdateninfrastruktur NFDI, geht es um freie Zugänglichkeit und Nachnutzbarkeit im Einklang mit ethischen Prinzipien. Der öffentlichen Hand ist neben dem freien Zugang etwa zu Open-Data-Portalen die digitale Daseinsvorsorge wichtig. Große Herausforderungen unserer Zeit erfordern Datenaustausch nicht nur innerhalb dieser Welten, sondern über ihre Grenzen hinaus:
zum Beispiel zwischen Forschungsinstituten und kleinen Technologie-Unternehmen, die nicht alle Daten selbst sammeln können,
oder zwischen großen Unternehmen mit reichen Datenschätzen und wirtschaftlichen Interessen und einer Nutzung dieser Daten für das Gemeinwohl.
Das Projekt FAIR Data Spaces schafft Bausteine für übergreifende Datenräume als Keimzellen einer fairen Datenökonomie nach gemeinsamen Prinzipien. Wir möchten diskutieren, wie weit die aus dem Forschungsdatenmanagement stammenden FAIR-Data-Prinzipien tragen, wonach Daten findable (auffindbar), accessible (zugänglich), interoperabel und reusable (nachnutzbar) sein sollen. Das Projekt verfolgt den Plan, vorhandene Initiativen organisatorisch, rechtlich, technisch und praktisch zu einer gemeinsamen Community zusammenzuführen, und lebt dabei von einer breiten Mitwirkung. Werdet mit dem Fraunhofer IUK-Verbund Teil dieser Community und bleibt dabei innovativ und kritisch!
Eclipse Memory Analyzer - More Than Just a Heap Walkerguest62fd60c
The document discusses the Eclipse Memory Analyzer tool, which helps simplify memory analysis of Java heap dumps. It can open large heap dumps from 64-bit machines, find objects of interest among millions, detect memory leaks, and support various dump formats from IBM systems. The tool provides automated analysis, reports on memory usage by component, and a bundle explorer for Equinox OSGi applications. It aims to make memory analysis easier for users through extensibility and free availability.
Aspects of Mathematical Knowledge on the Semantic WebChristoph Lange
Christoph Lange is a PhD student studying mathematical knowledge management using semantic web technologies. He developed a semantic wiki called SWiM for collaboratively structuring mathematical knowledge. His work included developing ontologies for modeling the structure of mathematical documents, creating user interfaces for annotating and browsing knowledge, and implementing domain-specific argumentation in wikis. He hopes his research on applying these techniques to the complex domain of mathematics can help advance semantic web technologies and knowledge management.
The document discusses various social media tools that can be used to support learning, including podcasting, wikis, blogs, and learning management systems. It provides information on how to create podcasts using software like Garageband and Audacity. Wikis are described as websites that allow collaboration through editing content. Examples of wikis include Wikipedia and WikiSpaces. Blogs are defined as interactive websites used to publish regular writings, and examples of blog uses for education are given. Finally, learning management systems like Blackboard and Moodle are introduced.
Concrete meta research - how to collect, manage, and read papers?Tao He
The document provides guidance on how to effectively conduct meta-research, including collecting, managing, and reading academic papers. It discusses tools and strategies for finding relevant conferences and journals, accessing papers, taking notes, generating citations, searching local paper libraries, and reading papers effectively. The presenter shares their experience and recommends resources for meta-research in computer science.
Presentation I did during a University of California Symposium on Open Source for the Arts in UCLA, February 2007. What is Free Software and what does it have to do with Sound and Music.
SWiM – A Semantic Wiki for Mathematical Knowledge ManagementChristoph Lange
SWiM is a semantic wiki for collaborative mathematical knowledge management. It uses IkeWiki combined with mathematical markup languages to allow users to formally edit content like proofs, formulas, and symbol dictionaries. The system extracts structured data from the wiki pages using an ontology and stores it as an RDF graph to power search and navigation services. SWiM aims to facilitate workflows like collaborative proof formalization and development of OpenMath content dictionaries. The approach is intended to be adaptable to other technical domains that use semantic markup.
Open-source tools for generating and analyzing large materials data setsAnubhav Jain
This document discusses open-source software tools for generating and analyzing large materials data sets developed by Anubhav Jain and collaborators. It summarizes several software packages including pymatgen for materials analysis, FireWorks for scientific workflows, custodian for error recovery in calculations, and matminer for data mining. Applications of the tools include generating the Materials Project database containing properties of over 65,000 materials compounds calculated using high-performance computing resources. The document emphasizes the importance of open-source collaborative software development and automation to accelerate materials discovery.
Problem How do you copy a file Analyze the problem and con.pdfaadeshwarexports
Problem: How do you copy a file?
Analyze the problem and consider alternate solutions:
Objective: reproduce a file.
Elements: (output) newfile, (input) oldfile
Relations: copy,reproduce, create a copy, photocopy, ...
Algorithm:
?
1
2
3
4
5
6
7
8
9
10
11
12
determine which file to copy from
find the oldfile
if cannot find oldfile, ???? else continue
determine which file to copy to
find the newfile
if newfile exists, ????? else continue
prepare (open) oldfile
prepare (open) newfile
transfer data from oldfile to newfile
put away (close) oldfile
put away (close) newfile
display the outcome
Note that our pseudocode is generic enough to follow a manual or a computerized process.
To construct a solution in the bash environment, we need to do some preparations:
1. Create a file for each script (do not get into the habit of just adding to the same file - one
solution, one file). For each variation (version), copy the current file to a file that identifies the
version. For example:
~$ mkdir bin
~$ cd bin
~/bin$ vi copy
.
.
.
~/bin$ cp copy copy.verA
~/bin$ vi copy
.
.
.
~/bin$ cp copy copy.verB
...and so on.
2. In your ~/bin directory (as demonstrated above), create a file called "copy", enter the code as
shown below, save the file and change the permissions so that you can execute the file.
~/bin$ vi copy
~/bin$ chmod 705 copy
3. Learn more about bash shell by examining the manual page: man bash
Let's return to the problem. From modelling example solutions, a number of questions should
come to mind, such as
What is a file? regular file? directory? special file?
Where do these values come from? are they chosen arbitrarily, by the user, by another program?
Identify other relevant information.
Identify and describe uncertainties about the interpretation of the problem.
Let's examine what happens to our solution as we make different assumptions about the problem
Stop and analyze:
Explore other alternatives and related assumptions.
Explore the implications of ambiguities when analysing a problem.
Consider the impact of alternative solutions on various types of users.
Plan and document how to test potential solutions.
Recognize and control your own biases when choosing a solution.
1 determine which file to copy from
2 find the oldfile
3 if cannot find oldfile, ???? else continue
4 determine which file to copy to
5 find the newfile
6 if newfile exists, ????? else continue
7 prepare (open) oldfile
8 prepare (open) newfile
9 transfer data from oldfile to newfile
10 put away (close) oldfile
11 put away (close) newfile
12 display the outcome
Version A: ....the first version is incomplete, yet provides a wealth of information that we address
one step at a time. r/bin$ copy.
A lightning round presentation about my work to use Innovative Interface's Metadata Manager to highlight finding aids and digital collections using EAD.
Using social networking tools a la carte for organic chemistry education: Wik...Jean-Claude Bradley
This document discusses using various social networking tools and online platforms for organic chemistry education. It outlines many different tools that can be used, including wikis, blogs, Second Life, podcasts, screencasts, and more. It then provides examples of how several professors have used these tools in their organic chemistry courses, such as recording lectures, hosting class discussions online, and creating virtual labs and assignments in Second Life. The goal is to make the best use of class time and online resources to increase student understanding and engagement with the material.
(Data structures) programming and problem solvingShishir Roy
This document provides information about the book "Programming and Problem Solving with C++ 3rd Ed." including the title, authors, publisher, ISBN numbers, publication date, and subjects. It also contains introductory text from the preface and pages discussing changes between this third edition and previous editions, such as the addition of a new chapter on templates and exceptions and more complete programs included in the body of the chapters.
This document provides information about the book "Programming and Problem Solving with C++ 3rd Ed." including the title, authors, publisher, ISBN numbers, publication date, and subjects. It also contains introductory text from the preface and pages discussing changes between this third edition and previous editions, such as the addition of a new chapter on templates and exceptions and more complete programs included in the body of the chapters.
Free, open source software (FOSS) provides concise summaries in 3 sentences or less that provide the high level and essential information from the document. The document discusses FOSS and how it has enabled technology through open innovation, collaborative computing, and freedom of choice. It highlights how the internet is based on open TCP/IP protocols and how open source software like Linux, Firefox, LibreOffice, and others have been developed openly and freely to power many modern technologies and services. FOSS allows knowledge and technology to be shared freely for the benefit of all.
Jean-Claude Bradley presents on "Peer Review and Science2.0: blogs, wikis and social networking sites" as a guest lecturer for the “Peer Review Culture in Scholarly Publication and Grantmaking” course at Drexel University. The main thrust of the presentation is that peer review alone is not capable of coping with the increasing flood of scientific information being generated and shared. Arguments are made to show that providing sufficient proof for scientific findings does scale and weakens the tragedy of the trusted source cascade.
Seminar on Parallel and Concurrent ProgrammingStefan Marr
This document outlines the agenda, tasks, deadlines, grading, and timeline for a seminar on parallel and concurrent programming. The agenda includes an introduction to concurrent programming models, an overview of selected seminar papers, and student presentations. Students must present on a selected paper, provide a summary and questions in advance, and submit a written report by the deadline. The report can focus on the theoretical treatment of a paper or practical reproduction of experiments. Attendance, the quality of the presentation and discussion, and the write-up determine grading. Consultations are available to prepare the presentation and agree on the report focus.
Plan 9 was an operating system designed in the 1980s by Bell Labs as a distributed successor to Unix. It treated all system resources, including files, devices, processes and network connections, as files that could be accessed through a single universal file system interface. Plan 9 assumed a network of reliable file servers and CPU servers with personal workstations accessing aggregated remote resources through a high-speed network. It aimed to "build a UNIX out of little systems" rather than integrating separate systems.
The document discusses knowledge mapping and social software tools that can be used to support sensemaking, knowledge sharing, and collective dialogue. It provides examples of tools such as Compendium that allow users to create and link different knowledge elements, and how such tools have been applied in contexts like capturing scientific collaborations and emergency response planning. The document concludes by suggesting potential applications of knowledge mapping tools and resources for learning more.
Software and the Concurrency Revolution : NotesSubhajit Sahu
Highlighted notes of article while studying Concurrent Data Structures, CSE:
Software and the Concurrency Revolution
Herb Sutter
Software Architect, Microsoft
Software Development Consultant, www.gotw.ca/training
Herb Sutter is a prominent C++ expert. He is also a book author and was a columnist for Dr. Dobb's Journal. He joined Microsoft in 2002 as a platform evangelist for Visual C++ .NET, rising to lead software architect for C++/CLI.
This document discusses the power of Git and distributed version control systems. It begins by explaining problems that can occur with finding and collaborating on code over time. It then introduces version control systems and how they address these problems by storing code revisions with metadata. A key advantage of Git is that it is a distributed version control system, allowing offline work and collaboration. GitHub is highlighted as a popular hosting service that has over 2.2 million active repositories, showing the power of Git for open source projects and collaboration at scale.
The document discusses Eclipse Memory Analyzer, a tool for analyzing Java heap dumps and system dumps. It can simplify memory analysis of large heap dumps, provide automated detection of memory leak suspects, and allow exploration of OSGi bundles in an application. Key features include a dominator tree for identifying retained memory, a query language, and adapters for analyzing different dump formats like IBM system dumps.
Similar to wiki.openmath.org – how it works, how you can participate (20)
Faire Datenökonomie für Wirtschaft, Wissenschaft und Gesellschaft: Was brauch...Christoph Lange
In Wirtschaft und Wissenschaft entstehen zunehmend Infrastrukturen für Datenaustausch. Der Wirtschaft ist Vertrauen unter Geschäftspartnern wichtig und Souveränität darüber, was Andere mit meinen Daten machen – die Wissenschaft betont freie Zugänglichkeit und Nachnutzbarkeit. FAIR Data Spaces verbinden beides auf Grundlage gemeinsamer Prinzipien.
Was muss getan werden, damit Datenaustausch nicht mehr bedeutet, E-Mail-Anhänge zu verschicken oder Geheimnisse zentralen Plattformen feindlicher Mächte anzuvertrauen? Wirtschaft, Wissenschaft und öffentliche Verwaltung suchen zunehmend nach Lösungen, um den Datenaustausch sicher und effizient zu gestalten und damit neues Innovationspotenzial zu heben. Was gibt es schon, was ist geplant, und wie können vorhandene Initiativen zusammenwachsen, um Daten über die Grenzen dieser Welten hinaus gemeinsam zu nutzen?
Initiativen der Wirtschaft wie Gaia-X und International Data Spaces priorisieren den Aufbau von Vertrauen unter Geschäftspartner:innen ohne Papier-Verträge sowie die Souveränität darüber, was Andere mit den eigenen wertvollen Daten machen. In der Wissenschaft, zum Beispiel bei der Nationalen Forschungsdateninfrastruktur NFDI, geht es um freie Zugänglichkeit und Nachnutzbarkeit im Einklang mit ethischen Prinzipien. Der öffentlichen Hand ist neben dem freien Zugang etwa zu Open-Data-Portalen die digitale Daseinsvorsorge wichtig. Große Herausforderungen unserer Zeit erfordern Datenaustausch nicht nur innerhalb dieser Welten, sondern über ihre Grenzen hinaus:
zum Beispiel zwischen Forschungsinstituten und kleinen Technologie-Unternehmen, die nicht alle Daten selbst sammeln können,
oder zwischen großen Unternehmen mit reichen Datenschätzen und wirtschaftlichen Interessen und einer Nutzung dieser Daten für das Gemeinwohl.
Das Projekt FAIR Data Spaces schafft Bausteine für übergreifende Datenräume als Keimzellen einer fairen Datenökonomie nach gemeinsamen Prinzipien. Wir möchten diskutieren, wie weit die aus dem Forschungsdatenmanagement stammenden FAIR-Data-Prinzipien tragen, wonach Daten findable (auffindbar), accessible (zugänglich), interoperabel und reusable (nachnutzbar) sein sollen. Das Projekt verfolgt den Plan, vorhandene Initiativen organisatorisch, rechtlich, technisch und praktisch zu einer gemeinsamen Community zusammenzuführen, und lebt dabei von einer breiten Mitwirkung. Werdet mit dem Fraunhofer IUK-Verbund Teil dieser Community und bleibt dabei innovativ und kritisch!
Machine Support for Interacting with Scientific Publications Improving Inform...Christoph Lange
1) The document discusses using semantic web and linked data technologies to help assess the quality of scientific output by answering questions about workshops, conferences, publications, and data.
2) It proposes connecting bibliographic metadata, citations, full text, social networks and research data using initiatives like schema.org to provide machine support for quality assessment.
3) The goal is to provide complementary metrics to human peer review and impact factors by enabling multidimensional, context-sensitive analysis of trends, topics, citations and more.
Interlinking Data and Knowledge in Enterprises, Research and Society with Lin...Christoph Lange
The Linked Data paradigm has emerged as a powerful enabler for data and knowledge interlinking and exchange using standardised Web technologies.
In this article, we discuss our vision how the Linked Data paradigm can be employed to evolve the intranets of large organisations -- be it enterprises, research organisations or governmental and public administrations -- into networks of internal data and knowledge.
In particular for large enterprises data integration is still a key challenge. The Linked Data paradigm seems a promising approach for integrating enterprise data. Like the Web of Data, which now complements the original document-centred Web, data intranets may help to enhance and flexibilise the intranets and service-oriented architectures that exist in large organisations. Furthermore, using Linked Data gives enterprises access to 50+ billion facts from the growing Linked Open Data (LOD) cloud. As a result, a data intranet can help to bridge the gap between structured data management (in ERP, CRM or SCM systems) and semi-structured or unstructured information in documents, wikis or web portals, and make all of these sources searchable in a coherent way.
Keynote at Baltic DB&IS 2014, 9 June 2014, Tallinn, Estonia
Linked Open (Geo)Data and the Distributed Ontology Language – a perfect matchChristoph Lange
The Distributed Ontology Language is a meta-language for integrating
ontologies written in different languages. Our notion of “distributed”
comprises logical heterogeneity within ontologies, modularity and reuse,
and links across ontologies in different places of the Web. Not only
can ontologies be distributed across the Web, but DOL's supply of
supported ontology languages can also be extended in a decentral way.
For this functionality, DOL builds on the Linked Open Data (LOD)
principles. But DOL also contributes to LOD use cases. Many current
LOD applications are limited by the weak expressivity of the RDF and
RDFS languages commonly used to express data and vocabularies.
Completely switching to a more expressive language would impair
scalability to big datasets. DOL addresses the scalability and
expressivity requirements by allowing to represent each aspect of a
dataset in the most suitable language and keeping these different
representations connected. This is particularly useful in geographic
information systems, where big datasets (e.g. Linked Geo Data, the LOD
version of OpenStreetMap) need to be integrated with formalisations of
complex spatial notions (e.g. in the first-order language Common Logic).
Linking Big Data to Rich Process DescriptionsChristoph Lange
Linked (Open) Data is one key to coping with Big Data: it enables decentralised, collaborative management of big datasets, low-overhead information retrieval, and scalable reasoning. Big Data are created or consumed by technical processes or business processes. Their formal description, e.g. for software verification or compliance checking, requires logics whose complexity far exceeds that of the data. Restricting LOD to the RDF logic does not allow for integrating rich process descriptions with the data that these processes create, and therefore does not enable knowledge management, information retrieval and reasoning to take full advantage of rich background knowledge. In this talk I demonstrate different frontiers at which I have worked towards achieving an integration of process descriptions and data.
The Distributed Ontology Language (DOL): Use Cases, Syntax, and ExtensibilityChristoph Lange
The document discusses the Distributed Ontology Language (DOL) which aims to support semantic integration and interoperability across heterogeneous ontologies. DOL allows for logically heterogeneous ontologies, modular ontologies, and formal and informal links between ontologies. It has a formal semantics and can be serialized in XML, RDF, and text. Examples of applications that could benefit from DOL include an ontology repository engine and a multilingual map user interface driven by aligned ontologies.
Bringing Mathematics To the Web of Data: the Case of the Mathematics Subject ...Christoph Lange
This document discusses redesigning the Mathematics Subject Classification (MSC) scheme as a linked dataset using SKOS. Key points include: representing the MSC hierarchy using SKOS concepts and properties; adding multilingual labels and mathematical markup; linking related concepts within and across schemes; and deploying the dataset on the web with a SPARQL endpoint for access. The redesign aims to facilitate maintenance and reuse while preserving all existing MSC information.
Semantic Web Technology: The Key to Making Scientific Information Systems SocialChristoph Lange
This document discusses how semantic web technologies can make scientific information systems more social. It provides examples of how schema.org defines structured data for annotating web pages with information like movies, reviews, and social relationships between people. It also briefly mentions Facebook's Open Graph protocol. The key points are that semantic web annotations allow machines to understand web data in order to assist users, initiatives like schema.org are making these annotations mainstream, and structured semantic data enables social features for information sharing and collaboration.
Making Heterogeneous Ontologies Interoperable Through StandardisationChristoph Lange
The document discusses making heterogeneous ontologies interoperable through standardization, presenting a scenario of an assisted living environment where different devices like a wheelchair and freezer need to communicate but use different ontologies. It argues for developing a standardized meta ontology language to facilitate integration and interoperability between these diverse ontologies used by different devices with varying knowledge needs.
Previewing OWL Changes and Refactorings Using a Flexible XML DatabaseChristoph Lange
The document discusses using a flexible XML database called TNTBase to preview changes and refactorings to ontologies. TNTBase allows editing ontologies through "virtual documents" that define editable XML views of ontology content. This enables refactoring ontologies by previewing the effects of changes like extracting subclasses into a new module before making the changes live. The document provides examples of refactoring an ontology in this way and describes the underlying library functions that power the refactoring previews.
The document proposes an architecture called JOBAD that allows mathematical documents to interactively access web services. JOBAD uses JavaScript to integrate definition lookup, unit conversion, and other services directly into OMDoc-based documents. This allows readers to interactively adapt document appearance and access remote explanations and computations without leaving the document interface. Future plans include more interactive customization and linking documents to external search and information resources.
The document describes a project to publish mathematics lecture notes as linked data. Key points:
1) Lecture notes containing 2,000 slides and 1,000 homework problems were semantically annotated and converted to RDF to create structured data.
2) The RDF is stored in a triplestore and can be queried with an OMDoc-aware SPARQL endpoint or full-text search.
3) Annotations in the human-readable XHTML documents link to services for interactivity. The goal is to scale this to 300,000 annotated publications and link to external datasets.
sTeX+ – a System for Flexible Formalization of Linked DataChristoph Lange
The document describes S EX+, an extension of S EX that allows formalizing and annotating technical documents with semantic metadata. S EX+ enables defining ad hoc vocabularies to describe project-specific concepts and annotate documents accordingly. It produces output in PDF, OMDoc+RDFa, and XHTML+MathML+RDFa to enable interactive services. S EX+ aims to balance formalization with flexibility for existing authoring practices.
Krextor – An Extensible Framework for Contributing Content Math to the Web of...Christoph Lange
Moseley (DBTune) (DBTune) RAMEAU
Folk NTU SH lobid
GTAA Plymouth Resource
Krextor is an extensible framework for contributing mathematical content from OpenMath CDs to the Web of Data. It converts OpenMath CDs, which are document-oriented, to RDF, which follows the graph-based RDF data model used by the Web of Data. As an example, it can link a mathematical property in an OpenMath CD to its identifier by grouping the property and giving it an ID, without modifying the original CD. This allows bootstrapping mathematics onto the Web of Data in
The document discusses the mathematical semantics of statistical data. It presents examples of derived statistical values for populations and unemployment rates for two locations. It raises questions about how to validate derived values and compute them for new data points. It proposes representing mathematical expressions as ordered n-ary trees in RDF to integrate math into the semantic web of data.
Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web I...Christoph Lange
The document discusses enabling collaboration on semiformal mathematical knowledge through semantic web integration. It outlines the current state of collaboration in mathematics through blogs, wikis and projects. The author proposes an integrated view of the collaboration workflow between authors, readers and reviewers to formalize, validate, present and review semiformal mathematical knowledge.
For the full video of this presentation, please visit: https://www.edge-ai-vision.com/2024/06/building-and-scaling-ai-applications-with-the-nx-ai-manager-a-presentation-from-network-optix/
Robin van Emden, Senior Director of Data Science at Network Optix, presents the “Building and Scaling AI Applications with the Nx AI Manager,” tutorial at the May 2024 Embedded Vision Summit.
In this presentation, van Emden covers the basics of scaling edge AI solutions using the Nx tool kit. He emphasizes the process of developing AI models and deploying them globally. He also showcases the conversion of AI models and the creation of effective edge AI pipelines, with a focus on pre-processing, model conversion, selecting the appropriate inference engine for the target hardware and post-processing.
van Emden shows how Nx can simplify the developer’s life and facilitate a rapid transition from concept to production-ready applications.He provides valuable insights into developing scalable and efficient edge AI solutions, with a strong focus on practical implementation.
Programming Foundation Models with DSPy - Meetup SlidesZilliz
Prompting language models is hard, while programming language models is easy. In this talk, I will discuss the state-of-the-art framework DSPy for programming foundation models with its powerful optimizers and runtime constraint system.
HCL Notes and Domino License Cost Reduction in the World of DLAUpanagenda
Webinar Recording: https://www.panagenda.com/webinars/hcl-notes-and-domino-license-cost-reduction-in-the-world-of-dlau/
The introduction of DLAU and the CCB & CCX licensing model caused quite a stir in the HCL community. As a Notes and Domino customer, you may have faced challenges with unexpected user counts and license costs. You probably have questions on how this new licensing approach works and how to benefit from it. Most importantly, you likely have budget constraints and want to save money where possible. Don’t worry, we can help with all of this!
We’ll show you how to fix common misconfigurations that cause higher-than-expected user counts, and how to identify accounts which you can deactivate to save money. There are also frequent patterns that can cause unnecessary cost, like using a person document instead of a mail-in for shared mailboxes. We’ll provide examples and solutions for those as well. And naturally we’ll explain the new licensing model.
Join HCL Ambassador Marc Thomas in this webinar with a special guest appearance from Franz Walder. It will give you the tools and know-how to stay on top of what is going on with Domino licensing. You will be able lower your cost through an optimized configuration and keep it low going forward.
These topics will be covered
- Reducing license cost by finding and fixing misconfigurations and superfluous accounts
- How do CCB and CCX licenses really work?
- Understanding the DLAU tool and how to best utilize it
- Tips for common problem areas, like team mailboxes, functional/test users, etc
- Practical examples and best practices to implement right away
HCL Notes und Domino Lizenzkostenreduzierung in der Welt von DLAUpanagenda
Webinar Recording: https://www.panagenda.com/webinars/hcl-notes-und-domino-lizenzkostenreduzierung-in-der-welt-von-dlau/
DLAU und die Lizenzen nach dem CCB- und CCX-Modell sind für viele in der HCL-Community seit letztem Jahr ein heißes Thema. Als Notes- oder Domino-Kunde haben Sie vielleicht mit unerwartet hohen Benutzerzahlen und Lizenzgebühren zu kämpfen. Sie fragen sich vielleicht, wie diese neue Art der Lizenzierung funktioniert und welchen Nutzen sie Ihnen bringt. Vor allem wollen Sie sicherlich Ihr Budget einhalten und Kosten sparen, wo immer möglich. Das verstehen wir und wir möchten Ihnen dabei helfen!
Wir erklären Ihnen, wie Sie häufige Konfigurationsprobleme lösen können, die dazu führen können, dass mehr Benutzer gezählt werden als nötig, und wie Sie überflüssige oder ungenutzte Konten identifizieren und entfernen können, um Geld zu sparen. Es gibt auch einige Ansätze, die zu unnötigen Ausgaben führen können, z. B. wenn ein Personendokument anstelle eines Mail-Ins für geteilte Mailboxen verwendet wird. Wir zeigen Ihnen solche Fälle und deren Lösungen. Und natürlich erklären wir Ihnen das neue Lizenzmodell.
Nehmen Sie an diesem Webinar teil, bei dem HCL-Ambassador Marc Thomas und Gastredner Franz Walder Ihnen diese neue Welt näherbringen. Es vermittelt Ihnen die Tools und das Know-how, um den Überblick zu bewahren. Sie werden in der Lage sein, Ihre Kosten durch eine optimierte Domino-Konfiguration zu reduzieren und auch in Zukunft gering zu halten.
Diese Themen werden behandelt
- Reduzierung der Lizenzkosten durch Auffinden und Beheben von Fehlkonfigurationen und überflüssigen Konten
- Wie funktionieren CCB- und CCX-Lizenzen wirklich?
- Verstehen des DLAU-Tools und wie man es am besten nutzt
- Tipps für häufige Problembereiche, wie z. B. Team-Postfächer, Funktions-/Testbenutzer usw.
- Praxisbeispiele und Best Practices zum sofortigen Umsetzen
Driving Business Innovation: Latest Generative AI Advancements & Success StorySafe Software
Are you ready to revolutionize how you handle data? Join us for a webinar where we’ll bring you up to speed with the latest advancements in Generative AI technology and discover how leveraging FME with tools from giants like Google Gemini, Amazon, and Microsoft OpenAI can supercharge your workflow efficiency.
During the hour, we’ll take you through:
Guest Speaker Segment with Hannah Barrington: Dive into the world of dynamic real estate marketing with Hannah, the Marketing Manager at Workspace Group. Hear firsthand how their team generates engaging descriptions for thousands of office units by integrating diverse data sources—from PDF floorplans to web pages—using FME transformers, like OpenAIVisionConnector and AnthropicVisionConnector. This use case will show you how GenAI can streamline content creation for marketing across the board.
Ollama Use Case: Learn how Scenario Specialist Dmitri Bagh has utilized Ollama within FME to input data, create custom models, and enhance security protocols. This segment will include demos to illustrate the full capabilities of FME in AI-driven processes.
Custom AI Models: Discover how to leverage FME to build personalized AI models using your data. Whether it’s populating a model with local data for added security or integrating public AI tools, find out how FME facilitates a versatile and secure approach to AI.
We’ll wrap up with a live Q&A session where you can engage with our experts on your specific use cases, and learn more about optimizing your data workflows with AI.
This webinar is ideal for professionals seeking to harness the power of AI within their data management systems while ensuring high levels of customization and security. Whether you're a novice or an expert, gain actionable insights and strategies to elevate your data processes. Join us to see how FME and AI can revolutionize how you work with data!
Threats to mobile devices are more prevalent and increasing in scope and complexity. Users of mobile devices desire to take full advantage of the features
available on those devices, but many of the features provide convenience and capability but sacrifice security. This best practices guide outlines steps the users can take to better protect personal devices and information.
Building Production Ready Search Pipelines with Spark and MilvusZilliz
Spark is the widely used ETL tool for processing, indexing and ingesting data to serving stack for search. Milvus is the production-ready open-source vector database. In this talk we will show how to use Spark to process unstructured data to extract vector representations, and push the vectors to Milvus vector database for search serving.
Unlock the Future of Search with MongoDB Atlas_ Vector Search Unleashed.pdfMalak Abu Hammad
Discover how MongoDB Atlas and vector search technology can revolutionize your application's search capabilities. This comprehensive presentation covers:
* What is Vector Search?
* Importance and benefits of vector search
* Practical use cases across various industries
* Step-by-step implementation guide
* Live demos with code snippets
* Enhancing LLM capabilities with vector search
* Best practices and optimization strategies
Perfect for developers, AI enthusiasts, and tech leaders. Learn how to leverage MongoDB Atlas to deliver highly relevant, context-aware search results, transforming your data retrieval process. Stay ahead in tech innovation and maximize the potential of your applications.
#MongoDB #VectorSearch #AI #SemanticSearch #TechInnovation #DataScience #LLM #MachineLearning #SearchTechnology
Salesforce Integration for Bonterra Impact Management (fka Social Solutions A...Jeffrey Haguewood
Sidekick Solutions uses Bonterra Impact Management (fka Social Solutions Apricot) and automation solutions to integrate data for business workflows.
We believe integration and automation are essential to user experience and the promise of efficient work through technology. Automation is the critical ingredient to realizing that full vision. We develop integration products and services for Bonterra Case Management software to support the deployment of automations for a variety of use cases.
This video focuses on integration of Salesforce with Bonterra Impact Management.
Interested in deploying an integration with Salesforce for Bonterra Impact Management? Contact us at sales@sidekicksolutionsllc.com to discuss next steps.
Monitoring and Managing Anomaly Detection on OpenShift.pdfTosin Akinosho
Monitoring and Managing Anomaly Detection on OpenShift
Overview
Dive into the world of anomaly detection on edge devices with our comprehensive hands-on tutorial. This SlideShare presentation will guide you through the entire process, from data collection and model training to edge deployment and real-time monitoring. Perfect for those looking to implement robust anomaly detection systems on resource-constrained IoT/edge devices.
Key Topics Covered
1. Introduction to Anomaly Detection
- Understand the fundamentals of anomaly detection and its importance in identifying unusual behavior or failures in systems.
2. Understanding Edge (IoT)
- Learn about edge computing and IoT, and how they enable real-time data processing and decision-making at the source.
3. What is ArgoCD?
- Discover ArgoCD, a declarative, GitOps continuous delivery tool for Kubernetes, and its role in deploying applications on edge devices.
4. Deployment Using ArgoCD for Edge Devices
- Step-by-step guide on deploying anomaly detection models on edge devices using ArgoCD.
5. Introduction to Apache Kafka and S3
- Explore Apache Kafka for real-time data streaming and Amazon S3 for scalable storage solutions.
6. Viewing Kafka Messages in the Data Lake
- Learn how to view and analyze Kafka messages stored in a data lake for better insights.
7. What is Prometheus?
- Get to know Prometheus, an open-source monitoring and alerting toolkit, and its application in monitoring edge devices.
8. Monitoring Application Metrics with Prometheus
- Detailed instructions on setting up Prometheus to monitor the performance and health of your anomaly detection system.
9. What is Camel K?
- Introduction to Camel K, a lightweight integration framework built on Apache Camel, designed for Kubernetes.
10. Configuring Camel K Integrations for Data Pipelines
- Learn how to configure Camel K for seamless data pipeline integrations in your anomaly detection workflow.
11. What is a Jupyter Notebook?
- Overview of Jupyter Notebooks, an open-source web application for creating and sharing documents with live code, equations, visualizations, and narrative text.
12. Jupyter Notebooks with Code Examples
- Hands-on examples and code snippets in Jupyter Notebooks to help you implement and test anomaly detection models.
Generating privacy-protected synthetic data using Secludy and MilvusZilliz
During this demo, the founders of Secludy will demonstrate how their system utilizes Milvus to store and manipulate embeddings for generating privacy-protected synthetic data. Their approach not only maintains the confidentiality of the original data but also enhances the utility and scalability of LLMs under privacy constraints. Attendees, including machine learning engineers, data scientists, and data managers, will witness first-hand how Secludy's integration with Milvus empowers organizations to harness the power of LLMs securely and efficiently.
Cosa hanno in comune un mattoncino Lego e la backdoor XZ?Speck&Tech
ABSTRACT: A prima vista, un mattoncino Lego e la backdoor XZ potrebbero avere in comune il fatto di essere entrambi blocchi di costruzione, o dipendenze di progetti creativi e software. La realtà è che un mattoncino Lego e il caso della backdoor XZ hanno molto di più di tutto ciò in comune.
Partecipate alla presentazione per immergervi in una storia di interoperabilità, standard e formati aperti, per poi discutere del ruolo importante che i contributori hanno in una comunità open source sostenibile.
BIO: Sostenitrice del software libero e dei formati standard e aperti. È stata un membro attivo dei progetti Fedora e openSUSE e ha co-fondato l'Associazione LibreItalia dove è stata coinvolta in diversi eventi, migrazioni e formazione relativi a LibreOffice. In precedenza ha lavorato a migrazioni e corsi di formazione su LibreOffice per diverse amministrazioni pubbliche e privati. Da gennaio 2020 lavora in SUSE come Software Release Engineer per Uyuni e SUSE Manager e quando non segue la sua passione per i computer e per Geeko coltiva la sua curiosità per l'astronomia (da cui deriva il suo nickname deneb_alpha).
5th LF Energy Power Grid Model Meet-up SlidesDanBrown980551
5th Power Grid Model Meet-up
It is with great pleasure that we extend to you an invitation to the 5th Power Grid Model Meet-up, scheduled for 6th June 2024. This event will adopt a hybrid format, allowing participants to join us either through an online Mircosoft Teams session or in person at TU/e located at Den Dolech 2, Eindhoven, Netherlands. The meet-up will be hosted by Eindhoven University of Technology (TU/e), a research university specializing in engineering science & technology.
Power Grid Model
The global energy transition is placing new and unprecedented demands on Distribution System Operators (DSOs). Alongside upgrades to grid capacity, processes such as digitization, capacity optimization, and congestion management are becoming vital for delivering reliable services.
Power Grid Model is an open source project from Linux Foundation Energy and provides a calculation engine that is increasingly essential for DSOs. It offers a standards-based foundation enabling real-time power systems analysis, simulations of electrical power grids, and sophisticated what-if analysis. In addition, it enables in-depth studies and analysis of the electrical power grid’s behavior and performance. This comprehensive model incorporates essential factors such as power generation capacity, electrical losses, voltage levels, power flows, and system stability.
Power Grid Model is currently being applied in a wide variety of use cases, including grid planning, expansion, reliability, and congestion studies. It can also help in analyzing the impact of renewable energy integration, assessing the effects of disturbances or faults, and developing strategies for grid control and optimization.
What to expect
For the upcoming meetup we are organizing, we have an exciting lineup of activities planned:
-Insightful presentations covering two practical applications of the Power Grid Model.
-An update on the latest advancements in Power Grid -Model technology during the first and second quarters of 2024.
-An interactive brainstorming session to discuss and propose new feature requests.
-An opportunity to connect with fellow Power Grid Model enthusiasts and users.
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdfChart Kalyan
A Mix Chart displays historical data of numbers in a graphical or tabular form. The Kalyan Rajdhani Mix Chart specifically shows the results of a sequence of numbers over different periods.
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
wiki.openmath.org – how it works, how you can participate
1. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
wiki.openmath.org – how it works, how you
can participate
OpenMath Workshop @ CICM 2009
Christoph Lange
Jacobs University, Bremen, Germany
KWARC – Knowledge Adaptation and Reasoning for Content
This work was supported by JEM-Thematic-Network ECP-038208.
July 9, 2009
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 1/26
2. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Overview
http://wiki.openmath.org – browse, edit, and discuss
OpenMath 2 and 3 Content Dictionaries
permission system distinguishes CD editors from visitors
powered by semantic wiki technology (SWiM)
In this talk:
How does it work?
How can you use it?
What do users think?
What’s next?
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 2/26
3. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
OpenMath CD example
<CD>
<CDName>arith1</CDName>
<Description>common arithmetic functions</Description>
<CDBase>http://www.openmath.org/cd</CDBase>
<!-- also mandatory: date, version, status -->
<CDDefinition>
<Name>plus</Name>
<Role>application</Role>
<Description>The symbol representing an n-ary
commutative function plus.</Description>
<CMP>for all a,b | a + b = b + a </CMP>
<FMP>β(quant1#forall, a, b,
@(relation1#eq, @(arith1#plus, a, b), @(arith1#plus, b, a)))</FMP>
...
<Example>...</Example>
</CDDefinition>
...
</CD>
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 3/26
4. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Additional information
Given in separate files (one per CD):
types of symbols: e. g. in STS
notations of symbols (for human-readable [Presentation
MathML] output): XSLT or domain-specific language
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 4/26
5. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Maintenance of the OpenMath CDs (1)
Review process:
Official CDs (those maintained by OpenMath Society) undergo
review process
Once intended meaning of a symbol is fixed, mistakes still remain
Authoring:
CD files reside in Subversion repository
https://svn.openmath.org
check out working copy
use XML-aware text editor
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 5/26
6. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Maintenance of the OpenMath CDs (2)
Discussing issues:
mailing lists om@openmath.org, om3@openmath.org
Trac issue tracker: https://trac.mathweb.org/OM3
Presenting CDs:
Most commonly XHTML+MathML
XSLT, controlled by makefiles
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 6/26
7. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 1: Minor Edits
edits that don’t change semantics (e. g. spelling of a symbol
description) – traditional workflow:
1 Update the svn working copy
2 Open the CD file
3 Navigate to the Description child of the symbol in question
4 Fix the mistake
5 Commit the file (and give a meaningful log message that
exactly refers to the symbol where the mistake was fixed)
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 7/26
8. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 2: Discussing and Implementing
Revisions
major revisions that a single editor cannot make and that have to be
discussed
1 Someone points out a problem (e. g. an FMP is wrong)
2 . . . sends a mail to the mailing list (including a link to the CD)
(theoretical alternative: Trac)
3 others reply, reach agreement
4 somebody implements the solution and documents it in the log
message
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 8/26
9. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 3: Editing and Verifying Notations
n
imagine seeing exp(x) = ∑n=0 x in some CD exp.ocd
∞ n!
1 What formal identifier does ∑ have? ⇒ arith1#sum
2 Open arith1.ntn (or arith1.xsl )
3 Go to ‘‘sum’’
4 Fix the notation definition ⇒ ∑upper
lower
5 Regenerate the original CD’s presentation: make exp.xhtml
(Regenerate all CDs where ∑ occurs? Regenerate all CDs??)
6 Open exp.xhtml in browser. Correct? If not, then go to 2
7 Commit arith1.ntn, giving a meaningful log message
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 9/26
10. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
The OpenMath Wiki at wiki.openmath.org
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 10/26
11. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 1: Minor Edits (1)
SWiM offers editors for all types of knowledge in CDs
(→ Lange/González Palomo, MathUI 2008):
structural outline (e. g. CD→CDDefinition→FMP)
metadata of all such units (e. g. description, revision date)
OpenMath objects (inside FMPs and examples)
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 11/26
12. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Structure Editor
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 12/26
13. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Metadata Editor
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 13/26
14. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Formula Editor
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 14/26
15. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 1: Minor Edits (2)
revisions in a context as local as possible
every CD, symbol, CMP, FMP, example is one wiki page = one
unit of navigation, editing, maintenance
(compare Subversion: 1 CD = 1 file)
split CD into such fragments on update from svn, reassemble it
on commit
smooth Subversion integration (no breaks so far!): can still edit
with other tools
CDs can still be viewed as a whole
r1234 | clange | 2009-05-11 13:06:41 +0200 (Mon, 11 May 2009) |
2 lines
[Administrator@SWiM] replaced metadata field dc:description
Actually changed fragment cd:transc1+sin
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 15/26
16. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 2: Discussing and Implementing
Revisions (1)
One local discussion forum per wiki page (= CD, symbol, math.
property, example)
discussions on the granularity of knowledge
discussion threads with a semantic structure
compare conventional wikis: unstructured discussion pages,
users have to follow syntactic and linguistic conventions
SWiM: users can indicate the type of their post:
argumentation ontology: issue→idea→position→decision
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 16/26
17. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 2: Discussing and Implementing
Revisions (2)
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 17/26
18. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 2: Discussing and Implementing
Revisions (3)
Joint queries over discussion threads and CDs:
discussions represented as RDF graph (using the
argumentation ontology)
post types
reply-to relation
CD structures also represented as RDF (extracted from XML)
part–whole links
links from symbol occurrences to symbol definitions
metadata
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 18/26
19. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 2: Discussing and Implementing
Revisions (3)
SELECT DISTINCT ?P WHERE {
?P a omo:Symbol ;
ikewiki:hasDiscussion ?D .
?C a arguonto:Issue;
sioc:has_container ?D .
OPTIONAL { ?Dec arguonto:decides ?C . }
FILTER (!bound(?Dec)) }
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 19/26
20. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 2: Discussing and Implementing
Revisions (4)
Potential of extending argumentation ontology domain-specifically:
common problems have common solutions
system can assist users with implementing them
ongoing survey on what is ‘‘common’’:
http://tinyurl.com/5qdetd
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 20/26
21. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 3: Editing and Verifying Notations
SWiM uses *.ntn notation dictionaries (→ Kohlhase/Müller/Rabe,
MKM 2008), renders documents using JOMDoc
(http://jomdoc.omdoc.org)
Editing workflow:
1 navigate from occurrence of symbol to its definition (thanks to
parallel markup)
2 navigate from symbol definition to the corresponding notation
(to be speeded up by more interactivity → Giceva/Lange/Rabe,
Sunday)
3 rendered documents are cached, but after changing a notation
definition clears all affected documents from cache (query finds
affected documents)
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 21/26
22. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 3: Editing and Verifying Notations
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 22/26
23. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Evaluation
Discussions: only feature really used so far (usability issues?)
initially imported old e-mail discussions
(Rowley/Carlisle/Kohlhase/. . . )
later, users also discussed in the wiki (90 discussion posts
overall)
69 posts fit into argumentation ontology (48 issues, 10 ideas)
9 out of 23 user-contributed posts not classified
post type missed most: question
some posts not classifiable because of multiple argumentative
types in the same sentence (research challenge!)
36 posts (e-mail only) about symbols, 54 on CD level, none for
[CF]MPs, examples.
Subparts hard to reach? Not intuitive? Posts about more than
one symbol?
Users basically understand how to discuss
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 23/26
24. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Bugs and Missing Features
bias on editing existing content
e. g. adding a symbol to a CD is close to impossible
(due to different granularities wiki vs. svn)
Subversion support is restricted: update, commit, lock
(no add, delete, merge, . . . )
other misses: no links to discussion posts, no e-mail notification,
no global search/replace
What else? → http://trac.mathweb.org/OM3 – thanks!
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 24/26
25. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Roadmap
underlying IkeWiki engine discontinued
started port to successor KiWi (more modular, dashboard,
recommendation, facetted search, transactions)
TNTBase (→ http://trac.mathweb.org/tntbase),
versioned XML database
interactive documents → Giceva/Lange/Rabe, Sunday
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 25/26
26. OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Conclusion
SWiM supports certain special but common use cases very well
not yet a full CD editor
SWiM to be improved → better collaboration on
http://wiki.openmath.org
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 26/26