Convex Partitions with 2-Edge Connected Dual Graphs Marwan Al-Jubeh∗ Michael Hoffmann† Diane L. Souvaine∗

Source URL: www.cs.rpi.edu

• Mathematics
• Graph theory
• Elementary geometry
• Graph connectivity
• Combinatorial optimization
• Graph operations
• Planar graphs
• Dual graph
• Graph
• Line segment
• Cut
• Bridge

4 Martin-L¨of Type Theory with a Single Universe Based on our observation that type-theory can be applied to the study of logical systems (and vice-versa), we can attempt to generalize this correspondence: in

Source URL: www.andrew.cmu.edu

TYPES ARE WEAK ω-GROUPOIDS BENNO VAN DEN BERG AND RICHARD GARNER Abstract. We define a notion of weak ω-category internal to a model of Martin-L¨ of type theory, and prove that each type bears a canonical weak ω-cate

Source URL: staff.fnwi.uva.nl

Professor (em.) Dr.–Ing. Dr.h.c. Wolfgang L. Wendland Curriculum Vitae Personal Data Address:

Source URL: www.ians.uni-stuttgart.de

• Finite element method
• Structural analysis
• Applied mathematics
• International Workshop on Operator Theory and its Applications

2015 Knuth Prize Citation for L´ aszl´ o Babai The 2015 Donald E. Knuth Prize is awarded to L´aszl´o Babai of the University of Chicago for his fundamental contributions to theoretical computer science, including alg

Source URL: www.sigact.org

• Probabilistic complexity theory
• Theoretical computer science
• Morphisms
• Computational complexity theory
• PCP theorem
• Mathematical optimization
• Probabilistically checkable proof
• Combinatorica
• IP
• Algorithm
• Russell Impagliazzo
• Graph isomorphism

APA STYLE FOR REFERENCE Journal Article accessed in print Carlson, L. AExistential theory: Helping school counselors attend to youth at risk for violence. Professional School Counseling, 6(5), 10-15.

Source URL: www.sainshumanika.utm.my

PROTEAN GRAPHS WITH A VARIETY OF RANKING SCHEMES JEANNETTE JANSSEN AND PAWEÃL PRAÃLAT Abstract. We introduce a new class of random graph models for complex realworld networks, based on the protean graph model by L Ã u

Source URL: www.mathstat.dal.ca

• Graph theory
• Mathematics
• Discrete mathematics
• Graph
• Degree
• Connectivity
• Planar separator theorem
• Centrality

arXiv:1010.0725v1 [physics.soc-ph] 4 OctLink Prediction in Complex Networks: A Survey Linyuan L¨ u a,b , Tao Zhou a,c

Source URL: arxiv.org

• Network theory
• Networks
• Mathematics
• Discrete mathematics
• Community structure
• Network science
• Evolving networks
• Scale-free network
• Hub
• Degree distribution
• Theoretical computer science

ELWG – E QUILIBRIUM L OGIC W ORKING G ROUP A R EVISED C ONCEPT OF S AFETY FOR G ENERAL A NSWER S ET P ROGRAMS

Source URL: www.ia.urjc.es

• Logic
• Model theory
• Mathematical logic
• Abstraction
• Symbol
• Interpretation
• First-order logic
• Structure
• Normal distribution
• Substitution

Verifying a Semantic βη-Conversion Test for Martin-L¨of Type Theory Andreas Abel1 Thierry Coquand2 Peter Dybjer2 1 Ludwig-Maximilians-University 2 Chalmers

Source URL: sneezy.cs.nott.ac.uk