-
1Dissertation/ Thesis
Συγγραφείς: 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
-
2Conference
Συγγραφείς: 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)
-
3Academic Journal
Συγγραφείς: 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
-
4Academic Journal
Συγγραφείς: 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
-
5Academic Journal
Συγγραφείς: 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
-
6Academic Journal
Συγγραφείς: 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
-
7Academic Journal
Συγγραφείς: 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
Συνδεδεμένο Πλήρες Κείμενο -
8Academic Journal
Συγγραφείς: 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
-
9Conference
Συγγραφείς: 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)
-
10Conference
Συγγραφείς: 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)
-
11Academic Journal
Συγγραφείς: 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
-
12Academic Journal
Συγγραφείς: 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
-
13Academic Journal
Συγγραφείς: 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
-
14Academic Journal
Συγγραφείς: 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
-
15Academic Journal
Συγγραφείς: 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)
-
16Academic Journal
Συγγραφείς: Lehmann, Hans-PeterAff1, IDs0045302501321z_cor1, Sanders, Peter, Walzer, Stefan
Συνδεδεμένο Πλήρες ΚείμενοΠηγή: Algorithmica. 87(11):1620-1668
-
17Academic Journal
Συγγραφείς: Focke, Jacob, Hörsch, FlorianAff1, IDs0045402500782x_cor1, Li, Shaohua, Marx, Dániel
Συνδεδεμένο Πλήρες ΚείμενοΠηγή: Discrete & Computational Geometry. :1-60
-
18Academic Journal
Συγγραφείς: 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
-
19Academic Journal
Συγγραφείς: 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
-
20Academic Journal
Συγγραφείς: 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