Category: Uncategorized

So many ways for assessing outliers

Link: https://huggingface.co/hexgrad/Kokoro-82M

Airbus employs the CompCert formally verified C compiler in the development of safety-critical avionics software. Specifically, at their Toulouse facility, Airbus has integrated CompCert into several projects, although the exact details of these projects remain undisclosed. https://www.absint.com/compcert/index.htm

The decision to adopt CompCert was driven by a need to enhance performance, particularly by reducing the Worst-Case Execution Time (WCET) of their software. A feasibility study conducted between 2012 and 2013 demonstrated that using CompCert led to a 12% improvement in WCET, surpassing their initial target of 11%. https://projects.laas.fr/IFSE/FMF/J3/slides/P05_Jean_Souyiris.pdf

By utilizing CompCert, Airbus benefits from the compiler’s formal verification, which mathematically ensures that the compiled code preserves the semantics of the source code. This level of assurance is crucial in the development of safety-critical systems, as it reduces the risk of miscompilation and enhances overall software reliability. https://www.absint.com/compcert/index.htm

Website: https://facebookresearch.github.io/Kats/

Kats is a toolkit to analyze time series data, a lightweight, easy-to-use, and generalizable framework to perform time series analysis. Time series analysis is an essential component of Data Science and Engineering work at industry, from understanding the key statistics and characteristics, detecting regressions and anomalies, to forecasting future trends. Kats aims to provide the one-stop shop for time series analysis, including detection, forecasting, feature extraction/embedding, multivariate analysis, etc. Kats is released by Facebook’s Infrastructure Data Science team. It is available for download on PyPI.

Source: https://www.displayr.com/what-is-multidimensional-scaling-mds/

Free download: https://link.springer.com/chapter/10.1007/978-3-031-19078-0_2

This book is a practical guide for doing research written for beginning researchers. You might be a doctoral student just learning how to conduct research. Or, you might be a new faculty member, having recently graduated from a doctoral program and looking forward to conducting research as part of your job. Or, you might be a postdoctoral fellow pursuing a new research agenda.

Although the target audience is beginning researchers, we believe more experi
enced researchers will find something useful as well. Indeed, we were surprised by how much we learned writing this book. As we were searching for ways to present the ideas, we realized that many of the concepts and procedures we describe are less about learning a set of rules and more about reasoning through a complicated but logical process. And getting better at reasoning is a lifelong journey. So, if you are a beginning researcher or someone more experienced, we hope you will learn some thing new and reflect on your own reasoning about the research process.

We are mathematics educators, so we use examples from mathematics teaching and learning, but we believe the practical guidelines we recommend apply to most content areas and domains of educational research. There is nothing special about mathematics with regard to the logic of the research process we describe.

The book can be used as a supplemental textbook in a graduate-level research methods course, as a primary textbook in a course on conducting research in (mathematics) education, and as a self-study guide for individuals or small groups of researchers who want to review and reconsider the key elements of the research process. The book includes exercises designed to engage you in working through the processes we describe. The narrative is punctuated with tips for researchers and recommendations for other sources to consult along the way.

We encourage you to work through the study exercises. You will learn more than you would otherwise. In the exercises, you will be asked to respond to specific questions designed to help you make progress in planning and conducting your study, and in writing your report of the study. For some questions, we will ask you to update your responses as you read succeeding chapters. You will be asked to try out specific aspects of conducting your study as well as writing a paper based on your study, and to write out examples to illustrate and sharpen the ideas presented in the text.

Many books on research methods are created as reference books; you can learn about a particular aspect of research by selecting and reading particular pages. This book is different. It is more like a story that develops as each idea builds on what came before. Individual chapters or sections will not make much sense unless the book is read as a whole, from the beginning to the end.

We treat conducting a research study and writing a research report as mutually beneficial processes. Consequently, the book includes suggestions for writing alongside doing research. Writing can be used to help you think through research issues, make more explicit your own thinking, and push your thinking forward. Writing also is used to communicate your research study to others. We address writing for both purposes.

One advantage we had writing this book came from our experience as a former editorial team for one of the leading journals in mathematics education—the Journal for Research in Mathematics Education. A major benefit of this experience is knowing what reviewers are likely to say. You can expect to receive the kind of feedback we examined regardless of which journal is reviewing your paper. Which features of papers do reviewers like and which features cause problems? At key points in the book, we cite information from reviewers to give you an inside look at what is expected if you want to get your work published.

We intend this book to be easy to read but challenging to complete. We believe the basic principles for conducting research are logical and quite easy to understand, but we also know that doing research can be difficult and even intimidating, especially in enormously complex fields like education. We hope you find this book useful in managing this complexity and helpful in guiding you through the challenging but exciting and rewarding work of educational research

Source of paper: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=5060022

Twitter source: https://x.com/emollick/status/1869411377108201914

#1 critical writing section most students struggle with: Discussion

Follow this template (𝘸𝘪𝘵𝘩 𝘦𝘹𝘢𝘮𝘱𝘭𝘦𝘴) to make your life easier

—  Start with a Big Summary/ Importance Statement:
“𝘖𝘶𝘳 𝘳𝘦𝘴𝘶𝘭𝘵𝘴 𝘥𝘦𝘮𝘰𝘯𝘴𝘵𝘳𝘢𝘵𝘦 𝘢 𝘯𝘰𝘷𝘦𝘭 𝘮𝘦𝘤𝘩𝘢𝘯𝘪𝘴𝘮 𝘣𝘺 𝘸𝘩𝘪𝘤𝘩 𝘟 𝘪𝘯𝘧𝘭𝘶𝘦𝘯𝘤𝘦𝘴 𝘠, 𝘰𝘧𝘧𝘦𝘳𝘪𝘯𝘨 𝘯𝘦𝘸 𝘪𝘯𝘴𝘪𝘨𝘩𝘵𝘴 𝘪𝘯𝘵𝘰 𝘡.”

—  Link Findings to Previous Work:
“𝘜𝘯𝘭𝘪𝘬𝘦 𝘱𝘳𝘦𝘷𝘪𝘰𝘶𝘴 𝘴𝘵𝘶𝘥𝘪𝘦𝘴 𝘵𝘩𝘢𝘵 𝘴𝘶𝘨𝘨𝘦𝘴𝘵𝘦𝘥 𝘈, 𝘰𝘶𝘳 𝘧𝘪𝘯𝘥𝘪𝘯𝘨𝘴 𝘪𝘯𝘥𝘪𝘤𝘢𝘵𝘦 𝘉, 𝘩𝘪𝘨𝘩𝘭𝘪𝘨𝘩𝘵𝘪𝘯𝘨 𝘵𝘩𝘦 𝘳𝘰𝘭𝘦 𝘰𝘧 𝘊.”

—   Discuss the Scientific Implications:
“𝘛𝘩𝘦𝘴𝘦 𝘧𝘪𝘯𝘥𝘪𝘯𝘨𝘴 𝘴𝘶𝘨𝘨𝘦𝘴𝘵 𝘵𝘩𝘢𝘵 𝘮𝘢𝘪𝘯𝘵𝘢𝘪𝘯𝘪𝘯𝘨 𝘋 𝘤𝘰𝘶𝘭𝘥 𝘣𝘦 𝘤𝘳𝘶𝘤𝘪𝘢𝘭 𝘧𝘰𝘳 𝘌, 𝘱𝘳𝘰𝘷𝘪𝘥𝘪𝘯𝘨 𝘢 𝘯𝘦𝘸 𝘱𝘦𝘳𝘴𝘱𝘦𝘤𝘵𝘪𝘷𝘦 𝘰𝘯 𝘍.”

Original paper: Faith et al, “Identifying Gut Microbe–Host Phenotype Relationships Using Combinatorial Communities in Gnotobiotic Mice”, https://www.science.org/doi/10.1126/scitranslmed.3008051

High performance self-hosted photo and video management solution: https://immich.app/ , https://github.com/immich-app/immich

FinGPT: Open-Source Financial Large Language Models https://github.com/AI4Finance-Foundation/FinGPT