Search results for "leads-to"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
31	A. Udaya Shankar	An Introduction to Assertional Reasoning for Concurrent Systems.	ACM Comput. Surv.	1993	DBLP DOI BibTeX RDF	generation of preconditions, leads-to, progress properties, invariants, Hoare logic, weakest preconditions, safety properties, state transition systems, assertional reasoning
31	Wim H. Hesselink, Ronald Reinds	Temporal Preconditions of Recursive Procedures.	REX Workshop	1992	DBLP DOI BibTeX RDF	leads-to, eventually, healthiness law, guarded recursion, unfolding, weakest precondition, recursive procedure
31	Yong-Yeon Jo, Joon-Myoung Kwon	ECGT2T: Electrocardiogram synthesis from Two asynchronous leads to Ten leads.	CoRR	2021	DBLP BibTeX RDF
28	Rob Gerth, Ruurd Kuiper 0001, John Segers	Interface Refinement in Reactive Systems (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF	interface change, leads to property, ?-automata, concurrency, temporal logic, refinement, transition systems
21	Arjan J. Mooij	Calculating and Composing Progress Properties in Terms of the Leads-to Relation.	ICFEM	2007	DBLP DOI BibTeX RDF
21	Borzoo Bonakdarpour, Ali Ebnenasir, Sandeep S. Kulkarni	Complexity results in revising UNITY programs.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	formal methods, UNITY
18	Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay	Adding the leads-to operator to Dijkstra's calculus.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF	guarded process, non-deterministic selection, weakest cooperation, distributed systems, protocol, correctness, weakest precondition
15	Hao Lin 0005, Cai Liu, Zhenhua Li 0001, Feng Qian 0001, Mingliang Li, Ping Xiong, Yunhao Liu 0001	Aging or Glitching? What Leads to Poor Android Responsiveness and What Can We Do About It?	IEEE Trans. Mob. Comput.	2024	DBLP DOI BibTeX RDF
15	Jiayu Ding, Zhenyu Gan	Breaking Symmetries Leads to Diverse Quadrupedal Gaits.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
15	Pawel Korzynski, Olga Protsiuk	What leads to cyberloafing: the empirical study of workload, self-efficacy, time management skills, and mediating effect of job satisfaction.	Behav. Inf. Technol.	2024	DBLP DOI BibTeX RDF
15	Maryam Ghasemaghaei, Nima Kordzadeh	Understanding how algorithmic injustice leads to making discriminatory decisions: An obedience to authority perspective.	Inf. Manag.	2024	DBLP DOI BibTeX RDF
15	Akshat Gupta, Anurag Rao, Gopala Anumanchipalli	Model Editing at Scale leads to Gradual and Catastrophic Forgetting.	CoRR	2024	DBLP DOI BibTeX RDF
15	Akbir Khan, John Hughes, Dan Valentine, Laura Ruis, Kshitij Sachan, Ansh Radhakrishnan, Edward Grefenstette, Samuel R. Bowman, Tim Rocktäschel, Ethan Perez	Debating with More Persuasive LLMs Leads to More Truthful Answers.	CoRR	2024	DBLP DOI BibTeX RDF
15	Kengo Nakamura 0001, Masaaki Nishino, Shuhei Denzumi	Single Family Algebra Operation on ZDDs Leads To Exponential Blow-Up.	CoRR	2024	DBLP DOI BibTeX RDF
15	Patrice Cassagnard, Thiam Mamadou	How Strategic Trade Policy Leads to Mixed Cournot-Bertrand Competition?	IGTR	2024	DBLP DOI BibTeX RDF
15	Gregor Köhler, Tassilo Wald, Constantin Ulrich, David Zimmerer, Paul F. Jaeger, Jörg K. H. Franke, Simon Kohl, Fabian Isensee, Klaus H. Maier-Hein	Abstract: RecycleNet - Latent Feature Recycling Leads to Iterative Decision Refinement.	Bildverarbeitung für die Medizin	2024	DBLP DOI BibTeX RDF
15	Deniz Yilmaz, Barkan Ugurlu, Erhan Öztop	Human-in-the-Loop Training Leads to Faster Skill Acquisition and Adaptation in Reinforcement Learning-Based Robot Control.	AMC	2024	DBLP DOI BibTeX RDF
15	Guohou Shan, Wenxi Pu, Jason Bennett Thatcher, Philip L. Roth	How Doxing on Social Media Leads to Social Stigma and Perceived Dignity.	HICSS	2024	DBLP BibTeX RDF
15	Gregor Köhler, Tassilo Wald, Constantin Ulrich, David Zimmerer, Paul F. Jaeger, Jörg K. H. Franke, Simon Kohl, Fabian Isensee, Klaus H. Maier-Hein	RecycleNet: Latent Feature Recycling Leads to Iterative Decision Refinement.	WACV	2024	DBLP DOI BibTeX RDF
15	Hiroshi Sakuma, Hideyuki Takahashi, Kohei Ogawa, Hiroshi Ishiguro	Immersive role-playing with avatars leads to adoption of others' personalities.	Frontiers Virtual Real.	2023	DBLP DOI BibTeX RDF
15	Matheus Franco, Vinicius Minatogawa, Ruy Quadros	How Transformative Business Model Renewal Leads to Sustained Exploratory Business Model Innovation in Incumbents: Insights from a System Dynamics Analysis of Case Studies.	Syst.	2023	DBLP DOI BibTeX RDF
15	Ramkishore Bhattacharyya	Bidirectional Association Discovery Leads to Precise Identification of Lung Cancer Biomarkers and Genome Taxa Class.	IEEE ACM Trans. Comput. Biol. Bioinform.	2023	DBLP DOI BibTeX RDF
15	Sijia Liu, Chunbao Liu, Yunhong Liang, Luquan Ren, Lei Ren 0002	Tunable Stiffness Caudal Peduncle Leads to Higher Swimming Speed Without Extra Energy.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
15	Mohammad Azizmalayeri, Mohammad Hossein Rohban	Lagrangian objective function leads to improved unforeseen attack generalization.	Mach. Learn.	2023	DBLP DOI BibTeX RDF
15	Hantian Liu, Claire Cordella, Prakash Ishwar, Margrit Betke, Swathi Kiran	Consistent long-term practice leads to consistent improvement: Benefits of self-managed therapy for language and cognitive deficits using a digital therapeutic.	Frontiers Digit. Health	2023	DBLP DOI BibTeX RDF
15	Shaojun Pan, Xing-Ming Zhao, Luís Pedro Coelho	SemiBin2: self-supervised contrastive learning leads to better MAGs for short- and long-read sequencing.	Bioinform.	2023	DBLP DOI BibTeX RDF
15	Gregor Köhler, Tassilo Wald, Constantin Ulrich, David Zimmerer, Paul F. Jaeger, Jörg K. H. Franke, Simon Kohl, Fabian Isensee, Klaus H. Maier-Hein	RecycleNet: Latent Feature Recycling Leads to Iterative Decision Refinement.	CoRR	2023	DBLP DOI BibTeX RDF
15	Milad Shafiee, Guillaume Bellegarda, Auke Jan Ijspeert	DeepTransition: Viability Leads to the Emergence of Gait Transitions in Learning Anticipatory Quadrupedal Locomotion Skills.	CoRR	2023	DBLP DOI BibTeX RDF
15	Mo Zhou, Rong Ge 0001	Implicit Regularization Leads to Benign Overfitting for Sparse Linear Regression.	CoRR	2023	DBLP DOI BibTeX RDF
15	Ziyin Liu	Symmetry Leads to Structured Constraint of Learning.	CoRR	2023	DBLP DOI BibTeX RDF
15	Farshed Abdukhakimov, Chulu Xiang, Dmitry Kamzolov, Robert M. Gower, Martin Takác 0001	SANIA: Polyak-type Optimization Framework Leads to Scale Invariant Stochastic Algorithms.	CoRR	2023	DBLP DOI BibTeX RDF
15	Maksym Andriushchenko, Dara Bahri, Hossein Mobahi, Nicolas Flammarion	Sharpness-Aware Minimization Leads to Low-Rank Features.	CoRR	2023	DBLP DOI BibTeX RDF
15	Charles Dawson 0001, Chuchu Fan	Adversarial optimization leads to over-optimistic security-constrained dispatch, but sampling can help.	CoRR	2023	DBLP DOI BibTeX RDF
15	Udari Madhushani, Kevin R. McKee, John P. Agapiou, Joel Z. Leibo, Richard Everett 0001, Thomas W. Anthony 0001, Edward Hughes 0001, Karl Tuyls, Edgar A. Duéñez-Guzmán	Heterogeneous Social Value Orientation Leads to Meaningful Diversity in Sequential Social Dilemmas.	CoRR	2023	DBLP DOI BibTeX RDF
15	Philippe Laban, Lidiya Murakhovs'ka, Caiming Xiong, Chien-Sheng Wu	Are You Sure? Challenging LLMs Leads to Performance Drops in The FlipFlop Experiment.	CoRR	2023	DBLP DOI BibTeX RDF
15	Jin-Yi Cai, Austen Z. Fan	Planar 3-way Edge Perfect Matching Leads to A Holant Dichotomy.	CoRR	2023	DBLP DOI BibTeX RDF
15	Ben Lonnqvist, Zhengqing Wu, Michael H. Herzog	Latent Noise Segmentation: How Neural Noise Leads to the Emergence of Segmentation and Grouping.	CoRR	2023	DBLP DOI BibTeX RDF
15	Jiayu Ding, Amit K. Sanyal, Zhenyu Gan	Breaking Symmetries Leads to Diverse Quadrupedal Gaits.	CoRR	2023	DBLP DOI BibTeX RDF
15	Hongxuan Zhang, Zhining Liu 0001, Jiaqi Zheng 0001, Chenyi Zhuang, Jinjie Gu, Guihai Chen	Fast Chain-of-Thought: A Glance of Future from Parallel Decoding Leads to Answers Faster.	CoRR	2023	DBLP DOI BibTeX RDF
15	AmirMohammad Sarfi, Zahra Karimpour, Muawiz Chaudhary, Nasir Mohammad Khalid, Mirco Ravanelli, Sudhir Mudur, Eugene Belilovsky	Simulated Annealing in Early Layers Leads to Better Generalization.	CoRR	2023	DBLP DOI BibTeX RDF
15	Arijita Sarkar, Troyee Das, Gourab Das, Zhumur Ghosh	MicroRNA mediated gene regulatory circuits leads to machine learning based preliminary detection of acute myeloid leukemia.	Comput. Biol. Chem.	2023	DBLP DOI BibTeX RDF
15	Xue Li, Jun Huang, Cuiting Wang, Xiaxia Yu, Tianhao Zhao, Chuan Huang 0002, Yi Gao 0002	Expectation-maximization algorithm leads to domain adaptation for a perineural invasion and nerve extraction task in whole slide digital pathology images.	Medical Biol. Eng. Comput.	2023	DBLP DOI BibTeX RDF
15	Canh Minh Do, Yati Phyo, Adrián Riesco 0001, Kazuhiro Ogata 0001	Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way.	ACM Trans. Softw. Eng. Methodol.	2023	DBLP DOI BibTeX RDF
15	Jeffrey J. Rothschild, Tianyi Ma, Joshua N. Milstein, Anton Zilman	Spatial exclusion leads to "tug-of-war" ecological dynamics between competing species within microchannels.	PLoS Comput. Biol.	2023	DBLP DOI BibTeX RDF
15	Andrea Ortone, Alberto Arturo Vergani, Mahboubeh Ahmadipour, Riccardo Mannella, Alberto Mazzoni	Dopamine depletion leads to pathological synchronization of distinct basal ganglia loops in the beta band.	PLoS Comput. Biol.	2023	DBLP DOI BibTeX RDF
15	Daniel Williamson, William Tasker-Brown, James A. H. Murray, Angharad R. Jones, Leah R. Band	Modelling how plant cell-cycle progression leads to cell size regulation.	PLoS Comput. Biol.	2023	DBLP DOI BibTeX RDF
15	Bo Hu, Yuanyi Mao, Ki Joon Kim	How social anxiety leads to problematic use of conversational AI: The roles of loneliness, rumination, and mind perception.	Comput. Hum. Behav.	2023	DBLP DOI BibTeX RDF
15	Vladik Kreinovich, Saeid Tizpaz-Niari	What Is a Natural Probability Distribution on the Class of All Continuous Functions: Maximum Entropy Approach Leads to Wiener Measure.	Uncertainty, Constraints, and Decision Making	2023	DBLP DOI BibTeX RDF
15	Ricardo Alvarez, Yamel Hernandez, Vladik Kreinovich	Why Too Much Interaction Between Different Parts of the Brain Leads To Unhappiness.	Decision Making Under Uncertainty and Constraints	2023	DBLP DOI BibTeX RDF
15	Christian Servin, Olga Kosheleva, Vladik Kreinovich	Physical Meaning Often Leads to Natural Derivations in Elementary Mathematics: On the Examples of Solving Quadratic and Cubic Equations.	Uncertainty, Constraints, and Decision Making	2023	DBLP DOI BibTeX RDF
15	Alexander Poth, Daniela Eißfeldt, Christian Heimann, Stefan Waschk	Sustainable IT in an Agile DevOps Setup Leads to a Shift Left in Sustainability Engineering.	XP Workshops	2023	DBLP DOI BibTeX RDF
15	Siqi Wang, Xiaofei Zhang 0003, Fanbo Meng	What Leads to Effective Online Physician-Patient Communication? the Power of Convergence.	WHICEB (2)	2023	DBLP DOI BibTeX RDF
15	Maureen Namukasa, Meredith B. Carroll, Matthew D. Marraffino, Cheryl I. Johnson, Daphne E. Whitmer, Whitney-Marie Igwe, Morgan Nash	Not All Pain Leads to Gain: The Role of Learner Engagement in Adaptive Flashcard Training.	HCI (34)	2023	DBLP DOI BibTeX RDF
15	Tayeb Zaidi, Giorgio Bonmassar, Laleh Golestanirad	Multi-Segment Leads To Reduce RF Heating in MRI: A Computational Evaluation at 1.5T and 3T.	EMBC	2023	DBLP DOI BibTeX RDF
15	Mikhail Shcherbakov, Musard Balliu, Cristian-Alexandru Staicu	Silent Spring: Prototype Pollution Leads to Remote Code Execution in Node.js.	USENIX Security Symposium	2023	DBLP BibTeX RDF
15	Mengke Xu, Huiwei Wang	Sharpness-Aware Minimization Leads to Better Robustness in Meta-learning.	ICACI	2023	DBLP DOI BibTeX RDF
15	Olivia Soesanto, Cathy Macpherson, Michael J. Richardson, Lynden K. Miles, Rachel Kallen	Social connection on the dance floor: Movement coordination in small group silent disco leads to greater self-other overlap.	CogSci	2023	DBLP BibTeX RDF
15	Rohit Gupta 0012, Naveed Akhtar, Ajmal Mian, Mubarak Shah	Contrastive Self-Supervised Learning Leads to Higher Adversarial Susceptibility.	AAAI	2023	DBLP DOI BibTeX RDF
15	Markus Jelonek	VRtoER: When Virtual Reality leads to Accidents: A Community on Reddit as Lens to Insights about VR Safety.	CHI Extended Abstracts	2023	DBLP DOI BibTeX RDF
15	Gleb Koginov, Peter Wolf 0001, Kai Schmidt, Jaime E. Duarte, Robert Riener	Guided Exploration Leads to Faster Familiarization with a Wearable Robot: First Results of an Innovative Protocol.	ICORR	2023	DBLP DOI BibTeX RDF
15	Ali Gunawan, Bagas Rizkyka Pinajung, Orseola Gratia, Rahel Laurensia Natalie Romatua	Keywords That are Oftenly Searched by Students on Daily Uses That Leads to Information That Is Potentially Banned by SafeSearch.	ICIMTech	2023	DBLP DOI BibTeX RDF
15	AmirMohammad Sarfi, Zahra Karimpour, Muawiz Chaudhary, Nasir Mohammad Khalid, Mirco Ravanelli, Sudhir Mudur, Eugene Belilovsky	Simulated Annealing in Early Layers Leads to Better Generalization.	CVPR	2023	DBLP DOI BibTeX RDF
15	Matthias Brunnbauer	How Top-Down AI Introduction Leads to Incremental Business Improvement.	HICSS	2023	DBLP BibTeX RDF
15	Maksym Andriushchenko, Dara Bahri, Hossein Mobahi, Nicolas Flammarion	Sharpness-Aware Minimization Leads to Low-Rank Features.	NeurIPS	2023	DBLP BibTeX RDF
15	Samuel James Bell, Levent Sagun	Simplicity Bias Leads to Amplified Performance Disparities.	FAccT	2023	DBLP DOI BibTeX RDF
15	Mo Zhou, Rong Ge 0001	Implicit Regularization Leads to Benign Overfitting for Sparse Linear Regression.	ICML	2023	DBLP BibTeX RDF
15	Xun Qian, Hanze Dong, Tong Zhang 0001, Peter Richtárik	Catalyst Acceleration of Error Compensated Methods Leads to Better Communication Complexity.	AISTATS	2023	DBLP BibTeX RDF
15	Pascal Oliver Heßler, Jella Pfeiffer, Sebastian Hafenbrädl	When Self-Humanization Leads to Algorithm Aversion.	Bus. Inf. Syst. Eng.	2022	DBLP DOI BibTeX RDF
15	Khushboo Kumari, B. M. Mohan	Minimum t-norm leads to unrealizable fuzzy PID controllers.	Inf. Sci.	2022	DBLP DOI BibTeX RDF
15	Jennifer-Ashley Hoffmeister, Andrea N. Smit, Ashley C. Livingstone, John J. McDonald	Diversion of Attention Leads to Conflict between Concurrently Attended Stimuli, Not Delayed Orienting to the Object of Interest.	J. Cogn. Neurosci.	2022	DBLP DOI BibTeX RDF
15	Toomas Tamm, Peter B. Seddon, Graeme G. Shanks	How enterprise architecture leads to organisational benefits.	Int. J. Inf. Manag.	2022	DBLP DOI BibTeX RDF
15	Albert Albesa-González, Maxime Froc, Oliver Williamson, Mark C. W. van Rossum	Weight dependence in BCM leads to adjustable synaptic competition.	J. Comput. Neurosci.	2022	DBLP DOI BibTeX RDF
15	Francis A. M. Manno, Ziqi An, Rachit Kumar, Junfeng Su, Jiaming Liu, Ed X. Wu, Jufang He, Yanqiu Feng, Condon Lau	Environmental enrichment leads to behavioral circadian shifts enhancing brain-wide functional connectivity between sensory cortices and eliciting increased hippocampal spiking.	NeuroImage	2022	DBLP DOI BibTeX RDF
15	Eric R. Hantz, Steffen Lindert	Actives-Based Receptor Selection Strongly Increases the Success Rate in Structure-Based Drug Design and Leads to Identification of 22 Potent Cancer Inhibitors.	J. Chem. Inf. Model.	2022	DBLP DOI BibTeX RDF
15	Muhammad Shehzad Hanif, Abu Bakar Abdul Hamid, Atzaz Khurshid, Muhammad Farooq Tariq Butt	What leads to cyberslacking intentions among students in Pakistan: An enhanced theory of planned behavior perspective.	Electron. J. Inf. Syst. Dev. Ctries.	2022	DBLP DOI BibTeX RDF
15	Yury V. Kosolapov	Erratum to: On the Detection of Exploitation of Vulnerabilities That Leads to the Execution of a Malicious Code.	Autom. Control. Comput. Sci.	2022	DBLP DOI BibTeX RDF
15	Iflaah Salman, Pilar Rodríguez 0002, Burak Turhan, Ayse Tosun, Arda Gureller	What Leads to a Confirmatory or Disconfirmatory Behavior of Software Testers?	IEEE Trans. Software Eng.	2022	DBLP DOI BibTeX RDF
15	Linjie Liu, Zhilong Xiao, Xiaojie Chen, Attila Szolnoki	Early exclusion leads to cyclical cooperation in repeated group interactions.	CoRR	2022	DBLP BibTeX RDF
15	An Mo, Fabio Izzi, Emre Cemal Gönen, Daniel F. B. Haeufle, Alexander Badri-Spröwitz	Slack-based tunable damping leads to a trade-off between robustness and efficiency in legged locomotion.	CoRR	2022	DBLP DOI BibTeX RDF
15	Samuel J. Bell, Levent Sagun	Simplicity Bias Leads to Amplified Performance Disparities.	CoRR	2022	DBLP DOI BibTeX RDF
15	Qiaoqiao Ren, Tony Belpaeme	Tactile interaction with a robot leads to increased risk-taking.	CoRR	2022	DBLP DOI BibTeX RDF
15	Joanne Truong, Max Rudolph, Naoki Yokoyama, Sonia Chernova, Dhruv Batra, Akshara Rai	Rethinking Sim2Real: Lower Fidelity Simulation Leads to Higher Sim2Real Transfer in Navigation.	CoRR	2022	DBLP DOI BibTeX RDF
15	Andreagiovanni Reina, Raina Zakir, Giulia De Masi, Eliseo Ferrante	Cross-inhibition leads to group consensus despite the presence of strongly opinionated minorities and asocial behaviour.	CoRR	2022	DBLP DOI BibTeX RDF
15	Vanessa Böhm, Wei Ji Leong, Ragini Bal Mahesh, Ioannis Prapas, Edoardo Nemni, Freddie Kalaitzis, Siddha Ganju, Raúl Ramos-Pollán	SAR-based landslide classification pretraining leads to better segmentation.	CoRR	2022	DBLP DOI BibTeX RDF
15	Najoung Kim, Tal Linzen, Paul Smolensky	Uncontrolled Lexical Exposure Leads to Overestimation of Compositional Generalization in Pretrained Models.	CoRR	2022	DBLP DOI BibTeX RDF
15	Aniket Das, Bernhard Schölkopf, Michael Muehlebach	Sampling without Replacement Leads to Faster Rates in Finite-Sum Minimax Optimization.	CoRR	2022	DBLP DOI BibTeX RDF
15	Erik Wijmans, Irfan Essa, Dhruv Batra	VER: Scaling On-Policy RL Leads to the Emergence of Navigation in Embodied Rearrangement.	CoRR	2022	DBLP DOI BibTeX RDF
15	Mikhail Shcherbakov, Musard Balliu, Cristian-Alexandru Staicu	Silent Spring: Prototype Pollution Leads to Remote Code Execution in Node.js.	CoRR	2022	DBLP DOI BibTeX RDF
15	Thomas Helmuth, Johannes Lengler, William G. La Cava	Population Diversity Leads to Short Running Times of Lexicase Selection.	CoRR	2022	DBLP DOI BibTeX RDF
15	Santiago Cuervo, Adrian Lancucki, Ricard Marxer, Pawel Rychlikowski, Jan Chorowski	Variable-rate hierarchical CPC leads to acoustic unit discovery in speech.	CoRR	2022	DBLP DOI BibTeX RDF
15	Sami Hamdan, Bradley C. Love, Georg G. von Polier, Susanne Weis, Holger Schwender, Simon B. Eickhoff, Kaustubh R. Patil	Confound-leakage: Confound Removal in Machine Learning Leads to Leakage.	CoRR	2022	DBLP DOI BibTeX RDF
15	Ranjita Dash, Harish J. Palanthandalam-Madapusi	Change in task conditions leads to changes in intermittency in intermittent feedback control employed by CNS in control of human stance.	Biol. Cybern.	2022	DBLP DOI BibTeX RDF
15	Tamás Sándor Biró	Kaniadakis Entropy Leads to Particle-Hole Symmetric Distribution.	Entropy	2022	DBLP DOI BibTeX RDF
15	Monserrat Pallares Di Nunzio, Fernando Montani	Spike Timing-Dependent Plasticity with Enhanced Long-Term Depression Leads to an Increase of Statistical Complexity.	Entropy	2022	DBLP DOI BibTeX RDF
15	Uwe Altmann, Bernhard Strauss, Wolfgang Tschacher	Cross-Correlation- and Entropy-Based Measures of Movement Synchrony: Non-Convergence of Measures Leads to Different Associations with Depressive Symptoms.	Entropy	2022	DBLP DOI BibTeX RDF
15	Tomonori Sawada, Hiroki Okawara, Daisuke Nakashima, Kaito Ikeda, Joji Nagahara, Haruki Fujitsuka, Sosuke Hoshino, Yuta Maeda, Yoshinori Katsumata, Masaya Nakamura, Takeo Nagura	Constant Load Pedaling Exercise Combined with Electrical Muscle Stimulation Leads to an Early Increase in Sweat Lactate Levels.	Sensors	2022	DBLP DOI BibTeX RDF
15	Fredrik Orädd, Jonas Hyld Steffen, Pontus Gourdon, Magnus Andersson	Copper binding leads to increased dynamics in the regulatory N-terminal domain of full-length human copper transporter ATP7B.	PLoS Comput. Biol.	2022	DBLP DOI BibTeX RDF
15	Dario Miocevic	Consumers' responses to opposing copyright enforcement regimes: When cognitive appraisal leads to compliance vs reactance.	Comput. Hum. Behav.	2022	DBLP DOI BibTeX RDF
15	Sangyub Kim, Minmo Koo, Kichun Nam	Game experience leads to improvement in cognitive functioning of the early middle-aged adults in contrast with the young-aged adults.	Comput. Hum. Behav.	2022	DBLP DOI BibTeX RDF
15	Yati Phyo, Canh Minh Do, Kazuhiro Ogata 0001	A Divide & Conquer Approach to Leads-to Model Checking.	Comput. J.	2022	DBLP DOI BibTeX RDF