Search Results - "Carro, Manuel" :: K.UTB vyhledávací portál | TBU Library Retrieval Portal

Effects of auditory sleep modulation approaches on brain oscillatory and cardiovascular dynamics

Effects of auditory sleep modulation approaches on brain oscillatory and cardiovascular dynamics

by Huwiler, Stephanie, Carro Dominguez, Manuel, Huwyler, Silja, Kiener, Luca, Stich, Fabia M, Sala, Rossella, Aziri, Florent, Trippel, Anna, Schmied, Christian, Huber, Reto, Wenderoth, Nicole, Lustenberger, Caroline
Published in Sleep (New York, N.Y.) (01.09.2022)

Get full text

Journal Article

Introduction to the 32nd International Conference on Logic Programming Special Issue

Introduction to the 32nd International Conference on Logic Programming Special Issue

by CARRO, MANUEL, KING, ANDY
Published in Theory and practice of logic programming (01.09.2016)

Get full text

Journal Article

Self-regulating arousal via pupil-based biofeedback

Self-regulating arousal via pupil-based biofeedback

by Meissner, Sarah Nadine, Bächinger, Marc, Kikkert, Sanne, Imhof, Jenny, Missura, Silvia, Carro Dominguez, Manuel, Wenderoth, Nicole
Published in Nature human behaviour (01.01.2024)

Get more information

Journal Article

Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code

Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code

by Vigueras, Guillermo, Carro, Manuel, Tamarit, Salvador, Mariño, Julio
Published in Electronic proceedings in theoretical computer science (11.01.2017)

Get full text

Journal Article

Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems

Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems

by Tamarit, Salvador, Mariño, Julio, Vigueras, Guillermo, Carro, Manuel
Published in Electronic proceedings in theoretical computer science (11.01.2017)

Get full text

Journal Article

Slow waves during deep sleep support cardiac function

Slow waves during deep sleep support cardiac function

by Huwiler, Stephanie, Carro-Domínguez, Manuel, Stich, Fabia, Sala, Rossella, Aziri, Florent, Trippel, Anna, Ryf, Tabea, Markendorf, Susanne, Niederseer, David, Bohm, Philipp, Stoll, Gloria, Laubscher, Lily, Thevan, Jeivicaa, Spengler, Christina M., Gawinecka, Joanna, Osto, Elena, Huber, Reto, Wenderoth, Nicole, Schmied, Christian, Lustenberger, Caroline
Published in Current Issues in Sport Science (06.02.2024)

Get full text

Journal Article

Auditory stimulation of sleep slow waves enhances left ventricular function in humans

Auditory stimulation of sleep slow waves enhances left ventricular function in humans

by Huwiler, Stephanie, Carro-Domínguez, Manuel, Stich, Fabia M, Sala, Rossella, Aziri, Florent, Trippel, Anna, Ryf, Tabea, Markendorf, Susanne, Niederseer, David, Bohm, Philipp, Stoll, Gloria, Laubscher, Lily, Thevan, Jeivicaa, Spengler, Christina M, Gawinecka, Joanna, Osto, Elena, Huber, Reto, Wenderoth, Nicole, Schmied, Christian, Lustenberger, Caroline
Published in European heart journal (21.10.2023)

Get full text

Journal Article

Constraint Answer Set Programming without Grounding

Constraint Answer Set Programming without Grounding

by ARIAS, JOAQUIN, CARRO, MANUEL, SALAZAR, ELMER, MARPLE, KYLE, GUPTA, GOPAL
Published in Theory and practice of logic programming (01.07.2018)

Get full text

Journal Article

Online learning of event definitions

Online learning of event definitions

by KATZOURIS, NIKOS, ARTIKIS, ALEXANDER, PALIOURAS, GEORGIOS
Published in Theory and practice of logic programming (01.09.2016)

Get full text

Journal Article

Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings

Practical Aspects of Declarative Languages: 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings

by Carro, Manuel, Peña, Ricardo
Year of Publication 2010

Get full text

eBook

Introduction to the 32 nd International Conference on Logic Programming Special Issue

Introduction to the 32 nd International Conference on Logic Programming Special Issue

by CARRO, MANUEL, KING, ANDY
Published in Theory and practice of logic programming (01.09.2016)

Get full text

Journal Article

The dlvhex system for knowledge representation: recent advances (system description)

The dlvhex system for knowledge representation: recent advances (system description)

by REDL, CHRISTOPH
Published in Theory and practice of logic programming (01.09.2016)

Get full text

Journal Article

Anytime answer set optimization via unsatisfiable core shrinking

Anytime answer set optimization via unsatisfiable core shrinking

by ALVIANO, MARIO, DODARO, CARMINE
Published in Theory and practice of logic programming (01.09.2016)

Get full text

Journal Article

Comparing and Combining Predictive Business Process Monitoring Techniques

Comparing and Combining Predictive Business Process Monitoring Techniques

by Metzger, Andreas, Leitner, Philipp, Ivanovic, Dragan, Schmieders, Eric, Franklin, Rod, Carro, Manuel, Dustdar, Schahram, Pohl, Klaus
Published in IEEE transactions on systems, man, and cybernetics. Systems (01.02.2015)

Get full text

Journal Article

Description, Implementation, and Evaluation of a Generic Design for Tabled CLP

Description, Implementation, and Evaluation of a Generic Design for Tabled CLP

by ARIAS, JOAQUÍN, CARRO, MANUEL
Published in Theory and practice of logic programming (01.05.2019)

Get full text

Journal Article

Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP

Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP

by ARIAS, JOAQUÍN, CARRO, MANUEL
Published in Theory and practice of logic programming (01.09.2019)

Get full text

Journal Article

Justifications for Goal-Directed Constraint Answer Set Programming

Justifications for Goal-Directed Constraint Answer Set Programming

by Arias, Joaquín, Carro, Manuel, Chen, Zhuo, Gupta, Gopal
Published in Electronic proceedings in theoretical computer science (19.09.2020)

Get full text

Journal Article

Iterative Learning of Answer Set Programs from Context Dependent Examples

Iterative Learning of Answer Set Programs from Context Dependent Examples

by LAW, MARK, RUSSO, ALESSANDRA, BRODA, KRYSIA
Published in Theory and practice of logic programming (01.09.2016)

Get full text

Journal Article

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming

Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming

by ARIAS, JOAQUÍN, CARRO, MANUEL, CHEN, ZHUO, GUPTA, GOPAL
Published in Theory and practice of logic programming (01.01.2022)

Get full text

Journal Article

Stable-unstable semantics: Beyond NP with normal logic programs

Stable-unstable semantics: Beyond NP with normal logic programs

by BOGAERTS, BART, JANHUNEN, TOMI, TASHARROFI, SHAHAB
Published in Theory and practice of logic programming (01.09.2016)

Get full text

Journal Article

1
2
3
4
5
6
7
8
Next
[8]