yusuke1997/dblp-id-title huggingface dataset:
Gate Stack Optimization Toward Disturb-Free Operation of Ferroelectric HSO based FeFET for NAND Applications
Scalability Study on Ferroelectric-HfO2 Tunnel Junction Memory Based on Non-equilibrium Green Function Method
Design space exploration of latency and bandwidth in RRAM-based solid state drives
Polarization-Dependent Oxygen, Vacancy Distribution in Ferroelectric Hf0.5 Zr0.5 O2 Capacitors
17th Non-Volatile Memory Technology Symposium, NVMTS 2017, Aachen, Germany, August 30 - Sept. 1, 2017
True random number generation exploiting SET voltage variability in resistive RAM memory arrays
Reliability and cell-to-cell variability of TAS-MRAM arrays under cycling conditions
Graphene oxide and TiO2 nano-particle composite based nonvolatile memory
Effects of an interfacial dead layer on the ferroelectric HfZrOx films for low thermal budget
Investigating Dynamic Minor Loop of Ferroelectric Capacitor
Potential application of time dependent threshold switching in neuromorphic computing
15th Non-Volatile Memory Technology Symposium, NVMTS 2015, Beijing, China, October 12-14, 2015
Field-free Spin-orbit Torque Switching of Perpendicular Magnetic Tunnel Junction Utilizing Voltage-Controlled Magnetic Anisotropy Pulse Width Optimization
Performance of cell-to-cell interference mitigation in 1y-nm MLC flash memory
Area Efficient Multi-Memristor Bit Cell Design for Resistive Processing Unit-Based Neural Network Training
Impact of Memory Parameters on Sensitivity Margin of Analog-to-Digital Converter Limiting Neural Network Density
Maximizing Peformance/cost Figure of Merit of Storage-type SCM based SSD by Adding Small Capacity of Memory-type SCM
Hardware acceleration for neuromorphic computing: An evolving view
SneakPath compensation circuit for programming and read operations in RRAM-based CrossPoint architectures
Thermal effects on the I-V characteristics of filamentary VCM based ReRAM-cells using a nanometer-sized heater
A selectorless RRAM with record memory window and nonlinearity based on trap filled limit mechanism
Impact of conductance drift on multi-PCM synaptic architectures
E-BioFlow: Different Perspectives on Scientific Workflows
A Markovian Approach for the Segmentation of Chimpanzee Genome
Multi-functional Protein Clustering in PPI Networks
Modelling and Simulation of the Genetic Phenomena of Additivity and Dominance via Gene Networks of Parallel Aggregation Processes
PTF Model for Evaluating the Relationships between the VAC and Antimicrobial Resistance in Human Communities
Comparison of Exact String Matching Algorithms for Biological Sequences
Biological Sequences Encoding for Supervised Classification
Stochastical Analysis of Finite Point Sampling of 3D Chromatin Fiber in Interphase Cell Nuclei
Integrating Mutations Data of the TP53 Human Gene in the Bioinformatics Network Environment
Matching Spatial Regions with Combinations of Interacting Gene Expression Patterns
Stem Kernels for RNA Sequence Analyses
Combining Protein-Protein Interaction (PPI) Network and Sequence Attributes for Predicting Hypertension Related Proteins
Identifying Subcellular Locations from Images of Unknown Resolution
Control of the Lasers Dynamics by Pumping Modulation for Biophotonics Applications
Patch Prediction of Protein Interaction Sites: Validation of a Scoring Function for an Online Server
Exploration of Evolutionary Relations between Protein Structures
A Soft Hierarchical Algorithm for the Clustering of Multiple Bioactive Chemical Compounds
Weighted Cohesiveness for Identification of Functional Modules and Their Interconnectivity
Gene Machine© - A Hardware/Software Platform for Analyzing Genome Data
Synthetic Protein Sequence Oversampling Method for Classification and Remote Homology Detection in Imbalanced Protein Data
Structural Screening of HIV-1 Protease/Inhibitor Docking by Non-parametric Binomial Distribution Test
A New Approximation Algorithm for the Minimum Fragment Removal Problem
Knowledge Acquisition Focused Cooperative Development of Bio-ontologies - A Case Study with BIO2Me
A Symmetry-Free Subspace for Ab initioProtein Folding Simulations
A Tree Index to Support Clustering Based Exploratory Data Analysis
Indexing Factors in DNA/RNA Sequences
Clustering in a Fixed Manifold to Detect Groups of Genes with Similar Expression Patterns
Acquisition and Algorithms for Fluorescence Applications
Combining Molecular and Physiological Data of Complex Disorders
LASA: A Tool for Non-heuristic Alignment of Multiple Sequences
Quantum Well Lasers for Medical Industry
Joining Softassign and Dynamic Programming for the Contact Map Overlap Problem
Finding Frequent Subgraphs in Biological Networks Via Maximal Item Sets
Bayesian Inference for 2D Gel Electrophoresis Image Analysis
Bayesian Phylogeny on Grid
A Novel Graph Optimisation Algorithm for the Extraction of Gene Regulatory Networks from Temporal Microarray Data
Topological Metrics in Blast Data Mining: Plasmid and Nitrogen-Fixing Proteins Case Studies
Stochastic Protein Folding Simulation in the d-Dimensional HP-Model
Suffix Tree Characterization of Maximal Motifs in Biological Sequences
Two Local Search Methods for Protein Folding Simulation in the HP and the MJ Lattice Models
A Robust Class of Stable Proteins in the 2D HPC Model
Annotation of LC/ESI-MS Mass Signals
A Novel Adaptive Multiple Imputation Algorithm
An Algorithm for Multiple and Global Alignments
Ontology-Based MEDLINE Document Classification
Families of FPGA-Based Accelerators for BLAST Algorithm with Multi-seeds Detection and Parallel Extension
Complex Representation of DNA Sequences
A Discriminative Method for Protein Remote Homology Detection Based on N-nary Profiles
Motif Location Prediction by Divide and Conquer
satDNA Analyzer 1.2 as a Valuable Computing Tool for Evolutionary Analysis of Satellite-DNA Families: Revisiting Y-Linked Satellite-DNA Sequences of Rumex (Polygonaceae)
Interpretation of Protein Subcellular Location Patterns in 3D Images Across Cell Types and Resolutions
Enhancing Protein Disorder Detection by Refined Secondary Structure Prediction
Individualized Predictions of Survival Time Distributions from Gene Expression Data Using a Bayesian MCMC Approach
Fast Structured Motif Search in DNA Sequences
Bioinformatics Research and Development, First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings
Analysing Periodic Phenomena by Circular PCA
Searching for Supermaximal Repeats in Large DNA Sequences
Mining Spatial Gene Expression Data for Association Rules
Fast Search Algorithms for Position Specific Scoring Matrices
SimShiftDB: Chemical-Shift-Based Homology Modeling
GENFOCS - A Comparative Tool on Gene Finding with Sensitivity and Specificity
A Novel Method for Flux Distribution Computation in Metabolic Networks
Efficient and Scalable Indexing Techniques for Biological Sequence Data
Prediction of Structurally-Determined Coiled-Coil Domains with Hidden Markov Models
Biological Network Inference Using Redundancy Analysis
Comparing Logic Regression Based Methods for Identifying SNP Interactions
VEMS-TM - A Management Infrastructure
Statistical Inference on Distinct RNA Stem-Loops in Genomic Sequences
Protein Remote Homology Detection Based on Binary Profiles
Bayesian Inference of Gene Regulatory Networks Using Gene Expression Time Series Data
Bioinformatics Research and Development, Second International Conference, BIRD 2008, Vienna, Austria, July 7-9, 2008, Proceedings
Efficient Seeding Techniques for Protein Similarity Search
An Evaluation of Text Retrieval Methods for Similarity Search of Multi-dimensional NMR-Spectra
Implementation of a Swap Matching Algorithm Using a Graph Theoretic Model
Translational Control by RNA-RNA Interaction: Improved Computation of RNA-RNA Binding Thermodynamics
Comparative Analysis of Disulfide Bond Determination Using Computational-Predictive Methods and Mass Spectrometry-Based Algorithmic Approach
Gene Expression Mining for Cohesive Pattern Discovery
Wavelet Analysis of Impulses in Axon Physiology
Protein-Protein Interaction Network Querying by a "Focus and Zoom" Approach
SVM-Based Local Search for Gene Selection and Classification of Microarray Data
Computational Model for the Study of the Fractal Parameters Characteristic for the Surface of Titanium Dental Implants
Genome Structure and Characterisation of an Endogenous Retrovirus from the Zebrafish Genome Project Database
Identification of Cold-Induced Genes in Cereal Crops and Arabidopsis Through Comparative Analysis of Multiple EST Sets
Nested q-Partial Graphs for Genetic Network Inference from "Small n, Large p" Microarray Data
A Computational Method for Reconstructing Gapless Metabolic Networks
Inverse Bifurcation Analysis of a Model for the Mammalian G 1 / S Regulatory Module
XMAS: An Experiential Approach for Visualization, Analysis, and Exploration of Time Series Microarray Data
Developing digital competence of the "Ukrainian electronic encyclopedia of education" users based on Semantic Wiki technologies: from online reference to analytical portal
Proceedings of the 3rd Workshop on Digital Transformation of Education (DigiTransfEd 2024) co-located with 19th International Conference on ICT in Education, Research and Industrial Applications (ICTERI 2024), Lviv, Ukraine, September 23-27, 2024
Modeling the tokenomics of the personalized MOOC platform "Edu2Work"
Educational transformation in the Digital Age: artificial intelligence, digital competence, and innovation trends from DigiTransfEd 2025
Level and scope of involvement of Ukrainian higher education and research institutions in e-infrastructures: survey results
Professional development of teachers in conditions of digital transformation of postgraduate pedagogical education
From the digital transformation strategy to the productive integration of technologies in education and training: Report 2023
Developing and validating an integrated three-tier multiple choice test for smartphone-based experiments in physics
Analysis of experience of digital transformation in education in Germany
A secondary school's experience of a cloud-based learning environment deployment
Gamification method using Minecraft for training future teachers of computer science
Organization of the digital learning environment: experience of the COUL project in Ukrainian higher education institutions
Use of a game simulator for mineral extraction to develop economic and management skills in mining students
Fostering communication and collaboration skills for computer science students by means of ICT tools
Fostering university educators' readiness for Moodle-based differentiated instruction in the context of digital transformation
Proceedings of the 4th Workshop on Digital Transformation of Education (DigiTransfEd 2025), Kyiv, Ukraine, September 24, 2025
Proceedings of the 2nd Workshop on Digital Transformation of Education (DigiTransfEd 2023) co-located with 18th International Conference on ICT in Education, Research and Industrial Applications (ICTERI 2023), Ivano-Frankivsk, Ukraine, September 18-22, 2023
Visual modeling technologies in the mathematical training of engineers in modern conditions of digital transformation of approaches to creating visual content
Model of primary school teachers' readiness for implementing STEM education in the era of artificial intelligence
From digital strategies to innovative integration: advancing educational practices through technology at DigiTransfEd 2024
Chatbot algorithm for solving physics problems
Development of digital competence of the military leadership officers in the system of advanced training: a pedagogical experiment
Semantic analysis of learning objects: thesaurus approach for digital transformation of educational resources
Designing a matrix training for teacher professional development in a digital environment
Digitalization of thesis preparation life cycle: a case of Zhytomyr Polytechnic State University
Artificial intelligence and the transformation of teaching roles: insights from lecturers' experiences
Mobile applications design for digital education: IT-students' engagement experience on conditions of online learning the course "Mobile technologies"
Transforming reference management software into a hub for collaborative learning
Design and validation of a virtual reality-based training program for student learning on tractor-plough setup
Design of MOOC "Innovative Teaching: Essentials of Digital Creativity and Hybrid Learning" for providing micro-credential for educators
Context-enriched approach to students depression monitoring in education using BERT-GPT hybrid model
Technologies and algorithms for the implementation of the recommendation system for creating an individual study plan for a higher education student
Methodical aspects of studying artificial intelligence by future teachers
The impact of AI integration on the formation of students' critical thinking in the modern educational process
Immersive cloud-based educational environment of the university: Design principles
Self-assessment of digital competence of doctoral students for conducting dissertation research
School digitalization indicators in educational equity analysis
VR simulator for studying the structure of tractors
Digital transformation of secondary education of Ukraine and the quality of teaching natural and mathematical sciences in the conditions of war
Intelligent parametric educational web platform system design
Hypermedia Design, Proceedings of the International Workshop on Hypermedia Design, IWHD 1995, Montpellier, France, June 1-2, 1995
Multimedia Document System for Temporal and Spatial Structuring
Building Hypertexts under the Influence of Topology Metrics
Hyperstories for Learning
A Simulation-based Authoring System for Multimedia Demonstration Design
Global and Local Hypermedia Design in the Encyclopaedia Africana
RMCase: Computer-Aided Support for Hypermedia Design and Development
Designing Virtual Hypertexts with Aggregates
Modeling Corresponding Information Content between Multimedia Data
Learning Processes and Knowledge Representation in the Design of Educational Hypermedia
Organizational Management System in an Heterogeneous Environment - A WWW Case Study
Conversations with Friends: Hypertexts With Characters
A Method that Improves the Design of Hypermedia: Semiotics
Navigation Modeling in Hypermedia Applications
Authoring a Large Scale Industrial Hypermedia Application: A Case Study
An Object-Oriented Model for Designing the Human-Computer Interface Of Hypermedia Applications
Can Analogies in Hypermedia Help the Learning Process?
Towards a Functionnally Complete Hypermedia System: An Approach Based on Tool Integration
The Design of Distributed Hyperlinked Programming Documentation
Providing Maps to Support the Early Stage of Design in Hypermedia Systems
The MAVIS Microcosm Extensions for Content Based Navigation and Retrieval
Applying Open Hypertext Principles to the WWW
Documented Maps or How to merge a Hypermedia System and a Geographic Information System
Are User Models Necessary in Hypermedia Design?
Genre as Reflection of Technology in the World-Wide Web
A WWW Hypermedia Prototype
Structural Constraints in Rich Hypertexts
On Toda's Theorem in Structural Communication Complexity
OTwig: An Optimised Twig Pattern Matching Approach for XML Databases
Periodic and Infinite Traces in Matrix Semigroups
Approximability of Edge Matching Puzzles
Read/Write Based Fast-Path Transformation for FCFS Mutual Exclusion
Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution
Robust Implementaion of Finite Automata by Recurrent RBF Networks
Flexibility through Multiagent Systems: Solution or Illusion?
Towards Machines That Can Think
SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995, Proceedings
Towards Automatic Comparison of Cloud Service Security Certifications
Parallel Immune System for Graph Coloring
Improving Relevance of Keyword Extraction from the Web Utilizing Visual Style Information
Randomized Meldable Priority Queues
Towards Computational Models of Artificial Cognitive Systems That Can, in Principle, Pass the Turing Test
SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings
Logical Foundations for Data Integration
Quo Vadis Explicit-State Model Checking
Parameterized Algorithms for Covering by Arithmetic Progressions
Cost-Sensitive Classification with Unconstrained Influence Diagrams
Minimizing the Cost of Team Exploration
A Program Slicing Based Method to Filter XML/DTD Documents
Oriented Coloring: Complexity and Approximation
Hungarian Speech Synthesis Using a Phase Exact HNM Approach
Goal-Based Establishment of an Information Security Management System Compliant to ISO 27001
A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems
Deciding Universality of ptNFAs is PSpace-Complete
Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks
Regret Minimization and Job Scheduling
A Combinatorial Model of Two-Sided Search
SOFSEM 2004: Theory and Practice of Computer Science, 30th Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 24-30, 2004
Online Bipartite Matching in Offline Time (Abstract)
Linear Complementarity Algorithms for Infinite Games
An Embedded Language Approach to Router Specification in Curry
ROMAN DOMINATION: A Parameterized Perspective
New Variants of Pattern Matching with Constants and Variables
DSL Based Platform for Business Process Management
An Improved B+ Tree for Flash File Systems
From Big Data to Big Knowledge - Large-Scale Information Extraction Based on Statistical Methods (Invited Talk)
A Simple Algorithm for Stable Minimum Storage Merging
Simplified Witness Tree Arguments
On Functions and Types: A Tutorial
Probabilistic Parameterized Polynomial Time
Algorithmic Problems for Metrics on Permutation Groups
A General Data Reduction Scheme for Domination in Graphs
On a Labeled Vehicle Routing Problem
On the Complexity of Optimal Matching Reconfiguration
Complete Problem for Perfect Zero-Knowledge Quantum Proof
Time Optimal Self-Stabilizing Algorithms
Discovery of Lexical Entries for Non-taxonomic Relations in Ontology Learning
Exploiting Formality in Software Engineering
Platform Independent Software Development Monitoring: Design of an Architecture
P-Hardness of Equivalence Testing on Finite-State Processes
Experimental Assessment of the Practicality of a Fault-Tolerant System
Minimal Dominating Sets in Graph Classes: Combinatorial Bounds and Enumeration
Parallel Object Server for Fine Grained Objects
Quantum Walks: A Markovian Perspective
Parallel Machine Models: How They Are and Where Are They Going
Distributed Simulation with Cellular Automata: Architecture and Applications
Approximation Algorithms for the Vertex Bipartization Problem
A Complete Symbolic Bisimulation for Full Applied Pi Calculus
State Coverage: Software Validation Metrics beyond Code Coverage
A Seven-Headed Dragon for Optimal Pattern Searching
Heuristics on the Definition of UML Refinement Patterns
Information Efficiency
Multi-agent Search-Type Problems on Polygons - (Extended Abstract)
Search in Source Code Based on Identifying Popular Fragments
Fair Division Is Hard Even for Amicable Agents
Drawing Two Posets
Comparison of Scoring and Order Approach in Description Logic EL ( D )
Quantum Walks on Two-Dimensional Grids with Multiple Marked Locations
The Lost Recipes from the Four Schools of Amathus
Multimedia Retrieval Algorithmics
Short Ballot Assumption and Threeballot Voting Protocol
Blocksequences of k-local Words
Energy-Efficient Windows Scheduling
Designing Adaptive Web Applications
Towards the Use of Dynamic Documents in Business Processes
An Infrastructure for Platform-Independent Experimentation of Software Changes
Hierarchies of Sensing and Control in Visually Guided Agents
Incremental Method for XML View Maintenance in Case of Non Monitored Data Sources
Fuzzy Unification and Argumentation for Well-Founded Semantics
Fast Evolutionary Chains
A Privacy-Preserving ID-Based Group Key Agreement Scheme Applied in VPAN
Stability of Approximation Algorithms for Hard Optimization Problems
Equivalence-Checking with Infinite-State Systems: Techniques and Results
L-Drawings of Directed Graphs
Pattern Matching with Swaps for Short Patterns in Linear Time
Representation of Extended RBAC Model Using UML Language
Integration of Object-Oriented Analysis and Algebraic Specifications
Using Consensus Methods for Solving Conflicts of Data in Distributed Systems
Subsequence Automata with Default Transitions
Duel and Sweep Algorithm for Order-Preserving Pattern Matching
Parameterized and Exact Algorithms for Class Domination Coloring
The SiMoL Modeling Language for Simulation and (Re-)Configuration
Garbage Collection for Modile and Replicated Objects
Exact and Parameterized Algorithms for Choosability
Characterising Malicious Software with High-Level Behavioural Patterns
Mixed Hypergraphs for Linear-Time Construction of Denser Hashing-Based Data Structures
Up-to Techniques for Branching Bisimilarity
Towards a Higher-Dimensional String Theory for the Modeling of Computerized Systems
Detecting Identical Entities in the Semantic Web Data
Word-Representable Graphs from a Word's Perspective
Massively Parallel Suffix Array Construction
Local Structure Theorems for Erdős-Rényi Graphs and Their Algorithmic Applications
Crowd Detection for Drone Safe Landing Through Fully-Convolutional Neural Networks
A Game of Cops and Robbers on Graphs with Periodic Edge-Connectivity
Decomposable Bulk Synchronous Parallel Computers
Assisted Problem Solving and Decompositions of Finite Automata
Approximative Learning of Regular Languages
A Model of an Amorphous Computer and Its Communication Protocol
Introduction to Routing Problems with Mandatory Transitions
On Contact Graphs with Cubes and Proportional Boxes
On f-Sparse Sets in NP - P
On the Implementation of Some Residual Minimizing Krylov Space Methods
Proofs of Communication and Its Application for Fighting Spam
Integrating UML Composite Structures and fUML
The k-Server Problem with Advice in d Dimensions and on the Sphere
PRAM Lower Bound for Element Distinctness Revisited
Computing Semantic Similarity Using Large Static Corpora
Consistent Consequence for Boolean Equation Systems
Advantages of Ultrametric Counter Automata
Multi-agent Systems as Concurrent Constraint Processes
Complexity of Limit-Cycle Problems in Boolean Networks
Software Testing & Diagnostics: Theory & Practice
Generating High Dimensional Data and Query Sets
Non-intersecting Complexity
Optimal Orientation On-Line
S2CFT: A New Approach for Paper Submission Recommendation
Evaluation of Static/Dynamic Cache for Similarity Search Engines
KMP Based Pattern Matching Algorithms for Multi-Track Strings
Parallel Interactive Media Server Systems
A Simple and Efficient Incremental LL(1) parsing
A Personalized Recommendation System Based on PRML for E-Commerce
Approximations of state spaces reduced by partial order reduction
Some Prospects for Efficient Fixed Parameter Algorithms
Hardness of Deriving Invertible Sequences from Finite State Machines
Querying and Viewing the Semantic Web: An RDF-Based Perspective
Join-Queries between Two Spatial Datasets Indexed by a Single R*-Tree
Aspect-Driven Design of Information Systems
Asymptotic Risk Analysis for Trust and Reputation Systems
Shortest Unique Substrings Queries in Optimal Time
New Results on the Complexity of the Max- and Min-Rep Problems
Automatic Decomposition of Java Open Source Pull Requests: A Replication Study
Kernels of Sub-classes of Context-Free Languages
Efficient Insertion of Approximately Sorted Seqeunces of Items into a Dictionary
Comparison of Genetic Algorithms for Trading Strategies
SOFSEM 2024: Theory and Practice of Computer Science - 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings
Refined Parameterizations for Computing Colored Cuts in Edge-Colored Graphs
Finding Highly Connected Subgraphs
A Transducer-Based Framework for Streaming XML Transformations
Coalgebraic Bisimulation-Up-To