聚合搜Scholar - 壹搜网为您找到"

Hands-on GitHub Actions (Getting Started with GitHub Actions Workflows)

"相关结果 180条

Introducing the InvenioRDM GitHub Archiver (IGA)

The InvenioRDM GitHub Archiver (IGA) is a new software tool created by the Caltech Library. InvenioRDM is the basis for many institutional repositories, such as CaltechDATA, that enable users to preserve software and data sets in a long-term archive. The metadata contained in the record of a deposit is critical to making the record widely discoverable by other people.
inveniosoftware.org

Troubleshooting RStudio for GitHub Classrom and Codespaces

I'm teaching a class on quantitative methods in linguistics, and after getting tired, over the years, of debugging everyone's computer before we could get to the content of learning R (much less quantitative methods), I decided to seize control. I'm running the course through GitHub Classroom which comes with an educational allowance for using GitHub codespaces.
jofrhwld.github.io

Euler characteristics and actions of automorphism groups of free groups

Let $M^{r}$ be a connected orientable manifold with the Euler characteristic $χ(M)\not \equiv 0\operatorname{mod}6$. Denote by $\mathrm{SAut}(F_{n})$ the unique subgroup of index two in the automorphism group of a free group. Then any group action of $\mathrm{SAut}(F_{n})$ (and thus the special linear group $\mathrm{SL}_{n}(\mathbb{Z})$) $(n\geq r+2$) on $M^{r}$ by homeomorphisms is trivial. This confirms a conjecture related to Zimmer's program for these manifolds.
arxiv.org

Learning from eLife: GitHub as an article repository

Playing with my eLife Lens-inspired article viewer and some recent articles from ZooKeys I regularly come across articles that are incorrectly marked up. As a quick reminder, my viewer takes the DOI for a ZooKeys article (just append it to http://bionames.org/labs/zookeys-viewer/?doi=, e.g. http://bionames.org/labs/zookeys-viewer/?doi=10.3897/zookeys.316.5132), fetches the corresponding XML and displays the article.Taking the article
iphylo.blogspot.com