yusuke1997/dblp-id-title huggingface dataset:
Performance Evaluation of a DTN Based Multi-hop Network for Disaster Information Transmission by Smart Devices
Setting Up Static Components for Investigating MANET Performance: A Simulation Case
Passive Neighbor Discovery with Scanning Mechanism for Mobile Ad Hoc Devices in WUR Networks
Source Camera Identification in Real Practice: A Preliminary Experimentation
Introduction of a Direct Method at Subdomains in Non-linear Magnetostatic Analysis with HDDM
TCP with network coding meets loss burstiness estimation for lossy networks
Multi-Version Concurrency Control to Reduce the Electric Energy Consumption of Servers
Analysis of the Relationship Between Psychological Manipulation Techniques and Personality Factors in Targeted Emails
Data Transfer in Delay-Tolerant Networks
Privacy Mining from IoT-Based Smart Homes
Green-Oriented Network Management: Towards Symbiosis between Information Systems and Nature
Communication Protocols in Layered Groups with Heterogeneous Clocks
Spectrum Analysis of Envelope Pulse After Propagating in Nonlinear Dielectric Material
A Message Suppression Method for Vehicular Delay Tolerant Networking
Energy Balanced Interference Aware Energy Efficient Depth Base Routing Protocol for UWSNs
Autonomous Power Supplied Wireless Mesh Network for Disaster Information System
On-line Voting System with Illegal Ballot Filtering Using Homomorphic Encryption
Feature Recognition Method for Hand-Written Signature Image
A Fuzzy-Based System for Handover in 5G Wireless Networks Considering Different Network Slicing Constraints: Effects of Slice Reliability Parameter on Handover Decision
Effects of Mutation and Crossover in Genetic Algorithms for Node Placement in WMNs Considering Giant Component Parameter
Scalable and Accurate Data Aggregation Mechanism on Structured P2P Network
Scheduling of Appliances in HEMS Using Elephant Herding Optimization and Harmony Search Algorithm
Multiple DAGs Dynamic Workflow Scheduling Based on the Primary Backup Algorithm in Cloud Computing System
Network-Adaptive Multipath Video Delivery over Wireless Multimedia Sensor Networks Based on Packet and Path Priority Scheduling
Design of an Intelligent Robotic Vision System for Optimization of Robot Arm Movement
Assessment of a Small Scale WMN for Different Number of Mesh Routers and Subway Distribution of Mesh Clients Considering Blend and Simplex Crossovers
Design of Reminiscence Therapy System for Elderly People with Dementia
Building a Content Delivery Network among Tens of Nearby Devices Using MultihopWireless Communication
Comparison of Spray and Wait and Epidemic Protocols in Different DTN Scenarios
Multi-device Key Management Using Visual Side Channels in Pervasive Computing Environments
Performance Evaluation of WMNs by WMN-PSOSA Simulation System Considering Random Inertia Weight Method and Linearly Decreasing Vmax Method
Inferring Smartphone User Demographics from Wi-Fi trace Logs: A Study of Users' Privacy Concerns
Resource Management in 5G Femtocell Networks
Design of Education Tool for Reinforcement-Learning Agent Developers
Improvement of Dental Treatment Training System Using a Haptic Device
Cluster-RLM: Establishing a Routing Path with Cluster-Based Redundant Link Minimization in Wireless Sensor Networks
A Low-Complexity Decoding Algorithm for RaptorQ Code
OLDA: An Efficient On-Line Data Aggregation Method for Wireless Sensor Networks
A Power Control Mechanism Based on Priority Grouping for Small Cell Networks
A Tutorial on Quantum Key Distribution
Research on Cluster Head Selection Algorithm Based on QoS Constraints in Mobile Ad Hoc Networks
Degree Distribution of Unit Disk Graphs with Uniformly Deployed Nodes on a Rectangular Surface
DDoS Detection Technique Using Statistical Analysis to Generate Quick Response Time
Ceramic Humidity Sensors for Environmental Parameters Monitoring
Malware Obfuscation Techniques: A Brief Survey
Performance Evaluation of V2X Communication for Road State Information Platform Based on 5G and HighSpeed LAN
An Energy Efficient Load Balancing Algorithm Based on the Active Time of Cores
The Trends of Integrating Renewable Energy Sources: A Survey
Development of Decision Algorithm for Road Surface Conditions by Crowd Sensing Technology
A New Design of Circular Polarized Planar Antennae
Concept of the Cloud Type Virtual Policy Based Network Management Scheme for the Specific Domain
Noise-Resistant Joint Fingerprinting and Decryption Based on Vector Quantization
State of the Art: Carbon Emission Accountability Modeling
An Attention Mechanism for Visualizing Word Weights in Source Code of PowerShell Samples: Experimental Results and Analysis
Enhancing Resource Allocation for Cloud Computation Platform with Priority Based Scheduling
Characteristics of Diffracted Waves: A Comparison Study for Different Wedge Shapes and Materials
Investigating SIC Performance Using Sequential Power Allocation for Downlink NOMA
Finite Field Multiplication Using Reordered Normal Basis Multiplier
Power Consumption and Computation Models of a Storage Server
Circulation Mechanism of Multiagent System Based on Agent Repository
Numerical Analysis of Y-Shaped Branch Waveguide in Photonic Crystal Structures and Its Application
Heuristic Maxmin Fairness for the Wireless Channel Allocation Problem
Design and Implementation of a Simulation System Based on Genetic Algorithm for Node Placement in Wireless Sensor and Actor Networks
A QoE Estimation Model for Video Streaming over 5G Millimeter Wave Network
Investigating an ISP's Core Network in 2014
Non-supervised Rule for Direct Sequence Spread Spectrum Signal Sequence Acquisition
MODLEACH: A Variant of LEACH for WSNs
DREEM-ME: Distributed Regional Energy Efficient Multi-hop Routing Protocol Based on Maximum Energy in WSNs
Demand Side Management Using Meta-Heuristic Optimization Techniques
Block-VN: A Distributed Blockchain-Based Efficient Communication and Storage System
REEC: Reliable Energy Efficient Critical Data Routing in Wireless Body Area Networks
Reliable and Efficient Parallel Transmission Protocols in P2P Networks
A New Approach to Building a Disguised Server Using the Honey Port Against General Scanning Attacks
Techno-Economic Analysis of Cloud Computing Supported by 5G: A Cloud vs on Premise Based Solutions Comparison
A Brief Survey: 3D Face Reconstruction
An Anomaly Detection System Based on Chi-Square Method with Dynamic BIN Algorithm
Delay Profile Using Scale Model Method for Microcells in Urban Areas
A Multichannel Information System to Build and Deliver Rich User-Experiences in Exhibits and Museums
An Analytical Evaluation of Network Security Modelling Techniques Applied to Manage Threats
An Intelligent Approach for Resource Management in SDN-VANETs Using Fuzzy Logic
Circular Microstrip Patch Antenna Design for LTE, ISM, WIMAX, Satellite Communication and in Ultra WideBand Applications
Gait-Based Authentication Using Anomaly Detection with Acceleration of Two Devices in Smart Lock
Mining Approximate Frequent Patterns from Noisy Databases
2012 Seventh International Conference on Broadband, Wireless Computing, Communication and Applications, Victoria, BC, Canada, November 12-14, 2012
Efficient Verifiable Public Key Encryption with Keyword Search Based on KP-ABE
Digital Communication System with High Security and High Noise Immunity: Security Analysis and Simulation
Lessons Learned from Online Social Networking of Physical Things
Real Time Pricing Based Appliance Scheduling in Home Energy Management Using Optimization Techniques
Known-Key Attack-Resilient Cluster Key Management
A Motion Planning of Swarm Robots Using Genetic Algorithm
GreyWolf Optimization Technique for HEMS Using Day Ahead Pricing Scheme
The Enterprise Personnel Management System Based on B/S Design
An Iterative Domain Decomposition Method of Magnetostatic Problems Based on a Mixed Formulation
A Relational Compound Collaborative Filtering Recommendation System
Line of Sight Procedure for Dijkstra-Algorithm Based Ray-Tracing
Darknet Monitoring on Real-Operated Networks
A Disaster Information Gathering System Design Using Fuzzy Logic
A Fuzzy-Based Reliability System for JXTA-Overlay P2P Platform Considering Number of Interaction, Security, and Packet Loss Parameters
The Evaluations of Energy Management Methods in Supersaturated Cloud
Mobility Based MIMO Link Adaptation in LTE-Advanced Cellular Networks
Motion Tracking and Learning in Telerehabilitation Applications
FSALT: A Fuzzy-Based System for Assessment of Logical Trust and Its Performance Evaluation
The Location Privacy of Wireless Sensor Networks: Attacks and Countermeasures
Case Study in Generating RFC Maps of IETF Standards
Load-aware ACB Scheme for M2M Traffic in LTE-A Networks
A Study on the Performance Improvement of Impulse-Radio System in Multiple Interference Environment
Design and Evaluation of Fiber Direct Coupling Optical Antennas for Next Generation Optical Wireless Communication Systems
Sausage-Style One-Time Authentication Schemes
Modernity and betterment of life
Curriculum guidelines for teaching the consequences of computing
Acceptance of information technology by health care professionals
Computer ethics and social issue: an implementation model
A comparison of recent textbooks for teaching computer ethics to undergraduates
Literacy for computer science majors
Computer matching and personal privacy: can they be compatible?
Factors effecting high school student's choice of computer science as a major
Proceedings of the Symposium on Computers and the Quality of Life, CQL 1996, Philadelpia, Pennsylvania, USA, February 14-15, 1996
Seminar in computer ethics: a one semester hour course
Practical guidance for teaching the social impact statement (SIS)
Computers and the quality of life: assessing flow in information systems
Social impact statements: engaging public participation in information technology design
Protection of intellectual property on the national information infrastructure
Precedent and the behavioral sciences in the jurisprudence of new technologies
Technology, the future of our jobs and other justified concerns
A cooperative learning approach to teaching social issues of computing
The fire of Prometheus: forging a new millennium
Proceedings of the Conference on Computers and the Quality of Life, CQL 1990, George Washington University, Washington, D.C., USA, September 13-16, 1990
Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 1995, Tulane University, New Orleans, LA, USA, March 29 - April 1, 1995
Concrete Categories and Injectivity
A Predicative Semantics for the Refinement of Real-Time Systems
Semantically Based Axiomatics
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2010, Ottawa, Ontario, Canada, May 6-10, 2010
Equationally Fully Abstract Models of PCF
Comparing Categories of Domains
Does "N+1 Times" Prove More Programs Correct Than "N Times"?
An Upper Power Domain Construction in Terms of Strongly Compact Sets
Factorizing Proofs in Timed CSP
Linear Domains and Linear Maps
Connections between a Concrete and an Abstract Model of Concurrent Systems
A Complete Axiomatisation for Trace Congruence of Finite State Behaviors
Unbounded Nondeterminism in CSP
The Semantics of Miranda's Algebraic Types
Three Metric Domains of Processes for Bisimulation
Initial Algebra Semantics for Lambda Calculi
Primitive Recursive Functionals with Dependent Types
Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings
Ultimately Periodic Words of Rational w -Languages
The Semantics of Priority and Fairness in occam
Equational Logic and Categorical Semantics for Multi-Languages
Simultaneous Substitution in the Typed Lambda Calculus
An Action Semantics of Standard ML
A Generalized Kahn Principle for Abstract Asynchronous Networks
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXXVIII, Cornell University, Ithaca, NY, USA, with a satellite event at IRIF, Denis Diderot University, Paris, France, and online, July 11-13, 2022
A Category-theoretic Semantics for Unbounded Indeterminacy
Types, Abstractions, and Parametric Polymorphism, Part 2
MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract)
Time Abstracted Bisimiulation: Implicit Specifications and Decidability
A Powerdomain Construction
On Denotational Semantics of Data Bases
Entropic Geometry from Logic
Semantic Models for Total Correctness and Fairness
Liminf Progress Measures
Information Links in Domain Theory
Domain-theoretic Solution of Differential Equations (Scalar Fields)
A Monoidal Closed Category of Event Structures
New Results on Hierarchies of Domains
Generalization of Final Algebra Semantics by Relativization
A Categorical Approach to Realizability and Polymorphic Types
Union Complete Countable Subset Systems
From Operational to Denotational Semantics
Eilenberg-Kelly Reloaded
Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF
Modal Theory, Partial Orders, and Digital Geometry
Mechanizing Logical Relations
Additive Domains
Axiomatising Real-Time Processes
A Pebbling Comonad for Finite Rank and Variable Logic, and an Application to the Equirank-variable Homomorphism Preservation Theorem
Pseudo-Retract Functors for Local Lattices and Bifinite L-domains
Fixed Ponts in Process Algebras with Internal Actions ( a preliminary note)
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2013, New Orleans, LA, USA, June 23-25, 2013
Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings
A Categorical Interpretation of Landin's Correspondence Principle
Standard, Storeless Semantics for ALGOL-Style Block Structure and Call-by Name
Equations for if-then-else
Rule-Based Semantics for an Extended Lambda-Calculus
Probabilistic Power Domains, Information Systems, and Locales
Call-by-Value Combinatory Logic and the Lambda-Value Calculus
Assertional Categories
Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems
Initial Algebra Semantics and Concurrency
The Shuffle Bialgebra
On the Variety Concept of omega-Continuous Algebras. Application of a General Approach
Hennessy-Milner Results for Probabilistic PDL
The Formal Description of Data Types Using Sketches
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXIX, Indiana University, Bloomington, IN, USA, June 21-23, 2023
Metric Spaces as Models for Real-Time Concurrency
On the Symmetry of Sequentiality
The Equivalence of Two Semantic Definitions for Inheritance in Object-Oriented Languages
An Investigation into Functions as Processes
A Treatment of Languages with Stages of Evaluation
How Do Domains Model Topologies?
Categorical Semantics for Programming Languages
Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes
Computable One-to-one Enumerations of Effective Domains
Cartesian Closed Categories of Domains and the Space Proj(D)
A Hierarchy of Domains for Real-Time Distributed Computing
Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings
Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999
Final Universes of Processes
Retracts of SEP Objects
The Metric Closure Powerspace Construction
Holomorhpic Models of Exponential Types in Linear Logic
L-domains and Lossless Powerdomains
An Algebraic Formulation for Data Refinement
The Versatile Continuous Order
Semantics of Block Structured Languages with Pointers
An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language
Quasi Uniformities: Reconciling Domains with Metric Spaces
Intensional Double Glueing, Biextensional Collapse, and the Chu Construction
Lifting Theorems for Kleisli Categories
Postconditional Semantics of Data Base Queries
Contextual Equivalence for Higher-Order π-Calculus Revisited
Correctness of Procedure Representations in Higher-Order Assembly Language
Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020
The Thirty-second Conference on the Mathematical Foundations of Programming Semantics, MFPS 2016, Carnegie Mellon University, Pittsburgh, PA, USA, May 23-26, 2016
Continuous Functions and Parallel Algorithms on Concrete Data Structures
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018
Program Correctness and Matricial Iteration Theories
Algebraic Types in PER Models
Kan Extensions in Effective Semantics
On the Syntax and Semantics of Concurrent Computing
Monads, Partial Evaluations, and Rewriting
On the Transformation between Direct and Continuation Semantics
Galois Connections
An Algorithm for Analyzing Communicating Processes
High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations
Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, MFPS 2011, Pittsburgh, PA, USA, May 25-28, 2011
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005
Continuous Auxiliary Relations
The Security Picalculus and Non-interference (Extended Abstract)
Ribbon Proofs
An FP Domain with Infinite Objects
Semantics-Based Tools for a Specification-Support Environment
Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014
Continuous Monads
Inductively Defined Types in the Calculus of Constructions
Secure Protocol Composition
Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices
Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, MFPS 2007, New Orleans, LA, USA, April 11-14, 2007
Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001
Free Constructions of Powerdomains
Topological Completeness in an Ideal Model for Polymorphic Types
Parametrized Fixed Points and Their Applications to Session Types
A Topological Framework of cpos Lacking Bottom Elements
DI-Domains as a Model of Polymorphism
A Simple Language Supporting Angelic Nondeterminism and Parallel Composition
Bifibrations of Polycategories and Classical Linear Logic
A Categorical Treatment of Polymorphic Operations
Typed Homomorphic Relations Extended with Sybtypes
Nonwellfounded Sets and Programming Language Semantics
Detecting Local Finite Breadth in Continuous Lattices and Semilattices
Some Quasi-Varieties of Iteration Theories
Another Approach to Sequentiality: Kleene's Unimonotone Functions
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, MFPS 2009, Oxford, UK, April 3-7, 2009
Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces
A Fully Abstract Semantics and a Proof System for an ALGOL-Like Language with Sharing
Universal Quasi-Prime Algebraic Domains
Timewise Refinement for Communicating Processes
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2006, Genova, Italy, May 23-27, 2006
Compact Coverages Generate Spectral Frames
Decomposition of Domains
A Chemical Abstract Machine for Graph Reduction
Cartesian Closed Categories, Quasitopoi and Topological Universes
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2008, Philadelphia, PA, USA, May 22-25, 2008
A Type System for Robust Declassification
Category of Delta-Functors
Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997
An Exper Model for Quest
On Some Semantic Issues in the Reflective Tower
On the Specification of Elementary Reactive Behaviour
Computational Adequacy via "Mixed" Inductive Definitions
The Thirty-third Conference on the Mathematical Foundations of Programming Semantics, MFPS 2017, Ljubljana, Slovenia, June 12-15, 2017
An Algorithmic Approach to the p-adic Integers
On Continuous Time Agents
Topological Models for Higher Ordr Control Flow
Cumulative Computing
The Asymmetric Topology of Computer Science
Closure Properties of a Probabilistic Domain Construction
On Relating Concurency and Nondeterminism
A Syntax for Linear Logic
Operations on Records
The 31st Conference on the Mathematical Foundations of Programming Semantics, MFPS 2015, Nijmegen, The Netherlands, June 22-25, 2015
A Strucutral Co-Induction Theorem
Generic Transforms on Incomplete Specifications of Asynchronous Interfaces
Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003
Weakest Preconditions in Fibrations
On the Smyth Power Domain
Continuous Categories
A Complete Equational Axiomatisation of Partial Differentiation
On the Semantics of the Bad-Variable Constructor in Algol-like Languages
Towards the Correctness of Security Protocols
Operational Semantics and a Distributed Implementation of CSP
Solving Reflexive Domain Equations in a Category of Complete Metric Spaces
Termination, Deadlock and Divergence
HSP Type Theorems in the Category of Posets
Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2012, Bath, UK, June 6-9, 2012
Compositional Process Semantics of Petri Boxes
Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings
Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings
What is a Model? A Consumer's Perspective on Semantic Theory
Pseudo-distributive Laws
Chu Spaces, Concept Lattices, and Domains
On r.e. inseparability of CPO index sets
Reductions for the satisfiability with a simple interpretation of the predicate variable
Bounds for Hodes-Specker theorem
Recurrence relations for the number of labeled structures on a finite set
Modular machines, undecidability and incompleteness
Reduction to NP-complete problems by interpretations
Logic and Machines: Decision Problems and Complexity, Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen
On the argument complexity of multiply transitive Boolean functions
P-mitotic sets
Arithmetical degrees of index sets for complexity classes
Rudimentary relations and Turing machines with linear alternation
Implicit definability of finite binary trees by sets of equations
Complexity of loop-problems in normed networks
The computational complexity of the unconstrained limited domino problem (with implications for logical decision problems)
Equivalence relations, invariants, and normal forms
Second order spectra
Extensible algorithms
Universal Turing machines (UTM) and Jones-Matijasevich-masking
On the solvability of the extended (exist-forall)and(exists-forall*)-Ackermann class with identity
The length-problem
Spektralproblem and completeness of logical decision problems
Modular decomposition of automata
The VLSI complexity of Boolean functions
Recursively enumerable extensions of R 1 by finite functions
A critical-pair/completion algorithm for finitely generated ideals in rings
On the complement of one complexity class in another
Proving lower bounds of the monotone complexity of Boolean functions
Fast parallel algorithms for finding all prime implicants for discrete functions
Some reordering properties for inequality proof trees
Universal quantifiers and time complexity of random access machines
International Security Cooperation and Privacy
Naming and certificates