Search results for "commuting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
102	Soo-Chang Pei, Wen-Liang Hsue, Jian-Jiun Ding	DFT-Commuting Matrix With Arbitrary or Infinite Order Second Derivative Approximation.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
88	Soo-Chang Pei, Wen-Liang Hsue, Jian-Jiun Ding	Coefficient-truncated higher-order commuting matrices of the discrete fourier transform.	ICASSP	2008	DBLP DOI BibTeX RDF
87	Fernando Ferreira 0001, Gilda Ferreira	Commuting Conversions vs. the Standard Conversions of the "Good" Connectives.	Stud Logica	2009	DBLP DOI BibTeX RDF	commuting conversions, predicative quantifiers, Natural deduction
74	Soo-Chang Pei, Jian-Jiun Ding, Wen-Liang Hsue, Kuo-Wei Chang	Generalized Commuting Matrices and Their Eigenvectors for DFTs, Offset DFTs, and Other Periodic Operations.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
73	Aurel Cami, Garrick L. Wallstrom, William R. Hogan	Integrating a Commuting Model with the Bayesian Aerosol Release Detector.	BioSecure	2008	DBLP DOI BibTeX RDF	BARD, anthrax, commuting, biosurveillance
60	Manfred Droste, Paul Gastin	On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Aperiodic languages, Star-free languages, Traces, Semiring, Formal power series, Weighted automata
60	Soo-Chang Pei, Wen-Liang Hsue	Tridiagonal Commuting Matrices and Fractionalizations of DCT and DST Matrices of Types I, IV, V, and VIII.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
60	Tsuyoshi Ito, Hirotada Kobayashi, Daniel Preda, Xiaoming Sun 0001, Andrew Chi-Chih Yao	Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-prover Interactive Proof Systems.	CCC	2008	DBLP DOI BibTeX RDF	multi-prover interactive proof systems, quantum nonlocality, Tsirelson inequality, entanglement
60	Susanne Saminger-Platz, Radko Mesiar, Didier Dubois	Aggregation Operators and Commuting.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
56	Deepak Kapur, Paliath Narendran, Lida Wang	A Unification Algorithm for Analysis of Protocols with Blinded Signatures.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
46	Tim N. T. Goodman, S. L. Lee, W. S. Tang	Wavelet bases for a set of commuting unitary operators.	Adv. Comput. Math.	1993	DBLP DOI BibTeX RDF	Subject classification 41A15, 47B37, 42C15
41	Don S. Batory	Using modern mathematics as an FOSD modeling language.	GPCE	2008	DBLP DOI BibTeX RDF	commuting diagrams, software product lines, features, geodesics, model driven design
41	Jin Han Park, Jong Seo Park, Young Chel Kwun	Common Fixed Points of Maps on Intuitionistic Fuzzy Metric Spaces.	ICFIE	2007	DBLP DOI BibTeX RDF	Common fixed point, Intuitionistic fuzzy metric space, Asymptotically commuting map
35	Anqi Liu, Keone Kelobonye, Zhenqi Zhou, Qiuxia Xu, Zhen Xu, Lingyun Han	School Commuting Mode Shift: A Scenario Analysis for Active School Commuting Using GIS and Online Map API.	ISPRS Int. J. Geo Inf.	2020	DBLP DOI BibTeX RDF
35	Xiaoyong Ni, Hong Huang, Yangyang Meng, Shiwei Zhou, Boni Su	An Urban Road-Traffic Commuting Dynamics Study Based on Hotspot Clustering and a New Proposed Urban Commuting Electrostatics Model.	ISPRS Int. J. Geo Inf.	2019	DBLP DOI BibTeX RDF
35	April Morton, Jesse O. Piburn, Nicholas N. Nagle	Need A Boost? A Comparison of Traditional Commuting Models with the XGBoost Model for Predicting Commuting Flows (Short Paper).	GIScience	2018	DBLP DOI BibTeX RDF
35	Kristina Flüchter, Felix Wortmann, Elgar Fleisch	Digital Commuting: the effect of Social Normative feedback on E-Bike Commuting - Evidence from a Field Study.	ECIS	2014	DBLP BibTeX RDF
35	Chris Elsmore, Anil Madhavapeddy, Ian M. Leslie, Amir Chaudhry	Confidential carbon commuting: exploring a privacy-sensitive architecture for incentivising 'greener' commuting.	MPM@EuroSys	2012	DBLP DOI BibTeX RDF
35	Ye Sun, Xinmiao Yang	Investigation of commuting and non-commuting travel features for the popularization of public transportation system.	Int. J. Comput. Intell. Syst.	2011	DBLP DOI BibTeX RDF
32	Qi-Wen Ran, Zhongzhao Zhang, Deyun Wei, Xuejun Sha	Novel nearly tridiagonal commuting matrix and fractionalizations of generalized DFT matrix.	CCECE	2009	DBLP DOI BibTeX RDF
32	Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani	Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	Diffie-Hellman exponentiation, Dolev-Yao model, complexity, protocols, Algebraic properties
32	Kevin Buchin, Maike Buchin, Joachim Gudmundsson, Maarten Löffler, Jun Luo 0008	Detecting Commuting Patterns by Clustering Subtrajectories.	ISAAC	2008	DBLP DOI BibTeX RDF
32	Michal Kunc	The Power of Commuting with Finite Sets of Words.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
32	Jovanka Pantovic, Gradimir Vojvodic	Commuting Hyperoperations.	ISMVL	2006	DBLP DOI BibTeX RDF
32	Zhi-Chun Li, Hai-Jun Huang	Fixed-Point Model and Schedule Reliability of Morning Commuting in Stochastic and Time-Dependent Transport Networks.	WINE	2005	DBLP DOI BibTeX RDF
32	Michal Kunc	The Power of Commuting with Finite Sets of Words.	STACS	2005	DBLP DOI BibTeX RDF
32	Christian Choffrut, Massimiliano Goldwurm, Violetta Lonati	On the Maximum Coefficients of Rational Formal Series in Commuting Variables.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
32	Bernhard K. Aichernig	The Commuting V-Diagram.	CSL	2003	DBLP DOI BibTeX RDF	formal methods, refinement, contracts, specification-based testing, refinement calculus
32	Manfred Droste, Paul Gastin	On Recognizable and Rational Formal Power Series in Partially Commuting Variables.	ICALP	1997	DBLP DOI BibTeX RDF
28	Hector Ouilhet	Google Sky Map: using your phone as an interface.	Mobile HCI	2010	DBLP DOI BibTeX RDF
28	José J. Ramasco, Vittoria Colizza, Pietro Panzarasa	Using the Weighted Rich-Club Coefficient to Explore Traffic Organization in Mobility Networks.	Complex (1)	2009	DBLP DOI BibTeX RDF	complex networks, transportation systems, human mobility
28	Dietmar Bauer, Markus Ray, Norbert Brändle, Helmut Schrom-Feiertag	On extracting commuter information from GPS motion data.	MobiQuitous	2008	DBLP DOI BibTeX RDF
28	Juhani Karhumäki, Michel Latteux, Ion Petre	Commutation with Ternary Sets of Words.	Theory Comput. Syst.	2005	DBLP DOI BibTeX RDF
28	Sèverine Bérard, Anne Bergeron, Cédric Chauve	Conservation of Combinatorial Structures in Evolution Scenarios.	Comparative Genomics	2004	DBLP DOI BibTeX RDF
28	Vladimir A. Zakharov, Ivan Zakharyaschev	On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata.	CIAA	2004	DBLP DOI BibTeX RDF
28	Börje Johansson, Johan Klaesson, Michael Olsson	Commuters' non-linear response to time distances.	J. Geogr. Syst.	2003	DBLP DOI BibTeX RDF	JEL classification R41, L91, R23
28	Karl-Petter Åkesson, Andreas Nilsson	Designing Leisure Applications for the Mundane Car-Commute.	Pers. Ubiquitous Comput.	2002	DBLP DOI BibTeX RDF	In-car application, Tangible input, Commuter, Audio interface
28	Rodolfo Echavarría, Victor M. Sanchez, Mario Ponce, Maria Cotorogea, Abraham Claudio	Analysis of a power topology for a quasi-resonant fast on-load tap changing regulator.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
28	Juhani Karhumäki, Ion Petre	On the Centralizer of a Finite Set.	ICALP	2000	DBLP DOI BibTeX RDF
28	Jean-Pierre Jouannaud, Miguel Munoz	Termination of a Set of Rules Modulo a Set of Equations.	CADE	1984	DBLP DOI BibTeX RDF
27	Nicolas Belloni, Lars Erik Holmquist, Jakob Tholander	See you on the subway: exploring mobile social software.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	cultural probes, commuting, mobile social software
27	Vladimir Shpilrain, Gabriel Zapata	Combinatorial Group Theory and Public Key Cryptography.	Appl. Algebra Eng. Commun. Comput.	2006	DBLP DOI BibTeX RDF	Public key exchange, Conjugacy search problem, Commuting action, Diffusion
27	Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones	A framework for superscalar microprocessor correctness statements.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Microprocessor correctness, Commuting diagrams, Formal verification, Pipelines
18	Pavel Shumyatsky, Matteo Vannacci	Commuting and product-zero probability in finite rings.	Int. J. Algebra Comput.	2024	DBLP DOI BibTeX RDF
18	Tao Ji, Xian-Sheng Hua 0001, Jinliang Shao, Yunqiang Zhu, Shejun Deng, Shijun Yu, Huajun Liao	Study on Spatio-Temporal Patterns of Commuting under Adverse Weather Events: Case Study of Typhoon In-Fa.	ISPRS Int. J. Geo Inf.	2024	DBLP DOI BibTeX RDF
18	Yan Luo, Zhuoyue Wan, Yuzhong Chen, Gengchen Mai, Fu-Lai Chung, Kent Larson	TransFlower: An Explainable Transformer-Based Model with Flow-to-Flow Attention for Commuting Flow Prediction.	CoRR	2024	DBLP DOI BibTeX RDF
18	Pascal Koiran	On the uniqueness and computation of commuting extensions.	CoRR	2024	DBLP DOI BibTeX RDF
18	José Espírito Santo, Gilda Ferreira	How to avoid the commuting conversions of IPC.	CoRR	2024	DBLP DOI BibTeX RDF
18	Shi-Mei Ma, Hao Qi, Jean Yeh, Yeong-Nan Yeh	Commuting Eulerian operators.	Discret. Appl. Math.	2024	DBLP DOI BibTeX RDF
18	Qingli Shi, Li Zhuo 0002, Haiyan Tao, Junying Yang	A fusion model of temporal graph attention network and machine learning for inferring commuting flow from human activity intensity dynamics.	Int. J. Appl. Earth Obs. Geoinformation	2024	DBLP DOI BibTeX RDF
18	Anthony Lazzeroni	Powersum Bases in Quasisymmetric Functions and Quasisymmetric Functions in Non-Commuting Variables.	Electron. J. Comb.	2023	DBLP DOI BibTeX RDF
18	Jinming Yan, Qiuyu Wan, Jingyi Feng, Jianjun Wang, Yiwen Hu, Xuexin Yan	The Non-Linear Influence of Built Environment on the School Commuting Metro Ridership: The Case in Wuhan, China.	ISPRS Int. J. Geo Inf.	2023	DBLP DOI BibTeX RDF
18	Ganmin Yin, Zhou Huang, Yi Bao, Han Wang, Linna Li, Xiaolei Ma, Yi Zhang	ConvGCN-RF: A hybrid learning model for commuting flow prediction considering geographical semantics and neighborhood effects.	GeoInformatica	2023	DBLP DOI BibTeX RDF
18	Antonio Jiménez-Pastor, Sonia L. Rueda, Maria-Angeles Zurro	Computing Almost-Commuting Basis of Ordinary Differential Operators.	ACM Commun. Comput. Algebra	2023	DBLP DOI BibTeX RDF
18	Faizeh Hatami, Md. Mokhlesur Rahman, Behnam Nikparvar, Jean-Claude Thill	Non-Linear Associations Between the Urban Built Environment and Commuting Modal Split: A Random Forest Approach and SHAP Evaluation.	IEEE Access	2023	DBLP DOI BibTeX RDF
18	Atsushi Matsuo, Shigeru Yamashita, Daniel J. Egger	A SAT Approach to the Initial Mapping Problem in SWAP Gate Insertion for Commuting Gates.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2023	DBLP DOI BibTeX RDF
18	Jianfeng Zhou, Wallace K. S. Tang	Reconstruction of Commuting Networks: A Distance-Tiered Graph Neural Network Approach.	IEEE Trans. Netw. Sci. Eng.	2023	DBLP DOI BibTeX RDF
18	Martin W. Licht	Towards finite element exterior calculus over manifolds: commuting projections, geometric variational crimes, and approximation errors.	CoRR	2023	DBLP DOI BibTeX RDF
18	Martin Campos Pinto, Frederik Schnack	Bounded commuting projections for multipatch spaces with non-matching interfaces.	CoRR	2023	DBLP DOI BibTeX RDF
18	Zhiren Huang, Alonso Espinosa Mireles de Villafranca, Charalampos Sipetas, Tri Quach	Crowd-sensing commuting patterns using multi-source wireless data: a case of Helsinki commuter trains.	CoRR	2023	DBLP DOI BibTeX RDF
18	Juha Honkala	Commuting upper triangular binary morphisms.	CoRR	2023	DBLP DOI BibTeX RDF
18	Jun Hu, Yizhou Liang, Ting Lin	Local Bounded Commuting Projection Operators for Discrete Gradgrad Complexes.	CoRR	2023	DBLP DOI BibTeX RDF
18	Jun Hu, Yizhou Liang, Ting Lin	Local Bounded Commuting Projection Operator for Discrete de Rham Complexes.	CoRR	2023	DBLP DOI BibTeX RDF
18	Mhd Saeed Sharif, Madhav Raj Theeng Tamang, Cynthia H. Y. Fu, Aaron Baker, Ahmed Ibrahim Alzahrani 0001, Nasser Alalwan	An Innovative Random-Forest-Based Model to Assess the Health Impacts of Regular Commuting Using Non-Invasive Wearable Sensors.	Sensors	2023	DBLP DOI BibTeX RDF
18	Tapani Hyttinen, Kaisa Kangas	An AEC framework for fields with commuting automorphisms.	Arch. Math. Log.	2023	DBLP DOI BibTeX RDF
18	Roos Teeuwen, Achilleas Psyllidis, Alessandro Bozzon	Measuring children's and adolescents' accessibility to greenspaces from different locations and commuting settings.	Comput. Environ. Urban Syst.	2023	DBLP DOI BibTeX RDF
18	Peter J. Cameron, Bojan Kuzma	Between the enhanced power graph and the commuting graph.	J. Graph Theory	2023	DBLP DOI BibTeX RDF
18	Jingyu Pang, Xingchen Zhou	Colorful Commuting Journey: Non-driving Related Tasks that Drivers Willing to Perform Across Vehicles of Various Automation Levels and the Reasons.	HCI (51)	2023	DBLP DOI BibTeX RDF
18	Hung-Jui Chang, Wei-Ping Goh, Shu-Chen Tsai, Ting-Yu Lin, Chien-Chi Chang, Mei-Lien Pan, Da-Wei Wang 0004, Tsan-sheng Hsu	Building Commuting Flows for an Agent Based Disease Spreading Simulation System Based on Aggregated Information.	SIMULTECH	2023	DBLP DOI BibTeX RDF
18	Jayrald Empino, Jean Allyson Junsay, Mary Grace Verzon, Mideth B. Abisado, Shekinah Lor B. Huyo-a, Gabriel Avelino R. Sampedro	Smart Commuting: Exploring Machine Learning Approaches to Understanding the Metro Rail Transit System.	ICEIC	2023	DBLP DOI BibTeX RDF
18	Jessé Da Costa Rocha, Marcela Alves De Souza, Evelin Helena Silva Cardoso, Nandamudi Vijaykumar, Jasmine Priscyla Leite De Araújo, Carlos Renato Lisboa Francês	A Platform for Monitoring Student Commuting in the Use of School Transport in Smart Cities - A Facial Recognition Based Approach.	SmartNets	2023	DBLP DOI BibTeX RDF
18	Minseon Park, Dong Woo Hahm	Location Choice, Commuting, and School Choice.	EC	2023	DBLP DOI BibTeX RDF
18	Tamas Kaiser	Reshaping travel behaviour: how to overcome the "commuting paradox"?	CEEeGov	2023	DBLP DOI BibTeX RDF
18	Mhd Saeed Sharif, Madhav Raj Theeng Tamang, Cynthia H. Y. Fu, Wael Elmedany	Employing Machine Learning Algorithms to Detect Stress with a Specific Emphasis on Commuting Methods.	FiCloud	2023	DBLP DOI BibTeX RDF
18	Timo Mitze, Reinhold Kosfeld	The propagation effect of commuting to work in the spatial transmission of COVID-19.	J. Geogr. Syst.	2022	DBLP DOI BibTeX RDF
18	Zhipeng Li, Xinyi Niu	Exploring Spatial Nonstationarity in Determinants of Intercity Commuting Flows: A Case Study of Suzhou-Shanghai, China.	ISPRS Int. J. Geo Inf.	2022	DBLP DOI BibTeX RDF
18	Xuexin Yan, Jie Zhou, Fubin Sheng, Qiang Niu	Influences of Built Environment at Residential and Work Locations on Commuting Distance: Evidence from Wuhan, China.	ISPRS Int. J. Geo Inf.	2022	DBLP DOI BibTeX RDF
18	Gergo Pintér, Imre Felde	Commuting Analysis of the Budapest Metropolitan Area Using Mobile Network Data.	ISPRS Int. J. Geo Inf.	2022	DBLP DOI BibTeX RDF
18	Ming Cao, Chun Yang	Research on Consumer Identity in Using Sustainable Mobility as a Service System in a Commuting Scenario.	Syst.	2022	DBLP DOI BibTeX RDF
18	Yongwei Wang, Weijun Liu, Wei Jin	The commuting graph of the cyclic extension of an abelian group.	Appl. Math. Comput.	2022	DBLP DOI BibTeX RDF
18	Salvatore Sessa 0002, Mohamed Akkouchi	Coincidence Points for Mappings in Metric Spaces Satisfying Weak Commuting Conditions.	Symmetry	2022	DBLP DOI BibTeX RDF
18	Fawad Ali, Bilal A. Rather, Nahid Fatima, Muhammad Sarfraz 0003, Asad Ullah, Khalid Abdulkhaliq M. Alharbi, Rahim Dad	On the Topological Indices of Commuting Graphs for Finite Non-Abelian Groups.	Symmetry	2022	DBLP DOI BibTeX RDF
18	Giovanni Cutolo	On a construction by Giudici and Parker on commuting graphs of groups.	J. Comb. Theory, Ser. A	2022	DBLP DOI BibTeX RDF
18	Yana Rumenova, Tinko Tinchev	Modal Definability: Two Commuting Equivalence Relations.	Logica Universalis	2022	DBLP DOI BibTeX RDF
18	Zahid Halim, Aqsa Khan, Muhammad Sulaiman 0003, Sajid Anwar, Muhammad Nawaz	On finding optimum commuting path in a road network: A computational approach for smart city traveling.	Trans. Emerg. Telecommun. Technol.	2022	DBLP DOI BibTeX RDF
18	Vikraman Arvind, Peter J. Cameron	Recognizing the Commuting Graph of a Finite Group.	CoRR	2022	DBLP DOI BibTeX RDF
18	Théophile Chaumont-Frelet, Martin Vohralík	A stable local commuting projector and optimal hp approximation estimates in H(curl).	CoRR	2022	DBLP DOI BibTeX RDF
18	Robert Greener, Daniel Lewis, Jon Reades, Simon Miles, Steven Cummins	Incorporating social norms into a configurable agent-based model of commuting behaviour.	CoRR	2022	DBLP BibTeX RDF
18	Bowen Li 0003, Jianfeng Lu 0001, Ziang Yu	Vector-wise Joint Diagonalization of Almost Commuting Matrices.	CoRR	2022	DBLP DOI BibTeX RDF
18	Salman Mukhtar, Muhammad Salman, Ayse Dilek Maden, Masood Ur Rehman 0004	Metric Properties of Non-Commuting Graph Associated to Two Groups.	Int. J. Found. Comput. Sci.	2022	DBLP DOI BibTeX RDF
18	Thomaz Teodorovicz, Andrew L. Kun, Raffaella Sadun, Orit Shaer	Multitasking while driving: A time use study of commuting knowledge workers to assess current and future uses.	Int. J. Hum. Comput. Stud.	2022	DBLP DOI BibTeX RDF
18	Francisco Jurado Romero, Estefania Munoz Diaz, Dina Bousdar Ahmed	Smartphone-Based Localization for Passengers Commuting in Traffic Hubs.	Sensors	2022	DBLP DOI BibTeX RDF
18	Mnacho Echenim	Simultaneous diagonalization of pairwise commuting Hermitian matrices.	Arch. Formal Proofs	2022	DBLP BibTeX RDF
18	Menghai Pan, Yanhua Li, Zhi-Li Zhang, Jun Luo 0007	SCCS: Smart Cloud Commuting System With Shared Autonomous Vehicles.	IEEE Trans. Big Data	2022	DBLP DOI BibTeX RDF
18	Aleksejus Mihalkovich, Matas Levinskas, Lina Dindiene, Eligijus Sakalauskas	CBC Mode of MPF Based Shannon Cipher Defined Over a Non-Commuting Platform Group.	Informatica	2022	DBLP DOI BibTeX RDF
18	Wei Liu 0101, Fangni Zhang, Xiaolei Wang 0002, Chaoyi Shao, Hai Yang 0003	Unlock the Sharing Economy: The Case of the Parking Sector for Recurrent Commuting Trips.	Transp. Sci.	2022	DBLP DOI BibTeX RDF
18	Yang Qin, Linjiang Zheng, Li Chen, Weining Liu	Identifying Taxi Commuting Traffic Analysis Zones Using Massive GPS Data.	KSEM (3)	2022	DBLP DOI BibTeX RDF
18	Chao Hong, Haoqiang Yang, Xin Li, Zhigang Lian	Research on Site Selection Optimization of UAV Commuting Stations Based on Self-learning Ant-lion Algorithm.	IPEC	2022	DBLP DOI BibTeX RDF
18	Marcel Ciesla, Victoria Oberascher, Sven Eder, Stefan Kirchweger, Wolfgang E. Baaske, Gerald Ostermayer	Low-emission Commuting with Micro Public Transport: Investigation of Travel Times and CO2 Emissions.	VEHITS	2022	DBLP DOI BibTeX RDF
18	Hideki Hashimoto, Yannan Hu, Tomoki Sugiura, Yosuke Takada, Mutsunori Yagiura	An Iterated Local Search Algorithm for Commuting Bus Routing Problem with Latest Arrival Time Constraint.	IEEM	2022	DBLP DOI BibTeX RDF