Search Results - "Discrete Mathematics in Computer Science."

Mathematical Foundations of a Theory of Causal Graphs with Dynamic Trace

Authors: Andrea Signorini

Subject Terms: Mathematical aspects of general relativity, Mathematical aspects of quantum and conformal field theory, quantum gravity and string theory, Pure mathematics not elsewhere classified, Other mathematical sciences not elsewhere classified, Causal Graphs with Dynamic Trace, Discrete Mathematics, Dynamic Trace, Artificial intelligence - strategy, causal dynamics, Theoretical Mathematics, category theory foundation, Algebraic Topology and Graph Theory, Alexandrov Topology, Causal Set Theory, Bayesan network, Directed Acyclic Graphs, Theoretical physics and mathematics, Mathematical physics, Generation of Novelty, Causality Theory, Category Theory, Homology theory, Cohomology Theory, Causal Inference, Spacetime Causal Structure, Topological properties, Network Theory, Discrete mathematics in computer science, Mathematical foundations

Relation: https://figshare.com/articles/journal_contribution/Mathematical_Foundations_of_a_Theory_of_Causal_Graphs_with_Dynamic_Trace/29269529

Availability: https://doi.org/10.6084/m9.figshare.29269529.v1
https://figshare.com/articles/journal_contribution/Mathematical_Foundations_of_a_Theory_of_Causal_Graphs_with_Dynamic_Trace/29269529

Mutual information and topology 1: Asymmetric neural network

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Neurocomputación Biológica (ING EPS-005)

Source: Advances in Neural Networks – ISNN 2004: International Symposium on Neural Networks, Dalian, China, August 2004, Proceedings, Part I. Lecture Notes in Computer Science, Volumen 3173. Springer 2004. 14-19
978-3-540-22841-7 (print)
978-3-540-28647-9 (online)
0302-9743 (print)
1611-3349 (online)
14
19
3173

Subject Terms: Computation by Abstract Devices, Programming Techniques, Algorithm Analysis and Problem Complexity, Artificial Intelligence, Computer Communication Networks, Discrete Mathematics in Computer Science, Informática

Access URL: http://hdl.handle.net/10486/664567

Mutual information and topology 2: Symmetric network

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Neurocomputación Biológica (ING EPS-005)

Source: Advances in Neural Networks – ISNN 2004: International Symposium on Neural Networks, Dalian, China, August 2004, Proceedings, Part I. Lecture Notes in Computer Science, Volumen 3173. Springer, 2004. 20-25
978-3-540-22841-7 (print)
978-3-540-28647-9 (online)
0302-9743 (print)
1611-3349 (online)
20
25
3173

Subject Terms: Computation by Abstract Devices, Programming Techniques, Algorithm Analysis and Problem Complexity, Artificial Intelligence, Computer Communication Networks, Discrete Mathematics in Computer Science, Informática

Access URL: http://hdl.handle.net/10486/664566

Event-Driven grammars: Towards the integration of meta-modelling and graph transformation

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003)

Source: Graph Transformations: Second International Conference, ICGT 2004, Rome, Italy, September 28–October 1, 2004. Proceedings. Lecture Notes in Computer Science, Volumen 3256. Springer, 2004. 54-69
978-3-540-23207-0 (print)
978-3-540-30203-2 (online)
0302-9743 (print)
1611-3349 (online)
54
69
3256

Subject Terms: Data Structures, Software Engineering, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Discrete Mathematics in Computer Science, Informática

Access URL: http://hdl.handle.net/10486/664564

Matrix approach to graph transformation: Matching and sequences

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003)

Source: Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings. Lecture Notes in Computer Science, Volumen 4178. Springer 2006. 122-137
978-3-540-38870-8 (print)
978-3-540-38872-2 (online)
0302-9743 (print)
1611-3349 (online)
122
137
4178

Subject Terms: Data Structures, Software Engineering, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Discrete Mathematics in Computer Science, Informática

Access URL: http://hdl.handle.net/10486/664458

Pattern-based model-to-model transformation

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003)

Source: Graph Transformations: 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. Lecture Notes in Computer Science, Volumen 5214. Springer 2008. 426-441
978-3-540-87404-1 (print)
978-3-540-87405-8 (online)
0302-9743 (print)
1611-3349 (online)
426
441
5214

Subject Terms: Data Structures, Software Engineering, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Discrete Mathematics in Computer Science, Informática

Access URL: http://hdl.handle.net/10486/664387

Model view management with triple graph transformation systems

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003)

Source: Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings. Lecture Notes in Computer Science, Volumen 4178. Springer 2006. 351-366
978-3-540-38870-8 (print)
978-3-540-38872-2 (online)
0302-9743 (print)
1611-3349 (online)
351
366
4178

Subject Terms: Data Structures, Software Engineering, Computation by Abstract Devices, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Discrete Mathematics in Computer Science, Informática

Access URL: http://hdl.handle.net/10486/664461

Correctness, completeness and termination of pattern-based model-to-model transformation

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003)

Source: Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Lecture Notes in Computer Science, Volumen 5728. Springer, 2009. 383-397
978-3-642-03740-5 (print)
978-3-642-03741-2 (online)
0302-9743 (print)
1611-3349 (online)
383
397
5728

Subject Terms: Logics and Meanings of Programs, Discrete Mathematics in Computer Science, Models and Principles, Computation by Abstract Devices, Informática

Access URL: http://hdl.handle.net/10486/664376

Reusable graph transformation templates

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003)

Source: Applications of Graph Transformations with Industrial Relevance: 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers. Lecture Notes in Computer Science, Volumen 7233. Springer 2012. 35-50
978-3-642-34175-5 (print)
978-3-642-34176-2 (online)
0302-9743 (print)
1611-3349 (online)
35
50
7233

Subject Terms: Discrete Mathematics in Computer Science, Data Structures, Software Engineering, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Informática

Access URL: http://hdl.handle.net/10486/664294

Graph transformation for domain-specific discrete event time simulation

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003)

Source: Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings. Lecture Notes in Computer Science, Volumen 6372. Springer, 2010. 266-281
978-3-642-15927-5 (print)
978-3-642-15928-2 (online)
0302-9743 (print)
1611-3349 (online)
266
281
6372

Subject Terms: Discrete Mathematics in Computer Science, Software Engineering, Data Structures, Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity, Mathematical Logic, Formal Languages, Informática

Access URL: http://hdl.handle.net/10486/664096

Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Contributors: Goubault-Larrecq, Jean König, Barbara

Subject Terms: Mathematical Logic and Foundations, Discrete Mathematics in Computer Science, Programming Languages, Lógica simbólica y matemática, Lógica algebraica, Matemáticas

File Description: 644 páginas; application/pdf

Relation: https://directory.doabooks.org/handle/20.500.12854/35090; http://hdl.handle.net/20.500.12010/17513

Availability: https://hdl.handle.net/20.500.12010/17513
https://directory.doabooks.org/handle/20.500.12854/35090
https://hdl.handle.net/20.500.12854/35090
https://doi.org/10.1007/978-3-030-45231-5

Foundations of Software Science and Computation Structures

Contributors: Goubault-Larrecq, Jean König, Barbara

Subject Terms: Mathematical Logic and Foundations, Discrete Mathematics in Computer Science, Programming Languages, Compilers, Interpreters, Programming Techniques, Logic in AI, Computer Systems Organization and Communication Networks, categorical models and logics, language theory, automata, and games, modal, spatial, and temporal logics, type theory and proof theory, concurrency theory and process calculi, rewriting theory, semantics of programming languages, program analysis, correctness, transformation, and verification, logics of programming, software specification and refinement, emerging models of computation, logical aspects of computational complexity, models of software security, logical foundations of data bases, mathematics, artificial intellegence, formal logic, linguistics, Mathematical foundations, Mathematical logic, Discrete mathematics, Maths for computer scientists, Programming & scripting languages: general, Compilers & interpreters, Computer programming / software engineering, Artificial intelligence, Computer networking & communications, Programming and scripting languages: general, Computer networking and communications

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Access URL: http://library.oapen.org/handle/20.500.12657/37723

Adaptive iterated local search for cross-domain optimisation

Authors: Burke, Edmund Gendreau, Michel Ochoa, Gabriela et al.

Contributors: Burke, Edmund Gendreau, Michel Ochoa, Gabriela et al.

Source: Proceedings of the 13th annual conference on Genetic and evolutionary computation. :1987-1994

Subject Terms: Algorithm Analysis and Problem Complexity, Processor Architectures, Discrete Mathematics in Computer Science, Artificial Intelligence (incl. Robotics), 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Computation by Abstract Devices

File Description: application/pdf

Access URL: https://dspace.stir.ac.uk/handle/1893/15715
https://dblp.uni-trier.de/db/conf/gecco/gecco2011.html#BurkeGOW11
https://dl.acm.org/doi/10.1145/2001576.2001843
https://core.ac.uk/display/23784511
http://www.cs.stir.ac.uk/~goc/papers/AdapILSGECCO2011off.pdf

Labeling Subway Lines

Authors: Garrido Vizuete, María de los Angeles Iturriaga, Claudia Márquez Pérez, Alberto et al.

Contributors: Garrido Vizuete, María de los Angeles Iturriaga, Claudia Márquez Pérez, Alberto et al.

Subject Terms: Programming Techniques, Theory of Computation, Algorithm Analysis and Problem Complexity, Computation by Abstract Devices, Computer Communication Networks, Discrete Mathematics in Computer Science

Relation: Algorithms and Computation (2001), Lecture Notes in Computer Science, Vol. 2223 pp 649-659; https://idus.us.es/handle/11441/33815

Availability: https://idus.us.es/handle/11441/33815

A branch-and-cut procedure for the Udine Course Timetabling problem

Authors: Andrew J. Parkes Edmund K. Burke Jakub Marecek et al.

Contributors: Andrew J. Parkes Edmund K. Burke Jakub Marecek et al.

Source: Annals of Operations Research. 194:71-87

Subject Terms: Algorithm Analysis and Problem Complexity, Educational timetabling, University course timetabling, Discrete Mathematics in Computer Science, 4. Education, 0211 other engineering and technologies, Integer programming, 0102 computer and information sciences, 02 engineering and technology, Data Structures, Numeric Computing, 7. Clean energy, 01 natural sciences, Branch-and-cut, Cutting planes, 8. Economic growth, Computer Graphics, Soft constraints

File Description: application/pdf

Triangle-Free Planar Graphs and Segment Intersection Graphs: Triangle-free planar graphs and segment intersection graphs

Authors: Castro Ochoa, Natalia de Cobos Gavala, Javier Dana Jiménez, Juan Carlos et al.

Contributors: Castro Ochoa, Natalia de Cobos Gavala, Javier Dana Jiménez, Juan Carlos et al.

Source: Graph Algorithms and Applications 3 ISBN: 9789812389398
Lecture Notes in Computer Science ISBN: 9783540669043
idUS. Depósito de Investigación de la Universidad de Sevilla
Universidad de Sevilla (US)
instname

Subject Terms: Algorithm Analysis and Problem Complexity, Discrete Mathematics in Computer Science, 0102 computer and information sciences, 16. Peace & justice, 7. Clean energy, 01 natural sciences, Computer Applications, Combinatorics, Graph theory (including graph drawing) in computer science, Computer graphics, computational geometry (digital and algorithmic aspects), triangle-free planar graphs, 11. Sustainability, Computer Graphics

File Description: application/pdf; application/xml

Access URL: https://idus.us.es/bitstream/11441/34090/1/Triangle-free%20planar.pdf
https://idus.us.es/bitstream/11441/33433/1/Triangle-free%20planar.pdf
https://idus.us.es/handle/11441/33433
https://idus.us.es/xmlui/handle/11441/34090
http://hdl.handle.net/11441/34090
https://idus.us.es/handle/11441/34090
https://dblp.uni-trier.de/db/journals/jgaa/jgaa6.html#CastroCDMN02
http://jgaa.info/getPaper?id=43
http://www.cs.brown.edu/publications/jgaa/accepted/2002/deCastro+2002.6.1.pdf

Adaptive automated construction of hybrid heuristics for exam timetabling and graph colouring problems

Authors: Qu, Rong Burke, Edmund McCollum, Barry et al.

Contributors: Qu, Rong Burke, Edmund McCollum, Barry et al.

Source: European Journal of Operational Research. 198:392-404

Subject Terms: name=Management Science and Operations Research, Algorithm Analysis and Problem Complexity, Organization/Planning, Discrete Mathematics in Computer Science, Hyper-heuristic, name=Modelling and Simulation, 0211 other engineering and technologies, 02 engineering and technology, Adaptive, Graph colouring heuristics, Computer science, name=Information Systems and Management, Computational complexity, Exam timetabling, Graph colouring, Hybridisation, Operations Research/Decision Theory, Information retrieval, Computer software

File Description: application/pdf

Access URL: http://www.cs.qub.ac.uk/~B.McCollum/publications/EJOR-bmcc-D-06-00943.pdf

Algebraic topological analysis of time-sequence of digital images

Authors: González Díaz, Rocío Medrano Garfia, Belén Real Jurado, Pedro et al.

Contributors: González Díaz, Rocío Medrano Garfia, Belén Real Jurado, Pedro et al.

Subject Terms: Symbolic and Algebraic Manipulation, Programming Techniques, Discrete Mathematics in Computer Science, Algorithm Analysis and Problem Complexity, Math Applications in Computer Science, Algorithms

Relation: Computer Algebra in Scientific Computing, Lecture Notes in Computer Science, Vol. 3718, p. 208-219; https://idus.us.es/handle/11441/30781

Availability: https://idus.us.es/handle/11441/30781

Reusing integer homology information of binary digital images

Authors: González Díaz, Rocío Medrano Garfia, Belén Sánchez Peláez, Javier et al.

Contributors: González Díaz, Rocío Medrano Garfia, Belén Sánchez Peláez, Javier et al.

Subject Terms: Image Processing and Computer Vision, Computer Graphics, Discrete Mathematics in Computer Science, Simulation and Modeling, Algorithm Analysis and Problem Complexity

Relation: Discrete Geometry for Computer Imagery, Lecture Notes in Computer Science, Vol. 4245 p. 199-210; https://idus.us.es/handle/11441/30799

Availability: https://idus.us.es/handle/11441/30799

Cell AT-models for digital volumes

Authors: Real Jurado, Pedro Molina Abril, Helena Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII)

Contributors: Real Jurado, Pedro Molina Abril, Helena Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII)

Subject Terms: Pattern Recognition, Image Processing and Computer Vision, Computer Imaging, Vision, Pattern Recognition and Graphics, Computer Graphics, Discrete Mathematics in Computer Science, Artificial Intelligence (incl. Robotics)

Relation: Graph-Based Representations in Pattern Recognition, Lecture Notes in Computer Science, Vol. 5534 p. 314-323; https://idus.us.es/handle/11441/31749

Availability: https://idus.us.es/handle/11441/31749