yusuke1997/dblp-id-title huggingface dataset:
Systematic synthesis of functions
Semantic Equivalence of Task-Oriented Programs in TopHat
A sharing analysis for SAFE
Adams' Trees Revisited
High-Performance Defunctionalisation in Futhark
Graph-based Communication in Eden
Towards a Language for Defining Reusable Programming Language Components - (Project Paper)
Haskell Gets Argumentative
A graphic functional-dataflow language
Memory usage improvement using runtime alias detection
Short Cut Fusion for Effects
Functional concepts in C++
Extensible records with scoped labels
Exploring Female and Male Student Perceptions in a Functional-Programming-Based Automata Theory Course
Termination Proofs for Recursive Functions in FoCaLiZe
Cactus Environment Machine - Shared Environment Call-by-Need
Two-Dimensional Numerical Representations - An Adventure with Block Matrices
Functional High Performance Financial IT
Function Types in Complete Type Inference
A Survey of Polyvariance in Abstract Interpretations
Parallel composition and bulk synchronous parallel functional programming
Reducing the Power Consumption of IoT with Task-Oriented Programming
Explaining Type Errors by Finding the Source of a Type Conflict
Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
Mobile Resource Guarantees (project evaluation paper)
Sound and Complete Type Inference for Closed Effect Rows
A Reflection-based Proof Tactic for Lattices in Coq
Context-Free Subphrase Grammars - A Grammar Formalism for Modular Syntax Definitions
Object-oriented programming in dependent type theory
Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, TFP 2003, Edinburgh, United Kingdom, 11-12 September 2003
Deriving Non-Hierarchical Process Topologies
Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming - Research Paper
CoScheme: Compositional Copatterns in Scheme
Dynamic Editors for Well-Typed Expressions
An Expression Processor: A Case Study in Refactoring Haskell Programs
AHA: Amortized Heap Space Usage Analysis
Blame Prediction
Type Class Instances for Type-Level Lambdas in Haskell
Optimising Eden by transformation
Structural Refactorings for Exploring Dependently Typed Programming
A Shallow Embedded Type Safe Extendable DSL for the Arduino
Compositional Views in Compositional Images - Category: Research -
Some History of Functional Programming Languages - (Invited Talk)
Building certified components within FOCAL
Resource-based Web applications
Signals, Not Generators!
Bytecode and Memoized Closure Performance
Heapless Functional Programming
A model of functional programming with dynamic compilation and optimization
Unifying Hybrid Types and Contracts
A distributed operational semantics for a parallel functional language
One-Shot Algebraic Effects as Coroutines
Runtime system level fault tolerance for a distributed functional language
Elmsvuur: A Multi-tier Version of Elm and its Time-Traveling Debugger
Trends in Functional Programming - 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
Systematic search for lambda expressions
Control-Flow Analysis with SAT Solvers
Subtyping by Folding an Inductive Relation into a Coinductive One
A functional framework for the implementation of genetic algorithms: Comparing Haskell and Standard ML
Paging in a Distributed Virtual Memory
Four-dimensional network simulation of direct air to ground LTE networks
Link-level simulator for WLAN networks
Using system-level simulation to evaluate downlink throughput performance in LTE-A networks with clustered user deployments
Filter bank multi carrier based MIMO system for 5G wireless communication
Modeling X2 backhauling for LTE-advanced and assessing its effect on CoMP coordinated scheduling
1st International Workshop on Link- and System Level Simulations, IWSLS² 2016, Vienna, Austria, July 1, 2016
Coverage distribution of heterogeneous cellular networks under unsaturated load
Modeling unicast device-to-device communications with simuLTE
Dynamic scheduling in system-level simulations for multi-hop D2D communications in LTE networks
The GTEC 5G link-level simulator
Efficient multi-user MIMO transmissions in the LTE-A uplink
Phy layer abstraction for SU-MIMO LTE system employing parallel interference-aware detection
Geometric average-based fast-converging proportional fair scheduling for LTE downlink transmissions
Application of Fuzzy Logic in Energy Efficiency for one Pumping Systems
Design of A Microstrip Rectifier with High Conversion Efficiency for Low Levels of Power
eTOM Mapping onto NFV Framework: IMS Use Case
A New Design of a Microstrip Microwave Power Amplifier for PCS BAND
Air Traffic Control method in the transit aerospace based on the Least Laxity First algorithm
A New Design of a Miniature L-slot Microstrip Antenna for RFID Tag
Design of Miniaturized Broadband Patch Antenna
A New Efficient SIP Authentication and Key Agreement Protocol Based on Chaotic Maps and Using Smart Card
A New Compact and Miniature Coplanar Band-stop Filter Based on Modified Rectangular Split Ring Resonator
A New Compact and Miniaturized CPW Antenna With DGS and Paper Substrate for ISM Band Applications
A Compact Multi-band PIFA Antenna for UMTS and WLAN Mobile Applications
Control of Variable Speed Wind Turbine by an Integral Sliding Mode Controller
Real Time EMG Noise Cancellation from ECG Signals using Adaptive Filtering
A New Design of Rectenna Array with High performances
A New Design of UHF RFID Tag Antenna Based on Negative Index Metamaterial
Effect of negative and positive emotions on the fundamental frequency and formants
RFID Chipless Tag Based on Substrate Integrated Triangular Cavity
A New Design of A Miniature RFID Tag Antenna for Metallic Objects
Three-Phase Grid-Connected Photovoltaic System with Active and Reactive Power Control using Backstepping Method
DSP Implementation in the Loop of the Vector Control Drive of a Permanent Magnet Synchronous Machine
Distributed energy efficient clustering algorithm based on fuzzy logic approach applied for heterogeneous WSN
Microstrip Patch Antennas at 5.8GHz for Wireless Power Transfer System to a MAV
The vibrational behavior of the mixture quercetin/Gelucire 50/13 at room and body temperature
Evaluation of the Mode I Stress Intensity Factor calculated by the Finite Element Method for CT Specimen of API 5L X52 Steel
An Agile Framework for ITS Management In Organizations: A Case Study Based on DevOps
Intelligent Adapted e-Learning System based on Deep Reinforcement Learning
Our Architecture of an Adaptive Learning System Based on the Dynamic Case-Based Reasoning and the Learner Traces
Blind Source Separation Approach for Audio Signals based on Support Vector Machine Classification
New Construction Process of Standardized Learner Profile
A Miniature Circular Patch Antenna Using Defected Ground Structure for ISM Band Applications
Integrating Big Data technologies in a dynamic environment EIAH dedicated to e-learning systems based on cloud infrastructure
New design of Zero Bias Power Limiter Based on Schottky and PIN Diodes
A Comparative Study of Software Defined Networks Controllers
A New Reconfigurable Multiband Planar Antenna Based on Varactor Diodes
Hadoop and MapReduce technology as a solution for Wireless Body Area Networks in e-Health
Disturbance Estimation and Compensation in Grid Connected DFIG Wind Turbine
Statistical approach for Segmentation of satellite image with Markov random field Model
A Novel Design of a Compact Microstrip Band-stop Filter Based on CSRR
Compact Size Coplanar Waveguide Bandpass Filter Design and Modeling
A Novel Design of a Miniature Low Cost Planar Antenna for ISM Band Applications
Internet of Things and Machine Learning Convergence: The E-healthcare Revolution
Application of numerical simulation to evaluate the rupture of pipelines
Modeling the Internet of Things System Using Complex Adaptive System Concepts
Clustering Based on Neural Networks in Wireless Sensor Networks
Classification and exploration of TSM log file based on datamining Algorithms
Lamb wave interaction with delamination in orthotropic plate
Machine learning algorithms for oncology big data treatment
A Novel Compact CPW Low Pass Filter Using a New Topologie of ZJ-Shaped Slots
Automatic Detection and Evaluation of Geological linear Features from Remote Sensing Data Using the Hough Transform Algorithm in Eastern Anti-Atlas (Morocco)
A Novel Design of A voltage controlled Oscillator
The relationship of the field effect transistor geometry and its cutoff frequency
Internet of Things Protocols Comparison, Architecture, Vulnerabilities and Security: State of the art
A New Extension of Larman's Operation Contracts for Security Properties Injection and Verification during the System's Internal Behavior Elaboration
A Novel Broadband Feed Network for Dual-Fed Circularly Polarized Microstrip Antennas
Corner Cut CPW-Fed Printed Antenna for Ultra Wide Band Applications
A Microstrip Low Cost Multiband Planar Inverted-F Antenna
A New Compact Rectangular Planar Antenna for THz Applications
Overview of Positive Train Control (PTC) and Railway Collision Avoidance System (RCAS)
A 28 GHz Rectangular Patch Antenna with Parasitic Element for Small Satellite Applications
User profiling and RSS Feeds Recommendation Based on the Ontological Approach
Variation Effect of Incident Plane Wave on Multiconductor Shielded Cables
An Agent model for metacognitive incentives of learners
Miniature Microstrip Patch Antenna Array Based on Defected Ground Structure for ISM Band Applications
Design of A Wideband Patch Antenna for THz Photonic Transmitter
Opportunistic routing in wireless sensors networks
A Circular Sierpinski fractal antenna for UWB applications
Compact PIFA Antenna with H-Tree Fractal for Mobile Handset Applications
A New Configuration of a Microstrip Power Amplifier Using Si-BJT in Class-A Mode for DCS Applications
Contribution to the two-dimensional modeling of micro-coplanar lines on a dielectric substrate
Study of meander dipole antenna coupled with magnetic metamaterial cells for UHF RFID system
New Approach for Cluster-head Selection Based on Low Energy Adaptive Clustering Hierarchy algorithm
Proceedings of the 2nd International Conference on Computing and Wireless Communication Systems, ICCWCS'17, Larache, Morocco, November 14-16, 2017
A Multiband Planar Fractal Antenna Array for DCS and ISM Bands
Design and development of a mobile platform for an agricultural robot prototype
Ischemia Detection Based on ST Segment Level using Wavelet Transform
GaAs FET Broadband Power Amplifier for L and S Bands Applications
Estimation of the Complex Permittivity of a Bi-layer Dielectric Material in X-Band Frequencies
Performance Evaluation Survey of WSN Physical Layer
Multiband Fractal CPW Antenna for GPS, WLAN and IMT Applications
DSP Implementation in the Loop of the Indirect Rotor Field Orientation control for the Three-Phase Asynchronous Machine
A Selection of Useful Patterns Based on Multi-Criteria Analysis Approach
Using the SLEUTH Model to Evaluated and Analyze the Impact of Urban Sprawl on Agricultural Land in the cities of Kenitra and Mehdia (MOROCCO)
Microstrip Stop-Band Filter using Split-Ring Resonator
On System-Level Design and Analysis of Mobile Service Function Chaining in NFV Surroundings
Formal Specification and Verification of Transmission Control Protocol
Parallel approach for genetic algorithm to solve the Asymmetric Traveling Salesman Problems
Classification and Prediction Based Data Mining algorithms to Predict Email Marketing Campaigns
Multithreaded performance analysis with Sun WorkShop thread event analyzer
The Mantis parallel debugger
Using cause-effect analysis to understand the performance of distributed programs
Automatic performance prediction to support cross development of parallel programs
Protocol-based data-race detection
BRISK: a portable and flexible distributed instrumentation system
Debugging race conditions in message-passing programs
Searching for the sorting record: experiences in tuning NOW-Sort
OCM - a monitoring system for interoperable tools
Event and state-based debugging in TAU: a prototype
An agent-based perspective on distributed monitoring and steering
Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, SPDT '96, Philadelphia, Pennsylvania, USA
Multi-level steering in distributed laboratories
Efficient and flexible fault tolerance and migration of scientific simulations using CUMULVS
Performance monitoring in a Myrinet-connected SHRIMP cluster
Experimental evaluation of on-line techniques for removing monitoring intrusion
Two-pass on-the-fly detection of the first races in shared-memory parallel
A tool for temporal analysis of distributed hard real-time applications
The SHRIMP performance monitor: design and applications
A performance analysis environment for life
Portable profiling and tracing for parallel, scientific applications using C++
Execution analysis of DSM applications: a distributed and scalable approach
Debugging heterogeneous applications with Pangaea
Event graph visualization for debugging large applications
Experiences with building distributed debuggers
Deterministic replay of Java multithreaded applications
The p2d2 project: building a portable distributed debugger
KDB: a multi-threaded debugger for multi-threaded applications
The performance of a service for network-aware applications
A visualization tool for parallel and distributed computing using the Lilith framework
Testing nondeterministic message-passing programs with NOPE
Two performance tool design issues and CHITRA's solutions
An empirically derived framework for classifying parallel program performance tuning problems
Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, SPDT '98, Welches, Oregon, USA
A mobile debugger for mobile programs
Using GODIVA for data flow analysis
Automatic detection of parallel program performance problems
The PDBG process-level debugger for parallel and distributed programs
A statistical tool for estimating price/performance ratios in heterogeneous parallel systems
An IL converter and program database for analysis tools
An online computation of critical path profiling
An enhanced 3-D animation tool for performance tuning of parallel programs based on dynamic models
Waiting time analysis and performance visualization in Carnival
Interoperable tools based on OMIS
An object-based infrastructure for program monitoring and steering
Entwicklung und Klassifikation energiebewusster und energieeffizienter Software
Beitrag betrieblicher Umweltinformatik für die Industrial Ecology - Analyse von BUIS-Software-Werkzeugen zur Unterstützung von Industriesymbiosen
Risikowahrnehmung, Beurteilung des Umgangs der Behörden und Beurteilung der unternehmerischen Verantwortung in Bezug auf drei Umweltsituationen
Nutzung von Umweltzeichen in der IT-Branche Einflussfaktoren aus neoinstitutionalistischer Perspek-tive
Lastgangbezogene Prioritätsregeln für eine Produktionsplanung bei der Veredelung von Glasprodukten
Arbeitskreis Stoff- und Energieströme Bremen - Oldenburg: ein Kurzporträt
Nachhaltigkeitsberichterstattung - Freiwilliger Zwang?
Internetbasierte Nachhaltigkeitsberichterstattung im Kontext des Umwelt-, Energie- und Ressourcenmanagements mit BUIS der nächsten Generation
Nachhaltige Mitarbeiter-Kommunikation innerhalb einer Lieferkette mit CoBox
Simulation einer Stadt zur Erzeugung virtueller Sensordaten für Smart City Anwendungen
Handlungsbedarf beim Recycling von Rotorblättern aus Windkraftanlagen: Ableitung von Entscheidungsgrundlagen
Kommunikation von Umweltkennzahlen im Smart Grid und deren Integration in die verteilte Wirkleistungsplanung
IT-gestütztes Ressourcen- und Energiemanagement, Konferenzband zu den 5. BUIS-Tagen, Oldenburg, 24.-26. April 2013
Ein Framework für eine unternehmensinterne nachhaltige Entwicklung
Informations- und Planungssystem für nachhaltige Mobilität
Strategische Ressourcen in der Windenergie
Branchenorientierte und IT-gestützte Energieeffizienz und Benchmarking in KMU-Netzwerken
Ergebnisse einer qualitativen Befragung zur Gestaltung von Nachhaltigkeitsberichten
Strategische und seltene Metalle in E-Schrott - Erschließung des Wertstoffpotenzials durch optimierte Erfassung und Aufbereitung
Entwicklung eines Reifegradmodells für das IT-gestützte Energiemanagement
Sicherheitsarchitekturen für Geoinformationsdienste am Beispiel "mobiles Makeln"
Eine Light-Weight Composite Environmental Performance Indicators (LWC-EPI) Lösung - Eine systematische Entwicklung von EMIS, deren Anforderungen und Hindernisse aus Anwender-, Experten, und KMU-Perspektive
Erstellung eines generischen Datenmodells zur Implementierung eines Sustainability CRM
Managementinstrumente im Energiemanagement als Teil einer Softwarelösung
Risikoorientierte Prozessmodelle in BPMN - Stand des Wissens und Potenziale
Indikatorenentwicklung für skalenübergreifende Transformationsprozesse
Green Big Data - eine Green IT/Green IS Perspektive auf Big Data
Nutzung bestehender BPM-Modelle zur Einführung des Green Business Process Managements
PortalU als zentraler Zugangspunkt für behördliche Umweltinformationen in Deutschland
Green IT im KMU
Entwicklung eines Open Source basierten Bau-kastens zur Identifikation von Ressourceneffizienzpotentialen in produzierenden KMU
UmSys
Referenzmodell für eine branchenorientierte Energieeffizienzsoftware für KMU
Software-Unterstützung zur Verbesserung der Energieeffizienz in Unternehmen
Energiemonitoring im IKT-Umfeld Standards und Trends
Containerterminalbetriebe als Wegbereiter für Elektromobilität - Herausforderungen für die IKT beim Management batterie-elektrischer Schwerlastverkehre
Versionierung von Nachhaltigkeitsberichten
Erweiterung des Produktkonfigurationsprozesses um Aspekte der Nachhaltigkeit Konzeption eines Prototyps für die industrielle Produktion
Status Quo der Wirtschaftsprüfung von Nachhaltigkeitsberichten
Nachhaltigkeitsbildung in KMU - Entwicklung innovativer Lehr- und Lerndesigns
IT-Unterstützung für eine zukunftsorientierte Nachhaltigkeitsstrategie
Vorüberlegungen zu strategischen Betrieblichen Umweltinformationssystemen
Analyse der Bewerbungs- und Zulassungsprozesse von Studierenden unter der Beachtung von Nachhaltigkeitsaspekten
Das Informationssystem der Umweltprobenbank des Bundes als Baustein im betrieblichen Umweltmanagementsystem
Simulation der Smart Grid Integration eines modernen Bürogebäudes am Beispiel von IBM-Schweiz
Angewandtes Semantisches Metamodell von Rechenzentren für Green IT
Adaption der Design Stucture Matrix Methode für die Komponentenauswahl von IT-Infrastrukturen
Entscheidungsunterstützung für Sustainable Supply Chain Management in der Praxis
Praxisorientierte Entwicklung einer Ökobilanzierungssoftware für KMU
Einsatz von mobilen Applikationen zur Vermarktung von nachhaltigen Dienstleistungen aus dem Energiesektor
Data Mining im Rahmen eines Sustainable Customer Relationship Management zur Optimierung intermodaler Mobilität
Erfolgsfaktoren und Herausforderungen bei der Implementierung eines Messkonzeptes zum energie- und kosteneffizienten Lastmanagement in einer Community-Cloud
Entwicklung von strategischen Kennzahlen im Bereich der Produktion
BUIS für den produktionsintegrierten Umwelt-schutz - Wunsch oder Wirklichkeit?
Kollaborative Maßnahmenbestimmung bei Grenzwertüberschreitungen auf Basis Gekoppelter Informationssysteme
Loan Chain: A Blockchain-Based Framework for Smart Credit Lending
A Blockchain-based Electricity Retail Contracts Management System
Machine Learning View on Blockchain Parameter Adjustment
Consensus in Blockchain Systems with Low Network Throughput: A Systematic Mapping Study
Design of a Solar Powered IoT (Internet of Things) Remote Water Quality Management System for a Biofloc Aquaculture Technology
Design and Analysis of Blood Donation Model Based on Blockchain and KNN
4th Blockchain and Internet of Things Conference, BIOTC 2022, Tokyo, Japan, July 8-10, 2022
BIOTC 2021: The 3rd Blockchain and Internet of Things Conference, Ho Chi Minh City, Vietnam, July 8 - 10, 2021
Computational experimental evaluation of the time variance of cryptocurrency mining using cryptographic hash functions
Optimization of Student Physical Health Data Cycle under Computer Blockchain Technology
Blockchain Capabilities in Supply Chain Management: A Literature Review
An Improved-PoA Consensus Algorithm for Blockchain-empowered Data Sharing System
A Secure and IoT-Enabled Data Sharing System Based on IPFS and IOTA Blockchain
Overview of Blockchain Data Privacy Protection
A Blockchain-Enabled Location Privacy-preserving under Local Differential Privacy for Internet of Vehicles
Design and Implementation of Electronic Medical Record System Based on Hyperledger Fabric
Proceedings of the 5th Blockchain and Internet of Things Conference, BIOTC 2023, Osaka, Japan, July 21-23, 2023
Secure, Decentralized, Privacy Preserving Machine Learning System Implementation over Blockchain
PDV: Permissioned Blockchain based Personal Data Vault using Predictive Prefetching
Implementing Multisignature on a Blockchain-based Land Administration System: Securing Land Rights and Enhancing Transparency
Design of Logistics Cloud Platform Based on Blockchain
DeExam: A Decentralized Exam Administration Model using Public Blockchain
Text Mining of User Comments Based on Deep Learning
Research on Smart Exhibition Based on Mobile Internet Perspective
Research Progress and Trend Prospect of Blockchain Technology Application in Logistics and Supply Chain Information System under Pandemic-hit
Blockchain Extension for PostgreSQL Data Storage
Research on Online Reading User Clustering Method and Application based on FCM Algorithm
Optimization method of edge computing terminal deployment considering node division in Electric Internet of Things
Privacy Protection Scheme for Epidemiological Investigation Based on Blockchain Technology
Blockchain-Enabled Trust in Intercompany Networks Applying the Agency Theory
Efficient Novel Privacy Preserving PoS Protocol Proof-of-concept with Algorand
Leveraging AI and Blockchain for Streamlining Healthcare Payments
Internet of Things and Industrial Business Models: Knowledge Boundaries and Practical Implications
Blockchain-based Security Governance Framework of Agricultural Product Traceability Data
Examination on interoperability of blockchains by using ZK-rollups
A Blockchain-based Protocol of Trusted Setup Ceremony for Zero-Knowledge Proof
Distributed Random Number Generation Method on Smart Contracts
Proof of Review: Trust Me, It's Been Reviewed
A Blockchain Communication Resource Optimization Consensus Method
Building Students' Digital Footprints with Blockchain in PBL Activities
Trusted Blockchain-based Data Fingerprinting Differential-Traceability and SkipList Indexing Methods in Privacy Protection
LBLCO: A Lightweight Blockchain with Low Communication Overhead for Internet of Things
A Trustworthy Ciphertext-Policy Attribute-Based Encryption Access Control Method Based on FAME and Blockchain
Decision Making for Medical Diagnosis Through Credibility Theory
A Fixed Charge Solid Transportation Problem with Possibility and Expected Value Approaches in Hybrid Uncertain Environment
FP-Captcha: An Improved Captcha Design Scheme Based on Face Points
Integrated-Optimization of Production, Preventive Maintenance and Spare Parts Inventory of Continuous Operating Series Systems
On Approximation of Signals in the Weighted Zygmund Class via (E, 1)(øverlineN, p n ) Summability Means of Conjugate Fourier Series
On g * -Closed Sets in Fuzzy Topological Spaces
Optimization of Multi-objective Stochastic Linear Programming Problem in Fuzzy Environment: An Iterative-Interactive Optimization Process
Study on Non-autonomous Version of a Food Chain Model with Strong Allee Effect in Prey Species
Vision Based Automatic Landing of Unmanned Aerial Vehicle
Improved User Adaptable Human Fall Detection and Verification Using Statistical Analysis
On Partial Monotonic Behaviour of Past Entropy and Convolution of Extropy
Tauberian Theorems for Statistical Cesàro Summability of Function of Two Variables over a Locally Convex Space
An Inventory Model of Time and Reliability Dependent Demand with Deterioration and Partial Backordering Under Fuzziness