Results for

Results for Showing 27251 - 27300 results of 150788 Laminas_Feed_Writer 2 (https://getlaminas.org) https://search.frelip.org/Search/Results?sort=last_indexed+desc&limit=50&page=546&type=Subject&lng=en 150788 27250 50 stylo: a lightweight nanopore assembly pipeline optimized for enteric bacteria Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77740 https://search.frelip.org/Record/rss_article:77740 Online Article RSS Article 2026 0 The Pulmonary Agent-based Infection simulator (PAI): A Multi-Scale Agent-Based Model of Pulmonary Host-Pathogen Interactions Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77741 https://search.frelip.org/Record/rss_article:77741 Online Article RSS Article 2026 0 sEEG-Suite: An Interactive Pipeline for Semi-Automated Contact Localization and Anatomical Labeling with Brainstorm Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77742 https://search.frelip.org/Record/rss_article:77742 Online Article RSS Article 2026 0 pangeo-fish: A Python package for studying fish movement using biologging and earth science data Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77743 https://search.frelip.org/Record/rss_article:77743 Online Article RSS Article 2026 0 TikhonovFenichelReductions.jl: A systematic approach to geometric singular perturbation theory Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77744 https://search.frelip.org/Record/rss_article:77744 Online Article RSS Article 2026 0 Solshade: Terrain-aware Solar Illumination Modelling using Digital Elevation Models and Orbital Geometry Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77745 https://search.frelip.org/Record/rss_article:77745 Online Article RSS Article 2026 0 ScrollStats: a Python tool for quantifying scroll bar morphology on meandering rivers Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77746 https://search.frelip.org/Record/rss_article:77746 Online Article RSS Article 2026 0 scpviz: A Python bioinformatics toolkit for Single-cell Proteomics and multi-omics analysis Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77747 https://search.frelip.org/Record/rss_article:77747 Online Article RSS Article 2026 0 Chemiscope 1.0: interactive exploration of atomistic data from analysis to dissemination Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77748 https://search.frelip.org/Record/rss_article:77748 Online Article RSS Article 2026 0 site-analysis: A Python package for site-projection analysis of molecular dynamics trajectories Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77749 https://search.frelip.org/Record/rss_article:77749 Online Article RSS Article 2026 0 TNC: Distributed Tensor Network Contractions in Rust Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77750 https://search.frelip.org/Record/rss_article:77750 Online Article RSS Article 2026 0 Liblsl.dart: A Dart native API for Lab Streaming Layer (LSL) Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77751 https://search.frelip.org/Record/rss_article:77751 Online Article RSS Article 2026 0 Fetpype: An Open-Source Pipeline for Reproducible Fetal Brain MRI Analysis Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77752 https://search.frelip.org/Record/rss_article:77752 Online Article RSS Article 2026 0 Cosmologix: Fast, accurate and differentiable distances in the universe with JAX Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77753 https://search.frelip.org/Record/rss_article:77753 Online Article RSS Article 2026 0 FAIRLinked: Data FAIRification Tools for Materials Data Science Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77754 https://search.frelip.org/Record/rss_article:77754 Online Article RSS Article 2026 0 nyaml: Format Converter for the NeXus Data Model Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77755 https://search.frelip.org/Record/rss_article:77755 Online Article RSS Article 2026 0 Vibrant: A Post-Processing Tool for Computational Vibrational Spectroscopy of Molecules, Liquids and Materials Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77756 https://search.frelip.org/Record/rss_article:77756 Online Article RSS Article 2026 0 CGView.js: a JavaScript package for visualizing small genomes Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77757 https://search.frelip.org/Record/rss_article:77757 Online Article RSS Article 2026 0 Finitewave: a lightweight and accessible framework for cardiac electrophysiology simulations Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77758 https://search.frelip.org/Record/rss_article:77758 Online Article RSS Article 2026 0 MyMesh: General purpose, implicit, and image-based meshing in Python Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77759 https://search.frelip.org/Record/rss_article:77759 Online Article RSS Article 2026 0 Univalent Enriched Categories and the Enriched Rezk Completion Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77760 https://search.frelip.org/Record/rss_article:77760 Online Article RSS Article 2026 0 An automata-based approach for synchronizable mailbox communication Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77761 https://search.frelip.org/Record/rss_article:77761 Online Article RSS Article 2026 0 Encoding Peano Arithmetic in a Minimal Fragment of Separation Logic Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77762 https://search.frelip.org/Record/rss_article:77762 Online Article RSS Article 2026 0 Extended Resolution Clause Learning via Dual Implication Points Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77763 https://search.frelip.org/Record/rss_article:77763 Online Article RSS Article 2026 0 Epistemic Skills: Reasoning about Knowledge and Oblivion Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77764 https://search.frelip.org/Record/rss_article:77764 Online Article RSS Article 2026 0 A Resolution-Based Interactive Proof System for UNSAT Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77765 https://search.frelip.org/Record/rss_article:77765 Online Article RSS Article 2026 0 Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77766 https://search.frelip.org/Record/rss_article:77766 Online Article RSS Article 2026 0 Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77767 https://search.frelip.org/Record/rss_article:77767 Online Article RSS Article 2026 0 Prover-Adversary games for systems over (non-deterministic) branching programs Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77768 https://search.frelip.org/Record/rss_article:77768 Online Article RSS Article 2026 0 Deterministic Suffix-reading Automata Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77769 https://search.frelip.org/Record/rss_article:77769 Online Article RSS Article 2026 0 On $NP cap coNP$ proof complexity generators Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77770 https://search.frelip.org/Record/rss_article:77770 Online Article RSS Article 2026 0 Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77771 https://search.frelip.org/Record/rss_article:77771 Online Article RSS Article 2026 0 Empirical Measures and Strong Laws of Large Numbers in Categorical Probability Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77772 https://search.frelip.org/Record/rss_article:77772 Online Article RSS Article 2026 0 Pebble Games and Algebraic Proof Systems Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77773 https://search.frelip.org/Record/rss_article:77773 Online Article RSS Article 2026 0 Dense Integer-Complete Synthesis for Bounded Parametric Timed Automata Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77774 https://search.frelip.org/Record/rss_article:77774 Online Article RSS Article 2026 0 Positionality in $Σ_0^2$ and a completeness result Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77775 https://search.frelip.org/Record/rss_article:77775 Online Article RSS Article 2026 0 Tighter Bounds for Query Answering with Guarded TGDs Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77776 https://search.frelip.org/Record/rss_article:77776 Online Article RSS Article 2026 0 Direct Access for Answers to Conjunctive Queries with Aggregation Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77777 https://search.frelip.org/Record/rss_article:77777 Online Article RSS Article 2026 0 A Scalable Game-Theoretic Approach for Selecting Security Controls from Standardized Catalogues Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77778 https://search.frelip.org/Record/rss_article:77778 Online Article RSS Article 2026 0 Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77779 https://search.frelip.org/Record/rss_article:77779 Online Article RSS Article 2026 0 Expressivity of AuDaLa: Turing Completeness and Possible Extensions Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77780 https://search.frelip.org/Record/rss_article:77780 Online Article RSS Article 2026 0 Quantitative Verification with Neural Networks Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77781 https://search.frelip.org/Record/rss_article:77781 Online Article RSS Article 2026 0 One is all you need: Second-order Unification without First-order Variables Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77782 https://search.frelip.org/Record/rss_article:77782 Online Article RSS Article 2026 0 Prime Factorization in Models of PV$_1$ Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77783 https://search.frelip.org/Record/rss_article:77783 Online Article RSS Article 2026 0 Machine Space I: Weak exponentials and quantification over compact spaces Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77784 https://search.frelip.org/Record/rss_article:77784 Online Article RSS Article 2026 0 JOURNAL OF COMPUTER SCIENCE AND ITS APPLICATIONS: VOLUME 32, NO.1, JUNE 2025 Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77785 https://search.frelip.org/Record/rss_article:77785 Online Article RSS Article 2026 0 JOURNAL OF COMPUTER SCIENCE AND ITS APPLICATIONS: VOLUME 31, NO.2, DECEMBER 2024 Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77786 https://search.frelip.org/Record/rss_article:77786 Online Article RSS Article 2025 0 JOURNAL OF COMPUTER SCIENCE AND ITS APPLICATIONS: VOLUME 30, NO.2, DECEMBER 2023 Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77787 https://search.frelip.org/Record/rss_article:77787 Online Article RSS Article 2024 0 JOURNAL OF COMPUTER SCIENCE AND ITS APPLICATIONS: VOLUME 30, NO.1, JUNE 2023 Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77788 https://search.frelip.org/Record/rss_article:77788 Online Article RSS Article 2023 0 JOURNAL OF COMPUTER SCIENCE AND ITS APPLICATIONS: VOLUME 29, NO.2, DECEMBER 2022 Sat, 20 Jun 2026 21:39:49 +0000 https://search.frelip.org/Record/rss_article:77789 https://search.frelip.org/Record/rss_article:77789 Online Article RSS Article 2023 0