Search results for "PCF"

Hits ?▲	Authors	Title	Venue	Year	Link
21	Xinran Dong, Haifeng Du, Zhi Luo, Ji'an Duan	Highly Sensitive Strain Sensor Based on a Novel Mach-Zehnder Interferometer with TCF-PCF Structure.	Sensors	2018	DBLP DOI BibTeX RDF
21	Sully Milena Mejia Quintero, Luiz Carlos Guedes Valente, Marcos Sebastião De Paula Gomes, Hugo Gomes da Silva, Bernardo Caroli de Souza, Sergio R. K. Morikawa	All-Fiber CO2 Sensor Using Hollow Core PCF Operating in the 2 µm Region.	Sensors	2018	DBLP DOI BibTeX RDF
21	Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel	The concurrent game semantics of Probabilistic PCF.	LICS	2018	DBLP DOI BibTeX RDF
21	Hui Liu, Hangzhou Yang, Xueguang Qiao, Yongqiang Wang, Xiaochong Liu, Yen-Sian Lee, Kok-Sing Lim, Harith Ahmad	Curvature and Temperature Measurement Based on a Few-Mode PCF Formed M-Z-I and an Embedded FBG.	Sensors	2017	DBLP DOI BibTeX RDF
21	Jianjun Lei, Jianhua Jiang	A Novel Co-channel Deployment Algorithm Based on PCF in Multiple APs and High Density WLANs.	CSOC (3)	2017	DBLP DOI BibTeX RDF
21	Jonas K. Valiunas, Mario Tenuta, Gautam Das 0002	A Gas Cell Based on Hollow-Core Photonic Crystal Fiber (PCF) and Its Application for the Detection of Greenhouse Gas (GHG): Nitrous Oxide (N2O).	J. Sensors	2016	DBLP DOI BibTeX RDF
21	Salma Jamoussi, Yassine Ben Ayed	PCF-SVM : une nouvelle méthode de sélection d'attributs pour la classification supervisée.	Tech. Sci. Informatiques	2016	DBLP DOI BibTeX RDF
21	John Longley	The recursion hierarchy for PCF is strict.	CoRR	2016	DBLP BibTeX RDF
21	Yue Yang, Sumit Roy	PCF Scheme for Periodic Data Transmission in Smart Metering Network with Cognitive Radio.	CoRR	2016	DBLP BibTeX RDF
21	Jean Goubault-Larrecq	Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases.	J. Log. Algebraic Methods Program.	2015	DBLP DOI BibTeX RDF
21	Marco Paviotti, Rasmus Ejlers Møgelberg, Lars Birkedal	A Model of PCF in Guarded Type Theory.	MFPS	2015	DBLP DOI BibTeX RDF
21	Aloïs Brunel, Marco Gaboardi	Realizability models for a linear dependent PCF.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
21	Thomas Ehrhard, Michele Pagani, Christine Tasson	Full abstraction for probabilistic PCF.	CoRR	2015	DBLP BibTeX RDF
21	Huseyin Ademgil, Shyqyri Haxha	PCF Based Sensor with High Sensitivity, High Birefringence and Low Confinement Losses for Liquid Analyte Sensing Applications.	Sensors	2015	DBLP DOI BibTeX RDF
21	Simon Castellan, Pierre Clairambault, Glynn Winskel	The Parallel Intensionally Fully Abstract Games Model of PCF.	LICS	2015	DBLP DOI BibTeX RDF
21	Sadaaki Kawata, Kazuyuki Asada, Naoki Kobayashi 0001	Decision Algorithms for Checking Definability of Order-2 Finitary PCF.	APLAS	2015	DBLP DOI BibTeX RDF
21	Yue Yang, Sumit Roy	PCF Scheme for Periodic Data Transmission in Smart Metering Network with Cognitive Radio.	GLOBECOM	2015	DBLP DOI BibTeX RDF
21	Shahin Amini, Thomas Erhard	On Classical PCF, Linear Logic and the MIX Rule.	CSL	2015	DBLP DOI BibTeX RDF
21	Robson Costa, Paulo Portugal, Francisco Vasques, Carlos Montez, Ricardo de Moraes	Limitations of the IEEE 802.11 DCF, PCF, EDCA and HCCA to handle real-time traffic.	INDIN	2015	DBLP DOI BibTeX RDF
21	Meng Pang, Wenbin He, Philip St. J. Russell	Programmable generation and storage of soliton sequences in fibre laser cavity locked to gigahertz core resonance in PCF.	ECOC	2015	DBLP DOI BibTeX RDF
21	Thomas Ehrhard, Christine Tasson, Michele Pagani	Probabilistic coherence spaces are fully abstract for probabilistic PCF.	POPL	2014	DBLP DOI BibTeX RDF
21	Brice M. Cannon, Tanvir Mahmood, William Astar, Paul Boudra, Tinoosh Mohsenin, Gary M. Carter	Polarization-insensitive phase-transmultiplexing of CSRZ-OOK and RZ-BPSK to RZ-QPSK via XPM in a PCF.	OFC	2014	DBLP DOI BibTeX RDF
21	Li Feng 0001, Jianqing Li 0001, Xiaodong Lin 0001	A New Delay Analysis for IEEE 802.11 PCF.	IEEE Trans. Veh. Technol.	2013	DBLP DOI BibTeX RDF
21	Kuan-Hung Chou, Woei Lin	Performance Analysis of Packet Aggregation for IEEE 802.11 PCF MAC-Based Wireless Networks.	IEEE Trans. Wirel. Commun.	2013	DBLP DOI BibTeX RDF
21	Enrique de Amo, Manuel Díaz Carrillo, Juan Fernández-Sánchez	PCF self-similar sets and fractal interpolation.	Math. Comput. Simul.	2013	DBLP DOI BibTeX RDF
21	Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria	Full Abstraction for PCF.	CoRR	2013	DBLP BibTeX RDF
21	Moti Gitik, Saharon Shelah	Applications of pcf for mild large cardinals to elementary embeddings.	Ann. Pure Appl. Log.	2013	DBLP DOI BibTeX RDF
21	Saharan Shelah	The PCF Theorem Revisited.	The Mathematics of Paul Erdős II	2013	DBLP DOI BibTeX RDF
21	Benjamin Kreuter, Abhi Shelat	Lessons learned with PCF: scaling secure computation.	PETShop@CCS	2013	DBLP DOI BibTeX RDF
21	Ben Kreuter, Abhi Shelat, Benjamin Mood, Kevin R. B. Butler	PCF: A Portable Circuit Format for Scalable Two-Party Secure Computation.	USENIX Security Symposium	2013	DBLP BibTeX RDF
21	Chanwoo Park, Jungwoo Lee 0001	Intelligent Traffic Control Systems Based on IEEE 802.11 DCF/PCF.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2012	DBLP DOI BibTeX RDF
21	Peter Gammie	Logical Relations for PCF.	Arch. Formal Proofs	2012	DBLP BibTeX RDF
21	Menachem Kojman	Singular Cardinals: From Hausdorff's Gaps to Shelah's PCF Theory.	Sets and Extensions in the Twentieth Century	2012	DBLP DOI BibTeX RDF
21	Joyce George, K. Sunil Kumar	Investigations on the modeling and simulation of the low loss, highly birefringent PCF for high speed communication networks.	ICUMT	2012	DBLP DOI BibTeX RDF
21	Raúl Palacios, Fabrizio Granelli, Danica Gajic, Andreas Foglar	An energy-efficient MAC protocol for infrastructure WLAN based on modified PCF/DCF access schemes using a bidirectional data packet exchange.	CAMAD	2012	DBLP DOI BibTeX RDF
21	Fritz Müller 0001	On Berry's conjectures about the stable order in PCF	Log. Methods Comput. Sci.	2011	DBLP DOI BibTeX RDF
21	Walter M. Nakaema, Zuo-Qiang Hao, Philipp Rohwetter, Ludger Wöste, Kamil Stelmaszczyk	PCF-Based Cavity Enhanced Spectroscopic Sensors for Simultaneous Multicomponent Trace Gas Analysis.	Sensors	2011	DBLP DOI BibTeX RDF
21	Chanwoo Park, Jungwoo Lee 0001	Intelligent Traffic Control Based on IEEE 802.11 DCF/PCF Mechanisms at Intersections.	VTC Fall	2011	DBLP DOI BibTeX RDF
21	Marco Gaboardi, Luca Paolini, Mauro Piccolo	Linearity and PCF: a semantic insight!	ICFP	2011	DBLP DOI BibTeX RDF
21	Philippe Schiesser, Ricardo Teixeira, Anne Himeno, Andrew Southwood	Linking PCF, LCA and ecodesign - A practical approach for the food sector.	EnviroInfo	2011	DBLP BibTeX RDF
21	Ricardo Teixeira, Lori Gustavus, Anne Himeno, Sara Pax	A review of tools for PCF and LCA in the agri-food sector.	EnviroInfo	2011	DBLP BibTeX RDF
21	Karim Er-rhaimini, Boban Velickovic	PCF structures of height less than omega3.	J. Symb. Log.	2010	DBLP DOI BibTeX RDF
21	Martin Churchill, James Laird, Guy McCusker	A Concrete Representation of Observational Equivalence for PCF	CoRR	2010	DBLP BibTeX RDF
21	Biplav Srivastava, Pietro Mazzoleni	An APQC-PCF based framework to compare service offerings in business transformation projects.	SAC	2010	DBLP DOI BibTeX RDF
21	Md. Atiur Rahman Siddique, Joarder Kamruzzaman	Performance Analysis of PCF Based WLANs with Imperfect Channel and Failure Retries.	GLOBECOM	2010	DBLP DOI BibTeX RDF
21	Ibrahim Yakut, Huseyin Polat 0001, Mehmet Koç	PCF: Projection-based Collaborative Filtering.	KDIR	2010	DBLP BibTeX RDF
21	Kazuhide Nakajima, Takashi Matsui, Chisato Fukai	Wide-Band Dispersion Compensation for PCF with Uniform Air Hole Structure.	IEICE Trans. Commun.	2009	DBLP DOI BibTeX RDF
21	Chisato Fukai, Kazuhide Nakajima, Takashi Matsui	Applicability of Large Effective Area PCF to DRA Transmission.	IEICE Trans. Commun.	2009	DBLP DOI BibTeX RDF
21	Liqiang Zhao, Jie Zhang 0003, Hailin Zhang 0001	Hub-polling-based IEEE 802.11 PCF with integrated QoS differentiation.	Wirel. Commun. Mob. Comput.	2009	DBLP DOI BibTeX RDF
21	Qutaiba I. Ali	Performance Evaluation of WLAN Internet Sharing Using DCF & PCF Modes.	Int. Arab. J. e Technol.	2009	DBLP BibTeX RDF
21	Imen Sassi, Nabil Belacel, Yassine Bouslimani, Habib Hamam	Multicriteria PCF Design: An Accurate Photonic Crystal Fiber Design Tool.	CNSR	2009	DBLP DOI BibTeX RDF
21	Luís Pereira	The PCF conjecture and large cardinals.	J. Symb. Log.	2008	DBLP DOI BibTeX RDF
21	Kenji Kurokawa, Takashi Yamamoto, Katsusuke Tajima, Atsushi Aratake, Kenya Suzuki, Toshio Kurashima	WDM transmission in 1.0µm band over PCF using supercontinuum source.	IEICE Electron. Express	2008	DBLP DOI BibTeX RDF
21	Said Zaghloul, Wolfgang Bziuk, Admela Jukan	Signaling and Handoff Rates at the Policy Control Function (PCF) in IP Multimedia Subsystem (IMS).	IEEE Commun. Lett.	2008	DBLP DOI BibTeX RDF
21	Koji Ieda, Kenji Kurokawa, Katsusuke Tajima, Kazuhide Nakajima	Visible to infrared high-speed WDM transmission over PCF.	IEICE Electron. Express	2007	DBLP DOI BibTeX RDF
21	Jun Zheng 0003, Emma E. Regentova	I-Poll: Improved Polling Scheme for Augmenting Voice Support in IEEE 802.11 PCF.	IEICE Trans. Commun.	2006	DBLP DOI BibTeX RDF
21	Russell J. Haines, Gary Clemo, Alistair Munro	Toward Formal Verification of 802.11 MAC Protocols: Verifying a Petri-Net Model of 802.11 PCF.	VTC Fall	2006	DBLP DOI BibTeX RDF
21	Russell J. Haines, Alistair Munro, Gary Clemo	Toward Formal Verification of 802.11 MAC Protocols: a Case Study of Applying Petri-nets to Modeling the 802.11 PCF.	VTC Spring	2006	DBLP DOI BibTeX RDF
21	Yi-Wen Lan, Jyh-Cheng Chen	Asymptotic weighted fair queuing (AWFQ) for IEEE 802.11 point coordination function (PCF).	CCNC	2006	DBLP DOI BibTeX RDF
21	Apichan Kanjanavapastit, Björn Landfeldt	Enhancements of the modified PCF in IEEE 802.11 WLANs.	J. Commun. Networks	2005	DBLP DOI BibTeX RDF
21	Biplab Sikdar 0001	Delay analysis of IEEE 802.11 PCF MAC based wireless networks.	GLOBECOM	2005	DBLP DOI BibTeX RDF
21	Takehiro Kawata, Sangho Shin, Andrea G. Forte, Henning Schulzrinne	Using dynamic PCF to improve the capacity for VoIP traffic in IEEE 802.11 networks.	WCNC	2005	DBLP DOI BibTeX RDF
21	Ping Ding, JoAnne Holliday, Aslihan Celik	Dynamic scheduling of PCF traffic in an unstable wireless LAN.	CCNC	2005	DBLP DOI BibTeX RDF
21	Riccardo Pucella, Prakash Panangaden	On the Expressive Power of First-Order Boolean Functions in PCF	CoRR	2004	DBLP BibTeX RDF
21	Jamal N. Al-Karaki, J. Morris Chang	EPCF: a lightweight multi-priority PCF for QoS support in IEEE 802.11 wireless LANs.	IPCCC	2004	DBLP DOI BibTeX RDF
21	Daji Qiao, Sunghyun Choi 0001, Amjad Soomro, Kang G. Shin	Energy-efficient PCF operation of IEEE 802.11a WLANs via transmit power control.	Comput. Networks	2003	DBLP DOI BibTeX RDF
21	Juki Wirawan Tantra, Teck Meng Lim, Chuan Heng Foh, Bu-Sung Lee	An Enhanced SuperPoll Protocol for IEEE 802.11 PCF with rate differentiation.	MWCN	2003	DBLP DOI BibTeX RDF
21	Zhihui Chen, Ashfaq A. Khokhar	Improved MAC protocols for DCF and PCF modes over fading channels in wireless LANs.	WCNC	2003	DBLP DOI BibTeX RDF
21	Amin Farjudian	Sequentiality and Piecewise-affinity in Segments of Real-PCF.	Workshop on Domains	2002	DBLP DOI BibTeX RDF
21	Saharon Shelah	PCF and infinite free subsets in an algebra.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
21	Takahiro Suzuki, Shuji Tasaka	Performance evaluation of priority-based multimedia transmission with the PCF in an IEEE 802.11 standard wireless LAN.	PIMRC	2002	DBLP DOI BibTeX RDF
21	Daji Qiao, Sunghyun Choi 0001, Amjad Soomro, Kang G. Shin	Energy-Efficient PCF Operation of IEEE 802.11a Wireless LAN.	INFOCOM	2002	DBLP DOI BibTeX RDF
21	Ralph Loader	Finitary PCF is not decidable.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
21	Riccardo Pucella, Prakash Panangaden	On the expressive power of first-order boolean functions in PCF.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
21	Saharon Shelah	Applications of PCF Theory.	J. Symb. Log.	2000	DBLP DOI BibTeX RDF
21	J. M. E. Hyland, C.-H. Luke Ong	On Full Abstraction for PCF: I, II, and III.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
21	Abbas Edalat, Martín Hötzel Escardó	Integration in Real PCF.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
21	Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria	Full Abstraction for PCF.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
21	Gordon D. Plotkin	Full abstraction, totality and PCF.	Math. Struct. Comput. Sci.	1999	DBLP BibTeX RDF
21	Manfred Schmidt-Schauß	Decidability of Behavioural Equivalence in Unary PCF.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
21	Martín Hötzel Escardó, Thomas Streicher	Induction and Recursion on the Partial Real Line with Applications to Real PCF.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
21	Thomas Ehrhard	A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries.	Inf. Comput.	1999	DBLP DOI BibTeX RDF
21	Ferruccio Damiani	Useless-Code Detection and Elimination for PCF with Algebraic Data types.	TLCA	1999	DBLP DOI BibTeX RDF
21	Torben Braüner	A Simple Adequate Categorical Model for PCF, II.	Fundam. Informaticae	1998	DBLP DOI BibTeX RDF
21	Holger Schulz	Type two theory of effectivity and Real PCF.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
21	Thomas Ehrhard	A relative PCF-definability result for strongly stable functions and some corollaries.	Workshop on Domains	1998	DBLP DOI BibTeX RDF
21	Ralph Loader	Unary PCF is Decidable.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
21	Hugo Herbelin	Games and Weak-Head Reduction for Classical PCF.	TLCA	1997	DBLP DOI BibTeX RDF
21	Torben Braüner	A Simple Adequate Categorical Model for PCF.	TLCA	1997	DBLP DOI BibTeX RDF
21	Martín Hötzel Escardó	PCF extended with real numbers : a domain-theoretic approach to higher-order exact real number computation.		1997	RDF
21	Thomas Jech, Saharon Shelah	Possible pcf Algebras.	J. Symb. Log.	1996	DBLP DOI BibTeX RDF
21	Martín Hötzel Escardó	PCF Extended with Real Numbers.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
21	Abbas Edalat, Martín Hötzel Escardó	Integration in Real PCF.	LICS	1996	DBLP DOI BibTeX RDF
21	Thomas Jech	Singular cardinals and the PCF theory.	Bull. Symb. Log.	1995	DBLP DOI BibTeX RDF
21	Peter W. O'Hearn, Jon G. Riecke	Kripke Logical Relations and PCF	Inf. Comput.	1995	DBLP DOI BibTeX RDF
21	J. M. E. Hyland, C.-H. Luke Ong	Pi-Calculus, Dialogue Games and PCF.	FPCA	1995	DBLP DOI BibTeX RDF
21	P. Carboni, M. Fuscione, F. Guindani, Sergio Punzi, Paolo Stofella	XHIVE: interactive parallel application development using the PCF methodology.	HPCN	1995	DBLP DOI BibTeX RDF
21	Thomas Streicher	A Universality Theorem for PCF With Recursive Types, Parallel-Or and Exists.	Math. Struct. Comput. Sci.	1994	DBLP DOI BibTeX RDF
21	Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan	Full Abstraction for PCF.	TACS	1994	DBLP DOI BibTeX RDF
21	Achim Jung, Allen Stoughton	Studying the Fully Abstract Model of PCF within its Continuous Function Model.	TLCA	1993	DBLP DOI BibTeX RDF