The following pages link to Journal of Software (Q117016):
Displaying 50 items.
- Protein Fold Recognition Using Genetic Algorithm Optimized Voting Scheme and Profile Bigram (Q117023) (← links)
- Survey on bigraph and its applications (Q2824400) (← links)
- Sound and complete Gentzen deduction system for intermediate propositional logic (Q2824401) (← links)
- Optimal approximation sets of rough sets (Q2824403) (← links)
- Mining moving object gathering pattern method via spatio-temporal graph (Q2824408) (← links)
- Link-block method for the semantic overlapping community detection (Q2824409) (← links)
- Secure and efficient roaming authentication protocol with controllable anonymity for heterogeneous wireless network (Q2824410) (← links)
- Formalization of geometric algebra theories in higher-order logic (Q2824411) (← links)
- Termination analysis of nonlinear loops over closed and bounded connected domain (Q2824412) (← links)
- Refinement checking based on simulation relations (Q2824414) (← links)
- Checking satisfiability of two-dimensional logic PPTL\(^{\mathrm{SL}}\) (Q2824415) (← links)
- Survey on formal models to reason about infinite data values (Q2824416) (← links)
- Introduction to public key cryptanalysis (Q2824418) (← links)
- Variational circular treemaps for hierarchical data (Q2824421) (← links)
- Verifiable dictionary-based searchable encryption scheme (Q2824422) (← links)
- Cube attack on grain (Q2858426) (← links)
- Inter-domain multipath routing protocols (Q2858427) (← links)
- A quantitative method for multi-valued modal logics (Q2858428) (← links)
- The concurrent redundancy problem and control methods (Q2917144) (← links)
- A shortest path approximation algorithm for complex network analysis (Q2917146) (← links)
- Some properties of pigeon-hole formulas (Q2917147) (← links)
- Extending the Dirichlet approach to design B-spline surfaces of minimal area (Q2917148) (← links)
- Solving the Chinese postman problem on time varying networks with timed automata (Q2917150) (← links)
- Attribute-based encryption schemes (Q2917152) (← links)
- Automatic age estimation based on visual and audio information (Q2917154) (← links)
- Decidable temporal dynamic description logic (Q2917155) (← links)
- A heuristic survey propagation algorithm for solving QBF problems (Q2917156) (← links)
- An outlier detection approach based on reconstruction weights (Q2917157) (← links)
- Research on Markov logic networks (Q2917161) (← links)
- An efficient cluster analysis method for protein sequences (Q2917162) (← links)
- Combinatorial optimization problem reduction and algorithm derivation (Q2917163) (← links)
- Ant colony optimization algorithm based on visual feedback and behavioral memory (Q2917165) (← links)
- An incremental learning extremely random forest classifier for online learning (Q2917168) (← links)
- Attribute level lineage and probabilistic computation of uncertain data (Q2924422) (← links)
- Survey on the research and development of searchable encryption schemes (Q2924424) (← links)
- Formula-layered predicate modal logic (Q2924426) (← links)
- Multiobjective particle swarm optimization based on Pareto entropy (Q2924428) (← links)
- A multiobjective evolutionary algorithm based on mixture Gaussian models (Q2924429) (← links)
- A heuristic clustering method based on neighbor-seeds for 454 sequencing data (Q2924430) (← links)
- Borel probabilistic rough truth degree of formulae in rough logic (Q2924431) (← links)
- Strategy selecting problems of self-adaptive discrete differential evolution algorithms (Q2924433) (← links)
- Semi-supervised clustering via two-level random walk (Q2924434) (← links)
- Survey of signed network research (Q2926853) (← links)
- Coinduction-based solution for minimization of Kripke structures (Q2926854) (← links)
- Quantum Müller automata and monadic second-order quantum logic (Q2926855) (← links)
- Review on speech emotion recognition (Q2926859) (← links)
- Learning partially observable non-deterministic action models (Q2926860) (← links)
- OBDD-based reasoning for terminological cycles of the description logic \(\mathcal{EL}\) (Q2926862) (← links)
- Dynamic result optimization for keyword search over relational databases (Q2926864) (← links)
- Dynamic community detection based on information flow analysis (Q2926866) (← links)
