Search results for "PLI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
161	Guofei Gu, Bin B. Zhu, Shipeng Li 0001, Shiyong Zhang	PLI: A New Framework to Protect Digital Content for P2P Networks.	ACNS	2003	DBLP DOI BibTeX RDF	digital content protection, Public License Infrastructure (PLI), License Authority (LA), proactive shares update, distributed trust model, secret sharing, intrusion tolerance, Peer-to-Peer (P2P), Digital Rights Management (DRM)
148	Andrei V. Sazonov, Chin Keong Ho, Jan W. M. Bergmans, Johan B. A. M. Arends, Paul A. M. Griep, Evgeny A. Verbitskiy, Pierre J. M. Cluitmans, Paul A. J. M. Boon	An investigation of the phase locking index for measuring of interdependency of cortical source signals recorded in the EEG.	Biol. Cybern.	2009	DBLP DOI BibTeX RDF	Cortical sources, Model, Correlation, EEG, Coupling, Interdependency, Contrast, Distribution function, Phase locking
89	Bogdan J. Falkowski, Susanto Rahardja	Fast Transforms for Multiple-Valued Input Binary Output PLI Logic.	ISMVL	2000	DBLP DOI BibTeX RDF	GF(2) Logic, Linearly Independent Logic, Multiple Valued Input Binary Functions
77	Arash Saifhashemi, Hossein Pedram	Verilog HDL, powered by PLI: a suitable framework for describing and modeling asynchronous circuits at all levels of abstraction.	DAC	2003	DBLP DOI BibTeX RDF	CHP, PLI, CSP, asynchronous circuits, channel, verilog
68	Pedram A. Riahi, Zainalabedin Navabi, Fabrizio Lombardi	Simulating Faults of Combinational IP Core-based SOCs in a PLI Environment.	DFT	2005	DBLP DOI BibTeX RDF
59	Eelco Visser	Scoped Dynamic Rewrite Rules.	RULE@PLI	2001	DBLP DOI BibTeX RDF
59	Jean-Yves Moyen	System Presentation: An Analyser of Rewriting Systems Complexity.	RULE@PLI	2001	DBLP DOI BibTeX RDF
59	Quang Huy Nguyen 0002	Certifying Term Rewriting Proofs in ELAN.	RULE@PLI	2001	DBLP DOI BibTeX RDF
59	Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike	A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation.	RULE@PLI	2001	DBLP DOI BibTeX RDF
59	Berthold Hoffmann, Mark Minas	Transformation of Shaped Nested Graphs and Diagrams.	RULE@PLI	2001	DBLP DOI BibTeX RDF
59	Mark van den Brand, Rakesh M. Verma	RULE2001 - Foreword.	RULE@PLI	2001	DBLP DOI BibTeX RDF
59	Olivier Danvy, Lasse R. Nielsen	Syntactic Theories in Practice.	RULE@PLI	2001	DBLP DOI BibTeX RDF
59	Evelina Lamma, L. Maestrami, Paola Mello, Fabrizio Riguzzi, Sergio Storari	Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain.	RULE@PLI	2001	DBLP DOI BibTeX RDF
59	Jean-Louis Giavitto, Olivier Michel 0001	MGS: a Rule-Based Programming Language for Complex Objects and Collections.	RULE@PLI	2001	DBLP DOI BibTeX RDF
59	Georg Struth	Knuth-Bendix Completion for Non-Symmetric Transitive Relations.	RULE@PLI	2001	DBLP DOI BibTeX RDF
59	Bernd Fischer 0002, Grigore Rosu	Interpreting Abstract Interpretations in Membership Equational Logic.	RULE@PLI	2001	DBLP DOI BibTeX RDF
51	Neil D. Jones, Arne J. Glenstrup	Abstract and conclusions of PLI invited paper: program generation, termination, and binding-time analysis.	PPDP	2002	DBLP DOI BibTeX RDF
42	Bärbel Schack, Sabine Weiss	Quantification of phase synchronization phenomena and their importance for verbal memory processes.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF
42	Siavash Bayat Sarmadi, Seyed Ghassem Miremadi, Ghazanfar Asadi, Ali Reza Ejlali	Fast Prototyping with Co-operation of Simulation and Emulation.	FPL	2002	DBLP DOI BibTeX RDF
30	Takao Onoye, Yukihiro Nakamura, Atsuhito Shigiya, Keishi Chikamura, Kosuke Tsujino, Tomonori Izumi, Hirofumi Yamamoto	System-Level Design of IEEE1394 Bus Segment Bridge.	ISSS	2002	DBLP DOI BibTeX RDF	HW/SW co-simulation, IEEE1394, PLI, bus bridge, C/C++, verilog-HDL
29	George A. Mapp	Proposed library of programs for personnel and related work.	Commun. ACM	1968	DBLP DOI BibTeX RDF	Fortran IV personnel programs, PLI personnel programs, personnel information subsystems, personnel program library
26	Alexander Oberstraß, Sascha E. A. Muenzing, Meiqi Niu, Nicola Palomero-Gallagher, Christian Schiffer, Markus Axer, Katrin Amunts, Timo Dickscheid	Self-Supervised Representation Learning for Nerve Fiber Distribution Patterns in 3D-PLI.	CoRR	2024	DBLP DOI BibTeX RDF
26	Alexander Oberstraß, Jordan DeKraker, Nicola Palomero-Gallagher, Sascha E. A. Muenzing, Alan C. Evans, Markus Axer, Katrin Amunts, Timo Dickscheid	Analyzing Regional Organization of the Human Hippocampus in 3D-PLI Using Contrastive Learning and Geometric Unfolding.	CoRR	2024	DBLP DOI BibTeX RDF
26	Zhaoyu Teng, Bin Han, Jie Cao 0004, Qun Hao, Xin Tang, Zhaoyang Li	PLI-SLAM: A Tightly-Coupled Stereo Visual-Inertial SLAM System with Point and Line Features.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
26	Geng Wang, Huan Fang 0001	PLI-Assess: A Behavior Profile-Based Approach for Privacy-Preserving Log Assessment.	IEEE Access	2023	DBLP DOI BibTeX RDF
26	Pavan G. Malghan, Malaya Kumar Hota	An Improved VME Technique via Heap Based Optimization Algorithm and AWIT Method for PLI and MA Noise Elimination in ECG.	IEEE Access	2023	DBLP DOI BibTeX RDF
26	Tianqi Song, Clémentine Bodin, Olivier Coulon	Ensemble learning for the detection of pli-de-passages in the superior temporal sulcus.	NeuroImage	2023	DBLP DOI BibTeX RDF
26	Thanh-Tung Trinh, Yi-Hung Liu, Chien-Te Wu, Wei-Hao Peng, Chung-Lin Hou, Chang-Hsin Weng, Chun-Ying Lee	PLI-Based Connectivity in Resting-EEG is a Robust and Generalizable Feature for Detecting MCI and AD: A Validation on a Diverse Multisite Clinical Dataset.	EMBC	2023	DBLP DOI BibTeX RDF
26	Arash Rezaee, Ryan McCann, Vinod M. Vokkarane	PLI-Aware Dynamic Routing in Software Defined Elastic Optical Networks (SD-EONs).	ONDM	2023	DBLP BibTeX RDF
26	Zhangzhen Zhao, Tao Song, Bin Xing, Yu Lei, Ziqin Wang	PLI-VINS: Visual-Inertial SLAM Based on Point-Line Feature Fusion in Indoor Environment.	Sensors	2022	DBLP DOI BibTeX RDF
26	E. N. C. Perera, A. M. C. T. Gunaratne, S. B. D. Samarasinghe	Participatory Landslide Inventory (PLI): An Online Tool for the Development of a Landslide Inventory.	Complex.	2022	DBLP DOI BibTeX RDF
26	Mohammed Mujahid Ulla Faiz, Izzet Kale	A novel fixed-point leaky sign regressor algorithm based adaptive noise canceller for PLI cancellation in ECG signals.	RTSI	2022	DBLP DOI BibTeX RDF
26	Ramon Casellas, Evangelos A. Kosmatos, Andrew Lord, Chris Matrakidis, Ricardo Martínez 0001, Dimitris Uzunidis, Ricard Vilalta, Alexandros A. Stavdas, Raúl Muñoz 0001	An SDN Control Plane for Multiband Networks Exploiting a PLI-aware Routing Engine.	OFC	2022	DBLP BibTeX RDF
26	Yan He, Zhongmin Wang, Yupeng Zhao	EEG-Based Fatigue Detection Using PLI Brain Network and Relief Algorithm.	NaNA	2022	DBLP DOI BibTeX RDF
26	Felix Matuschke, Katrin Amunts, Markus Axer	fastPLI: A Fiber Architecture Simulation Toolbox for 3D-PLI.	J. Open Source Softw.	2021	DBLP DOI BibTeX RDF
26	Fan Hu, Jiaxin Jiang, Dongqi Wang, Muchun Zhu, Peng Yin 0006	Multi-PLI: interpretable multi-task deep learning model for unifying protein-ligand interaction datasets.	J. Cheminformatics	2021	DBLP DOI BibTeX RDF
26	Yi Hu, Constantin Serban, Lan Wang, Alexander Afanasyev, Lixia Zhang 0001	PLI-Sync: Prefetch Loss-Insensitive Sync for NDN Group Streaming.	ICC	2021	DBLP DOI BibTeX RDF
26	Harald Rødseth, Endre Sølvsberg, Anna Steine, Per Schjølberg, Espen Henriksen-Polanscak	A Holistic Approach to PLI in Smart Maintenance Towards Sustainable Manufacturing.	APMS (4)	2021	DBLP DOI BibTeX RDF
26	Shuji Ohira, Araya Kibrom Desta, Ismail Arai, Kazutoshi Fujikawa	PLI-TDC: Super Fine Delay-Time Based Physical-Layer Identification with Time-to-Digital Converter for In-Vehicle Networks.	AsiaCCS	2021	DBLP DOI BibTeX RDF
26	Yi-Sheng Chen, Po-Yen Lin, Yue-Der Lin	A novel PLI suppression method in ECG by notch filtering with a modulation-based detection and frequency estimation scheme.	Biomed. Signal Process. Control.	2020	DBLP DOI BibTeX RDF
26	Yunqiu Shao, Jiaxin Mao, Yiqun Liu 0001, Weizhi Ma, Ken Satoh, Min Zhang 0006, Shaoping Ma	BERT-PLI: Modeling Paragraph-Level Interactions for Legal Case Retrieval.	IJCAI	2020	DBLP DOI BibTeX RDF
26	Dai Hai Ton That, James Wagner, Alexander Rasin, Tanu Malik	PLI $$^+$$ + : efficient clustering of cloud databases.	Distributed Parallel Databases	2019	DBLP DOI BibTeX RDF
26	Ali C. Demiralp, Daniel Zielasko, Markus Axer, Tom Vierjahn, Torsten W. Kuhlen	Parallel Particle Advection and Lagrangian Analysis for 3D-PLI Fiber Orientation Maps.	LDAV	2019	DBLP DOI BibTeX RDF
26	Jan André Reuter, Felix Matuschke, Nicole Schubert, Markus Axer	Efficient Construction of Geometric Nerve Fiber Models for Simulation with 3D-PLI.	Bildverarbeitung für die Medizin	2019	DBLP DOI BibTeX RDF
26	Marius Nolden, Nicole Schubert, Daniel Schmitz, Andreas Müller 0022, Markus Axer	Tracing of Nerve Fibers Through Brain Regions of Fiber Crossings in Reconstructed 3D-PLI Volumes.	Bildverarbeitung für die Medizin	2019	DBLP DOI BibTeX RDF
26	Naif Alharbi, Michael Krone, Matthieu Chavent, Robert S. Laramee	LoD PLI: Level of Detail for Visualizing Time-Dependent, Protein-Lipid Interaction.	VISIGRAPP (3: IVAPP)	2019	DBLP BibTeX RDF
26	Sharib Ali, Martin Schober, Philipp Schlömer, Katrin Amunts, Markus Axer, Karl Rohr	Towards ultra-high resolution 3D reconstruction of a whole rat brain from 3D-PLI data.	CoRR	2018	DBLP BibTeX RDF
26	Amin Ebrahimzadeh, Akbar Ghaffarpour Rahbar, Behrooz Alizadeh	PLI-Aware Cost Management for Green Backbone All-Optical WDM Networks via Dynamic Topology Optimization.	JOCN	2018	DBLP DOI BibTeX RDF
26	Sharib Ali, Dehui Lin, Markus Axer, Karl Rohr	Comparison of Self-similarity Measures for Multi-modal Non-rigid Registration of 3D-PLI Brain Images.	Bildverarbeitung für die Medizin	2018	DBLP DOI BibTeX RDF
26	Sharib Ali, Markus Axer, Katrin Amunts, Roland Eils, Karl Rohr	Evaluating local features in high-resolution 3D-PLI data.	ISBI	2018	DBLP DOI BibTeX RDF
26	Daniel Schmitz, Katrin Amunts, Thomas Lippert, Markus Axer	A least squares approach for the reconstruction of nerve fiber orientations from tiltable specimen experiments in 3D-PLI.	ISBI	2018	DBLP DOI BibTeX RDF
26	Sharib Ali, Martin Schober, Philipp Schlömer, Katrin Amunts, Markus Axer, Karl Rohr	Towards Ultra-High Resolution 3D Reconstruction of a Whole Rat Brain from 3D-PLI Data.	CNI@MICCAI	2018	DBLP DOI BibTeX RDF
26	Sharib Ali, Karl Rohr, David Gräßel, Philipp Schlömer, Katrin Amunts, Roland Eils, Markus Axer, Stefan Wörz	Spline-Based Multimodal Image Registration of 3D PLI Data of the Human Brain.	Bildverarbeitung für die Medizin	2017	DBLP DOI BibTeX RDF
26	Sharib Ali, Karl Rohr, Markus Axer, Katrin Amunts, Roland Eils, Stefan Wörz	Registration of ultra-high resolution 3D PLI data of human brain sections to their corresponding high-resolution counterpart.	ISBI	2017	DBLP DOI BibTeX RDF
26	Sharib Ali, Karl Rohr, Markus Axer, David Gräßel, Philipp Schlömer, Katrin Amunts, Roland Eils, Stefan Wörz	Elastic registration of high-resolution 3D PLI data of the human brain.	ISBI	2017	DBLP DOI BibTeX RDF
26	Lahcen El Bouny, Mohammed Khalil, Abdellah Adib	Removal of 50Hz PLI from ECG signal using undecimated wavelet transform.	WINCOM	2017	DBLP DOI BibTeX RDF
26	James Wagner, Alexander Rasin, Dai Hai Ton That, Tanu Malik	PLI: Augmenting Live Databases with Custom Clustered Indexes.	SSDBM	2017	DBLP DOI BibTeX RDF
26	Maged ElAnsary, Mohamed El-Nozahi, Hani F. Ragaie	Biomedical sensor interface for PLI cancellation.	MWSCAS	2015	DBLP DOI BibTeX RDF
26	Sridhar Iyer, Shree Prakash Singh	Physical layer impairment-aware Routing and Wavelength Assignment (PLI-RWA) strategy for mixed line rate (MLR) wavelength division multiplexed (WDM) optical networks.	WOCN	2015	DBLP DOI BibTeX RDF
26	Anchalee Manosueb, Jeerasuda Koseeyaporn, Paramote Wardkein	PLI Cancellation in ECG Signal Based on Adaptive Filter by Using Wiener-Hopf Equation for Providing Initial Condition.	Comput. Math. Methods Medicine	2014	DBLP DOI BibTeX RDF
26	Anna Maria Gallina, Paola Bisignano, Maurizio Bergamino, Domenico Bordo	PLI: a web-based tool for the comparison of protein-ligand interactions observed on PDB structures.	Bioinform.	2013	DBLP DOI BibTeX RDF
26	Jijun Zhao, Wei Li, Xin Liu, Wenyu Zhao, Martin Maier 0001	Physical Layer Impairment (PLI)-Aware RWA Algorithm Based on a Bidimensional QoS Framework.	IEEE Commun. Lett.	2013	DBLP DOI BibTeX RDF
26	Sridhar Iyer	An offline PLI-RWA and delay analysis for cost and latency reduction in optical WDM networks.	COMSNETS	2013	DBLP DOI BibTeX RDF
26	Nastaran Nemati, Majid Namaki-Shoushtari, Zainalabedin Navabi	A mixed HDL/PLI test package.	EWDTS	2010	DBLP DOI BibTeX RDF
26	Mohammad Hashem Haghbayan, Alireza Yazdanpanah, Sara Karamati, Ramyar Saeedi, Zainalabedin Navabi	Generating test patterns for sequential circuits using random patterns by PLI functions.	EWDTS	2010	DBLP DOI BibTeX RDF
26	Arezoo Kamran, Nastaran Nemati, Somayeh Sadeghi Kohan, Zainalabedin Navabi	Virtual tester development using HDL/PLI.	EWDTS	2010	DBLP DOI BibTeX RDF
26	Chia-Lun J. Hu	Design of a universal two-layered neural network derived from the PLI theory.	Image Processing: Algorithms and Systems	2004	DBLP DOI BibTeX RDF
26	Alessandra Di Pierro, Herbert Wiklicky (eds.)	Workshop on Quantitative Aspects of Programming Laguages, QAPL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 7, 2001	QAPL	2002	DBLP BibTeX RDF
26		Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002)	PPDP	2002	DBLP DOI BibTeX RDF
26	Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia	On the expressive power of temporal concurrent constraint programming languages.	PPDP	2002	DBLP DOI BibTeX RDF	constraint programming, expressiveness, timed systems
26	Catuscia Palamidessi	Mobile calculi for distributed programming.	PPDP	2002	DBLP DOI BibTeX RDF
26	Gang Chen	Full integration of subtyping and if-expression.	PPDP	2002	DBLP DOI BibTeX RDF	if-expression, Java, subtyping, type checking
26	Bernhard Gramlich, Salvador Lucas	Modular termination of context-sensitive rewriting.	PPDP	2002	DBLP DOI BibTeX RDF	context-sensitive rewriting, modular analysis and construction of programs, modular proofs of termination, program verification, declarative programming, evaluation strategies
26	Marco Bozzano, Giorgio Delzanno	Automated protocol verification in linear logic.	PPDP	2002	DBLP DOI BibTeX RDF	model checking, linear logic, authentication protocols, bottom-up evaluation
26	Marcelo P. Fiore	Semantic analysis of normalisation by evaluation for typed lambda calculus.	PPDP	2002	DBLP DOI BibTeX RDF	categorical glueing, lambda definability, normalisation by evaluation, typed abstract syntax with variable binding, logical relations, typed lambda calculus, initial algebra semantics
26	Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner	System Presentation -- CARIBOO: An induction based proof tool for termination with strategies.	PPDP	2002	DBLP DOI BibTeX RDF	ELAN, innermost, local strategy, rule based language induction, constraint, termination, rewriting, ordering, narrowing
26	Vitaly Lagoon, Peter J. Stuckey	Precise pair-sharing analysis of logic programs.	PPDP	2002	DBLP DOI BibTeX RDF	program analysis, sharing
26	Alexander V. Shafarenko	Coercion as homomorphism: type inference in a system with subtyping and overloading.	PPDP	2002	DBLP DOI BibTeX RDF	type inference, subtyping, overloading, data-parallel programming, array processing
26	Frédéric Besson, Thomas de Grenier de Latour, Thomas P. Jensen	Secure calling contexts for stack inspection.	PPDP	2002	DBLP DOI BibTeX RDF	constraints, language based security, linear temporal logic, static program analysis, stack inspection
26	Karol Ostrovsky, K. V. S. Prasad, Walid Taha	Towards a primitive higher order calculus of broadcasting systems.	PPDP	2002	DBLP DOI BibTeX RDF	calculi, semantics, concurrency, broadcasting, programming languages, ethernet
26	Janos Sztipanovits, Gabor Karsai	Generative programming for embedded systems.	PPDP	2002	DBLP DOI BibTeX RDF
26	Tomoyuki Higuchi, Atsushi Ohori	Java bytecode as a typed term calculus.	PPDP	2002	DBLP DOI BibTeX RDF	bytecode verifier, type system, type inference, Java bytecode
26	Davide Ancona, Giovanni Lagorio, Elena Zucca	True separate compilation of Java classes.	PPDP	2002	DBLP DOI BibTeX RDF	object-oriented programming, types, separate compilation
26	Jérémie Blanc, Rachid Echahed	A generic operator over discrete time intervals.	PPDP	2002	DBLP DOI BibTeX RDF	discrete time intervals, timed term rewrite systems, operational semantics
26	Izzet Pembeci, Henrik Nilsson, Gregory D. Hager	Functional reactive robotics: an exercise in principled integration of domain-specific languages.	PPDP	2002	DBLP DOI BibTeX RDF	robotics, functional programming, domain-specific languages, vision
26	Stephen Drape, Oege de Moor, Ganesh Sittampalam	Transforming the .NET intermediate language using path logic programming.	PPDP	2002	DBLP DOI BibTeX RDF	compiler optimisations, logic programming, program transformation, program analysis, obfuscation, meta programming
26	Zoltan Somogyi, Peter J. Stuckey	Using the heap to eliminate stack accesses.	PPDP	2002	DBLP DOI BibTeX RDF	heap cells, stack accesses, stack frames, maximal matching
26	David Overton, Zoltan Somogyi, Peter J. Stuckey	Constraint-based mode analysis of mercury.	PPDP	2002	DBLP DOI BibTeX RDF	Boolean constraints, mode analysis, modes
26	Tom Schrijvers, Bart Demoen	Combining an improvement to PARMA trailing with trailing analysis.	PPDP	2002	DBLP DOI BibTeX RDF	PARMA, program analysis, trailing
26	Mark van den Brand, Rakesh M. Verma (eds.)	Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001	RULE	2001	DBLP BibTeX RDF
26	Nick Benton, Andrew Kennedy (eds.)	First International Workshop on Multi-Language Infrastructure and Interoperability, BABEL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 8, 2001	BABEL	2001	DBLP BibTeX RDF
26	Alessandra Di Pierro, Herbert Wiklicky	Preface.	QAPL	2001	DBLP DOI BibTeX RDF
26	Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky	Linear Embedding for a Quantitative Comparison of Language Expressiveness.	QAPL	2001	DBLP DOI BibTeX RDF
26	David Clark 0001, Sebastian Hunt, Pasquale Malacaria	Quantitative Analysis of the Leakage of Confidential Data.	QAPL	2001	DBLP DOI BibTeX RDF
26	Thom W. Frühwirth	As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs.	QAPL	2001	DBLP DOI BibTeX RDF
26	Keye Martin	Powerdomains and Zero Finding.	QAPL	2001	DBLP DOI BibTeX RDF
26	Fermin Reig	Annotations for Portable Intermediate Languages.	BABEL	2001	DBLP DOI BibTeX RDF
26	Don Syme	ILX: Extending the .NET Common IL for Functional Language Interoperability.	BABEL	2001	DBLP DOI BibTeX RDF
26	Matthias Blume	No-Longer-Foreign: Teaching an ML compiler to speak C "natively".	BABEL	2001	DBLP DOI BibTeX RDF
26	Michel Schinz, Martin Odersky	Tail call elimination on the Java Virtual Machine.	BABEL	2001	DBLP DOI BibTeX RDF