Search results for "Freeze"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
175	Yu Li, YongSen Xu, Gaoyan Xie, Zhiyuan Zhan	Strategies and Techniques of Freeze/Melt.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Freeze, Melt, Freeze-enclosure strategy, Semi-freeze strategy, Dynamic and static interaction technique
94	Candace H. Haigler, Mark J. Grimson	Simple Cyropreservation Techniques to Preserve Cellular Ultrastructure of Freeze Fracture or Sectioning Prior to Image Analysis.	CBMS	1995	DBLP DOI BibTeX RDF	cellular biophysics, freezing, cyropreservation techniques, cellular ultrastructure, freeze fracture, chemical fixations, membrane-bound vesicles, immunocytochemical localization protocols, freeze substitution protocols, computer-assisted electron tomography, three dimensional structure reconstruction, image reconstruction, image analysis, medical image processing, computerised tomography
85	Esther M. Arkin, Michael A. Bender, Dongdong Ge	Improved approximation algorithms for the freeze-tag problem.	SPAA	2003	DBLP DOI BibTeX RDF	freeze-tag problem, minimum broadcast-time problem, minimum gossip time problem, multicast problem, scheduling, approximation algorithms, NP-hardness, TSP, data dissemination, swarm robotics, network optimization
81	Heejun Han, Seog Park, Chanjung Park	A concurrency control protocol for read-only transactions in real-time secure database systems.	RTCSA	2000	DBLP DOI BibTeX RDF	real-time secure database systems, data conflict resolution, ROT-FREEZE, freezing method, legacy protocols, serializability guarantee, performance evaluations, real-time systems, query processing, concurrency control, database management systems, queries, transaction processing, security of data, software performance evaluation, deadline, access protocols, security requirements, transaction scheduling, read-only transactions, real-time requirements, concurrency control protocol, update transactions
80	Minu Park, Jaehyung Lee 0003, Jahwan Koo, Hyunseung Choo	Freeze TCPv2: An Enhancement of Freeze TCP for Efficient Handoff in Heterogeneous Networks.	HCI (9)	2009	DBLP DOI BibTeX RDF	Congestion control, TCP, Heterogeneous Networks, Vertical Handoff
61	Stéphane Demri, Ranko Lazic 0001, David Nowak	On the Freeze Quantifier in Constraint LTL: Decidability and Complexity.	TIME	2005	DBLP DOI BibTeX RDF
47	Gun A. Lee, Ungyeon Yang, Yongwan Kim, Dongsik Jo, Ki-Hong Kim, Jae Ha Kim, Jin Sung Choi	Freeze-Set-Go interaction method for handheld mobile augmented reality environments.	VRST	2009	DBLP DOI BibTeX RDF	handheld interface, augmented reality, touch interaction
47	Beatriz Lopez Walle, Michaël Gauthier, Nicolas Chaillet	Submerged Freeze Gripper to Manipulate Micro-objects.	IROS	2006	DBLP DOI BibTeX RDF
47	Stéphane Demri, Ranko Lazic 0001	LTL with the Freeze Quantifier and Register Automata.	LICS	2006	DBLP DOI BibTeX RDF
47	Sang-Hee Lee, Hong Gu Ahn, Jae-Sung Lim, Sung Kim, Sang-Yun Lee, Myung-Sung Lee	Performance Comparison between TCP-Reno and Freeze-Snoop TCP/SACK over cdma2000 Network Environments.	HSNMC	2003	DBLP DOI BibTeX RDF
43	Roy Sai-chuen Ho, Cho-Li Wang, Francis Chi-Moon Lau	Lightweight process migration and memory prefetching in openMosix.	IPDPS	2008	DBLP DOI BibTeX RDF
43	Stéphane Demri, Deepak D'Souza, Régis Gascon	A Decidable Temporal Logic of Repeating Values.	LFCS	2007	DBLP DOI BibTeX RDF
38	David Dyar, Steven J. Timmins	The two musketeers: all in one and one for all!	SIGUCCS	2007	DBLP DOI BibTeX RDF	deep freeze, dual-boot apple, netrestore, multicast, imaging, windows
38	Carol Currie Sobczak, James Kessler, David Eldridge	The dual os classroom: if you build it, will they come?	SIGUCCS	2007	DBLP DOI BibTeX RDF	boot camp, deep freeze, intel dual core, winbatch, parallels, imaging, deployment, support, classroom technology
38	Brandon Koeller, Karalee Woody	Imaging, security, configuration, and maintenance for the masses.	SIGUCCS	2005	DBLP DOI BibTeX RDF	Faronics deep freeze, Windows active directory, general-access computing, group policy, software update services, symantec ghost, workstation configuration, imaging, scripting, systems maintenance
38	Satoshi Yamane	Verification system for real-time specification based on extended real-time logic.	RTCSA	1995	DBLP DOI BibTeX RDF	extended real-time logic, Timed CTL, verification system, bounded temporal operator, freeze quantification, real-time systems, formal specification, formal verification, temporal logic, real-time specification
37	Jagoda Kaszowska-Mojsa, Przemyslaw Wlodarczyk	To Freeze or Not to Freeze? Epidemic Prevention and Control in the DSGE Model Using an Agent-Based Epidemic Component.	Entropy	2020	DBLP DOI BibTeX RDF
37	R. M. Gaspar, Rita Pimentel	On swap rate dynamics: to freeze or not to freeze?	Int. J. Comput. Math.	2017	DBLP DOI BibTeX RDF
37	Konstantin Hermann, Andreas Rehkopf, Hartmut Sauermann	Betrachtungen zur Identifikation einer Gradient-Freeze-Anlage zur Einkristallzüchtung (Considerations on the Identification of a Gradient Freeze Plant for Monocrystal Growing).	Autom.	2006	DBLP DOI BibTeX RDF
33	Stéphane Demri, Ranko Lazic 0001	LTL with the freeze quantifier and register automata.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Computational complexity, expressiveness
33	Beatriz Lopez Walle, Michaël Gauthier, Nicolas Chaillet	Principle of a Submerged Freeze Gripper for Microassembly.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
33	Shuhei Miyashita, Flurin Casanova, Max Lungarella, Rolf Pfeifer	Peltier-based freeze-thaw connector for waterborne self-assembly systems.	IROS	2008	DBLP DOI BibTeX RDF
33	Stéphane Demri, Ranko Lazic 0001, Arnaud Sangnier	Model Checking Freeze LTL over One-Counter Automata.	FoSSaCS	2008	DBLP DOI BibTeX RDF
33	Beatriz Lopez Walle, Michaël Gauthier, Nicolas Chaillet	A Submerged Freeze Microgripper for Micromanipulations.	ICRA	2007	DBLP DOI BibTeX RDF
33	Esther M. Arkin, Michael A. Bender, Sándor P. Fekete, Joseph S. B. Mitchell, Martin Skutella	The Freeze-Tag Problem: How to Wake Up a Swarm ofRobots.	Algorithmica	2006	DBLP DOI BibTeX RDF
33	Marcelo O. Sztainberg, Esther M. Arkin, Michael A. Bender, Joseph S. B. Mitchell	Analysis of Heuristics for the Freeze-Tag Problem.	SWAT	2002	DBLP DOI BibTeX RDF
31	Tao Hu, Joshua Freeze, Prerna Singh, Justin Namuk Kim, Yingnan Song, Hao Wu 0068, Juhwan Lee, Sadeer Al-Kindi, Sanjay Rajagopalan, David L. Wilson, Ammar Hoori	AI prediction of cardiovascular events using opportunistic epicardial adipose tissue assessments from CT calcium score.	CoRR	2024	DBLP DOI BibTeX RDF
31	Brennan T. Freeze, Aundre Barras, Paris Osuch, Soren Sevier Richenberg, Suzanne Rivoire	QC.py: Quantum Computing Simulation and Visualization Suite.	SIGCSE (2)	2023	DBLP DOI BibTeX RDF
31	Ronald D. Freeze, Susan Bristow	In-Memory and Column Storage Changes IS Curriculum.	HICSS	2023	DBLP BibTeX RDF
31	Pamela J. Schmidt, Ronald D. Freeze, Sathya Narasimhan	Introduction to the Minitrack on Enterprise Ecosystem: Extending and Integrating Technology Serving the Enterprise.	HICSS	2023	DBLP BibTeX RDF
31	Sneha Pandya, Pedro D. Maia, Benjamin Freeze, Ricarda A. L. Menke, Kevin Talbot, Martin R. Turner, Ashish Raj	Modeling seeding and neuroanatomic spread of pathology in amyotrophic lateral sclerosis.	NeuroImage	2022	DBLP DOI BibTeX RDF
31	Pamela J. Schmidt, Ronald D. Freeze, Sathya Narasimhan	Introduction to the Minitrack on Enterprise Ecosystem: Extending and Integrating Technology Serving the Enterprise.	HICSS	2022	DBLP BibTeX RDF
31	Nima Hoseinzadeh, Yangsong Gu, Lee D. Han, Candace Brakewood, Phillip B. Freeze	Estimating Freeway Level-of-Service Using Crowdsourced Data.	Informatics	2021	DBLP DOI BibTeX RDF
31	Pamela J. Schmidt, Jia Feng, Ronald D. Freeze	Geographic Data Informs Funding and Management of Metro Bike Share System.	HICSS	2021	DBLP BibTeX RDF
31	Pamela J. Schmidt, Sathya Narasimhan, Ronald D. Freeze	Introduction to the Minitrack on Enterprise Ecosystem: Extending and Integrating Technology Serving the Enterprise.	HICSS	2021	DBLP BibTeX RDF
31	Peter Nekrasov, Jessica Freeze, Victor Batista	Using Restricted Boltzmann Machines to Model Molecular Geometries.	CoRR	2020	DBLP BibTeX RDF
31	Marinos Themistocleous, Pamela J. Schmidt, Ronald D. Freeze	Introduction to the Minitrack on Enterprise Ecosystem: Integrating Systems Within and Between Organizations.	HICSS	2020	DBLP BibTeX RDF
31	Sneha Pandya, Yashar Zeighami, Benjamin Freeze, Mahsa Dadar, D. Louis Collins, Alain Dagher, Ashish Raj	Predictive model of spread of Parkinson's pathology using network diffusion.	NeuroImage	2019	DBLP DOI BibTeX RDF
31	Khaled A. Alshare, Mohammad Kamel Alomari, Peggy Lane, Ronald D. Freeze	Development and determinants of end-user intention: usage of expert systems.	J. Syst. Inf. Technol.	2019	DBLP DOI BibTeX RDF
31	Ronald D. Freeze, Rhonda Syler	Introduction to the Minitrack on AI, Machine Learning, IoT, and Analytics: Exploring the Implications for Knowledge Management and Innovation.	HICSS	2019	DBLP BibTeX RDF
31	Pamela J. Schmidt, Marinos Themistocleous, Gail Corbitt, Ronald D. Freeze	Introduction to the Minitrack on Enterprise System Integration: Issues and Answers: Impacts, Evolution and Innovations in Integrated Systems for the Enterprise.	HICSS	2019	DBLP BibTeX RDF
31	Pamela J. Schmidt, Ronald D. Freeze	Enterprise Job Roles and Resistance to ERP Use: Actual Usage as an Antecedent to ERP Resistance.	HICSS	2019	DBLP BibTeX RDF
31	John Freeze, Madhav Erraguntla, Akshans Verma	Data Integration and Predictive Analysis System for Disease Prophylaxis: Incorporating Dengue Fever Forecasts.	HICSS	2018	DBLP BibTeX RDF
31	Ronald D. Freeze, Rhonda Syler	Introduction to the Minitrack on Analytics in Support of Continuous Knowledge Creation.	HICSS	2018	DBLP BibTeX RDF
31	Ronald D. Freeze, Susan Bristow	ERP Knowledge: Enhancing Program Growth for Workforce Impact.	HICSS	2018	DBLP BibTeX RDF
31	Ronald D. Freeze	Analytics in the Pursuit of Knowledge: Adapting the Knowledge Pyramid.	HICSS	2018	DBLP BibTeX RDF
31	Madhav Erraguntla, John Freeze, Dursun Delen, Karthic Madanagopal, Richard J. Mayer, Jam Khojasteh	Data Integration and Predictive Analysis System for Disease Prophylaxis.	HICSS	2017	DBLP BibTeX RDF
31	Rob P. Rechard, Geoff A. Freeze, Frank V. Perry	Hazards and scenarios examined for the Yucca Mountain disposal system for spent nuclear fuel and high-level radioactive waste.	Reliab. Eng. Syst. Saf.	2014	DBLP DOI BibTeX RDF
31	Ronald D. Freeze, Pamela J. Schmidt	Within-Team Variation of Shared Knowledge Structures: A Business Performance Study.	HICSS	2014	DBLP DOI BibTeX RDF
31	Pamela J. Schmidt, Sharath Sasidharan, Ronald D. Freeze	Social Networks and Organizational Performance: Exploring the Quality of Domain Knowledge Sources.	Int. J. Knowl. Manag.	2013	DBLP DOI BibTeX RDF
31	Ronald D. Freeze, Sharath Sasidharan, Peggy Lane	Incremental Experts: How Much Knowledge Does a Team Need?	Int. J. Knowl. Manag.	2012	DBLP DOI BibTeX RDF
31	Ronald D. Freeze, Ajay S. Vinze, Raghu Santanam 0001, Michael F. Furukawa	IT Adoption: HealthCare Metrics Tracking.	HICSS	2012	DBLP DOI BibTeX RDF
31	Uday R. Kulkarni, Ronald D. Freeze	Measuring Knowledge Management Capabilities.	Encyclopedia of Knowledge Management	2011	DBLP BibTeX RDF
31	Jeremy K. Hodges, Ronald D. Freeze	Knowledge Management Capability in Education.	Decision Support - An Examination of the DSS Discipline	2011	DBLP DOI BibTeX RDF
31	Abdullahi I. Musa, Ronald D. Freeze	Conceptualizing Knowledge Utilization: The Need Based Model of Knowledge Use.	AMCIS	2011	DBLP BibTeX RDF
31	Olivera Marjanovic, Ronald D. Freeze	Knowledge Intensive Business Processes: Theoretical Foundations and Research Challenges.	HICSS	2011	DBLP DOI BibTeX RDF
31	Ronald D. Freeze, Robyn L. Raschke	Construct Transportability: A Choice That Matters.	HICSS	2011	DBLP DOI BibTeX RDF
31	Ronald D. Freeze, Peggy Lane, Sharath Sasidharan	Management Teams: The Case for Balancing or Unbalancing.	HICSS	2011	DBLP DOI BibTeX RDF
31	Michael Freeze, Wolfgang A. Schmid	Remarks on a generalization of the Davenport constant.	Discret. Math.	2010	DBLP DOI BibTeX RDF
31	Ronald D. Freeze, Khaled A. Alshare, Peggy Lane, H. Joseph Wen	IS Success Model in E-Learning Context Based on Students' Perceptions.	J. Inf. Syst. Educ.	2010	DBLP BibTeX RDF
31	Ronald D. Freeze, Peggy Lane, Sharath Sasidharan	Expert Relativity: Identify the Expert Just Ahead.	AMCIS	2010	DBLP BibTeX RDF
31	Khaled A. Alshare, Ronald D. Freeze, Obyung Kwun	Student Intention to Use Expert Systems: An Exploratory Study.	J. Comput. Inf. Syst.	2009	DBLP BibTeX RDF
31	Ronald D. Freeze, Jeremy K. Hodges	Building Knowledge Capabilities in Education.	AMCIS	2009	DBLP BibTeX RDF
31	Ronald D. Freeze, T. S. Raghu 0001, Ajay S. Vinze, Denise Campagnolo, Shahram Partovi, Tuula Tyry	Analyzing Chronic Diseases with Latent Growth Models: An Analysis of Multiple Sclerosis.	HICSS	2009	DBLP DOI BibTeX RDF
31	Ronald D. Freeze, Uday R. Kulkarni	Validating Distinct Knowledge Assets: A Capability Perspective.	Int. J. Knowl. Manag.	2008	DBLP DOI BibTeX RDF
31	Margaret McGrory, Margaret Williams, Karen Taylor, Barbara Freeze	The Impact of the Integrated Digital Library System on the CNIB Library.	Libr. Trends	2007	DBLP DOI BibTeX RDF
31	Ronald D. Freeze, Uday R. Kulkarni	Knowledge management capability: defining knowledge assets.	J. Knowl. Manag.	2007	DBLP DOI BibTeX RDF
31	Uday R. Kulkarni, Sury Ravindran, Ronald D. Freeze	A Knowledge Management Success Model: Theoretical Development and Empirical Validation.	J. Manag. Inf. Syst.	2007	DBLP BibTeX RDF
31	Ken Bluttman, Wayne S. Freeze	Access data analysis cookbook - slicing and dicing to find the results you need.		2007	RDF
31	Gregory Schymik, Uday R. Kulkarni, Ronald D. Freeze	Impact of Knowledge Management Systems on Knowledge Intensive Business Processes.	AMCIS	2007	DBLP BibTeX RDF
31	Ronald D. Freeze, Sagnika Sen	Knowledge Process Outsourcing: Identifying Potential Research Agenda Based on Industry Trends.	ECIS	2007	DBLP BibTeX RDF
31	Ronald D. Freeze, Robyn L. Raschke	An Assessment of Formative and Reflective Constructs in IS Research.	ECIS	2007	DBLP BibTeX RDF
31	Ronald D. Freeze	Group Invariance: Culture, KM & IT Capability Perceptions.	HICSS	2007	DBLP DOI BibTeX RDF
31	Ronald D. Freeze, Jose Antonio Robles-Flores	Knowledge Process Support: A Business Process Study of a Knowledge Management System.	AMCIS	2005	DBLP BibTeX RDF
31	Ronald D. Freeze, Uday R. Kulkarni	Knowledge Management Capability Assessment: Validating a Knowledge Assets Measurement Instrument.	HICSS	2005	DBLP DOI BibTeX RDF
31	Uday R. Kulkarni, Ronald D. Freeze	Development and Validation of a Knowledge Management Capability Assessment Model.	ICIS	2004	DBLP BibTeX RDF
31	Ronald D. Freeze, Uday R. Kulkarni, Suryanarayanan Ravindran	Organizational Knowledge Maturity and Complementarity: A Conceptual Framework.	AMCIS	2003	DBLP BibTeX RDF
31	Scott T. Chapman, Michael Freeze, William W. Smith	Minimal zero-sequences and the strong Davenport constant.	Discret. Math.	1999	DBLP DOI BibTeX RDF
31	Allan Kuchinsky, Celine Pering, Michael L. Creech, Dennis F. Freeze, Bill Serra, Jacek Gwizdka	FotoFile: A Consumer Multimedia Organization and Retrieval System.	CHI	1999	DBLP DOI BibTeX RDF	visualization, metadata, browsing, retrieval, multimedia computing, digital video, content-based indexing and retrieval, information organization, media objects
31	Michael L. Creech, Dennis F. Freeze, Martin L. Griss	Using Hypertext in Selecting Reusable Software Components.	Hypertext	1991	DBLP DOI BibTeX RDF
31	R. Allan Freeze	An Analysis of Baseball Batting Order by Monte Carlo Simulation.	Oper. Res.	1974	DBLP DOI BibTeX RDF
31	R. Allan Freeze	Subsurface Hydrology at Waste Disposal Sites.	IBM J. Res. Dev.	1972	DBLP DOI BibTeX RDF
29	Elif Alpaslan, Yu Huang 0005, Xijiang Lin, Wu-Tung Cheng, Jennifer Dworak	Reducing Scan Shift Power at RTL.	VTS	2008	DBLP DOI BibTeX RDF	Test Power Reduction, Power-Sensitive Scan Cell, RTL DFT, Timing Closure, Scan Based Test
29	Marcin Jurdzinski, Ranko Lazic 0001	Alternation-free modal mu-calculus for data trees.	LICS	2007	DBLP DOI BibTeX RDF
29	Paul M. Salmon, Guy H. Walker, Darshna Ladva, Neville A. Stanton, Daniel P. Jenkins, Laura Rafferty	Measuring situation awareness in command and control: comparison of methods study.	ECCE	2007	DBLP DOI BibTeX RDF	SA measurement, situation awareness, command and control
29	Yuantao Peng, Xun Liu	An Efficient Low-Power Repeater-Insertion Scheme.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
29	Adeel Baig, Lavy Libman, Mahbub Hassan	Performance Enhancement of On-Board Communication Networks Using Outage Prediction.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
29	Yining Qi, Mingyuan Dai	The Effect of Frame Freezing and Frame Skipping on Video Quality.	IIH-MSP	2006	DBLP DOI BibTeX RDF
29	Ranko Lazic 0001	Safely Freezing LTL.	FSTTCS	2006	DBLP DOI BibTeX RDF
29	Marcus Kracht	Constraints on Derivations.	Grammars	2003	DBLP DOI BibTeX RDF
29	Alessandro Bianchi, Danilo Caivano, Vittorio Marengo, Giuseppe Visaggio	Iterative Reengineering of Legacy Functions.	ICSM	2001	DBLP DOI BibTeX RDF	Reengineering, Legacy Systems
23	Deepak Dhungana, Thomas Neumayer, Paul Grünbacher, Rick Rabiser	Supporting the Evolution of Product Line Architectures with Variability Model Fragments.	WICSA	2008	DBLP DOI BibTeX RDF	Model Fragments, Edit-Merge-Freeze Paradigm, DecisionKing, Evolution, Product Line Architecture
23	Mike Stanley	Doing more with less: departmental labs support.	SIGUCCS	2005	DBLP DOI BibTeX RDF	deep freeze, symantec ghost, image, computer lab, keyServer
23	Mark A. Adams	Managing open access labs: "MacGyver principle".	SIGUCCS	2004	DBLP DOI BibTeX RDF	The Six Thinking Hats, universal troubleshooting process, MacGyver principle, MacGyver toolkit, OS compatibility, automation and enterprise management, deep freeze, ghost console, group policy object (GPO), interactive development environment (IDE), microsoft management console (MMC), open access computing, open access labs, organizational unit (OU), roaming user profiles (RUPS), system lockdown procedures, methodology, innovation, migration, troubleshooting
23	Ali Asgharzadeh	Image analysis and enhancement using fuzzy rule based expert system.	SAC	1996	DBLP DOI BibTeX RDF	freeze frame video printer, image processing, fuzzy control
19	Weibo Wang, Yu Wang, Junpeng Zhang, Chunsheng Jing, Rui Ding	Assessment of the Impact of Pacific Inflow on Sea Surface Temperature Prior to the Freeze-Up Period over the Bering Sea.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
19	Hongjing Cui, Linna Chai, Heng Li, Shaojie Zhao, Xiaoyan Li, Shaomin Liu	A Spatiotemporal Enhanced SMAP Freeze/Thaw Product (1980-2020) over China and Its Preliminary Analyses.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
19	Shahabeddin Taghipourjavi, Christophe Kinnard, Alexandre Roy	Sentinel-1-Based Soil Freeze-Thaw Detection in Agro-Forested Areas: A Case Study in Southern Québec, Canada.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
19	Xuerui Wu, Xinqiu Ouyang, Shengli Wu 0002, Fang Wang, Zheng Duan	Assessing the Freeze/Thaw States in Arctic Circle Using FengYun-3E GNOS-R: An Initial Demonstration and Analysis.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2024	DBLP DOI BibTeX RDF
19	Murat Onur Yildirim, Elif Ceren Gok Yildirim, Decebal Constantin Mocanu, Joaquin Vanschoren	FOCIL: Finetune-and-Freeze for Online Class Incremental Learning by Training Randomly Pruned Sparse Experts.	CoRR	2024	DBLP DOI BibTeX RDF