Cargando…

Mechanized support for stepwise refinement

Detalles Bibliográficos
Autor principal:	Van de Snepscheut, J L A
Lenguaje:	eng
Publicado:	1994
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/265431

Ejemplares similares

Using OpenRefine
por: Verborgh, Ruben, et al.
Publicado: (2013)

Process improvement with electronic health records : a stepwise approach to workflow and process management
por: Amatayakul, Margret
Publicado: (2012)

Machine learning refined: foundations, algorithms, and applications
por: Watt, Jeremy, et al.
Publicado: (2020)

From action systems to distributed systems: the refinement approach
por: Petre, Luigia, et al.
Publicado: (2016)

Vision & voice: refining your vision in Adobe Photoshop Lightroom
por: DuChemin, David
Publicado: (2011)

Refining design for business: using analytics, marketing, and technology to inform customer-centric design
por: Krypel, Michael
Publicado: (2014)

Brilliant social media: how to start, refine and improve your social media business strategy
por: Gray, Adam
Publicado: (2013)

Europe exceeds U.S. in refining grid computing
por: Markoff, J, et al.
Publicado: (2003)

Detector simulation support at the SSC Laboratory
por: Roberts, L A
Publicado: (1992)

Technical Support Essentials: Advice to Succeed in Technical Support
por: Sanchez, Andrew
Publicado: (2010)

The "Common Solutions" Strategy of the Experiment Support group at CERN for the LHC Experiments
por: Girone, M, et al.
Publicado: (2012)

The EGEE user support infrastructure
por: Antoni, T, et al.
Publicado: (2007)

On-line support for labelled magnetic tapes
por: Rimmer, Elsie Margaret, et al.
Publicado: (1977)

Small computer support
por: CERN. Geneva
Publicado: (1979)

Support vector machines
por: Steinwart, Ingo, et al.
Publicado: (2008)

The IT support handbook: a how-to guide to providing effective help and support to IT users
por: Halsey, Mike
Publicado: (2019)

Evolution of CMS Workload Management Towards Multicore Job Support
por: Perez-Calero Yzquierdo, A, et al.
Publicado: (2015)

Autonomic road transport support systems
por: Kotsialos, Apostolos, et al.
Publicado: (2016)

DSR: enhanced modelling and refinement of disordered structures with SHELXL
por: Kratzert, Daniel, et al.
Publicado: (2015)

Experiences with Data Indexing services supported by the NorduGrid middleware
por: Nielsen, J, et al.
Publicado: (2005)

OS X support essentials 10.10 : supporting and troubleshooting OS X Yosemite
por: White, Kevin M
Publicado: (2015)

Supporting Windows NT as physics workstations and servers
por: Foster, D, et al.
Publicado: (1998)

Understanding support vector machines
por: Géron, Aurélien
Publicado: (2017)

Finitely supported mathematics: an introduction
por: Alexandru, Andrei, et al.
Publicado: (2016)

OS X support essentials
por: White, Kevin M, et al.
Publicado: (2013)

Learning with Support Vector Machines
por: Campbell, Colin, et al.
Publicado: (2010)

Mainframe backup for software support
por: Davies, H E
Publicado: (1975)

Norsk data and office support
por: ND Norsk Data. Norway
Publicado: (1985)

The EGEE user support infrastructure
por: Antoni, Torsten, et al.
Publicado: (2008)

Data Analysis and Decision Support
por: Baier, Daniel, et al.
Publicado: (2005)

Support for significant evolutions of the user data model in ROOT files
por: Canal, P, et al.
Publicado: (2010)

Statistical mechanics of learning
por: Engel, Andreas, et al.
Publicado: (2001)

Regularization, optimization, kernels, and support vector machines
por: Suykens, Johan A K, et al.
Publicado: (2015)

MCITP self-paced training kit (Exam 70-622): supporting and troubleshooting applications on a Windows Vista client for enterprise support technicians
por: Northrup, Anthony, et al.
Publicado: (2007)

Computer support for co-operative work
por: Jennison, Leslie, et al.
Publicado: (1994)

Emergency response decision support system
por: Shan, Siqing, et al.
Publicado: (2017)

CERN supported FASTBUS interface routines
por: Rimmer, Elsie Margaret
Publicado: (1985)

Windows 7 Desktop Support and Administration
por: Gibson, Darril
Publicado: (2010)

On the role of a user support group
por: Stevens, D
Publicado: (1976)

Support of file editing using networks
por: Hoffmann, G R, et al.
Publicado: (1980)

Cannot write session to /tmp/vufind_sessions/sess_uldtb1brq0atoeatmfkvvhgdm6