|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1178 occurrences of 651 keywords
|
|
|
Results
Found 3891 publication records. Showing 3886 according to the selection in the facets
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 |
|
|
|