Search results for "Spin"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Hsin-Nan Lin, Kuen-Pin Wu, Jia-Ming Chang, Ting-Yi Sung, Wen-Lian Hsu	GANAA Genetic Algorithm for NMR Backbone Resonance Assignment.	CSB Workshops	2005	DBLP DOI BibTeX RDF
16	Hyonho Lee	Transformations of Mutual Exclusion Algorithms from the Cache-Coherent Model to the Distributed Shared Memory Model.	ICDCS	2005	DBLP DOI BibTeX RDF
16	Sujatha Kashyap, Vijay K. Garg	Exploiting predicate structure for efficient reachability detection.	ASE	2005	DBLP DOI BibTeX RDF	model checking, reachability, Mazurkiewicz traces
16	Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente	Directed explicit-state model checking in the validation of communication protocols.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Directed search, Protocol validation
16	Qingbo Zhu, Francis M. David, Christo Frank Devaraj, Zhenmin Li, Yuanyuan Zhou 0001, Pei Cao	Reducing Energy Consumption of Disk Storage Using Power-Aware Cache Management.	HPCA	2004	DBLP DOI BibTeX RDF
16	Lixin Zhang 0002, Zhen Fang 0002, John B. Carter	Highly Efficient Synchronization Based on Active Memory Operations.	IPDPS	2004	DBLP DOI BibTeX RDF
16	Bruce F. Cockburn	Tutorial on Magnetic Tunnel Junction Magnetoresistive Random-Access Memory.	MTDT	2004	DBLP DOI BibTeX RDF
16	Kelly Dobson	Blendie.	Conference on Designing Interactive Systems	2004	DBLP DOI BibTeX RDF	machine therapy, voice controlled, artificial intelligence, DSP, interactive art, empathy, psychotherapy
16	Gyu Sang Choi, Jin-Ha Kim, Deniz Ersoz, Andy B. Yoo, Chita R. Das	Coscheduling in Clusters: Is It a Viable Alternative?	SC	2004	DBLP DOI BibTeX RDF	Scheduling, Performance Measurement, Experimentation, Energy Consumption, Myrinet, Gang Scheduling, Batch Scheduling, Linux Cluster, Coscheduling
16	Zhi-Zhong Chen, Tao Jiang 0001, Guohui Lin, Romeo Rizzi, Jianjun Wen, Dong Xu 0002, Ying Xu 0001	More Reliable Protein NMR Peak Assignment via Improved 2-Interval Scheduling.	ESA	2003	DBLP DOI BibTeX RDF
16	Izak van Langevelde, Judi Romijn, Nicolae Goga	Founding FireWire Bridges through Promela Prototyping.	IPDPS	2003	DBLP DOI BibTeX RDF
16	Xiang Wan, Dong Xu 0002, Carolyn M. Slupsky, Guohui Lin	Automated Protein NMR Resonance Assignments.	CSB	2003	DBLP DOI BibTeX RDF
16	Bruce F. Cockburn	The Emergence of High-Density Semiconductor-Compatible Spintronic Memory.	ICMENS	2003	DBLP DOI BibTeX RDF
16	Prasad Jayanti	Adaptive and efficient abortable mutual exclusion.	PODC	2003	DBLP DOI BibTeX RDF
16	James Chien-Hsing Wu, Huang-Pao Lin, Leu-Shing Lan	A New Analytic Framework for Dynamic Mobility Management of PCS Networks.	IEEE Trans. Mob. Comput.	2002	DBLP DOI BibTeX RDF	Markov walk model, probabilistic selective paging, Mobility management, location update
16	Ed Brinksma, Angelika Mader, Ansgar Fehnker	Verification and optimization of a PLC control schedule.	Int. J. Softw. Tools Technol. Transf.	2002	DBLP DOI BibTeX RDF	Scheduling, Model checking, Verification, Formal methods, Hybrid systems
16	Ying Lin, Scott A. Brandt, Darrell D. E. Long, Ethan L. Miller	Power Conservation Strategies for MEMS-Based Storage Devices.	MASCOTS	2002	DBLP DOI BibTeX RDF
16	Marko Krema, Larry Birnbaum, Jay Budzik, Kristian J. Hammond	Themometers and themostats: characterizing and controlling thematic attributes of information.	IUI	2002	DBLP DOI BibTeX RDF	style of documents, thematic attributes, knowledge representation, text classification, text analysis
16	Barbara Caputo, Sahla Bouattour, Heinrich Niemann	Robust Appearance-Based Object Recognition Using a Fully Connected Markov Random Field.	ICPR (3)	2002	DBLP DOI BibTeX RDF
16	Dan Tsafrir, Dror G. Feitelson	Barrier Synchronization on a Loaded SMP Using Two-Phase Waiting Algorithms.	IPDPS	2002	DBLP DOI BibTeX RDF	Two-phase block, Linux scheduler, Alternating synchronization pattern, Multiprogramming, SMP, Load, Barrier synchronization
16	I. A. Valuev, B. Esser	Splitting Phenomena in Wave Packet Propagation.	International Conference on Computational Science (3)	2002	DBLP DOI BibTeX RDF
16	Paul Gastin, Denis Oddoux	Fast LTL to Büchi Automata Translation.	CAV	2001	DBLP DOI BibTeX RDF
16	Benno J. Overeinder, Arjen Schoneveld, Peter M. A. Sloot	Spatio-temporal correlations and rollback distributions in optimistic simulations.	Workshop on Parallel and Distributed Simulation	2001	DBLP DOI BibTeX RDF
16	A. J. Markvoort, R. Pino, Peter A. J. Hilbers	Interpolating Wavelets in Kohn-Sham Electronic Structure Calculations.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
16	Grzegorz Kamieniarz, Ryszard Matysiak, Alvaro Caramico D'Auria, Filippo Esposito, Cristiano Benelli	Application of Parallel Computing in the Transfer - Matrix Simulations of the Supramolecules Mn6 and Ni12.	PPAM	2001	DBLP DOI BibTeX RDF
16	Radha Poovendran, Peter J. Keleher, John S. Baras	A Decision-Process Analysis of Implicit Coscheduling.	IPDPS	2000	DBLP DOI BibTeX RDF
16	Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo	A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors.	TACAS	2000	DBLP DOI BibTeX RDF	fault tolerant behavior, model checking, formal verifications, safety critical systems, linear temporal logic
16	John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger	Verification of time partitioning in the DEOS scheduler kernel.	ICSE	2000	DBLP DOI BibTeX RDF
16	Yonit Kesten, Amit Klein 0001, Amir Pnueli, Gil Raanan	A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
16	Seung Mo Cho, Doo-Hwan Bae, Sung Deok Cha, Young Gon Kim, Byung Kyu Yoo, Sang Taek Kim	Applying Model Checking to Concurrent Object-Oriented Software.	ISADS	1999	DBLP DOI BibTeX RDF
16	Colin Studholme, R. Todd Constable, James S. Duncan	Incorporating an Image Distortion Model in Non-rigid Alignment of EPI with Conventional MRI.	IPMI	1999	DBLP DOI BibTeX RDF
16	Samuel Devulder, Jean-Luc Lambert	A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods.	ASE	1999	DBLP DOI BibTeX RDF
16	Johan Lilius, Ivan Paltor	vUML: A Tool for Verifying UML Models.	ASE	1999	DBLP DOI BibTeX RDF
16	Yifei Dong, Scott A. Smolka, Eugene W. Stark, Stephanie M. White	Practical Considerations in Protocol Verification: The E-2C Case Study.	ICECCS	1999	DBLP DOI BibTeX RDF
16	Tian F. Lim, Przemyslaw Pardyak, Brian N. Bershad	A Memory-Efficient Real-Time Non-Copying Garbage Collector.	ISMM	1998	DBLP DOI BibTeX RDF	real-time, operating systems, garbage collection, treadmill
16	Suhayya Abu-Hakima, Roger Impey, Ramiro Liscano, Amir Zeid	Multi-Agent Testbed and an Agent Launch Tool for Diverse Seamless Personal Information Networking Applications.	IATA	1998	DBLP DOI BibTeX RDF
16	Y. S. Ramakrishna, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren	Efficient Model Checking Using Tabled Resolution.	CAV	1997	DBLP DOI BibTeX RDF
16	Kwan Hon Cheng, John D. Hazle, Edward Jackson, Roger Price, K. Kian Ang	In-vivo Tissue Characterization of Brain by Synthetic MR Proton Relaxation and Statistical Chisquares Parameter Maps.	CBMS	1995	DBLP DOI BibTeX RDF
16	Beng-Hong Lim, Anant Agarwal	Reactive Synchronization Algorithms for Multiprocessors.	ASPLOS	1994	DBLP DOI BibTeX RDF
16	Katsuyoshi Kitai, Tadaaki Isobe, Yoshikazu Tanaka, Yoshiko Tamaki, Masakazu Fukagawa, Teruo Tanaka, Yasuhiro Inagami	Parallel Processing Architecture for the Hitachi S-3800 Shared-Memory Vector Multiprocessor.	International Conference on Supercomputing	1993	DBLP DOI BibTeX RDF
16	Laurent Hérault, Radu Horaud	Figure-Ground Discrimination by Mean Field Annealing.	ECCV	1992	DBLP DOI BibTeX RDF
15	David A. Cape, Bruce M. McMillin, Benjamin W. Passer, Mayur Thakur	Recursive Decomposition of Progress Graphs.	SSIRI	2009	DBLP DOI BibTeX RDF	dihomotopy, verification, deadlock, SPIN, LTL
15	Elizabeth Radetic, Martin Pelikan, David E. Goldberg	Effects of a deterministic hill climber on hBOA.	GECCO	2009	DBLP DOI BibTeX RDF	maxsat, trap-5, local search, estimation of distribution algorithms, efficiency enhancement, hierarchical boa, hybrid evolutionary algorithms, spin glass
15	Gerard J. Holzmann, Rajeev Joshi, Alex Groce	Model driven code checking.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Logic model checking, Embedded C code, Software verification, Spin model checker
15	Markos A. Katsoulakis, Petr Plechác, Luc Rey-Bellet	Numerical and Statistical Methods for the Coarse-Graining of Many-Particle Stochastic Systems.	J. Sci. Comput.	2008	DBLP DOI BibTeX RDF	Lattice spin systems, Polymeric systems, Gibbs measure, Cluster expansion, Multi-body interactions, Renormalization group map, A posteriori error analysis, Adaptivity, Monte Carlo method, Importance sampling, Relative entropy, Coarse-graining
15	Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke	Combining symbolic execution with model checking to verify parallel numerical programs.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	model checking, parallel programming, concurrency, MPI, Message Passing Interface, high performance computing, symbolic execution, floating-point, Spin, Finite-state verification, numerical program
15	Dushyanth Narayanan, Austin Donnelly, Antony I. T. Rowstron	Write off-loading: Practical power management for enterprise storage.	ACM Trans. Storage	2008	DBLP DOI BibTeX RDF	DiskEnergy, disk spin-down, enterprise storage, write off-loading, power, energy
15	Igor Siveroni, Andrea Zisman, George Spanoudakis	Property Specification and Static Verification of UML Models.	ARES	2008	DBLP DOI BibTeX RDF	Model Checking, UML, Spin, Static Verification
15	Xiaobo Sharon Hu, Alexander Khitun, Konstantin K. Likharev, Michael T. Niemier, Mingqiang Bao, Kang L. Wang	Design and defect tolerance beyond CMOS.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	cmol, nanotechnology, defect tolerance, qca, spin wave
15	Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík	Sketching concurrent data structures.	PLDI	2008	DBLP DOI BibTeX RDF	concurrency, synthesis, sketching, sat, spin
15	Pattara Leelaprute, Takafumi Matsuo, Tatsuhiro Tsuchiya, Tohru Kikuno	Detecting Feature Interactions in Home Appliance Networks.	SNPD	2008	DBLP DOI BibTeX RDF	Home Appliance Network, Model Checking, SPIN, Feature Interaction
15	Enrique Alba 0001, Francisco Chicano	ACOhg: dealing with huge graphs.	GECCO	2007	DBLP DOI BibTeX RDF	ant colony optimization, metaheuristics, SPIN
15	Francesco Belletti, Filippo Mantovani, Giorgio Poli, Sebastiano Fabio Schifano, Raffaele Tripiccione, Isabel Campos Plasencia, Andres Cruz Flor, Denis Navarro, Sergio Perez Gaviro, Daniele Sciretti, Alfonso Tarancón, Jose Luis Velasco, Pedro Tellez, Luis Antonio Fernandez, Victor Martin-Mayor, Antonio Munoz Sudupe, Sergio Jimenez, Andrea Maiorano, Enzo Marinari, Juan Jesus Ruiz-Lorenzo	Ianus: An Adaptive FPGA Computer.	Comput. Sci. Eng.	2006	DBLP DOI BibTeX RDF	special purpose machine, special computers, programmable logic, spin glass
15	Ying Shan, Harpreet S. Sawhney, Bogdan Matei, Rakesh Kumar 0001	Shapeme Histogram Projection and Matching for Partial Object Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	Shapeme histogram, feature saliency, object recognition, Gibbs sampling, Bayesian analysis, spin image
15	Cheng-Yuan Liou, Shiao-Lin Lin	Finite Memory Loading in Hairy Neurons.	Nat. Comput.	2006	DBLP DOI BibTeX RDF	error-correction rule, Gibb’s free energy, hairy model, Little model, spin glass model, neural network, associative memory, Hopfield network, music perception
15	Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke	Using model checking with symbolic execution to verify parallel numerical programs.	ISSTA	2006	DBLP DOI BibTeX RDF	model checking, parallel programming, concurrency, MPI, message passing interface, high performance computing, symbolic execution, floating-point, spin, finite state verification, numerical program
15	T. Somsak, Komkrit Chomsuwan, Sotoshi Yamada, Masayoshi Iwahara, S. C. Mukhopadhyay 0001	Conductive Microbead Detection by Helmholtz Coil Technique With SV-GMR Sensor.	DELTA	2006	DBLP DOI BibTeX RDF	conductive microbead, eddy-current testing, spin-valve giant magnetoresistance, Helmholtz coil
15	Shin Nakajima 0001, Tetsuo Tamai	Aspect-oriented software design with a variant of UML/STD.	SCESM	2006	DBLP DOI BibTeX RDF	UML, SPIN, state diagrams, join point model
15	Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner	XFM: An incremental methodology for developing formal models.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	Extreme formal modeling, prescriptive formal models, property ordering, property refactoring, formal specification, formal verification, extreme programming, SPIN, SMV
15	Jian Cai, Wen Zhao, Shikun Zhang, Lifu Wang	Correctness Verification of synchronization based workflow model.	ICEBE	2005	DBLP DOI BibTeX RDF	workjlow logic, workjlow semantic, model checking, Petri net, workflow, spin model checker
15	Stephen F. Siegel, George S. Avrunin	Modeling wildcard-free MPI programs for verification.	PPoPP	2005	DBLP DOI BibTeX RDF	model checking, formal methods, parallel computation, MPI, message passing interface, analysis, deadlock, SPIN, concurrent systems, finite-state verification
15	Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente	Partial-order reduction and trail improvement in directed model checking.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Trail improvement, HSF-SPIN, Model checking, Heuristic search, Partial-order reduction
15	Mordechai Ben-Ari	A suite of tools for teaching concurrency.	ITiCSE	2004	DBLP DOI BibTeX RDF	byzantine generals, model checking, SPIN, concurrency simulators
15	Gerard J. Holzmann	The logic of bugs.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	distributed systems software, logic model checking, SPIN
15	Claude Chachaty	APL, a powerful research tool in magnetic resonance spectroscopy.	APL	2002	DBLP DOI BibTeX RDF	ESR, automated fitting, hyperfine coupling, simulations, spin, NMR, spectra
15	Gerard J. Holzmann	Economics of software verification.	PASTE	2001	DBLP DOI BibTeX RDF	model checking, testing, software verification, spin
15	Jun Wei 0001, Shing-Chi Cheung, Xu Wang	Exploiting Automatic Analysis of E-Commerce Protocols.	COMPSAC	2001	DBLP DOI BibTeX RDF	Agent UML, e-commerce protocol, Spin/Promela, model checking, UML, formal methods
15	P. Krishnan, Philip M. Long, Jeffrey Scott Vitter	Adaptive Disk Spindown via Optimal Rent-to-Buy in Probabilistic Environments.	Algorithmica	1999	DBLP DOI BibTeX RDF	Disk spindown, Rent-to-buy, Multiprocessor spin / block, Virtual circuit holding time, Machine learning, Mobile computing, On-line algorithms, Power conservation, IP-over-ATM
15	David S. Keyes, Laura K. Dillon, Moon-Jung Chung	Analysis of a Scheduler for a CAD Framework.	ICSE	1999	DBLP DOI BibTeX RDF	CAD framework, formal modeling and analysis, simulation, verification, Spin, linear scheduler
15	Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso	Formal Verification of a Railway Interlocking System using Model Checking.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Model checking, Formal methods, Safety critical systems, spin, Industrial applications
11	Renato C. Calleja, Alessandra Celletti, Joan Gimeno, Rafael de la Llave	Accurate Computations up to Breakdown of Quasi-Periodic Attractors in the Dissipative Spin-Orbit Problem.	J. Nonlinear Sci.	2024	DBLP DOI BibTeX RDF
11	Chao Zhou, Shan Fang, Zhiyong Sun, Erkang Cheng, Gengliang Chen, Lixin Dong, Bo Song	Magnetic Microrobot Spin Motility Characterization Using a Model Prediction Adaptive Control-Enhanced Electromagnetic Coil System.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
11	Yuxin Wang, Zhiyong Sun, Yongle Luo, Haibo Zhang, Wen Zhang, Kun Dong, Qiyu He, Qiang Zhang, Erkang Cheng, Bo Song	A Novel Trajectory-Based Ball Spin Estimation Method for Table Tennis Robot.	IEEE Trans. Ind. Electron.	2024	DBLP DOI BibTeX RDF
11	K. Kalaichelvi, M. Sundaram, P. Sanmugavalli	Spin orbit magnetic random access memory based binary CNN in-memory accelerator (BIMA) with sense amplifier.	J. Intell. Fuzzy Syst.	2024	DBLP DOI BibTeX RDF
11	Chuyu Wang, Lei Xie 0004, Jiaying Wu, Keyan Zhang, Wei Wang 0002, Yanling Bu, Sanglu Lu	Spin-Antenna: Enhanced 3D Motion Tracking via Spinning Antenna Based on COTS RFID.	IEEE Trans. Mob. Comput.	2024	DBLP DOI BibTeX RDF
11	Hongshi Lu, Changqing Wang, Aijun Li, Yuriy Mikhailovich Zabolotnov, Yong Guo	Sliding Mode Control Strategy of Spinning Electrodynamic Tether Formation During Its Spin-Up Process.	IEEE Trans. Aerosp. Electron. Syst.	2024	DBLP DOI BibTeX RDF
11	Konrad Jalowiecki, Lukasz Pawela	Corrigendum to "Omnisolver: An extensible interface to Ising spin-glass and QUBO solvers" [SoftwareX 24 (2023) 101559].	SoftwareX	2024	DBLP DOI BibTeX RDF
11	Satoru Jimbo, Tatsuhiko Shirai, Nozomu Togawa, Masato Motomura, Kazushi Kawamura	A GPU-Based Ising Machine With a Multi-Spin-Flip Capability for Constrained Combinatorial Optimization.	IEEE Access	2024	DBLP DOI BibTeX RDF
11	Junyang Sui, Jiahao Zou, Si-Yuan Liao, Bao-Fei Wan, Hai-Feng Zhang	Short-Wave Infrared Janus Metastructure With Multitasking of Wide-Range Pressure Detection and High-Resolution Biosensing Based on Photonic Spin Hall Effect.	IEEE Trans. Instrum. Meas.	2024	DBLP DOI BibTeX RDF
11	Juhwan Lee, Byungjin Lee, Sangkyung Sung	Study on Gyro Calibration and Attitude Estimation Considering an Induced Phase Anomaly Effect of High-Spin Maneuvering Body.	IEEE Trans. Instrum. Meas.	2024	DBLP DOI BibTeX RDF
11	Qianli Wang	Applying SPIN checker on 5G EAP-TLS authentication protocol analysis.	Comput. Sci. Inf. Syst.	2024	DBLP DOI BibTeX RDF
11	Hasan Akin	Calculation of Thermodynamic Quantities of 1D Ising Model with Mixed Spin-(s,(2t - 1)/2) by Means of Transfer Matrix.	Axioms	2024	DBLP DOI BibTeX RDF
11	Attila Kovács, Werner Klotzbücher	Preference of C2v Symmetry in Low-Spin Hexacarbonyls of Rare-Earth and f Elements.	Symmetry	2024	DBLP DOI BibTeX RDF
11	Jerzy Dajka	Pure Decoherence of the Jaynes-Cummings Model: Initial Entanglement with the Environment, Spin Oscillations and Detection of Non-Orthogonal States.	Symmetry	2024	DBLP DOI BibTeX RDF
11	Nikolai I. Petrov	Asymmetries Caused by Nonparaxiality and Spin-Orbit Interaction during Light Propagation in a Graded-Index Medium.	Symmetry	2024	DBLP DOI BibTeX RDF
11	Brendan J. Johnson, Megan E. Lipford, Richard Barcus, John D. Olson, George W. Schaaf, Rachel N. Andrews, Jeongchul Kim, Greg O. Dugan, Simon Deycmar, Colin A. Reed, Christopher T. Whitlow, J. Mark Cline	Assessing cerebrovascular reactivity (CVR) in rhesus macaques (Macaca mulatta) using a hypercapnic challenge and pseudo-continuous arterial spin labeling (pCASL).	NeuroImage	2024	DBLP DOI BibTeX RDF
11	Quinten Beirinckx, Piet Bladt, Merlijn C. E. van der Plas, Matthias J. P. van Osch, Ben Jeurissen, Arnold J. den Dekker, Jan Sijbers	Model-based super-resolution reconstruction for pseudo-continuous Arterial Spin Labeling.	NeuroImage	2024	DBLP DOI BibTeX RDF
11	Lichuan Luo, Erya Deng, Dijun Liu, Zhen Wang, Weiliang Huang, He Zhang 0011, Xiao Liu, Jinyu Bai, Junzhan Liu, Youguang Zhang, Wang Kang 0001	CiTST-AdderNets: Computing in Toggle Spin Torques MRAM for Energy-Efficient AdderNets.	IEEE Trans. Circuits Syst. I Regul. Pap.	2024	DBLP DOI BibTeX RDF
11	Abdulqader Nael Mahmoud, Florin Ciubotaru, Frederic Vanderveken, Christoph Adelmann, Sorin Cotofana, Said Hamdioui	Two Cascaded Spin Wave Majority Gates Operation Under Continuous and Pulse Modes.	IEEE Trans. Circuits Syst. II Express Briefs	2024	DBLP DOI BibTeX RDF
11	Li Ze, Changzheng Qu	Global Dynamics to the Periodic Ferromagnetic Spin Chain System.	SIAM J. Math. Anal.	2024	DBLP DOI BibTeX RDF
11	Sadegh Dehghani, Shapoor Shirani, Elahe Jazayeri Gharebagh	Enhanced Myocardial Tissue Visualization: A Comparative Cardiovascular Magnetic Resonance Study of Gradient-Spin Echo-STIR and Conventional STIR Imaging.	Int. J. Biomed. Imaging	2024	DBLP DOI BibTeX RDF
11	Yunping Zhao, Sheng Ma, Hengzhu Liu, Libo Huang, Yi Dai	SAC: An Ultra-Efficient Spin-based Architecture for Compressed DNNs.	ACM Trans. Archit. Code Optim.	2024	DBLP DOI BibTeX RDF
11	Andrea Montanari, Subhabrata Sen	A Friendly Tutorial on Mean-Field Spin Glass Techniques for Non-Physicists.	Found. Trends Mach. Learn.	2024	DBLP DOI BibTeX RDF
11	Alireza Shahbazi, Seyyed Ahmad Mirsanei, Malikeh Haj Khan Mirzaye Sarraf, Behrouz Minaei-Bidgoli	A Strategy for Implementing description Temporal Dynamic Algorithms in Dynamic Knowledge Graphs by SPIN.	CoRR	2024	DBLP DOI BibTeX RDF
11	Jonas Schuff, Miguel J. Carballido, Madeleine Kotzagiannidis, Juan Carlos Calvo, Marco Caselli, Jacob Rawling, David L. Craig, Barnaby van Straaten, Brandon Severin, Federico Fedele, Simon Svab, Pierre Chevalier Kwon, Rafael S. Eggli, Taras Patlatiuk, Nathan Korda, Dominik M. Zumbühl, Natalia Ares	Fully autonomous tuning of a spin qubit.	CoRR	2024	DBLP DOI BibTeX RDF
11	Hamed Kouhi, Mansour Kabganian, Farhad Fani Saberi, Fatemeh Ghorbani	Gimbal Actuator Modeling for a Spin-Stabilized Spacecraft Equipped with a 1DoF Gimbaled-Thruster and two Reaction Wheels.	CoRR	2024	DBLP DOI BibTeX RDF
11	Arne Van Zegbroeck, Pantazis Anagnostou, Said Hamdioui, Christoph Adelmann, Florin Ciubotaru, Sorin Cotofana	Spin Wave Threshold Gate.	CoRR	2024	DBLP DOI BibTeX RDF
11	Virginia Mato Abad, Pablo García-Polo, Owen G. O'Daly, Juan Antonio Hernández Tamames, Fernando O. Zelaya	ASAP (Automatic Software for ASL Processing): A toolbox for processing Arterial Spin Labeling images.	CoRR	2024	DBLP DOI BibTeX RDF
11	Wuxuan Jiang, Xiangjun Song, Shenbai Hong, Haijun Zhang, Wenxin Liu, Bo Zhao, Wei Xu, Yi Li	Spin: An Efficient Secure Computation Framework with GPU Acceleration.	CoRR	2024	DBLP DOI BibTeX RDF
11	Guillem Simeon, Antonio Mirarchi, Raúl P. Peláez, Raimondas Galvelis, Gianni De Fabritiis	On the Inclusion of Charge and Spin States in Cartesian Tensor Neural Network Potentials.	CoRR	2024	DBLP DOI BibTeX RDF