-
1دورية أكاديمية
المؤلفون: Wim van der Molen, Doug Scott, David Taylor, Trevor Elliott
المصدر: Journal of Marine Science and Engineering, Vol 4, Iss 1, p 3 (2015)
مصطلحات موضوعية: long waves, moored ships, port engineering, Naval architecture. Shipbuilding. Marine engineering, VM1-989, Oceanography, GC1-1581
وصف الملف: electronic resource
-
2
المؤلفون: Laura Humphrey, Lee Pike, Trevor Elliott, Ufuk Topcu, Mohammed Alshiekh
المصدر: ICRA
مصطلحات موضوعية: Programming language, business.industry, Computer science, media_common.quotation_subject, 020207 software engineering, 02 engineering and technology, computer.software_genre, Simulation software, Workflow, Software, Debugging, Control theory, Control system, 0202 electrical engineering, electronic engineering, information engineering, Robot, 020201 artificial intelligence & image processing, Macro, business, computer, media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::17900ea1b5100cef640c1ce739f7de27
https://doi.org/10.1109/icra.2019.8793722 -
3
المؤلفون: Lee Pike, Trevor Elliott, John Launchbury, James Bielman, Patrick C. Hickey
المصدر: ICFP
مصطلحات موضوعية: Mode (computer interface), business.industry, Computer science, Embedded system, Code (cryptography), Haskell, business, computer, Computer Graphics and Computer-Aided Design, Software, computer.programming_language
-
4
المؤلفون: Ole J. Martinsen, Ian A. Kane, Peter D. W. Haughton, Patrick M. Shannon, Colm Pierce, Anthea Lacchia, Trevor Elliott, Simon P. Barker, Arnau Obradors Latre, Andrew J. Pulham, George D. Sevastopulo
المصدر: Martinsen, O J, Pulham, A J, Elliott, T, Haughton, P, Pierce, C, Lacchia, A R, Barker, S, Latre, A O, Kane, I, Shannon, P & Sevastopulo, G D 2017, ' Deep-water clastic systems in the upper carboniferous (upper mississippian-lower pennsylvanian) shannon basin, western Ireland ', AAPG Bulletin, vol. 101, no. 4, pp. 433-439 . https://doi.org/10.1306/021417DIG17099
مصطلحات موضوعية: 010504 meteorology & atmospheric sciences, Fluvial, Energy Engineering and Power Technology, Geology, Ecological succession, Structural basin, 010502 geochemistry & geophysics, 01 natural sciences, Paleontology, Fuel Technology, Continental margin, Geochemistry and Petrology, Carboniferous, Clastic rock, Pennsylvanian, Earth and Planetary Sciences (miscellaneous), Sedimentary rock, 0105 earth and related environmental sciences
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d6ffa4ddf75b610aa84a6cfb610e5bd6
https://pure.manchester.ac.uk/ws/files/60959674/OJ_Martinsen_Shannon_Basin_AAPG_Bulletin_paper_short_version_140217.pdf -
5
المؤلفون: David Taylor, Douglas Scott, Trevor Elliott, Safinaz El-Solh
المصدر: Journal of Marine Science and Engineering; Volume 4; Issue 1; Pages: 16
مصطلحات موضوعية: 021103 operations research, Wharf, Cost–benefit analysis, Yield (finance), 0211 other engineering and technologies, Ocean Engineering, 02 engineering and technology, Port (computer networking), Breakwater, long waves, ship mooring, dynamic mooring analyses, port simulation model, 0202 electrical engineering, electronic engineering, information engineering, Environmental science, 020201 artificial intelligence & image processing, Economic impact analysis, Discrete event simulation, Winch, Water Science and Technology, Civil and Structural Engineering, Marine engineering
وصف الملف: application/pdf
-
6
المؤلفون: Trevor Elliott, Patrick C. Hickey, Aaron Tomb, Eric Mertens, Lee Pike
المصدر: Runtime Verification ISBN: 9783319469812
RVمصطلحات موضوعية: 0301 basic medicine, 021110 strategic, defence & security studies, Schedule, Source code, business.industry, Computer science, media_common.quotation_subject, Interrupt handler, 0211 other engineering and technologies, 02 engineering and technology, Call graph, Task (project management), law.invention, 03 medical and health sciences, 030104 developmental biology, Software, law, Embedded system, Autopilot, business, Real-time operating system, media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::aa98e54f072068962ded5457767840d0
https://doi.org/10.1007/978-3-319-46982-9_19 -
7
المؤلفون: David Taylor, Trevor Elliott, Doug Scott, Wim van der Molen
المصدر: Journal of Marine Science and Engineering, Vol 4, Iss 1, p 3 (2015)
Journal of Marine Science and Engineering; Volume 4; Issue 1; Pages: 3مصطلحات موضوعية: Operability, long waves, Fender, port engineering, lcsh:Naval architecture. Shipbuilding. Marine engineering, Ocean Engineering, moored ships, Mooring, lcsh:Oceanography, Installation, lcsh:VM1-989, Breakwater, Wave height, Brake, Geotechnical engineering, lcsh:GC1-1581, Winch, Geology, Water Science and Technology, Civil and Structural Engineering, Marine engineering
وصف الملف: application/pdf
-
8
المؤلفون: Trevor Elliott, Lee Pike, Jamey Sharp, Pat Hickey, Eric L. Seidel, Simon Winwood, James Bielman, John Launchbury
المصدر: Haskell
مصطلحات موضوعية: Semantics (computer science), Programming language, Computer science, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Haskell, Compiler, Type (model theory), computer.software_genre, Control (linguistics), computer, Memory safety, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7f4e9d767f6641a21a34faad6778b1db
https://doi.org/10.1145/2804302.2804318 -
9
المؤلفون: Trevor Elliott, Duncan McIlroy, Christopher Phillips
المصدر: Palaeogeography, Palaeoclimatology, Palaeoecology. 300:67-83
مصطلحات موضوعية: Planolites, Paleontology, Structural basin, Trace fossil, Oceanography, Sedimentary depositional environment, Ophiomorpha, Ichnology, Facies, Siliciclastic, Ecology, Evolution, Behavior and Systematics, Geology, Earth-Surface Processes
-
10
المؤلفون: John Launchbury, Trevor Elliott
المصدر: Haskell
مصطلحات موضوعية: Functional programming, Domain-specific language, Programming language, Computer science, Concurrency, Monad (functional programming), computer.software_genre, Computer Graphics and Computer-Aided Design, Scripting language, Haskell, Orchestration (computing), Combinatory logic, computer, Software, computer.programming_language, Declarative programming