Development of Computational Workflows for Volatile Metabolomics applied to Life Sciences

Συγγραφείς: Mallafré Muro, Celia

Συνεισφορές: University/Department: Universitat de Barcelona. Facultat de Física

Thesis Advisors: Pardo Martínez, Antonio, Femández Romero, Luis

Πηγή: TDX (Tesis Doctorals en Xarxa)

Θεματικοί όροι: Ciències de la vida, Ciencias de la vida, Life sciences, Metabolòmica, Metabolómica, Metabolomics, Cicle de treball, Ciclo de trabajo, Workflow, Teoria de la computació, Teoría de la computación, Theory of computation, Ciències Experimentals i Matemàtiques

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/10803/691937

ParkView: Visualizing Monotone Interleavings

Συγγραφείς: Beurskens, Thijs, Van Den Broek, Steven, Simons, Arjen, Sonke, Willem, Verbeek, Kevin, Ophelders, Tim, Hoffmann, Michael, Speckmann, Bettina

Πηγή: 2025 IEEE 18th Pacific Visualization Conference (PacificVis) PACIFICVIS Pacific Visualization Conference (PacificVis), 2025 IEEE 18th. :118-127 Apr, 2025

Relation: 2025 IEEE 18th Pacific Visualization Conference (PacificVis)

Noncrossing Longest Paths and Cycles

Συγγραφείς: Aloupis, Greg, Biniaz, Ahmad, Bose, Prosenjit, De Carufel, Jean-Lou, Eppstein, David, Maheshwari, Anil, Odak, Saeed, Smid, Michiel, Tóth, Csaba D, Valtr, Pavel

Πηγή: Graphs and Combinatorics. 41(6)

Θεματικοί όροι: 4901 Applied Mathematics (for-2020), 4904 Pure Mathematics (for-2020), 49 Mathematical Sciences (for-2020), 0101 Pure Mathematics (for), 0802 Computation Theory and Mathematics (for), Computation Theory & Mathematics (science-metrix), 4613 Theory of computation (for-2020), 4901 Applied mathematics (for-2020), 4904 Pure mathematics (for-2020)

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/4hk5n3pg

Advantages of the Samarskii-type schemes on the Shishkin mesh

Συγγραφείς: Vulanović, Relja, Nhan, Thái Anh

Πηγή: Journal of Computational and Applied Mathematics. 470

Θεματικοί όροι: 4901 Applied Mathematics (for-2020), 46 Information and Computing Sciences (for-2020), 49 Mathematical Sciences (for-2020), Singular perturbation, Convection-diffusion, Shishkin mesh, Finite differences, Uniform convergence, 0102 Applied Mathematics (for), 0103 Numerical and Computational Mathematics (for), 0906 Electrical and Electronic Engineering (for), Numerical & Computational Mathematics (science-metrix), 4613 Theory of computation (for-2020), 4901 Applied mathematics (for-2020), 4903 Numerical and computational mathematics (for-2020)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/5p64t416
https://escholarship.org/content/qt5p64t416/qt5p64t416.pdf

Optimization tools for computing colorings of [ 1 , … , n ] with few monochromatic solutions on 3-variable linear equations

Συγγραφείς: De Loera, Jesús A, Ventura, Denae, Wang, Liuyue, Wesley, William J

Θεματικοί όροι: Applied Mathematics, Numerical and Computational Mathematics, Pure Mathematics, Mathematical Sciences, Computation Theory and Mathematics, Computation Theory & Mathematics, Applied computing, Theory of computation, Applied mathematics

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/5c22v7db

Global and Local CLTs for Linear Spectral Statistics of General Sample Covariance Matrices When the Dimension Is Much Larger Than the Sample Size With Applications

Συγγραφείς: Ding, Xiucai, Wang, Zhenggang

Πηγή: IEEE Transactions on Information Theory. 71(8)

Θεματικοί όροι: 4613 Theory Of Computation (for-2020), 46 Information and Computing Sciences (for-2020), Covariance matrices, Eigenvalues and eigenfunctions, Testing, Vectors, Massive MIMO, Limiting, Training, Tensors, Reviews, Gaussian processes, spectral analysis, high dimensional data, 0801 Artificial Intelligence and Image Processing (for), 0906 Electrical and Electronic Engineering (for), 1005 Communications Technologies (for), Networking & Telecommunications (science-metrix), 4006 Communications engineering (for-2020), 4613 Theory of computation (for-2020)

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/9mx0k7xg

Converting Fixed-Length Binary Strings Into Constant Weight Words: Application on Post-Quantum Cryptography

Συγγραφείς: Lopez-Garcia, M., Farouk-Marei, D.G., Canto-Navarro, E.

Πηγή: IEEE Transactions on Dependable and Secure Computing IEEE Trans. Dependable and Secure Comput. Dependable and Secure Computing, IEEE Transactions on. 22(3):3063-3074 Jun, 2025

No Cliques Allowed: The Next Step Towards BDD/FC Conjecture

Συγγραφείς: Larroque, Lucas, Ostropolski-Nalewaja, Piotr, Thomazo, Michaël

Συνεισφορές: Thomazo, Michaël

Πηγή: Proceedings of the ACM on Management of Data. 3:1-20

Θεματικοί όροι: Bounded Derivation Depth Property, CCS Concepts: Theory of computation → Constraint and logic programming Finite Model Theory Automated reasoning Logic and databases Chase, Logic and databases Chase, Automated reasoning, CCS Concepts, Finite unification sets, TGDs, FC/BDD Conjecture, Theory of computation → Constraint and logic programming, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], Existential Rules, Tuple Generating Dependencies, BDD, FO-Rewritability, Finite Model Theory, FUS, Finite Controllability

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://inria.hal.science/hal-05273623v1/document
https://inria.hal.science/hal-05273623v1
https://doi.org/10.1145/3725238

Softtide: a deterministic middleware for real-time systems

Συγγραφείς: Wang, JiaJie, Shankar, Saumya, Roop, Partha

Πηγή: 2025 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) CODES-ISSS Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2025 International Conference. :17-18 Sep, 2025

Relation: 2025 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)

Accelerating Transfer Function Update for Distance Map based Volume Rendering

Συγγραφείς: Rauter, Michael, Zimmermann, Lukas, Zeilinger, Markus

Πηγή: 2024 IEEE Visualization and Visual Analytics (VIS) VIS Visualization and Visual Analytics (VIS), 2024 IEEE. :171-175 Oct, 2024

Relation: 2024 IEEE Visualization and Visual Analytics (VIS)

Generically computable linear orderings

Συγγραφείς: Calvert, Wesley, Cenzer, Douglas, Gonzalez, David, Harizanov, Valentina

Πηγή: Annals of Pure and Applied Logic. 176(8)

Θεματικοί όροι: Pure Mathematics, Mathematical Sciences, Generic computability, Coarse computability, Linear ordering, Sigma alpha elementary substructure, Computation Theory and Mathematics, General Mathematics, Theory of computation, Applied mathematics, Pure mathematics

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/4035b169
https://escholarship.org/content/qt4035b169/qt4035b169.pdf

Labels as a feature: Network homophily for systematically annotating human GPCR drug-target interactions

Συγγραφείς: Hansson, Frederik G, Madsen, Niklas Gesmar, Hansen, Lea G, Jakočiūnas, Tadas, Lengger, Bettina, Keasling, Jay D, Jensen, Michael K, Acevedo-Rocha, Carlos G, Jensen, Emil D

Πηγή: Nature Communications. 16(1)

Θεματικοί όροι: 4613 Theory Of Computation (for-2020), 3404 Medicinal and Biomolecular Chemistry (for-2020), 34 Chemical Sciences (for-2020), 46 Information and Computing Sciences (for-2020), 4611 Machine Learning (for-2020), Networking and Information Technology R&D (NITRD) (rcdc), Machine Learning and Artificial Intelligence (rcdc), Bioengineering (rcdc), Biotechnology (rcdc), Generic health relevance (hrcs-hc), Humans (mesh), Receptors, G-Protein-Coupled (mesh), Drug Discovery (mesh), Neural Networks, Computer (mesh), Machine Learning (mesh), Humans (mesh), Receptors, G-Protein-Coupled (mesh), Drug Discovery (mesh), Machine Learning (mesh), Neural Networks, Computer (mesh), Humans (mesh), Receptors, G-Protein-Coupled (mesh), Drug Discovery (mesh), Neural Networks, Computer (mesh), Machine Learning (mesh)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/0p17s2f2
https://escholarship.org/content/qt0p17s2f2/qt0p17s2f2.pdf

Computational Complexity of the Hylland–Zeckhauser Mechanism for One-Sided Matching Markets

Συγγραφείς: Vazirani, Vijay V, Yannakakis, Mihalis

Πηγή: SIAM Journal on Computing. 54(2)

Θεματικοί όροι: Theory Of Computation, Applied Mathematics, Information and Computing Sciences, Numerical and Computational Mathematics, Mathematical Sciences, computational complexity, Hylland-Zeckhauser mechanism, one-sided matching markets, Brouwer's fixed point theorem, PPAD, FIXP, dichotomous utilities, Pure Mathematics, Computation Theory and Mathematics, Computation Theory & Mathematics, Theory of computation, Applied mathematics, Numerical and computational mathematics

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/7sx6g52x
https://escholarship.org/content/qt7sx6g52x/qt7sx6g52x.pdf

O-RIS Assisted NOMA-VLC System: Integrated Positioning and Communications

Συγγραφείς: Leake Z. Kahsay, Shimaa Naser, Hossien B. Eldeeb, Abdullah Alkhatib, Sami Muhaidat, Paschalis C. Sofotasios

Συνεισφορές: Apollo - University of Cambridge Repository

Πηγή: IEEE Wireless Communications Letters. 14:2703-2707

Θεματικοί όροι: 4613 Theory Of Computation, 46 Information and Computing Sciences, 4006 Communications Engineering, 40 Engineering

Περιγραφή αρχείου: application/pdf

2-Functoriality of Initial Semantics, and Applications

Συγγραφείς: Benedikt Ahrens, Ambroise Lafont, Thomas Lamiaux

Συνεισφορές: lafont, ambroise

Πηγή: Proceedings of the ACM on Programming Languages. 9:643-674

Θεματικοί όροι: Initial semantics, FOS: Computer and information sciences, Computer Science - Programming Languages, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], FOS: Mathematics, Monoidal categories, Mathematics - Category Theory, Category Theory (math.CT), Substitution, Theory of computation→Categorical semantics, Variable binding, Programming Languages (cs.PL)

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2503.10863
https://hal.science/hal-05201321v1
https://doi.org/10.1145/3747527

ShockHash: Near Optimal-Space Minimal Perfect Hashing Beyond Brute-Force

Συγγραφείς: Lehmann, Hans-Peter^{Aff1, IDs0045302501321z_cor1}, Sanders, Peter, Walzer, Stefan

Πηγή: Algorithmica. 87(11):1620-1668

Multicut Problems in Embedded Graphs: The Dependency of Complexity on the Demand Pattern

Συγγραφείς: Focke, Jacob, Hörsch, Florian^{Aff1, IDs0045402500782x_cor1}, Li, Shaohua, Marx, Dániel

Πηγή: Discrete & Computational Geometry. :1-60

Fractal Adaptive Menus: Concept, Engineering, and Use Case

Συγγραφείς: Sahraoui, Alaa Eddine Anis, Vanderdonckt, Jean, Kieffer, Suzanne, EICS '25: The 17th ACM SIGCHI Symposium on Engineering Interactive Computing Systems

Συνεισφορές: UCL - SSH/LouRIM - Louvain Research Institute in Management and Organizations

Πηγή: Companion Proceedings of the 17th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. :42-49

Θεματικοί όροι: Functional analysis, Human-centered computing, Graphical user interfaces, Software and its engineering, Tablet computers, Touch screens, Ubiquitous and mobile devices, Software prototyping, Mathematics of computing, Computational geometry, Theory of computation

Σύνδεσμος πρόσβασης: https://hdl.handle.net/2078.1/302890

Type-Constrained Code Generation with Language Models

Συγγραφείς: Mündler, Niels, He, Jingxuan, Wang, Hao, Sen, Koushik, Song, Dawn, Vechev, Martin

Πηγή: Proceedings of the ACM on Programming Languages. 9(PLDI)

Θεματικοί όροι: Information and Computing Sciences, Software Engineering, Code Generation, Language Model, Type System, Program Synthesis, Program Translation, Program Repair, Constrained Decoding, Software engineering, Theory of computation, Numerical and computational mathematics

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/8xw132rt
https://escholarship.org/content/qt8xw132rt/qt8xw132rt.pdf

PhaseMO: A Universal Massive MIMO Architecture for Sustainable NextG

Συγγραφείς: Heidari, Adel, Gupta, Agrim, Jain, Ish Kumar, Bharadia, Dinesh

Πηγή: IEEE INFOCOM 2025 - IEEE Conference on Computer Communications. 00

Θεματικοί όροι: 4613 Theory Of Computation (for-2020), 40 Engineering (for-2020), 46 Information and Computing Sciences (for-2020), 4006 Communications Engineering (for-2020), 4606 Distributed Computing and Systems Software (for-2020), 7 Affordable and Clean Energy (sdg)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://escholarship.org/uc/item/7sj9z5wt
https://escholarship.org/content/qt7sj9z5wt/qt7sj9z5wt.pdf