yusuke1997/dblp-id-title huggingface dataset:
Dynamic Analysis of Ran-somware using Opcodes and Opcode Categories
Visual Analytics for Non-Expert Users in Cyber Situation Awareness
Threat Detection and Analysis in the Internet of Things using Deep Packet Inspection
Multidimensional Cybersecurity Framework for Strategic Foresight
Instant Message Classification in Finnish Cyber Security Themed Free-Form Discussion
N-gram Opcode Analysis for Android Malware Detection
Predicting the performance of users as human sensors of security threats in social media
A Study on Situational Awareness Security and Privacy of Wearable Health Monitoring Devices
Evaluation of Selected Stacked Ensemble Models for the Optimal Multi-class Cyber-Attacks Detection
A blueprint and proof-of-concept for a national cyber security sensor network
Attack Simulation based Software Protection Assessment Method with Petri Net
Keep Calm and Carry on with Cybersecurity @Home: A Framework for Securing Homeworking IT Environment
Stress Amongst Novice Information Security Risk Management Practitioners
GPS Jamming Signal Classification with CNN Feature Extraction in low Signal-to-Noise Environments
Monitoring 'Cyber Related' Discussions in Online Social Platforms
A Review of Significance of Energy-Consumption Anomaly in Malware Detection in Mobile Devices
The Valleys of Death in Refugee Crisis
Epidemic Response Model for Malware Defense on Computer Networks
Behavioral Cybersecurity: Investigating the influence of Patching Vulnerabilities in Markov Security Games via Cognitive Modeling
Understanding Cyber Situation Awareness
Detecting bots using multi-level traffic analysis
Heuristic Methods for Efficient Identification of Abusive Domain Names
Situational Awareness: Examining Factors that Affect Cyber-Risks in the Maritime Sector
YAAS - On the Attribution of Honeypot Data
Digital Forensic Readiness of Information Systems: A cost-benefit variable analysis
Leveraging Biometrics for Insider Misuse Identification
Insight: An Application of Information Visualisation Techniques to Digital Forensics Investigations
A Public-Private-Partnership Model for National Cyber Situational Awareness
CyberOps: Situational Awareness in Cybersecurity Operations
Putting Things in Context: Securing Industrial Authentication with Context Information
Concept and Practical Evaluation for Adaptive and Intelligible Prioritization for Network Security Incidents
Transparent password policies: A case study of investigating end-user situational awareness
Challenges towards Building an effective Cyber Security Operations Centre
Understanding Cyber Situational Awareness in a Cyber Security Game involving
Towards Network Science Enhanced Cyber Situational Awareness
Semiring of Sets: Examples
Multilinear Operator and Its Basic Properties
On Weakly Associative Lattices and Near Lattices
Torsion Z-module and Torsion-free Z-module
Dual Lattice of ℤ-module Lattice
The Vector Space of Subsets of a Set Based on Symmetric Difference
Counting Derangements, Non Bijective Functions and the Birthday Problem
Solution of Cubic and Quartic Equations
Two Axiomatizations of Nelson Algebras
Construction of Measure from Semialgebra of Sets1
Prime Representing Polynomial with 10 Unknowns - Introduction. Part II
Model Checking. Part II
Separable Polynomials and Separable Extensions
General Theory and Tools for Proving Algorithms in Nominative Data Systems
Concatenation of Finite Sequences
Integral of Non Positive Functions
Isomorphisms of Direct Products of Finite Cyclic Groups
The Matiyasevich Theorem. Preliminaries
Difference and Difference Quotient. Part II
Inner Products, Group, Ring of Quaternion Numbers
Relationship between the Riemann and Lebesgue Integrals
Some Properties of Membership Functions Composed of Triangle Functions and Piecewise Linear FunctionsThis work has been partially supported in 2019-2020 by the domestic research grant of University of Marketing and Distribution Sciences in Kobe (Japan)
Algebra of Polynomially Bounded Sequences and Negligible Functions
About Regular Graphs
Cousin's Lemma
Niven's Theorem
Stability of the 7-3 Compressor Circuit for Wallace Tree. Part I
Operations of Points on Elliptic Curve in Projective Coordinates
Banach Algebra of Continuous Functionals and the Space of Real-Valued Continuous Functionals with Bounded Support
Klein-Beltrami Model. Part I
Invertible Operators on Banach Spaces
Formalization of Orthogonal Complements of Normed Spaces
Fermat's Little Theorem via Divisibility of Newton's Binomial
Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed Spaces
Miscellaneous Graph Preliminaries. Part I
Categorical Pullbacks
Properties of Primes and Multiplicative Group of a Field
Algebraic Numbers
Antiderivatives and Integration
Formalization of the Advanced Encryption Standard. Part I
Several Integrability Formulas of Special Functions. Part II
Weak Completeness Theorem for Propositional Linear Time Temporal Logic
Lebesgue's Convergence Theorem of Complex-Valued Function
Formal Proof of Transcendence of the Number e . Part II
Implicit Function Theorem. Part II
Continuity of Bounded Linear Operators on Normed Linear Spaces
Probability on Finite Set and Real-Valued Random Variables
Orthomodular Lattices
Klein-Beltrami Model. Part II
On Implicit and Inverse Function Theorems on Euclidean Spaces
Groups - Additive Notation
Separability of Real Normed Spaces and Its Basic Properties
Tarski Geometry Axioms. Part IV - Right Angle
Uniform Boundedness Principle
Diophantine sets. Preliminaries
Quadratic Extensions
Splitting Fields
The Real Vector Spaces of Finite Sequences are Finite Dimensional
Fubini's Theorem
Model Checking. Part III
Chebyshev Distance
Mizar Analysis of Algorithms: Algorithms over Integers
Elementary Number Theory Problems. Part II
Elementary Number Theory Problems. Part VIII
Embedded Lattice and Properties of Gram Matrix
Introduction to Stopping Time in Stochastic Finance Theory. Part II
Difference and Difference Quotient. Part III
Sequences of Prime Reciprocals. Preliminaries
The Formalization of Decision-Free Petri Net
Quasi-uniform Space
The Orthogonal Projection and the Riesz Representation Theorem
Elementary Number Theory Problems. Part XV - Diophantine Equations
Topology from Neighbourhoods
Basel Problem - Preliminaries
Convergent Filter Bases
σ-ring and σ-algebra of Sets1
A Case Study of Transporting Urysohn's Lemma from Topology via Open Sets into Topology via Neighborhoods
Reconstruction of the One-Dimensional Lebesgue Measure
Integrability Formulas. Part III
General Theory of Quasi-Commutative BCI-algebras
Cross-Ratio in Real Vector Space
The Differentiable Functions from R into R n
Some Facts about Trigonometry and Euclidean Geometry
Developing Complementary Rough Inclusion Functions
Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages
Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces
Cartesian Products of Family of Real Linear Spaces
Elementary Number Theory Problems. Part I
Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane
Differentiation in Normed Spaces
Embedding Principle for Rings and Abelian Groups
Products in Categories without Uniqueness of cod and dom
Flexary Operations
Analysis of Algorithms: An Example of a Sort Algorithm
Klein-Beltrami model. Part III
Pythagorean Tuning: Pentatonic and Heptatonic Scale
Elementary Number Theory Problems. Part VI
Epsilon Numbers and Cantor Normal Form
Compactness of Neural Networks
Egoroff's Theorem
Formalization of the MRDP Theorem in the Mizar System
Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II
Introduction to Graph Colorings
Complex Function Differentiability
Matrix of ℤ-module1
Riemann Integral of Functions from R into Real Normed Space
Higher-Order Differentiation and Inverse Function Theorem in Real Normed Spaces
BCI-algebras with Condition (S) and their Properties
On Fuzzy Negations Generated by Fuzzy Implications
Integral of Continuous Three Variable Functions
Affine Independence in Vector Spaces
Formalization of the Data Encryption Standard
Fundamental Group of n-sphere for n ≥ 2
Semiring of Sets
Duality Notions in Real Projective Plane
Higher-Order Partial Differentiation
Free Magmas
Valuation Theory. Part I
Parity as a Property of Integers
Routh's, Menelaus' and Generalized Ceva's Theorems
Miscellaneous Facts about Open Functions and Continuous Functions
Eigenvalues of a Linear Transformation
Probability on Finite and Discrete Set and Uniform Distribution
Isomorphisms from the Space of Multilinear Operators
Dynamic Programming for the Subset Sum Problem
Posterior Probability on Finite Set
Polygonal Numbers
Sorting by Exchanging
About Graph Unions and Intersections
Homography in ℝℙ
Introduction to Graph Enumerations
On Algebras of Algorithms and Specifications over Uninterpreted Data
Differentiation on Interval
Topological Properties of Real Normed Space
Elementary Number Theory Problems. Part V
Free ℤ-module
Commutativeness of Fundamental Groups of Topological Groups
The Correspondence Between n-dimensional Euclidean Space and the Product of n Real Lines
Heron's Formula and Ptolemy's Theorem
Fatou's Lemma and the Lebesgue's Convergence Theorem
Characteristic of Rings. Prime Fields
About Supergraphs. Part II
Quotient Module of Z-module
Differentiable Functions into Real Normed Spaces
Fundamental Properties of Fuzzy Implications
Regular Expression Quantifiers - at least m Occurrences
Riemann-Stieltjes Integral
Fixpoint Theorem for Continuous Functions on Chain-Complete Posets
Nilpotent Groups
The Properties of Sets of Temporal Logic Subformulas
On Bag of 1. Part I
The Lebesgue Monotone Convergence Theorem
Brouwer Fixed Point Theorem in the General Case
Planes and Spheres as Topological Manifolds. Stereographic Projection
Introduction to Rational Functions
Partial Differentiation of Real Binary Functions
Grzegorczyk's Logics. Part I
Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm
Symmetrical Piecewise Linear Functions Composed by Absolute Value Function
The Perfect Number Theorem and Wilson's Theorem
Gauge Integral
Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*
Klein-Beltrami model. Part IV
On the Continuity of Some Functions
Equivalence of Deterministic and Nondeterministic Epsilon Automata
Object-Free Definition of Categories
Difference and Difference Quotient. Part IV
On the Lattice of Intervals and Rough Sets
Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables
Basic Diophantine Relations
A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables
A Test for the Stability of Networks
Simple-Named Complex-Valued Nominative Data - Definition and Basic Operations
Linear Map of Matrices
Operations of Points on Elliptic Curve in Affine Coordinates
Representation of the Fibonacci and Lucas Numbers in Terms of Floor and Ceiling
Ring of Endomorphisms and Modules over a Ring
A Model of Mizar Concepts - Unification
Differentiable Functions on Normed Linear Spaces
Proth Numbers
More on the Continuity of Real Functions
Dilworth's Decomposition Theorem for Posets
Normal Subgroup of Product of Groups
Veblen Hierarchy
Existence and Uniqueness of Algebraic Closures
Multidimensional Measure Space and Integration
Extended Euclidean Algorithm and CRT Algorithm
Isometric Differentiable Functions on Real Normed Space
Unification of Graphs and Relations in Mizar
Absolutely Integrable Functions
Linear Transformations of Euclidean Topological Spaces. Part II
Implicit Function Theorem. Part I
Several Differentiation Formulas of Special Functions. Part VII
On the Properties of Curves and Parametrization-Independent Isoperimetric Inequality
Relational Formal Characterization of Rough Sets
Cauchy Mean Theorem
Introduction to Diophantine Approximation. Part II
Extensions of Orderings
Pappus's Hexagon Theorem in Real Projective PlaneThis work has been supported by the "Centre autonome de formation et de recherche en mathématiques et sciences avec assistants de preuve" ASBL (non-profit organization). Enterprise number: 0777.779.751. Belgium
Product Pre-Measure
Formalization of Generalized Almost Distributive Lattices
Several Higher Differentiation Formulas of Special Functions
Universality of Measure Space
On Roots of Polynomials and Algebraically Closed Fields
Binary Representation of Natural Numbers
Renamings and a Condition-free Formalization of Kronecker's Construction
Elementary Number Theory Problems. Part XIII
Compactness in Metric Spaces
Definition of Centroid Method as Defuzzification
More on Continuous Functions on Normed Linear Spaces
The First Isomorphism Theorem and Other Properties of Rings
Coproducts in Categories without Uniqueness of cod and dom
Cell Petri Net Concepts
Conservation Rules of Direct Sum Decomposition of Groups
Riemann Integral of Functions from R into n -dimensional Real Normed Space
Arithmetic Operations on Functions from Sets into Functional Sets
Contracting Mapping on Normed Linear Space
Extended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform
Differential Equations on Functions from R into Real Banach Space
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander
About Graph Complements
Morley's Trisector Theorem
Free Term Algebras
Normal Extensions
Riemann Integral of Functions from ℝ into Real Banach Space
The Cauchy-Riemann Differential Equations of Complex Functions
Finite Product of Semiring of Sets
Basic Properties of Circulant Matrices and Anti-Circular Matrices
Formalization of Trellises and Tolerance Relations
On Roots of Polynomials over F[X]/ 〈p〉
On Fuzzy Negations and Laws of Contraposition. Lattice of Fuzzy Negations
Introduction to Stochastic Finance: Random Variables and Arbitrage Theory
About Vertex Mappings
Formalization of Orthogonal Decomposition for Hilbert Spaces
Semantics of MML Query
On the Intersection of Fields F with F [X]
Artin's Theorem Towards the Existence of Algebraic Closures
Cayley-Dickson Construction
The Rotation Group
Isomorphisms of Direct Products of Finite Commutative Groups
Submodule of free Z-module
The Ring of Conway Numbers in Mizar
Derivation of Commutative Rings and the Leibniz Formula for Power of Derivation
Improper Integral. Part I
Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm
Second-Order Partial Differentiation of Real Ternary Functions
Second-Order Partial Differentiation of Real Binary Functions
Prime Representing Polynomial with 10 Unknowns - Introduction
Term Context
Integral of Continuous Functions of Two Variables
Transformation Tools for Real Linear Spaces
Inverse Trigonometric Functions Arctan and Arccot
Double Sequences and Limits
Extended Real-Valued Double Sequence and Its Convergence
Conway's Games and Some of their Basic Properties
Splitting Fields for the Rational Polynomials X 2 -2, X 2 +X+1, X 3 -1, and X 3 -2
Transition of Consistency and Satisfiability under Language Extensions
Continuity of Barycentric Coordinates in Euclidean Topological Spaces
Kolmogorov's Zero-One Law
Maximum Number of Steps Taken by Modular Exponentiation and Euclidean Algorithm
About Supergraphs. Part I
Program Algebra over an Algebra
Basic Properties of Metrizable Topological Spaces
Partial Correctness of GCD Algorithm
Weak Convergence and Weak Convergence
More on Divisibility Criteria for Selected Primes
Some Basic Properties of Some Special Matrices. Part III
Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms
Pseudo-Canonical Formulae are Classical
Bilinear Operators on Normed Linear Spaces
Circumcenter, Circumcircle and Centroid of a Triangle
Stability of the 4-2 Binary Addition Circuit Cells. Part I
Bidual Spaces and Reflexivity of Real Normed Spaces
Partial Correctness of an Algorithm Computing Lucas Sequences
On L1 Space Formed by Complex-Valued Partial Functions
Vector Functions and their Differentiation Formulas in 3-dimensional Euclidean Spaces
A Note on the Seven Bridges of Königsberg Problem
On the Formalization of Gram-Schmidt Process for Orthonormalizing a Set of Vectors
Formalization of Quasilattices
About Graph Sums
The Borsuk-Ulam Theorem
Miscellaneous Graph Preliminaries
BCI-homomorphisms
The Axiomatization of Propositional Linear Time Temporal Logic
On L^1 Space Formed by Real-Valued Partial Functions
On Square-Free Numbers
Some Algebraic Properties of Polynomial Rings
Exponential Objects
Linear Transformations of Euclidean Topological Spaces
Real Vector Space and Related NotionsThis study was supported in part by JSPS KAKENHI Grant Numbers 17K00182 and 20K19863
Invertibility of Matrices of Field Elements
Some Number Relations
Ordered Rings and Fields
Ring and Field Adjunctions, Algebraic Elements and Minimal Polynomials
Elementary Introduction to Stochastic Finance in Discrete Time
Conway's Normal Form in the Mizar System
Simple Extensions
The Measurability of Complex-Valued Functional Sequences
Convex Sets and Convex Combinations on Complex Linear Spaces
Elementary Number Theory Problems. Part XII - Primes in Arithmetic Progression
Dual Spaces and Hahn-Banach Theorem
Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers
Block Diagonal Matrices
Continuity of Multilinear Operator on Normed Linear Spaces
Modelling Real World Using Stochastic Processes and Filtration
The Linearity of Riemann Integral on Functions from ℝ into Real Banach Space
F. Riesz Theorem
Elementary Number Theory Problems. Part XVI
Partial Differentiation, Differentiation and Continuity on n -Dimensional Real Normed Linear Spaces
Natural Addition of Ordinals
Zariski Topology
Tarski Geometry Axioms
Prime Representing Polynomial
Partial Correctness of a Power Algorithm
Elementary Number Theory Problems. Part IX
Refined Finiteness and Degree Properties in Graphs
The Mycielskian of a Graph
Inverse Element for Surreal Number
Isosceles Triangular and Isosceles Trapezoidal Membership Functions Using Centroid Method
Representation Theorem for Stacks
Complex Integral
Double Series and Sums
Summable Family in a Commutative Group
Ascoli-Arzelà TheoremThis work was supported by JSPS KAKENHI Grant Numbers JP17K00182
Fundamentals of Finitary Proofs
Integrability Formulas. Part I
Improper Integral. Part II
Basic Properties of Primitive Root and Order Function
Binary Relations-based Rough Sets - an Automated Approach
Double Sequences and Iterated Limits in Regular Space
The Sum and Product of Finite Sequences of Complex Numbers
Abstract Simplicial Complexes
Pascal's Theorem in Real Projective Plane
Morphology for Image Processing. Part I
Uniform Space
Introduction to Liouville Numbers
Elementary Number Theory Problems. Part X - Diophantine Equations
Rings of Fractions and Localization
Elementary Number Theory Problems. Part III
The Derivations of Temporal Logic Formulas
First Order Languages: Further Syntax and Semantics
AIM Loops and the AIM Conjecture
Elementary Number Theory Problems. Part IV
Inverse Trigonometric Functions Arcsec and Arccosec
Tarski Geometry Axioms. Part V - Half-planes and Planes
Brouwer Fixed Point Theorem for Simplexes
Definition of Flat Poset and Existence Theorems for Recursive Call
Some Operations on Quaternion Numbers
On Multiset Ordering
Formal Development of Rough Inclusion Functions
Jordan Matrix Decomposition
Some Standard Examples of Vector Spaces
Grothendieck Universes
Stone Lattices
The Ck Space
Surreal Numbers: A Study of Square Roots
Basic Properties of Periodic Functions
Ramsey's Theorem
Banach Algebra of Bounded Functionals
Arithmetic Operations on Short Finite Sequences
On Rough Subgroup of a Group
Complete Spaces
Elementary Number Theory Problems. Part XIV - Diophantine Equations
Pascal's Triangle and Lucas's Theorem
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates
Towards the Construction of a Model of Mizar Concepts
The Definition of Topological Manifolds
Equivalent Expressions of Direct Sum Decomposition of Groups1
Ideals of BCI-algebras and their Properties
Riemann Integral of Functions R into C
On Primary Ideals. Part I
Random Variables and Product of Probability Spaces
Isomorphism Theorem on Vector Spaces over a Ring
Extended Natural Numbers and Counters
Formalization of Integral Linear Space
The First Mean Value Theorem for Integrals
Some Remarkable Identities Involving Numbers
Fubini's Theorem for Non-Negative or Non-Positive Functions
Formal Proof of Transcendence of the Number e . Part I
Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces
Tietze Extension Theorem for n-dimensional Spaces
Functional Space Consisted by Continuous Functions on Topological Space
Functional Space C (ω), C 0 (ω)
Introduction to Stopping Time in Stochastic Finance Theory
Helly Property for Subtrees
Cayley's Theorem
Lattice of ℤ-module
Modular Integer Arithmetic
On Monomorphisms and Subfields
Difference of Function on Vector Space over F
Introduction to Formal Preference Spaces
The Formal Construction of Fuzzy Numbers
Elementary Number Theory Problems. Part XI
Small Inductive Dimension of Topological Spaces
The Gödel Completeness Theorem for Uncountable Languages
Formulation of Cell Petri Nets
Definition and Properties of Direct Sum Decomposition of Groups1
All Liouville Numbers are Transcendental
U-Small and U-Locally Small Categories
Some Properties of p -Groups and Commutative p -Groups
Mazur-Ulam Theorem
On Subnomials
Vieta's Formula about the Sum of Roots of Polynomials
Ascoli-Arzelà Theorem (Metric Space Version)
Tarski Geometry Axioms. Part III
Several Integrability Formulas of Some Functions, Orthogonal Polynomials and Norm Functions
Some Remarks about Product Spaces
Prime Filters and Ideals in Distributive Lattices
Elementary Number Theory Problems. Part VII
Diophantine Sets. Part II
Partial Differentiation of Real Ternary Functions
Altitude, Orthocenter of a Triangle and Triangulation
Algebraic Approach to Algorithmic Logic
Formally Real Fields
Integrability Formulas. Part II
Surreal Dyadic and Real Numbers: A Formal Construction
Preliminaries to Classical First Order Model Theory
Characteristic Subgroups
Internal Direct Products and the Universal Property of Direct Product Groups
On L^p Space Formed by Real-Valued Partial Functions
The Axiomatization of Propositional Logic
Tarski Geometry Axioms - Part II
Solutions of Linear Equations
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
About Supergraphs. Part III
Underlying Simple Graphs
Bertrand's Ballot Theorem
Functional Sequence in Norm Space
Set of Points on Elliptic Curve in Projective Coordinates
Riemann Integral of Functions from R into Rn
The 3-Fold Product Space of Real Normed Spaces and its Properties
Partial Correctness of a Fibonacci Algorithm
The Divergence of the Sum of Prime Reciprocals
Banach's Continuous Inverse Theorem and Closed Graph Theorem
Prime Representing Polynomial with 10 Unknowns
Rank of Submodule, Linear Transformations and Linearly Independent Subsets of Z-module
Sperner's Lemma
Small Inductive Dimension of Topological Spaces. Part II
Isomorphisms of Direct Products of Cyclic Groups of Prime Power Order
Topological Manifolds
Introduction to Diophantine Approximation
Formal Introduction to Fuzzy Implications
The Geometric Interior in Real Linear Spaces
Kleene Algebra of Partial Predicates
Events of Borel Sets, Construction of Borel Sets and Random Variables for Stochastic Finance
The Basic Existence Theorem of Riemann-Stieltjes Integral
Torsion Part of ℤ-module
Algebraic Extensions
Partial Correctness of a Factorial Algorithm
Stability of n-Bit Generalized Full Adder Circuits (GFAs). Part II
Prime Factorization of Sums and Differences of Two Like Powers
Basic Formal Properties of Triangular Norms and Conorms
Propositional Linear Temporal Logic with Initial Validity Semantics1
Divisible ℤ-modules
Non-Trivial Universes and Sequences of Universes
Borel-Cantelli Lemma
Polynomially Bounded Sequences and Polynomial Sequences
About Graph Mappings
Topological Interpretation of Rough Sets
Banach Algebra of Bounded Complex-Valued Functionals
Differentiability of Polynomials over Reals
Z-modules
Multiplication-Related Classes of Complex Numbers
Group of Homography in Real Projective Plane
Labelled State Transition Systems