Results for "Science."

Results for "Science." Gösterilen 1 - 50 sonuçlar arası kayıtlar. 119052 Laminas_Feed_Writer 2 (https://getlaminas.org) https://descubridor.ipchile.cl/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Science.%22&type=Subject&lng=tr 119052 0 50 From Scalar Games to Unconstrained Network Zero-Sum Games: Transfer Principles for Gradient-Based Learning Mon, 02 Nov 2026 02:06:15 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.42087 https://descubridor.ipchile.cl/Record/arxiv-2610.42087 Xue, Gaoqi Makale 2026 Xue, Gaoqi 0 Strategic Tanking in Stable Matching Markets Mon, 02 Nov 2026 02:06:15 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.42105 https://descubridor.ipchile.cl/Record/arxiv-2610.42105 Bailey, James P. Makale 2026 Bailey, James P. 0 Type classifiers Mon, 02 Nov 2026 02:06:14 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.41941 https://descubridor.ipchile.cl/Record/arxiv-2610.41941 Bidlingmaier, Martin E. Makale 2026 Bidlingmaier, Martin E. 0 Shock Loading Accesses Reaction Pathways beyond Accelerated Thermolysis Mon, 02 Nov 2026 02:06:14 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.41955 https://descubridor.ipchile.cl/Record/arxiv-2610.41955 Wen, Mingjie Makale 2026 Wen, Mingjie 0 When Is a Game a Markov Decision Process? Correspondences Between Game Theory and Reinforcement Learning Mon, 02 Nov 2026 02:06:14 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.41962 https://descubridor.ipchile.cl/Record/arxiv-2610.41962 Garrido-Merchán, Eduardo C. Makale 2026 Garrido-Merchán, Eduardo C. 0 Model Checking for Metric Extensions of Monadic Second-Order Logic Mon, 02 Nov 2026 02:06:14 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.41974 https://descubridor.ipchile.cl/Record/arxiv-2610.41974 Chakraborty, Dibyayan Makale 2026 Chakraborty, Dibyayan 0 Risk Assessment of Fair Multi-Period Dynamic Operating Envelopes under Uncertainty Mon, 02 Nov 2026 02:06:14 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.42014 https://descubridor.ipchile.cl/Record/arxiv-2610.42014 Quessongo, Pedro Salomão Makale 2026 Quessongo, Pedro Salomão 0 Clinical-Protocol-Aware Cyber Resilience for Connected Clinical Technologies Under AI-Enabled Adversarial Conditions Mon, 02 Nov 2026 02:06:13 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.41784 https://descubridor.ipchile.cl/Record/arxiv-2610.41784 Patel, Pranav Makale 2026 Patel, Pranav 0 Pareto climate economics: optimism, pessimism and the polarization of societies Mon, 02 Nov 2026 02:06:13 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.41832 https://descubridor.ipchile.cl/Record/arxiv-2610.41832 Botta, Nicola Makale 2026 Botta, Nicola 0 Learning Nonlocal Interactions in Large-Scale Heterogeneous Metamaterials through Scientific Machine Learning Mon, 02 Nov 2026 02:06:13 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.41887 https://descubridor.ipchile.cl/Record/arxiv-2610.41887 Lee, Dex Doksoo Makale 2026 Lee, Dex Doksoo 0 QBX: A Compiler for Well-Formed, Auditable Alpha Programs Mon, 02 Nov 2026 02:06:12 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.41689 https://descubridor.ipchile.cl/Record/arxiv-2610.41689 Bai, Yichong Makale 2026 Bai, Yichong 0 A Preconditioned Quantum Linear Solver for Periodic Two-Phase Heat Conduction with Mesh-Independent Condition Number Mon, 02 Nov 2026 02:06:12 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.41690 https://descubridor.ipchile.cl/Record/arxiv-2610.41690 Suresh, Krishnan Makale 2026 Suresh, Krishnan 0 Kidney Exchange with Dual Donors Mon, 02 Nov 2026 02:06:11 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.41466 https://descubridor.ipchile.cl/Record/arxiv-2610.41466 Caragiannis, Ioannis Makale 2026 Caragiannis, Ioannis 0 DAPS: Dependency-Aware Premise Selection for LLM Theorem Proving Mon, 02 Nov 2026 02:06:11 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.41536 https://descubridor.ipchile.cl/Record/arxiv-2610.41536 Chen, Zixuan Makale 2026 Chen, Zixuan 0 Algebraic World Model: From Exploration to Proofs Mon, 02 Nov 2026 02:06:10 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.40503 https://descubridor.ipchile.cl/Record/arxiv-2610.40503 Pan, Guancheng Makale 2026 Pan, Guancheng 0 General semiring conditions for weighted L* termination Mon, 02 Nov 2026 02:06:10 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.41184 https://descubridor.ipchile.cl/Record/arxiv-2610.41184 Bertram, Noah Makale 2026 Bertram, Noah 0 Evolution of Financial AI: From Statistical Models to Agentic AI Mon, 02 Nov 2026 02:06:10 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.41228 https://descubridor.ipchile.cl/Record/arxiv-2610.41228 Asaad, Saba Makale 2026 Asaad, Saba 0 Equation informed time reparametrization for physics informed neural networks Mon, 02 Nov 2026 02:06:10 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.41246 https://descubridor.ipchile.cl/Record/arxiv-2610.41246 Belokas, Orestis Makale 2026 Belokas, Orestis 0 From 1D Benchmarks to Complex 3D Geometries: Can Agents Reliably Specify Problems for Automated PDE Simulation? Mon, 02 Nov 2026 02:06:10 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.41267 https://descubridor.ipchile.cl/Record/arxiv-2610.41267 Jani, Akshat Makale 2026 Jani, Akshat 0 Truthful and Admissible Principal--Agent Testing with Nuisance Parameters Mon, 02 Nov 2026 02:06:10 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.41283 https://descubridor.ipchile.cl/Record/arxiv-2610.41283 Ramdas, Aaditya Makale 2026 Ramdas, Aaditya 0 Coalgebraic Non-Wellfounded Proofs: Recursiveness and GTC Mon, 02 Nov 2026 02:06:09 +0000 https://descubridor.ipchile.cl/Record/arxiv-2605.15664 https://descubridor.ipchile.cl/Record/arxiv-2605.15664 Kori, Mayuko Makale 2026 Kori, Mayuko 0 Accelerating Min-Max Optimization via Power-Law Stepsizes Mon, 02 Nov 2026 02:06:09 +0000 https://descubridor.ipchile.cl/Record/arxiv-2606.01764 https://descubridor.ipchile.cl/Record/arxiv-2606.01764 Wu, Yue Makale 2026 Wu, Yue 0 FLAT: Smoothing the Rugged Landscape for Learnable, Sample-Efficient Traffic Calibration Mon, 02 Nov 2026 02:06:09 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.04337 https://descubridor.ipchile.cl/Record/arxiv-2610.04337 Deng, Haopeng Makale 2026 Deng, Haopeng 0 Simple Strategy-Iteration with Dantzig's Rule is not Strongly Polynomial on Turn-Based Deterministic Games Mon, 02 Nov 2026 02:06:09 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.27386 https://descubridor.ipchile.cl/Record/arxiv-2610.27386 Mei, Sanyou Makale 2026 Mei, Sanyou 0 h1: A Taste of the Bitter Lesson in Automated Theorem Proving Mon, 02 Nov 2026 02:06:09 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.35962 https://descubridor.ipchile.cl/Record/arxiv-2610.35962 Moalla, Skander Makale 2026 Moalla, Skander 0 Branch-and-Cut for Mixed-Integer Nash Equilibrium Problems Mon, 02 Nov 2026 02:06:08 +0000 https://descubridor.ipchile.cl/Record/arxiv-2506.02520 https://descubridor.ipchile.cl/Record/arxiv-2506.02520 Duguet, Aloïs Makale 2025 Duguet, Aloïs 0 A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD Mon, 02 Nov 2026 02:06:08 +0000 https://descubridor.ipchile.cl/Record/arxiv-2507.00557 https://descubridor.ipchile.cl/Record/arxiv-2507.00557 Ding, Tianyi Makale 2025 Ding, Tianyi 0 Index and Robustness of Mixed Equilibria: An Algebraic Approach Mon, 02 Nov 2026 02:06:08 +0000 https://descubridor.ipchile.cl/Record/arxiv-2603.04298 https://descubridor.ipchile.cl/Record/arxiv-2603.04298 Pahl, Lucas Makale 2026 Pahl, Lucas 0 The Competitive Ratio of Online Budgeted Allocation is Strictly Smaller than $1-1/e$ Mon, 02 Nov 2026 02:06:05 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.41136 https://descubridor.ipchile.cl/Record/arxiv-2610.41136 Panigrahi, Debmalya Makale 2026 Panigrahi, Debmalya 0 Renegotiable Options Fail to Prevent Hold-Up Between Two Profit-Maximizing Frontier LLM Agents Mon, 02 Nov 2026 02:06:04 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.40961 https://descubridor.ipchile.cl/Record/arxiv-2610.40961 Yao, Junwei Makale 2026 Yao, Junwei 0 A System Dynamics Model for Zero-emission Heavy Vehicle Transition in Australia Mon, 02 Nov 2026 02:06:04 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.41042 https://descubridor.ipchile.cl/Record/arxiv-2610.41042 Irannezhad, Elnaz Makale 2026 Irannezhad, Elnaz 0 Fair Recommender Systems for Intersecting Groups Mon, 02 Nov 2026 02:06:03 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.40936 https://descubridor.ipchile.cl/Record/arxiv-2610.40936 Ling, Christine Makale 2026 Ling, Christine 0 Integrating of Attack Patterns and Threat Modeling to Support Security Analysis in the Automotive Domain Mon, 02 Nov 2026 02:06:03 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.40944 https://descubridor.ipchile.cl/Record/arxiv-2610.40944 Marques, Eduardo Santos de Oliveira Makale 2026 Marques, Eduardo Santos de Oliveira 0 SKFitter: Symmetry resolved Slater Koster tight-binding models from first principles for s, p, d and f electrons, spin orbit coupling and magnetism Mon, 02 Nov 2026 02:06:02 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.40729 https://descubridor.ipchile.cl/Record/arxiv-2610.40729 Kapila, Sundeep Makale 2026 Kapila, Sundeep 0 Uniform Non-Deterministic Semantics for Ciuciura's $mbC^n$-Hierarchy Mon, 02 Nov 2026 02:06:02 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.40797 https://descubridor.ipchile.cl/Record/arxiv-2610.40797 Drozdowska, Ela Makale 2026 Drozdowska, Ela 0 On Some Logics Intermediate Between S4.2 and S4.3 Defined by the Notion of Independence Mon, 02 Nov 2026 02:06:02 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.40800 https://descubridor.ipchile.cl/Record/arxiv-2610.40800 Hałapacz, Maciej A. Makale 2026 Hałapacz, Maciej A. 0 A Basic Modal Logic for the Abstract Treatment of Quantum Mixed States Mon, 02 Nov 2026 02:06:02 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.40803 https://descubridor.ipchile.cl/Record/arxiv-2610.40803 Kawano, Tomoaki Makale 2026 Kawano, Tomoaki 0 On the Reconstruction of Orthomodular Logic via Restricted Negation Mon, 02 Nov 2026 02:06:02 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.40807 https://descubridor.ipchile.cl/Record/arxiv-2610.40807 Kawano, Tomoaki Makale 2026 Kawano, Tomoaki 0 On Łukasiewicz Topological Semantics Mon, 02 Nov 2026 02:06:02 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.40809 https://descubridor.ipchile.cl/Record/arxiv-2610.40809 Khan, Muhammad Afaq Makale 2026 Khan, Muhammad Afaq 0 Merging and Evolution of Data Bases: A Many-Logic Approach Mon, 02 Nov 2026 02:06:02 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.40812 https://descubridor.ipchile.cl/Record/arxiv-2610.40812 Martins, Manuel A. Makale 2026 Martins, Manuel A. 0 Restricted Peirce's Law and Natural Deduction Mon, 02 Nov 2026 02:06:02 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.40813 https://descubridor.ipchile.cl/Record/arxiv-2610.40813 Niki, Satoru Makale 2026 Niki, Satoru 0 Paraclassical Logics with Two Negations Mon, 02 Nov 2026 02:06:02 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.40814 https://descubridor.ipchile.cl/Record/arxiv-2610.40814 Pawlowski, Pawel Makale 2026 Pawlowski, Pawel 0 Normalisation for a Neutral Free Logic with Definite Descriptions Mon, 02 Nov 2026 02:06:02 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.40816 https://descubridor.ipchile.cl/Record/arxiv-2610.40816 Petrukhin, Yaroslav Makale 2026 Petrukhin, Yaroslav 0 Cyclic Nonassociative Bilinear Logic With Additive Constants as Extension of Full Nonassociative Lambek Calculus Mon, 02 Nov 2026 02:06:02 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.40817 https://descubridor.ipchile.cl/Record/arxiv-2610.40817 Płaczek, Paweł Makale 2026 Płaczek, Paweł 0 Arithmetical Characterizations of Two Intuitionistic Logical Principles Mon, 02 Nov 2026 02:06:02 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.40829 https://descubridor.ipchile.cl/Record/arxiv-2610.40829 Ichikura, Kaito Makale 2026 Ichikura, Kaito 0 Tableaux Rules for Theories of Definite Descriptions in Positive Free Logic with Some Philosophical Remarks Mon, 02 Nov 2026 02:06:02 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.40830 https://descubridor.ipchile.cl/Record/arxiv-2610.40830 Kürbis, Nils Makale 2026 Kürbis, Nils 0 How a group that cannot communicate knows itself by its enemy Mon, 02 Nov 2026 02:06:02 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.40835 https://descubridor.ipchile.cl/Record/arxiv-2610.40835 Falco, Gregory Makale 2026 Falco, Gregory 0 GENSTRAT: Toward a Science of Strategic Reasoning in Large Language Models Mon, 02 Nov 2026 02:06:01 +0000 https://descubridor.ipchile.cl/Record/arxiv-2605.23238 https://descubridor.ipchile.cl/Record/arxiv-2605.23238 Shadarevian, Vartan Makale 2026 Shadarevian, Vartan 0 Competing Auctions in Intermediated Markets Mon, 02 Nov 2026 02:06:01 +0000 https://descubridor.ipchile.cl/Record/arxiv-2606.06633 https://descubridor.ipchile.cl/Record/arxiv-2606.06633 Mazorra, Bruno Makale 2026 Mazorra, Bruno 0 Observable And Null Space Electrophysiological Source Imaging with Diffusion Priors Mon, 02 Nov 2026 02:06:01 +0000 https://descubridor.ipchile.cl/Record/arxiv-2610.27461 https://descubridor.ipchile.cl/Record/arxiv-2610.27461 Wen, Zirui Makale 2026 Wen, Zirui 0 Cannot write session to /tmp/vufind_sessions/sess_aeavocoge27amcns3pfa1onrnd