yusuke1997/dblp-id-title huggingface dataset:
New Challenges in Gene Expression Data Analysis and the Extended GEPAS
M-GCAT: Multiple Genome Comparison and Alignment Tool
Analysis of Evolutionary Patterns from Huge DNA Sequence Data
Blast2GO: A Universal Annotation and Visualization Tool for Functional Genomics Research
jORCA and Magallanes Sailing Together towards Integration of Web Services
A Web-Based Utility for High-Throughput SNP Data Analysis
The Novel Virus Genotyping Tool (STAR) and its Use in Subtyping Human Immunodeficiency Virus Type-1 and Hepatitis B Viruses
Microeconomic Principles Explain an Optimal Genome Size in Bacteria
Prediction of Transcription Factor Binding Sites with PROMO v.3: Improving the Specificity of Weight Matrices and the Searching Process
Novel Angiogenic Functional Targets Predicted through "Dark Matter" Assessment in Protein Networks
AMarge: Automated Extensive Quality Assessment of Affymetrix Chips
Bridging the Gap between Gene Expression and Physiological Phenotype: Is there still Room for Kinetic Models?
Annotation of Non-Human Pathological Mutations utilising Human-Parameterised Neural Networks
Pyicos: A Flexible Tool Library for Analyzing Protein-Nucleotide Interactions with Mapped Reads from Deep Sequencing
A Tool for Heuristic Detection of Association Clusters in Whole-Genome Scans
A Holistic Approach for Integrating Genomic Variation Information
Finding SNPs with Putative Phenotypic Effect at Transcriptional Level
SB-KOM: Integration of Pathway Information with BioPax
maSigPro: a Method to Identify Significantly Differential Expression Profiles in Time-Course Microarray Experiments
Fold Recognition using Residual Dipolar Couplings
Hydration Free Energy in Macromolecules
Automatic Annotation of Alternative of Alternative Splicing in Eukaryotic Genomes
A Web Based Suite of Tools for Microarray Quality Control and Data Analysis
Statistical Significance for NGS Reads Similarities
What Works (and What Doesn't) in Estimating the Change in Free Energy due to Point Mutations in the Protein Interior
The Long and Short Flavodoxins: Evolutionary Origin and Role of the Differentiating Loop in Apoflavodoxin Structure
On the Biological Relevance of Modules in Protein Interaction Networks
iHOP Web Services Family
The Gene Identification Problem from a Hypotheses Test Perspective
Optimized Desolvation for Rigid-Body Docking: Fast Prediction of Protein Interaction Sites
Reasoning about Duplicate Elimination with Description Logic
Multi-dimensional Dynamic Logic Programming
Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction
Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs
Model Checking in HAL
A CLP Framework for Computing Structural Test Data
Proof Planning with Multiple Strategies
A New Module System for Prolog
Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking
On an omega -Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL
Minimal Belief and Negation as Failure in Multi-Agent System
Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases
Constraint-Based Termination Analysis for Cyclic Active Database Rules
Representing Trees with Constraints
Modelling Digital Circuits Problems with Set Constraints
Logic, Knowledge Representation, and Bayesian Decision Theory
On Complexity of Updates through Integrity Constraints
Promoting Constraints to First-Class Status
Concurrent Constraint Programming with Process Mobility
On the Equivalence of XML Patterns
A Dynamic Approach to Termination Analysis for Active Database Rules
A Logic Programming Application for the Analysis of Spanish Verse
Constraint Logic Programming for Local and Symbolic Model-Checking
A New Equational Foundation for the Fluent Calculus
So Many WAM Variations, So Little Time
A Heuristic Approach for Converting HTML Documents to XML Documents
Proving Failure in Functional Logic Programs
Design and Implementation of the Physical Layer in WebBases: The XRover Experience
A Defeasible Reasoning System in Multi-Agent Environment
Alternating Fixpoint Theory for Logic Programs with Priority
Combining Mobile Processes and Declarative Programming
A Simple Characterization of Extended Abduction
Perfect Model Checking via Unfold/Fold Transformations
A Formal Model for an Expressive Fragment of XSLT
CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), London, UK, July 24-25, 2000
Including Diagnostic Information in Configuration Models
Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings
Querying XML Specified WWW Sites: Links and Recursion in XML-GL
Better Communication for Tighter Cooperation
Computing Equilibrium Models Using Signed Formulas
A System for Tabled Constraint Logic Programming
Smallest Equivalent Sets for Finite Propositional Formula Circumscription
Representing Object Code
Default Reasoning with Specificity
A Semantics for Persistency in Propositional Dynamic Logic
Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets
Abstract Syntax for Variable Binders: An Overview
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams
Computational Logic: Memories of the Past and Challenges for the Future
The Theory of Total Unary RPO Is Decidable
Isoinitial Semantics for Logic Programs
A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language
Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic
Specification of an Active Database System Application Using Dynamic Relation Nets
An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas
A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs
Binary Speed Up for Logic Programs
A Denotational Semantics of Defeasible Logic
Data Protection by Logic Programming
Dynamic Downloading of Communications Protocols Using a Logic Based Agent System
Certification of Compiler Optimizations Using Kleene Algebra with Tests
Efficient EM Learning with Tabulation for Parameterized Logic Programs
Databases and Higher Types
Computational Complexity of Planning Based on Partial Information about the System's Present and Past States
Semantics of Input-Consuming Logic Programs
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
On the Problem of Computing the Well-Founded Semantics
A Plan Fusion Algorithm for Multi-Agent Systems
Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects
Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions
On Verification in Logic Database Languages
Arc Consistency Algorithms via Iterations of Subsumed Functions
The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems
Linearly Bounded Reformulations of Conjunctive Databases
The Taming of the (X)OR
Psychiatric Diagnosis from the Viewpoint of Computational Logic
On the Interplay between Reactivity and Computation
Model Checking for Timed Logic Processes
Moder Generation Theorem Proving with Finite Interval Constraints
Partial Models of Extended Generalized Logic Programs
A Module Based Analysis for Memory Reuse in Mercury
A File System Based on Concept Analysis
Logic Program Synthesis in a Higher-Order Setting
Wire Routing and Satisfiability Planning
Decidability Results for the Propositional Fluent Calculus
Querying Inconsistent Databases: Algorithms and Implementation
Finding Tractable Formulas in NNF
Developing Finite Domain Constraints - A Data Model Approach
Dominance Constraints with Set Operators
Expressing Collaborative and Competitive Coordination among Abductive
A Documentation Generator for (C)LP Systems
AVAL: An Enumerative Method for SAT
MuTACLP: A Language for Declarative GIS Analysis
Planning under Incomplete Knowledge
SLDMagic - The Real Magic (With Applications to Web Queries)
A Denotational Semantics for First-Order Logic
IMPACTing SHOP: Planning in a Multi-agent Environment
Extending Classical Logic with Inductive Definitions
Interpretable On-the-Fly Repair of Deep Neural Classifiers
Towards Safe ML-Based Systems in Presence of Feedback Loops
MLGuard: Defend Your Machine Learning Model!
Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components, SE4SafeML 2023, San Francisco, CA, USA, 4 December 2023
FedDefender: Backdoor Attack Defense in Federated Learning
The Case for Scalable Quantitative Neural Network Analysis
Rule-Based Testing of Neural Networks
A client-based visual analytics framework for large spatiotemporal data under architectural constraints
Coupling visualization, simulation, and deep learning for ensemble steering of complex energy models
A progressive k-d tree for approximate k-nearest neighbors
High-dimensional scientific data exploration via cinema
Xplorer: A system for visual analysis of sensor-based motor activity predictions
IEEE Workshop on Data Systems for Interactive Analysis, DSIA 2017, Phoenix, AZ, USA, October 1-2, 2017
Position statement: The case for a visualization performance benchmark
In Situ Advanced Diagnostics and Inspection by Non-destructive Techniques and UAV as Input to Numerical Model and Structural Analysis - Case Study
An Approach to Facilitate Visitors' Engagement with Contemporary Art in a Virtual Museum
From Discovery to Exhibition - Recomposing History: Digitizing a Cultural Educational Program Using 3D Modeling and Gamification
Assessment of Masonry Structures Based on Analytical Damage Indices
Branding Strategies for Cultural Landscape Promotion: Organizing Real and Virtual Place Networks
The Value of 3D Modeling of Cultural Heritage Monuments with the Method of Digital Photogrammetry for Use in Augmented Reality Applications
Monitoring and Mapping of Deterioration Products on Cultural Heritage Monuments Using Imaging and Laser Spectroscopy
The Project of the Rehabilitation of Holy Sepulchre's Holy Aedicule as a Pilot Multispectral, Multidimensional, Novel Approach Through Transdisciplinarity and Cooperation in the Protection of Monuments
The Holy Sepulchre as a Religious Building
The Use of Deep Learning in the Classification of Buildings at the Post-revolutionary City of Athens
Reconstructing the Hellenistic Heritage: Chemical Processes, Devices and Products from Illustrated Greek Manuscripts - An Interdisciplinary Approach
Post-seismic Restoration Project of Basilica Churches in Kefallonia Island
Α Historical Mortars Study Assisted by GIS Technologies
A Programme for Sustainable Preservation of the Medieval City of Rhodes in the Circular Economy Based on the Renovation and Reuse of Listed Buildings
The Naval Base of Navarino: Mapping the Fortifications of the Italians in Pylos
Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage - Second International Conference, TMM_CH 2021, Athens, Greece, December 13-15, 2021, Revised Selected Papers
Corrosion Protection Study of Metallic Structural Elements for the Holy Aedicule in Jerusalem
Taxonomy of Architectural Styles and Movements Worldwide Since 8500 BC
Cretan Cultural Landscapes: Using Virtual Reality to Promote the Marine and Mountainous Environment of Mirabello. The Experience of the Research Project DIATOPO in Crete
Development of a Support System for Improved Resilience and Sustainable Urban Areas to Cope with Climate Change and Extreme Events Based on GEOSS and Advanced Modelling Tools
Volos in the Middle Ages: A Proposal for the Rescue of a Cultural Heritage
Digitization of Industrial Heritage in Greece
Advanced 3D Survey and Modelling for Enhancement and Conservation of Cultural Heritage: The INCEPTION Project
3D Survey of a Neoclassical Building Using a Handheld Laser Scanner as Basis for the Development of a BIM-Ready Model
AegeanDigital Tourism Tank: Experiences and Products for Enhancing the Sustainable Preservation of Digital Heritage of Cultural Organizations of North Aegean
The Temple of Apollo at Corinth. Observations on the Architectural Design
Education and Training for the Preservation of Cultural Heritage, as a Strategic Aim of the Department of Architecture, Frederick University Cyprus
Moisture Climate Monitoring in Confined Spaces Using Percolation Sensors
Authentic Learning to Better Prepare for Preservation Work
Conservation of Greek Neoclassical Facade Elements Through Their Integration in a HBIM Library
Heritage Resilience Against Climate Events on Site - HERACLES Project: Mission and Vision
Documentation of the Leprosarium of Chios
Crowdsourcing for 3D Digital Modelling: Ioannina City-Chairedin Pasha Sarai Case Study
On the Greatest Challenge in the Management of Living Religious Heritage: Linking the Authenticity of Heritage and the Authenticity of Tourist Experiences to the Authenticity of Religious Tradition
Restoration and Management of World Heritage Christian Cultural Sites: Problems of Religious Tourism - Challenges - Perspectives
Restoration and Consolidation of the Byzantine Church of Palaia Episkopi in Tegea, Arcadia
Design of a VR Environment Optimized for Cultural Heritage Sites and Objects: The Use Case of Its Kale, Ioannina, Greece
A Digital Cultural Landscape: Interpretations on Multisensory Projections
Scientific Architecture of the Educational Toolkit of the Project EDICULA
Increasing the Resilience of Cultural Heritage to Climate Change Through the Application of a Learning Strategy
Technological Innovations in Architecture During Antiquity. The Case of Cyprus
Masonry Compressive Strength Prediction Using Artificial Neural Networks
A New Low-Cost Rolling Ball Type Isolation Device for the Protection of Museum Collections
A Contribution to Palaeocoastal and Beachrock Studies with the Application of Digital Technologies: The Case Study of Romanos Beach in Pylos
DiscoVRCoolTour: Discovering, Capturing and Experiencing Cultural Heritage and Events Using Innovative 3D Digitisation Technologies and Affordable Consumer Electronics
Terrestrial Laser Scanning Coupled with UAVs Technologies: The Case of Old Navarino Castle in Pylos, Greece
Alternative Dome Reconstruction Method for Masonry Structures
Correction to: The Oslo Opera House - Condition Analysis and Proposal for Cleaning, Protection and Maintenance of Exterior Marble
Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage - Third International Conference, TMM_CH 2023, Athens, Greece, March 20-23, 2023, Revised Selected Papers
Digitizing Mystras: The Palace Complex
When Technology Meets Heritage
Fusion of the Infrared Imaging and the Ultrasound Techniques to Enhance the Sub-surface Characterization
Governance and Management of the Holy Edicule Rehabilitation Project
Anastylosis of Roman Temples in the West End of the Roman Forum, as Part of a Management Plan of the Archaeological Site of Ancient Corinth
Information Technology, Smart Devices and Augmented Reality Applications for Cultural Heritage Enhancement: The Kalamata 1821 Project
The Oslo Opera House - Condition Analysis and Proposal for Cleaning, Protection and Maintenance of Exterior Marble
Nominal Life of Interventions for Monuments and Historic Structures
Cultural Heritage and Education/Training/Occupational Activity of Engineers in Greece
The Timber-Roofed Basilicas of Troodos, Cyprus (15th-19th Cen.). Constructional System, Anti-seismic Behaviour and Adaptability
Cultural Heritage Protection and Artificial Intelligence; The Future of Our Historical Past
Sustainable Management of Cultural Heritage. The Science of Conservation in the Transition Towards a Global Sustainable Model
Radar Interferometer Application for Remote Deflection Measurements of a Slender Masonry Chimney
Climate Information for the Preservation of Cultural Heritage: Needs and Challenges
Interdisciplinary Approaches in Cultural Heritage Documentation: The Case of Rodakis House in Aegina
Glittering on the Wall: Gildings on Greek Post-Byzantine Wall Paintings
Digital Technologies for Heritage Conservation Labs Open to the Public. The Case of the CALLOS Project
ICT and Semantic BIM Technologies for the Advanced Documentation and Condition Assessment of Cultural Heritage Sites
AAGIS: An Archaeoastronomical Approach Using Geographic Information Systems
Protection and Highlighting of a Waterfront Zone Disposing Strong Cultural Characteristics
Virtualand: An Immersive Virtual Experience for Cultural and Natural Heritage Sites
Public Built Cultural Heritage Management: The Public-Private Partnership (P3)
Interventions on Coastal Monuments Against Climatic Change
Modern Architecture and Cultural Heritage
The Historic Centre of Vimercate: Investigation, Education, Community Involvement
The Digitization of the Tangible Cultural Heritage and the Related Policy Framework
Preliminary Assessment of the Structural Response of the Holy Tomb of Christ Under Static and Seismic Loading
20 Years of the N.T.U.A. Interdisciplinary Post Graduate Programme "Protection of Monuments"
Cultural Heritage Structures Strengthened by Ties Under Seismic Sequences and Uncertain Input Parameters: A Computational Approach
Approaching Climate Resilience in Greek Cultural Heritage Using Geodata and Geoinformatics Tools
Resilient Eco-Smart Strategies and Innovative Technologies to Protect Cultural Heritage
Connections with the Cultural Heritage in Formal and Informal Learning: The Case of an Interactive Visual Game of School Life Museum in Chania
Technical Museum Nikola Tesla in Zagreb - Survey and Documentation for the Enhancement of Structural Performance After Recent Earthquakes, Maintenance and AR and VR Applications
Vandalized Frescoes' Virtual Retouching
The Preservation of the Heritage of the Petralona Cave Using Multiple 3D Scanning Techniques and Data Processing Algorithms
A Web and a Mobile Application to Explore the Cultural Heritage in the Greece-Albania Cross Border Region
Idea: Ancient Greek Science and Technology
The Digitization of Klissova Islet and the Church of Agia Triada in Mesologgi
Towards a Blockchain Architecture for Cultural Heritage Tokens
The Restoration of the Katholikon of Daphni Monastery: A Challenging Project of Holistic Transdisciplinary Approach, Novel Methodologies and Techniques and Digital Modelling
Towards a New Heritage Financing Tool for Sustainable Development
INCEPTION: Web Cutting-Edge Technologies Meet Cultural Heritage
A Review of Heritage Building Information Modelling: Classification of HBIM through the Utilization of Different Dimensions (3D to 7D)
ICT and Digital Technologies. The New European Competence Centre for the Preservation and Conservation of Cultural Heritage
Comparing the Methods of Terrestrial Laser Scanning and Photogrammetry for the Geometric Documentation of Stone Bridges Through the Case Study of Tzelefos Bridge
Mapping Ancient Athens: A Digital Map to Rescue Excavations
Built Cultural Heritage and Digital Transition: The New Role of Data and Artificial Intelligence Applications in Administrative Procedures
How Your Cultural Dataset is Connected to the Rest Linked Open Data?
Monastery of Kimisis Theotokou, Valtessiniko, Arcadia, Greece - Restoration of the Τemple and Integration of New Structures
Planning to Live Longer: A Model for the Maintenance-Focused Heritage Building Conservation
Vra Core 4.0 Metadata Standard for the Facades of the Historic Houses of Athens (19 th - Early 20 th Century)
Improving the Geometric Documentation of Cultural Heritage: Combined Methods for the Creation of an Integrated Management Information System in Greece
Computer Aided Design for the Preservation of Cultural Heritage: The Case of Mavrogiorgiannika in Kythera, Greece
Developing an H-BIM-Ready Model by Fusing Data from Different Sensors
Cultural-Oriented Mobile Game Application and the Gamification of Tourism
Enhancing Archaeological Sites. Interconnecting Physically and Digitally - InterArch
Innovative Methodology for Personalized 3D Representation and Big Data Management in Cultural Heritage
Cross-Sector Collaboration for Organizational Transformation: The Case of the National Library of Greece Transition Programme to the Stavros Niarchos Foundation Cultural Center (2015-2018)
The Restoration of the Main Theatre of the First Ancient Theatre of Larissa, Greece, Assisted by 3D Technologies
Cultural Heritage Sites Holistic Documentation Through Semantic Web Technologies
Exploring the Possibilities of Immersive Reality Tools in Virtual Reconstruction of Monuments
Delivering Education on the Sustainable Aspects of Heritage
Infrared Hyperspectral Spectroscopic Mapping Imaging from 800 to 5000 nm. A Step Forward in the Field of Infrared "Imaging"
Enhancing Heritage Management for Sustainable Development in Insular Areas Through Digital Documentation: The Case Study of the Historic Center of the Megisti Island (Kastellorizo)
TLS Survey and FE Modelling of the Vasari's Cupola of the Basilica dell'Umiltà (Italy). An Interdisciplinary Approach for Preservation of CH
Advanced Digitization Methods for the 3D Visualization and Interpretation of Cultural Heritage: The Sphinx of the Naxians at Delphi
Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage - First International Conference, TMM_CH 2018, Athens, Greece, October 10-13, 2018, Revised Selected Papers, Part I
The Protection of Natural and Cultural Heritage Monuments, Museums and Archives from Risks: Bridging Artificial Intelligence, Risk Assessment and Stakeholders
Deterioration of Monument Building Materials: Mechanistic Models as Guides for Conservation Strategies
Multispectral and Hyperspectral Studies on Greek Monuments, Archaeological Objects and Paintings on Different Substrates. Achievements and Limitations
Salamis Island in the Challenge of a Digital Storytelling
'Orphaned' Monuments or Common Bicommunal Heritage? Conservation of four Gothic Churches in Famagusta Cyprus, Promoting Cultural Understanding, Exchange and Peace
Evaluating the Effectiveness of Unsupervised and Supervised Techniques for Identifying Deteriorations on Cultural Heritage Monuments Using Hyper-spectral Imagery
Investigation of the Structural Response of Masonry Structures
Analysis Between Cultural Heritage, Human Settlements and Landscapes Using Earth Observation and Archaeological Data
Decryption, Through the Collaboration of Historical Accounts and Technology, of the Hidden Phases of Construction of the Church of the Holy Monastery of Kykko in Cyprus. A Preliminary Report
Kinematic Analysis of Rock Instability in the Archaeological Site of Delphi Using Innovative Techniques
Documentation of Cultural Heritage Monuments, by Introducing New Surveying Technologies - Implementation in Sarlitza Pallas, in Thermi Mytilene
Environmental and Socioeconomic Pressures and Cultural Heritage Degradation. Evidence from Elounda, Crete Island
Associating Geodetic Theory to Digital Pottery Reassembly Practice
Reconstruction and Visualization of Cultural Heritage Artwork Objects
Smart City and Open-Air Museum: A Digital Application for the Promotion of the Old Town of Chania
Different Geodetic Approaches for the Creation of a ΗΒΙΜ
Transdisciplinary Multispectral Modeling and Cooperation for the Preservation of Cultural Heritage - First International Conference, TMM_CH 2018, Athens, Greece, October 10-13, 2018, Revised Selected Papers, Part II
IASIS-Integrated Cultural Heritage Management System: A Christian Monastery, a Muslim Mosque and a Contemporary State Administrative Building, Ioannina: Digital Approach
Current and Potential Applications of AR/VR Technologies in Cultural Heritage. "INCEPTION Virtual Museum HAMH: A Use Case on BIM and AR/VR Modelling for the Historical Archive Museum of Hydra Greece"
Secure PRNGs from Specialized Polynomial Maps over Any
Post-Quantum Cryptography, Third International Workshop, PQCrypto 2010, Darmstadt, Germany, May 25-28, 2010. Proceedings
Breaking the Quadratic Barrier: Quantum Cryptanalysis of Milenage, Telecommunications' Cryptographic Backbone
A Timing Attack against the Secret Permutation in the McEliece PKC
Differential Power Analysis of the Picnic Signature Scheme