المؤلفون: Diana Marisol Abrego-Guandique, Maria Luisa Bonet, Maria Cristina Caroleo, Roberto Cannataro, Paola Tucci, Joan Ribot, Erika Cione

المصدر: Brain Sciences, Vol 13, Iss 10, p 1468 (2023)

مصطلحات موضوعية: cognitive function, β-carotene, diet supplements, synergic effect, Neurosciences. Biological psychiatry. Neuropsychiatry, RC321-571

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2076-3425/13/10/1468; https://doaj.org/toc/2076-3425

URL الوصول: https://doaj.org/article/c9bbdde466074a7a92ffb4398660bf27

المؤلفون: Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy

المصدر: Algorithms, Vol 15, Iss 6, p 219 (2022)

مصطلحات موضوعية: constraint satisfaction, SAT, scale-free networks, random models, Industrial engineering. Management engineering, T55.4-60.8, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://www.mdpi.com/1999-4893/15/6/219; https://doaj.org/toc/1999-4893

URL الوصول: https://doaj.org/article/bae7523d6c2144779de91e5605bc1c42

المؤلفون: Maria Luisa Bonet

المساهمون: Antonio Morgado

مصطلحات موضوعية: Mathematics, Mathematik, Naturwissenschaften

Relation: https://av.tib.eu/media/59387

الاتاحة: https://av.tib.eu/media/59387

المؤلفون: Joan Ribot, Andrea Arreguín, Ondrej Kuda, Jan Kopecky, Andreu Palou, Maria Luisa Bonet

المصدر: International Journal of Molecular Sciences; Volume 20; Issue 15; Pages: 3640

مصطلحات موضوعية: acylcarnitines, amino acids, targeted metabolomics, retinoic acid, vitamin A

جغرافية الموضوع: agris

وصف الملف: application/pdf

Relation: Bioactives and Nutraceuticals; https://dx.doi.org/10.3390/ijms20153640

الاتاحة: https://doi.org/10.3390/ijms20153640

المؤلفون: Ilario Bonacina, Maria Luisa Bonet

المصدر: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science.

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::cf6ccf84d7b7ea871abef3b2cf55dbfb
https://doi.org/10.1145/3531130.3533344

المؤلفون: Antonio Morgado, Maria Luisa Bonet, Joao Marques-Silva, Samuel R. Buss, Alexey Ignatiev

المساهمون: Université polytechnique de Catalogne (UPC), University of California, Monash University [Melbourne], Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa (INESC-ID), Instituto Superior Técnico, Universidade Técnica de Lisboa (IST)-Instituto de Engenharia de Sistemas e Computadores (INESC), Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (IRIT-ADRIA), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, FCTgrants Fault Locker (PTDC/CCI-COM/29300/2017), SAFETY (SFRH/BPD/120315/2016), SAMPLE (CEECIND/04549/2017), INFOCOS (PTDC/CCI-COM/32378/2017), Ministerio de Educación y Ciencia grant TIN2016-76573-C2-2-P (TASSAT3), Ministerio de Ciencia e Innovación grant PID2019-109137GB-C21(PROOFS), Simons Foundation grant 578919, ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), European Project: H2020 - ICT38,COALA, University of California (UC), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)

المصدر: Artificial Intelligence
Artificial Intelligence, Elsevier, 2021, 300, pp.1-59. ⟨10.1016/j.artint.2021.103552⟩
Artificial Intelligence, 2021, 300, pp.1-59. ⟨10.1016/j.artint.2021.103552⟩

مصطلحات موضوعية: Linguistics and Language, Polynomial, Computer science, MathematicsofComputing_NUMERICALANALYSIS, 02 engineering and technology, Mathematical proof, 01 natural sciences, Maximum satisfiability, Language and Linguistics, Set (abstract data type), Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], 0101 mathematics, Propositional proof systems, Discrete mathematics, Pigeonhole principle, 010102 general mathematics, Resolution (logic), 16. Peace & justice, Satisfiability, Maximum satisfiability problem, 020201 artificial intelligence & image processing, Clause learning, Resolution, Boolean satisfiability problem

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::06ae2fef8f05cf52cd43ee6681dadd67
https://hal.archives-ouvertes.fr/hal-03317630

المؤلفون: Maria Luisa Bonet, Sam Buss, Jan Johannsen

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.math.ucsd.edu/%7Esbuss/ResearchWeb/poolVsRegular2/paperBBJ.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1048.5048; http://www.math.ucsd.edu/%7Esbuss/ResearchWeb/poolVsRegular2/paperBBJ.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1048.5048
http://www.math.ucsd.edu/%7Esbuss/ResearchWeb/poolVsRegular2/paperBBJ.pdf

المؤلفون: Carlos Ansótegui, María Luisa Bonet, Jordi Levy, Felip Manyà

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.iiia.csic.es/%7Elevy/papers/IS.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.6190; http://www.iiia.csic.es/%7Elevy/papers/IS.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.6190
http://www.iiia.csic.es/%7Elevy/papers/IS.pdf

المؤلفون: Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.iiia.csic.es/%7Elevy/papers/ArtInt2.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.7791; http://www.iiia.csic.es/%7Elevy/papers/ArtInt2.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.278.7791
http://www.iiia.csic.es/%7Elevy/papers/ArtInt2.pdf

المؤلفون: Maria Luisa Bonet, Sam Buss

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://ijcai.org/papers13/Papers/IJCAI13-439.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.9655; http://ijcai.org/papers13/Papers/IJCAI13-439.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.9655
http://ijcai.org/papers13/Papers/IJCAI13-439.pdf

المؤلفون: Jesús Giráldez-Cru, Jordi Levy, Carlos Ansótegui, Maria Luisa Bonet

مصطلحات موضوعية: logic, Theoretical computer science, Similarity (network science), Self, Complex network, Fractal dimension, Satisfiability, Mathematics

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c3638162685d8eebddae8c50e693b2de
https://doi.org/10.20944/preprints202010.0560.v1

المؤلفون: Jordi Levy, Maria Luisa Bonet

المساهمون: Ministerio de Ciencia e Innovación (España)

المصدر: Theory and Applications of Satisfiability Testing – SAT 2020
Digital.CSIC. Repositorio Institucional del CSIC
instname
Theory and Applications of Satisfiability Testing – SAT 2020 ISBN: 9783030518240
SAT

مصطلحات موضوعية: Balance (metaphysics), 050101 languages & linguistics, Computer science, 05 social sciences, 02 engineering and technology, Resolution (logic), Computer Science::Computational Complexity, Mathematical proof, Article, Power (physics), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Computer Science::Logic in Computer Science, Encoding (memory), Maximum satisfiability problem, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, Algorithm, Equivalence (measure theory)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::df5705ca8a814a03c0ddcab571f0296f
http://hdl.handle.net/10261/235440

المؤلفون: Samuel R. Buss, Maria Luisa Bonet, James Aisenberg

المساهمون: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació

المصدر: Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

مصطلحات موضوعية: Computer Networks and Communications, TFNP, Applied Mathematics, NP search problems, Parity principle, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, PPAD, Theoretical Computer Science, Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat [Àrees temàtiques de la UPC], Combinatorics, Computational complexity, Computational Theory and Mathematics, 010201 computation theory & mathematics, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Search problem, Tucker lemma, PPA, Complexitat computacional, Mathematics

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dbd97991d685fcf890e257d594b476b2
https://hdl.handle.net/2117/177608

المؤلفون: Maria Luisa Bonet, Sam Buss

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://arxiv.org/pdf/1202.2296.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.751.2626; http://arxiv.org/pdf/1202.2296.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.751.2626
http://arxiv.org/pdf/1202.2296.pdf

المؤلفون: Carlos Ansótegui, María Luisa Bonet, Jordi Levy

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.easychair.org/publications/?page=695138151.

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.418.471; http://www.easychair.org/publications/?page=695138151

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.418.471
http://www.easychair.org/publications/?page=695138151

المؤلفون: Carlos Ansótegui, María Luisa Bonet, Jordi Levy

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.easychair.org/publications/?page=695138151.

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.431.7822; http://www.easychair.org/publications/?page=695138151

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.431.7822
http://www.easychair.org/publications/?page=695138151

المؤلفون: Carlos Ansótegui, María Luisa Bonet, Jordi Levy

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.iiia.csic.es/~levy/papers/SAT09.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.9098; http://www.iiia.csic.es/~levy/papers/SAT09.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.9098
http://www.iiia.csic.es/~levy/papers/SAT09.pdf

المؤلفون: Carlos Ansótegui, María Luisa Bonet

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.iiia.csic.es/~levy/papers/CP09.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.6545; http://www.iiia.csic.es/~levy/papers/CP09.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.6545
http://www.iiia.csic.es/~levy/papers/CP09.pdf

المؤلفون: Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://ijcai.org/papers09/Papers/IJCAI09-072.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.2615; http://ijcai.org/papers09/Papers/IJCAI09-072.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.2615
http://ijcai.org/papers09/Papers/IJCAI09-072.pdf

المؤلفون: Maŕıa Luisa Bonet, Jordi Levy

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.iiia.csic.es/files/pdfs/SAT09published.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.472.2400; http://www.iiia.csic.es/files/pdfs/SAT09published.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.472.2400
http://www.iiia.csic.es/files/pdfs/SAT09published.pdf