Computer-Science
Digital Mathematics Libraries: The Good, the Bad, the Ugly
Case Study On Social Engineering Techniques for Persuasion
Non-Orthodox Combinatorial Models Based on Discordant Structures
Open Problems in Universal Induction & Intelligence
A simple circuit with dynamic logic architecture of basic logic gates
Two-connected graphs with prescribed three-connected components
Unprovability of the Logical Characterization of Bisimulation
First steps in the logic-based assessment of post-composed phenotypic descriptions
Farthest-Polygon Voronoi Diagrams
A Calculus of Consistent Component-based Software Updates
Dont have a clue? Unsupervised co-learning of downward-entailing operators
Chaos in Binary Category Computation
Learning Planar Ising Models
The Inverse Task of the Reflexive Game Theory: Theoretical Matters, Practical Applications and Relationship with Other Issues
Perfect Matchings in O(n log n) Time in Regular Bipartite Graphs
Reified unit resolution and the failed literal rule
Deduction as Reduction
Towards Greener and Safer Mines
Modeling Corporate Epidemiology
Use of Data Mining in Scheduler Optimization
Blocking Underhand Attacks by Hidden Coalitions (Extended Version)
Equilibrium solution to the lowest unique positive integer game
