Tag automating [22 articles] Export Sort

Recent papers classified by the tag automating.

Hide details

	Supporting Scientists' Everyday Work: Automating Scientific Workflows [My Copy] Software, IEEE In Software, IEEE, Vol. 25, No. 4. (2008), pp. 52-58. by M. Vigder, N. G. Vinson, J. Singer, D. Stewart, K. Mews posted to workflows scientific automating by vijyendra on 2009-08-16 13:56:05 as along with 2 people rexissimus benavides
	Automated broadcast media monitoring using the google API [My Copy] Consumer Communications and Networking Conference, 2006. CCNC 2006. 3rd IEEE In Consumer Communications and Networking Conference, 2006. CCNC 2006. 3rd IEEE, Vol. 2 (2006), pp. 1098-1102. by K. Curran, A. Doherty posted to apis automating broadcasting media monitoring social-media by Scis0000002 on 2009-07-20 12:15:02 as along with 1 person fmccown
	Three-dimensional pattern recognition: an approach to automated interpretation of electron density maps of proteins. [My Copy] J Mol Biol, Vol. 82, No. 3. (25 January 1974), pp. 279-301. by J. Greer posted to 3d automating electrons proteins by Scis0000002 on 2009-06-30 16:56:34 as along with 1 person and 2 groups jwm Radiation_Damage Stressosome
	Automatic "pipeline" analysis of 3-D MRI data for clinical trials: application to multiple sclerosis. [My Copy] IEEE transactions on medical imaging, Vol. 21, No. 10. (October 2002), pp. 1280-1291. by Alex P. Zijdenbos, Reza Forghani, Alan C. Evans posted to automating classifying data-fusion diagnosing diagnostics imaging mri recognizing by Scis0000002 on 2009-06-03 20:24:38 as along with 6 people and 1 group pbellec nguizard xtizon jclau pcoupe ns4637 Fetal and Neonatal MR imaging
	An ontology for a Robot Scientist. [My Copy] Bioinformatics, Vol. 22, No. 14. (15 July 2006) by L. N. Soldatova, A. Clare, A. Sparkes, R. D. King posted to automating computational-epistemology experiments formal-epistemology ontologies robot-scientists by Scis0000002 on 2009-05-15 19:33:20 as along with 5 people Vincent_Rouilly dansullivanblk dullhunk mdreid tmmurali
	Systems integration: An effective and innovative response to emerging biological threats [My Copy] Vaccine, Vol. 25, No. 16. (20 April 2007), pp. 3170-3174. by Robert V. House posted to allocating automating collaborating contracting control-models drug-development experts formal-development hyperefficiency infrastructures interoperability just-in-time megaprojects neurosupervision optimality organizations pandemics planning platforms problem-solving process-models product-development projects speed-games strategies supervicing technological-supremacy vaccine-development vaccines by Scis0000002 on 2009-05-08 08:56:45 as
	The Automation of Science [My Copy] Science, Vol. 324, No. 5923. (3 April 2009), pp. 85-89. by Ross D. King, Jem Rowland, Stephen G. Oliver, et al.Michael Young, Wayne Aubrey, Emma Byrne, Maria Liakata, Magdalena Markham, Pinar Pir, Larisa N. Soldatova, Andrew Sparkes, Kenneth E. Whelan, Amanda Clare posted to abstract-machines all-possible-sciences automatic automating brain-interfaces competitiveness computational-epistemology computational-intelligence computational-neuroscience computational-science computer-science constructivization extremal-science formal-epistemology formal-science futures grids hierarchy-of-abstract-machines hierarchy-of-machines hyperefficiency infrastructures intelligent-problem-solving logical-frameworks omega-innovating philosophy-of-science quantum-computational-intelligence quantum-computing research-frameworks robot-scientists scientific-frameworks strategies synthetic-science technological-supremacy by Scis0000002 on 2009-05-05 22:28:17 as along with 60 people and 2 groups agomez leliavski ngehlenborg yuifu singhsh Sergey_gerbek schwartzjmc yyfwuhan antonkratz CulCog ckai1 jcaddy thegoose tommcdonagh tonamswish qwermish axeltan ocs TobiasAbenius CameronNeylon guhjy davidcsterratt bcondon kevinemamy TRHvidsten emiko Zephyrus arne muraken vagoskar katiehumphry Effie robertknight acrmartins psique dbikard tyrell_turing Tomste renatomilani subhacom druvus ramanuja sen_cheng coela VGreiff hagechouchin443 Benja austin stober rdiaz Fortran napvasconcelos mikel_egana allysonlister dullhunk fgibson pkonings JeremyZucker jbhiatt tmmurali NaCTeM MetabolicModeling
	Lab automation and robotics: Automation on the move [My Copy] Nature, Vol. 421, No. 6923. (6 February 2003), pp. 661-666. by Tim Chapman posted to automating computational-epistemology computational-intelligence experiments hyperefficiency infrastructures laboratory-automation laboratory-robotics robot-scientists robotics robots by Scis0000002 on 2009-05-05 22:11:41 as
	Project Management for the Pharmaceutical Industry [My Copy] (30 September 2004) by Laura Brown, Tony Grundy posted to abilities abstract-machines adaptive-mixtures-of-experts allocating automating developing enterprises experts frameworks grid-computing grids hyperefficiency just-in-time latency lattice-of-projects neurosupervision optimality patent-games performance pharmaceutical platforms problem-solving process-models product-development productivity project-management projects quantum-computing real-time semantic-technologies simulating skills speed-games speed-priors strategies time-to-market virtual-organizations work-flows workflow by Scis0000002 on 2009-04-22 22:21:08 as
	Automatic Abstraction of Equations in a Logic of Equality [My Copy] Automated Reasoning with Analytic Tableaux and Related Methods (2003), pp. 196-213. by Miroslav Velev posted to automating categorification discrete-symbol-manipulation equality equation-discovery equations formal-physics lattice-of-equations by Scis0000002 on 2008-05-08 13:43:36 as
	A Task-Based Ontology Approach to Automate Geospatial Data Retrieval [My Copy] Transactions in GIS, Vol. 11, No. 3. (2007), pp. 355-376. by Nancy Wiegand, Cassandra Garcia posted to automating geo-spatial information-retrieval ontologies tasks by Scis0000002 on 2008-01-27 14:40:41 as along with 4 people ianturton jbrennerg RiccardoAlbertoni professeur
	The Aware Home: A Living Laboratory for Ubiquitous Computing Research [My Copy] In Cooperative Buildings (1999), pp. 191-198. by Cory D. Kidd, Robert Orr, Gregory D. Abowd, et al.Christopher G. Atkeson, Irfan A. Essa, Blair Macintyre, Elizabeth D. Mynatt, Thad Starner, Wendy Newstetter posted to augmented-reality automating enterprises environments habitats hyperefficiency infrastructures intelligent-environments intelligent-homes personal-problem-solving personal-task-management ubiquitous-computing by Scis0000002 on 2007-09-26 14:54:40 as
	The logic of scientific inquiry [My Copy] Synthese, Vol. 26, No. 3. (1 April 1974), pp. 498-514. by Joseph Agassi posted to 1-toposes abstract-machines automating complete-lattices computational-epistemology computational-science epistemic-logic formal-epistemology formal-science inquiry inquiry-calculus lattice-of-problems lattice-of-questions lattice-of-theories methodology philosophy-of-science question-answering question-asking synthetic-science by Scis0000002 on 2007-07-03 09:14:15 as along with 1 person and 1 group livingthingdan livingthing
	Automating the Analysis of Design Component Contracts [My Copy] (2004) by J. Dong, P. Alencar, D. Cowan posted to automating components contracts by scis0000001 on 2006-11-26 15:28:18 as
	A neural network model for inter-problem adaptive online time allocation [My Copy] (2005) by M. Gagliolo, J. Schmidhuber posted to algorithm-selection automating by scis0000001 on 2006-11-15 13:39:24 as
	An overview of a Formal Framework for Managing Mathematics [My Copy] (2003) by W. Farmer, M. Mohrenschildt posted to automating automation computational-mathematics efficiency formal framework mathematics metaprocess mkm workflow by scis0000001 on 2006-09-19 08:36:16 as along with 1 person and 1 group JacquesC NU-PRL
	Automating the Search for Answers to Open Questions [My Copy] In Theorem Proving in Higher Order Logics (2000), pp. 519-525. by Larry Wos, Branden Fitelson posted to automating proof by scis0000001 on 2006-09-19 08:25:22 as
	Structured Theory Development for a Mechanized Logic [My Copy] Journal of Automated Reasoning, Vol. 26, No. 2. (2001), pp. 161-203. by Matt Kaufmann, Strother J. Moore posted to automating theory-development by scis0000001 on 2006-09-19 08:21:23 as along with 1 person and 1 group gabgas Theorem Proving
	Mechanizing the Development of Software [My Copy] (1999) by S. Doug posted to automating dev formalizing mechanizing modeling software-development by scis0000001 on 2006-09-18 09:55:49 as along with 1 person Scis0000002
	Software development by refinement [My Copy] (2003) by D. Pavlovic, D. Smith posted to automating dev refinement software-development by scis0000001 on 2006-09-18 09:51:46 as
	Automated Abstraction of Numerical Simulation Models [My Copy] by Theory, Practical posted to abstraction automating computational-epistemology modeling reconstruction simulation by scis0000001 on 2006-09-14 15:04:35 as
	Automating Meta-Theory Creation and System Extension [My Copy] In AI*{IA} (1991), pp. 48-57. by David A. Basin, Fausto Giunchiglia, Paolo Traverso posted to automating computational-epistemology duality metamodel metatheory by scis0000001 on 2006-09-14 08:46:58 as

Note: You may cite this page as: http://www.citeulike.org/tag/automating

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

computational-epistemology	6
hyperefficiency	5
infrastructures	4
abstract-machines	3
formal-epistemology	3
robot-scientists	3
strategies	3
allocating	2
computational-intelligence	2
computational-science	2
dev	2
enterprises	2
experiments	2
experts	2
formal-science	2
grids	2
just-in-time	2
modeling	2
neurosupervision	2
ontologies	2
optimality	2
philosophy-of-science	2
platforms	2
problem-solving	2
process-models	2
product-development	2
projects	2
quantum-computing	2
software-development	2
speed-games	2
synthetic-science	2
technological-supremacy	2
workflow	2
3d	1
abstraction	1
access	1
adaptive-mixtures-of-experts	1
all-possible-sciences	1
automatic	1
brain-interfaces	1
broadcasting	1
categorification	1
competitiveness	1
components	1
constructivization	1
contracts	1
control-models	1
developing	1
duality	1
electrons	1
environments	1
epistemic-logic	1
equality	1
equations	1
extremal-science	1
formal	1
formal-development	1
formal-physics	1
futures	1
geo-spatial	1
hierarchy-of-abstract-machines	1
imaging	1
information-retrieval	1
inquiry	1
inquiry-calculus	1
intelligent-problem-solving	1
laboratory-automation	1
laboratory-robotics	1
lattice-of-equations	1
lattice-of-projects	1
lattice-of-questions	1
logic	1
logical-frameworks	1
mathematics	1
megaprojects	1
metamodel	1
metaprocess	1
monitoring	1
mri	1
omega-innovating	1
organizations	1
patent-games	1
personal-task-management	1
productivity	1
project-management	1
proteins	1
question-answering	1
question-asking	1
real-time	1
recognizing	1
reconstruction	1
research-frameworks	1
scientific-frameworks	1
semantic-technologies	1
skills	1
speed-priors	1
tasks	1
time-to-market	1
ubiquitous-computing	1
virtual-organizations	1

Tag automating [22 articles] Export Sort

Related Tags