نتائج البحث

Symmetries in constraint satisfaction: Weisfeiler-Leman invariance and promise problems

• Authors : Butti, Silvia; University/Department: Universitat Pompeu Fabra. Departament de Tecnologies de la Informació i les Comunicacions; ...

Subjects: Constraint satisfaction problems; Linear programming; Weisfeiler-Leman algorithm

• Source: TDX (Tesis Doctorals en Xarxa)

تفاصيل العنوان

Sensorimotor exploration: constraint awareness and social reinforcement in early vocal development

• Authors : Acevedo Valle, Juan Manuel; University/Department: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Sistemes, Automàtica i Informàtica Industrial; ...

Subjects: Developmental robotics; Sensorimotor exploration; Constraint awareness

• Source: TDX (Tesis Doctorals en Xarxa)

تفاصيل العنوان

Constraint-based metabolic models and their application in industrial biotechnology

• Authors : Morales Pérez, Yeimy Liceth; University/Department: Universitat de Girona. Institut d'Informàtica i Aplicacions; ...

Subjects: Constraint-based models; Modelos basados en restricciones; Models basats en restriccions

• Source: TDX (Tesis Doctorals en Xarxa)

تفاصيل العنوان

Reformulation of constraint models into SMT

• Authors : Palahí i Sitges, Miquel; University/Department: Universitat de Girona. Departament d'Informàtica, Matemàtica Aplicada i Estadística (2013-); ...

Subjects: Constraint programming; Programació amb restriccions; Programación con restricciones

• Source: TDX (Tesis Doctorals en Xarxa)

تفاصيل العنوان

A decision support system based on constraint programming and airspace digitalization for cooperative flight departures to improve ATM network service competitiveness

• Authors : Schefers, Nina Rebecca; University/Department: Universitat Autònoma de Barcelona. Departament de Telecomunicació i Enginyeria de Sistemes; ...

Subjects: Gestió del trànsit aeri; Gestión del tráfico aéreo; Air traffic management

• Source: TDX (Tesis Doctorals en Xarxa)

تفاصيل العنوان

A satisfiability modulo theories approach to constraint programming

• Authors : Suy Franch, Josep; University/Department: Universitat de Girona. Departament d'Informàtica, Matemàtica Aplicada i Estadística (2013-); ...

Subjects: Constraint programming; Programació amb restriccions; Programación con restricciones

• Source: TDX (Tesis Doctorals en Xarxa)

تفاصيل العنوان

A constraint-based hypergraph partitioning approach to coreference resolution

• Authors : Sapena Masip, Emili; University/Department: Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; ...

Subjects: coreference resolution; hypergraph partitioning; constraint satisfaction

• Source: TDX (Tesis Doctorals en Xarxa)

تفاصيل العنوان

SAT-based approaches for constraint optimization

• Authors : Gabàs Masip, Joel; University/Department: Universitat de Lleida. Departament d'Informàtica i Enginyeria Industrial; ...

Subjects: MaxSAT; SAT; Optimització

• Source: TDX (Tesis Doctorals en Xarxa)

تفاصيل العنوان

Gene expression variation and constraint across organs and species

• Authors : Breschi, Alessandra; University/Department: Universitat Pompeu Fabra. Departament de Ciències Experimentals i de la Salut; ...

Subjects: Transcription; RNA-seq; Gene expression

• Source: TDX (Tesis Doctorals en Xarxa)

تفاصيل العنوان

Direct tree decomposition of geometric constraint graphs

• Authors : Tarrés Puertas, Marta Isabel; University/Department: Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; ...

• Source: TDX (Tesis Doctorals en Xarxa)

تفاصيل العنوان