yusuke1997/dblp-id-title huggingface dataset:
The concurrent use of touch and mid-air gestures or floor mat interaction on a public display
Wearable augmented reality display for wellness
GPS lens: GPS based controlling of pointers on large-scale urban displays using mobile devices
Investigation of an Ambient and Pervasive Smart Wall Calendar with Event Suggestions
Collaborative Newspaper Demo: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario
Usage analysis of cross-device web applications
cAR: Contact Augmented Reality with Transparent-Display Mobile Devices
What's in it for me: Exploring the Real-World Value Proposition of Pervasive Displays
Multi-view proxemics: distance and position sensitive interaction
Understanding Engagement with Interactive Public Displays: an Awareness Campaign in the Wild
Creating engagement with old research videos
Enhancing pedestrian safety through in-situ projections: a hyperreal design approach
Proceedings of the 4th International Symposium on Pervasive Displays, PerDis 2015, Saarbrücken, Germany, June 10-12, 2015
Evaluating the Use of a Very Large-scale Presentation and Collaboration Framework
Replication of web-based pervasive display applications
Cognitive Monitoring via Eye Tracking in Virtual Reality Pedestrian Environments
Multimodal head-mounted display for multimodal alarms in intensive care units
FlyingARrow: Pointing Towards Out-of-View Objects on Augmented Reality Devices
Avoid the use of audio?: evaluating the influence of sound in a large display multi-user scenario
I Love My Display: Combatting Display Blindness with Emotional Attachment
GTmoPass: two-factor authentication on public displays using gaze-touch passwords and personal mobile devices
Flexible Registration of Multiple Displays
Enriching Public displays Ads Recommendations using an Individual: Group cooperation model
Gravity Games: A Framework for Interactive Space Physics on Media Facades
Interactive Study of WallSHOP: Multiuser Connectivity between Public Digital Advertising and Private Devices for Personalized Shopping
The lone star digital memorial: a case study in pervasive displays
Vote With Your Feet: Local Community Polling on Urban Screens
Design considerations for multi-stakeholder display analytics
Yarely: a software player for open pervasive display networks
Waving to a touch interface: descriptive field study of a multipurpose multimodal public display
COMB: A Modular Low-Resolution Display to Support Electronic Musical Pre-Education
Proficiency-Aware Systems: Adapting to the User's Skills and Expertise
BIM|MAR: Assembling physical objects by virtual information
Self-moving robots and pulverized urban displays: newcomers in the pervasive display taxonomy
An Interactive Planetary System for High-Resolution Media Facades
UbiOpticon: Participatory Sousveillance with Urban Screens and Mobile Phone Cameras
IdleStripes shirt - wearable display of sedentary time
Investigating how user avatar in touchless interfaces affects perceived cognitive load and two-handed interactions
PresiShare: opportunistic sharing and presentation of content using public displays and QR codes
Exploring Gesture Based Interaction with a Layered Stereoscopic 3D Interface
There is more to Interaction with Public Displays than Kinect: Using Wearables to Interact with Public Displays
ProductFinder: a location aware product information display for retail environments
Construction on Display: Exploring the Use of Public Displays on Construction Sites
The International Symposium on Pervasive Displays, PerDis 2012, Porto, Portugal, June 4-5, 2012
Beyond interaction: tools and practices for situated publication in display networks
They want to tell us: Attention-aware Design and Evaluation of Ambient Displays for Learning
A Method of Abstracting Single Pulmonary Lobe from Computed Tomography Pulmonary Images for Locating COPD
GSK-J4, a Histone Demethylase JMJD3 Inhibitor, Modulates Immune-related Protein Expression on Colon Cancer Cells
BIBE 2021: The Fifth International Conference on Biological Information and Biomedical Engineering, Hangzhou, China, July 20-22, 2021
Melt-based Electrohydrodynamic Bioprinting: : Heating Unit, Ambient Control, and Power Module Control
The Buffer Conductivity Optimization for Single Bacteria Detection Based on Electrical Impedance Flow Cytometry
The Potential Clinical Application Value of a Traditional Chinese MEdicine HongJin XiaoJie in the Treatment of Thyroid Nodules
Fungicidal Mechanism of Ortho-Phthaldialdehyde-benzyldlmethyldodecylammonlum Chloride as A Disinfectant Against Candida Albicans
Diffuse Optical Tomography for Human Brain Based on Highly Cost-effective Instruments
Compare among Three Immunotherapies Against Cancer: Vaccine Immunotherapy, Immune Checkpoint Blockade and Adoptive Immunotherapy
The Recent Advances of Anti-PD-1/PD-L1 Immunotherapy
Sodium Butyrate Promotes CD8 T Cell Response to Low Affinity Ligand
Thermal Dose Images Enhance the Prediction of Local Tumor Progression After Multimode Ablation
A Graphical Representation of Protein Sequences and Its Applications
Localizing Epileptic Focus of Patients with Epilepsy Using Post-Ictal Scalp EEG
A Meta-analysis: Evaluating the Effect of METTL3/METTL14 on m6A Level Based on Knockdown Samples
Approaches to Detect Foodborne Pathogenic Microorganisms
High Speed Wireless Video Transmission for Handheld Ultrasonic System
Effects of Intact Soil Bacterial Community on Plant Growth and Soil Physicochemical Properties: Effects of Intact Soil Bacterial Community
Predicting Surgical Outcomes in Epilepsy Patients Using Directed Transfer Function and Computational Model
Implementation of Signal Detection and Control of Bioartificial Liver Support System
Differences In Acupuncture Treatment Of Dysmenorrhea Between China And Europe
Clone and Analysis of Atrazine Chlorohydrolase Gene of Arthrobacter sp. T3AB1 Isolated from Northeast China
An Automatic Sleep Staging Method Using a Multi-head and Sequence Network
Abnormal Heart Sound Recognition Based on Instantaneous Frequency and Singular Value Decomposition
Effect of Degree Distribution on Signal Propagation Based on Heterogeneous High-frequency Stimuli in Feedforward Networks
Analysis of Risk Factors for Hyperglycemia and GHR Gene Polymorphism in Growth Hormone secreting Pituitary Adenoma
Computation Prediction of the Therapeutic Effect of Metal Stent Implantation for Coronary Bifurcation
Investigating Influencing Factors of Chinese Elderly Users' Intention to Adopt MHealth Based on the UTAUT2 Model
Effects of Grazing Intensity on Soil Bacterial Community Structure of Stipa grandis Grasslands in Inner Mongolia, China
Method of Non-invasive Fetal Electrocardiogram Denoising Based on Stationary Wavelet Transform and Spatially Selective Noise Filtration
Computational Design of Potential Binder Protein for SARS-CoV-2 Spike RBD through A Novel Deep Neural Network Based-Protein Outpainting Algorithm
The Association between Baseline Serum SHBG and the Number of Retrieved Oocytes in Chinese Infertile Patients Undergoing IVF Treatment of PPOS Protocol: A Restrospective Cohort Study
PDLCS Bioactivity Evaluation for Instantaneous High Temperature in Thermo-plasticized Obturation
Information-Based Similarity of Binary Symbol Sequence as a New Index for Sleep Apnea Research
BIBE 2020: The Fourth International Conference on Biological Information and Biomedical Engineering, Chengdu, China, July 21-23, 2020
An Improved MRI Reconstruction Algorithm Combining Partial Fourier and Parallel Imaging
Overview of Machine Learning Methods for Genome-Wide Association Analysis
Differential Expression Analysis Basing on Bladder Cancer on Dataset GSE40355/GPL13497
Effect of Electrode Size and Maximum Current Limitation on Multichannel Transcranial Electrical Stimulation Optimization
Research on Technical Standards of Prevention and Control of Low Vision among Adolescents
Abnormal Symbolic Transfer Entropy in Depression
Kisspeptin and Gynecological Cancer
Identification of Key Genes and Pathways Associated with Chronic Obstructive Pulmonary Disease Based on Bioinformatics Analysis
GABAergic Neuron-related DNA Methylation Modification and Chronic Pain
Identification of Key Gene Modules and Hub Genes of Hypertension Based on WGCNA Algorithm
EEG-Based Depression Recognition Using Intrinsic Time-scale Decomposition and Temporal Convolution Network
A Novel Method for Nonlinear Dynamics Analysis of Fetal Heart Rate in Fetal Distress Using Visibility Graph
Covid-19 Classification with Deep Neural Network and Belief Functions
Chimeric Antigen Receptor T-Cell Immunotherapy for Cancer
An Improved Algorithm for Estimating the Distribution of RNA-related Genomic Features
Technologies and Music Therapy from the Perspective of Music Therapists
Construction of Asthma Local Gene Network for Revealing its Relationship with Nutrient Metabolism Modules
Prediction of Anuran Antimicrobial Peptides Using AdaBoost and Improved PSSM Profiles
Identifying Enhancers and Their Strength Based on PCWM Feature by A Two-Layer Predictor
Analysis of the Vaccine Effect on Infectious Diseases by System Dynamics Model
Multimodal Optimization Evolutionary Algorithm for RNA Secondary Structure Prediction
A Simple Residual Network for Lung Nodule Classification
Facile Fabrication of Cell Delivery Microrobot Using Self-rolled-up Method
Computational Prediction of N6-methyladenosine (m6A) RNA Methylation in SARS-CoV-2 Viral Transcripts
Identification of Key Genes and Signaling Pathways in Male Androgenetic Alopecia by Bioinformatics Analysis
Use Chou's 5-steps Rule to Study the Mechanism of Uncaria Rhynchophylla for Treating Alzheimer's Disease Based on Network Pharmacology
L1/2 Regularization-Based Deep Incremental Non-negative Matrix Factorization for Tumor Recognition
TCN-Based Diagnostic Model for the Severity of Coronary Atherosclerotic Heart Disease Using Wrist Pulse Wave Sequence
Fluid Segmentation in OCT with an Improved Convolutional Neural Network
Prediction of m6A Reader Substrate Sites Using Deep Convolutional and Recurrent Neural Network
Field Identification of Cold Tolerance of High Oleic Acid Peanut at Germination Stage and Verification of Physiological Indices
Preliminary Study of Local Gene Network in Epilepsy
Identification of the C2H2 Type Zinc Finger Transcription Factor Family in Aspergillus Flavus and Aspergillus Oryzae and Their Expression Profiles in Aspergillus Oryzae
Minimally Invasive Synchronous Cardiac Assisted Pump and in Vitro study
Fish Collagen Promotes Proliferation and Inhibits the Inflammation in Human Epidermal Keratinocytes in Vitro
Wearable IMU-based Gym Exercise Recognition Using Data Fusion Methods
Study on the Two-dimensional Sample Entropy of Sleep Apnea Based on the Hilbert-Huang Time-frequency Diagram
Models of Adjunction in Minimalist Grammars
D-STAG: A Formalism for Discourse Analysis Based on SDRT and Using Synchronous TAG
Cognitive and Sub-regular Complexity
On the Complexity of Free Word Orders
Eliminating Ditransitives
An Efficient Enumeration Algorithm for Canonical Form Underspecified Semantic Representations
Undecidability of a Newly Proposed Calculus for CatLog3
On the Generative Power of Discontinuous Lambek Calculus
Learning Context Free Grammars with the Finite Context Property: A Correction of A. Clark's Algorithm
FERA 2015 - second Facial Expression Recognition and Analysis challenge
MSP-AVATAR corpus: Motion capture recordings to study the role of discourse functions in the design of intelligent virtual agents
Distinguishing Phenogrammar from Tectogrammar Simplifies the Analysis of Interrogatives
A Savateev-Style Parsing Algorithm for Pregroup Grammars
Building a Formal Grammar for a Polysynthetic Language
Algebraic Governance and Symmetry in Dependency Grammars
Property Grammar Parsing Seen as a Constraint Optimization Problem
Plural Quantifications and Generalized Quantifiers
Undecidability of the Lambek Calculus with a Relevant Modality
Structure Sensitive Tier Projection: Applications and Formal Properties
Some Higher Order Functions on Binary Relations
Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing
Higher-Order Syllogistics
A multi-perspective holistic approach to Kinship Verification in the Wild
A Model-Theoretic Framework for Grammaticality Judgements
Hyperintensional Dynamic Semantics - Analyzing Definiteness with Enriched Contexts
Learning to combine local models for facial Action Unit detection
Discriminant multi-label manifold embedding for facial Action Unit detection
Proof Nets for the Displacement Calculus
The Proper Treatment of Linguistic Ambiguity in Ordinary Algebra
Automatic gaze analysis in multiparty conversations based on Collective First-Person Vision
A Challenge for Tier-Based Strict Locality from Uyghur Backness Harmony
Oscillating patterns based face antispoofing approach against video replay
Polynomial Time Learning of Some Multiple Context-Free Languages with a Minimally Adequate Teacher
Advantages of Constituency: Computational Perspectives on Samoan Word Prosody
Formal Grammar - 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings
Automatic affective dimension recognition from naturalistic facial expressions based on wavelet filtering and PLS regression
Unifying Local and Nonlocal Modelling of Respective and Symmetrical Predicates
Bracket Induction for Lambek Calculus with Bracket Modalities
On IO-Copying and Mildly-Context Sensitive Formalisms
A Model-Theoretic Reconstruction of Type-Theoretic Semantics for Anaphora
On Minimalism of Analysis by Reduction by Restarting Automata
The Cantor-Bendixson Analysis of Finite Trees
Resumption and Island-Hood in Hausa
Locality and the Complexity of Minimalist Derivation Tree Languages
Logical Entity Level Sentiment Analysis
Distinguishable de-identified faces
Countability: Individuation and Context
The influence of context on emotion recognition in humans
A Unified Account of Hausa Genitive Constructions
Face recognition in the wild with the Probabilistic Gabor-Fisher Classifier
A Topos-Based Approach to Building Language Ontologies
Word Ordering as a Graph Rewriting Process
A Purely Surface-Oriented Approach to Handling Arabic Morphology
The Generative Capacity of the Lambek-Grishin Calculus: A New Lower Bound
Introducing a Calculus of Effects and Handlers for Natural Language Semantics
Two Models of Learning Iterated Dependencies
Reconstructing high-resolution face models from Kinect depth sequences acquired in uncooperative contexts
An overview of face de-identification in still images and videos
Weak Familiarity and Anaphoric Accessibility in Dynamic Semantics
Overtly Anaphoric Control in Type Logical Grammar
Determiner Gapping as Higher-Order Discontinuous Constituency
Quantificational Subordination as Anaphora to a Function
Between the Event Calculus and Finite State Temporality
A Generalization of Linear Indexed Grammars Equivalent to Simple Context-Free Tree Grammars
Comparing categorical and dimensional ratings of emotional speech
Modelling Derivational Morphology: A Case of Prefix Stacking in Russian
On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results
Models for the Displacement Calculus
3D hand shape analysis for palm and fingers identification
Tree Wrapping for Role and Reference Grammar
A Count Invariant for Lambek Calculus with Additives and Bracket Modalities
Deep learning based FACS Action Unit occurrence and intensity estimation
On the Mild Context-Sensitivity of k-Tree Wrapping Grammar
Foreword - Biometrics in the Wild 2015
Formal Grammar - 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings
Detecting social context: A method for social event classification using naturalistic multimodal data
De-identifying facial images using projections on hyperspheres
Lambek Grammars with the Unit
Term Graphs and the NP-Completeness of the Product-Free Lambek Calculus
Formal Grammar 2018 - 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings
Morphological Agreement in Minimalist Grammars
Abnormal gait detection with RGB-D devices using joint motion history features
Characterizing Discontinuity in Constituent Treebanks
Proof-Theoretic Aspects of Hybrid Type-Logical Grammars
Formal Grammar - 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers
Suitability of a low cost system for quantitative motion capture applications
A Single Movement Normal Form for Minimalist Grammars
Lithuanian Phrasal Comparatives Without Covert Syntactic Structures
Completeness of Full Lambek Calculus for Syntactic Concept Lattices
Reforming AMR
A Grammar Correction Algorithm - Deep Parsing and Minimal Corrections for a Grammar Checker
Formal Grammar - 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings
On Generalized Noun Phrases
Formal Grammar - 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
Facial Action Units intensity estimation by the fusion of features with multi-kernel Support Vector Machine
Privacy in mini-drone based video surveillance
Memory Resource Allocation in Top-Down Minimalist Parsing
Group-level arousal and valence recognition in static images: Face, body and context
The String-Meaning Relations Definable by Lambek Grammars and Context-Free Grammars
A Learnable Representation for Syntax Using Residuated Lattices
Person-specific behavioural features for automatic stress detection
Is Malay Grammar Uniform? A Constraint-Based Analysis
The Distribution and Interpretation of Hausa Subjunctives: An HPSG Approach
Stripping Isn't so Mysterious, or Anomalous Scope, Either
Adjectives in a Modern Type-Theoretical Setting
Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives
Case Theory in Minimalist Grammars
The Conjoinability Relation in Discontinuous Lambek Calculus
Facial Action Unit intensity prediction via Hard Multi-Task Metric Learning for Kernel Regression
Distributional Learning and Context/Substructure Enumerability in Nonlinear Tree Grammars
Real-time multi-view facial landmark detector learned by the structured output SVM
Controllable Face Privacy
Formal Grammar - 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers
Pain assessment in infants: Towards spotting pain expression based on infants' facial strain
Frames as Records
Combined shape analysis of human poses and motion units for action segmentation and recognition
Prior Knowledge in Learning Finite Parameter Spaces
Feature Resolution by Lists: The Case of French Coordination
Side-Information based Exponential Discriminant Analysis for face verification in the wild
FERA 2014 chairs' welcome
Foreword - De-identification for Privacy Protection in Multimedia 2015
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases
Binding Domains: Anaphoric and Pronominal Pronouns in Categorial Grammar
Adjuncts and Minimalist Grammars
Iterated Dependencies and Kleene Iteration
Towards context based affective computing introduction to the third international CBAR 2015 workshop
Automatic 3D facial expression recognition using geometric and textured feature fusion
Speaker de-identification using diphone recognition and speech synthesis
Human-object interaction recognition by learning the distances between the object and the skeleton joints
Quantifiers in Frame Semantics
Multi-Component Tree Insertion Grammars
Formal Grammar - 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers
Parsing Pregroup Grammars with Letter Promotions in Polynomial Time
The Lambek-Grishin Calculus Is NP-Complete
Reference-Set Constraints as Linear Tree Transductions via Controlled Optimality Systems
Trial Somaliland voting register de-duplication using iris recognition
On the Expressivity of Optimality Theory versus Ordered Rewrite Rules
Polarized Montagovian Semantics for the Lambek-Grishin Calculus
Secure JPEG scrambling enabling privacy in photo sharing
Resolving Plural Ambiguities by Type Reconstruction
Controlling Extraction in Abstract Categorial Grammars
On the Computational Complexity of Head Movement and Affix Hopping
Paracompositionality, MWEs and Argument Substitution
Generalized Discontinuity
An HMM-based speech-smile synthesis system: An approach for amusement synthesis
Cross-dataset learning and person-specific normalisation for automatic Action Unit detection
A reference-based framework for pose invariant face recognition
The Logic of Ambiguity: The Propositional Case
A multi-level context-based modeling of engagement in Human-Robot Interaction
Towards an HPSG Analysis of Object Shift in Danish
A Modal Representation of Graded Medical Statements
Linear Conjunctive Grammars and One-Turn Synchronized Alternating Pushdown Automata
A Dynamic Categorial Grammar
Types from Frames as Finite Automata
Location matters: A study of the effects of environment on facial recognition for biometric security
Higher-Order Redundancy Elimination
The interaction of contracts and laziness
Inversion and Metacomputation
Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, La Jolla, California, USA, June 21-23, 1995
Partial Evaluation is Fuller Laziness
On the Logical Foundations of Staged Computation (Abstract of Invited Talk)
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010
Partial Evaluation of Reversible Flowchart Programs
Obfuscation by partial evaluation of distorted interpreters
A reversible programming language and its invertible self-interpreter
Typed Program Analysis without Encodings
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004
Introduction to Supercompilation
A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial (Extended Abstract)
Type classes in functional logic programming
A Type-directed, On-line, Partial Evaluator for a Polymorphic Language
Generating attribute grammar-based bidirectional transformations from rewrite rules
Security type error diagnosis for higher-order, polymorphic languages
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
Lightweight Run-Time Code Generation
Verified integrity properties for safe approximate program transformations
Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis
An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework
Deriving a complete type inference for hindley-milner and vector sizes using expansion
Aliasing analysis for a million lines of C
Specialization of Lazy Functional Logic Programs
Operator precedence for data-dependent grammars
Symbolic Execution of Hadamard-Toffoli Quantum Circuits
Calculating with lenses: optimising bidirectional transformations
Optimizing Ackermann's function by incrementalization
On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations
Proofs by Structural Induction using Partial Evaluation
I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP
A theory of totally correct logic program transformations
Partial evaluation of Maple
Precise explanation of success typing errors
Generalized Partial Computation for a Lazy Functional Language
Staging Effect Handlers for Modular Search
CPS translating inductive and coinductive types
Aspects preserving properties
Slicing java programs that throw and catch exceptions
Extracting a call-by-name partial evaluator from a proof of termination
On the cost of type-tag soundness
Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation
The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk)