Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written, read, and understood by both people and computers.
-
Updated
Sep 13, 2024 - Go
Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written, read, and understood by both people and computers.
Normative documents for Systems Engineering Programs
A Reading List for PH.D. Students and Researchers Majoring in MIS
[PACIS 2024] The official repo for the paper: "Phase Space Reconstructed Neural Ordinary Differential Equations Model for Stock Price Forecasting".
Some information retrieval algorithms and datastructures (inverted index, ranking (bm25, tf, idf scores), fuzzy search, ...)
System Information Collector
Bangun Mulyo is Laravel Based Application to digitalize administration and accounting process in "Koperasi Bangun Mulyo"
Workflow management system fully supporting low-code language Petriflow.
Digitalni Sistem za Rezervacije | Akademski projekat iz predmeta "Specifikacija i modeliranje softvera" i "Interakcija čovek računar"
Digitalni Sistem za Studentsku Službu | Akademski projekat iz predmeta Osnove informacionih sistema i Softverskog inženjerstva
This repository contains the commencement speech for the March 2024 graduation ceremony of the Information Systems program at UFSC. The speech highlights key moments, achievements, and future aspirations of the graduating class.
Videogames Project for Information Systems Course 2022/2023
Computer Programming 3 Case Study (2nd Year of Uni)
Repositório contendo as atividades realizadas nas cadeiras PROJETO INTERDISCIPLINAR PARA SISTEMAS DE INFORMAÇÃO I e PRINCÍPIOS DE PROGRAMAÇÃO do curso de Sistema da Informação da UFRPE
Managing potential candidates
Application for the School of Information Science which is can be used as a guide to know the program.
It is a general Management Information System based on -GWA2 with powerful and configurable I/O. 通用信息管理系统.
Set of programs that allows the robot to set the intensity of a mixer and most importantly, start mixing.
REST API service for controlling and monitoring a smart socket. This service allows users to start and stop a smart socket, wait asynchronously for a set duration, receive real-time updates on power consumption, and fetch power usage statistics for specified time intervals. Integrates with MQTT for communication with smart socket devices.
Android app to inform passengers about stops, route, and direction the vehicle is heading with ability of displaying ads
Add a description, image, and links to the information-systems topic page so that developers can more easily learn about it.
To associate your repository with the information-systems topic, visit your repo's landing page and select "manage topics."