Search
Search Funnelback University
- Refined by:
- Date: 2015
101 -
150 of
332
search results for KaKaoTalk:po03 op
where 0
match all words and 332
match some words.
Results that match 1 of 2 words
-
The inverted free energy landscape of an intrinsically disordered…
www-vendruscolo.ch.cam.ac.uk/granata2015sr.pdf28 Nov 2015: 1Scientific RepoRts | 5:15449 | DOi: 10.1038/srep15449. www.nature.com/scientificreports. The inverted free energy landscape of an intrinsically disordered peptide by simulations and experimentsDaniele Granata1,2, Fahimeh Baftizadeh1,3, Johnny -
Hybrid Reliable Multicast with TCP-XM K. Jeacle & J. ...
https://www.cl.cam.ac.uk/research/srg/netos/papers/2005-jeacle2005hybrid.pdf30 Nov 2015: TCP-XMachieves this through the introduction of a TCP header op-tion that indicates the percentage of the last n segments thathave been received via multicast. ... ALMs will not op-erate close to their stated efficiency without nodes in thesekey locations -
Is Just War Theory still relevant in the 21st Century? | Von Hügel…
https://www.vhi.st-edmunds.cam.ac.uk/events/past-events/themed-event-series/lecture-series/just-war-seminar-201524 Mar 2015: This is the concluding seminar of the Themed Lecture Series: 'Ethical Standards in Public Life' 2014-15, jointly organised by the Von Hügel Istitute, St Mary's University Twickenham and Las Casas Institute, Blackfriars Oxford. Is Just War Theory -
Microsoft PowerPoint - Project_1640_optics
https://people.ast.cam.ac.uk/~optics/project1640/Project_1640_optics.pdf16 Jun 2015: Op. tic. al. de. sig. n c. an. be. bro. ke. -
Few-cycle pulses from a graphene mode-locked all-fiber laser D. ...
www-g.eng.cam.ac.uk/nms/publications/pdf/1.4922397.pdf3 Jul 2015: overall absorption translates to N 30–35. The nonlinear op-tical transmittance is measured with an optical parametric. ... The seed pulse op-. tical spectrum is shown in Fig. 3(a), with a spectral width. -
Modern Processor Architectures (A compiler writer's perspective)
https://www.cl.cam.ac.uk/teaching/1516/L25/5ModernProcessorArchitectures.pdf15 Nov 2015: Barriers and SIMD. • Non-diverging flow, barrier is a no-op• Diverging flow requires rendezvous• Pure SIMD implementation (single core), barrier is where start. -
Interdisciplinary Religion, Politics, Migration postgraduate seminar…
https://www.vhi.st-edmunds.cam.ac.uk/events/past-events/seminars-workshops-guest-lectures/migration-postgraduate-seminar-201516 Sep 2015: Thanks to the generosity of the CAMMIGRES, the ‘Religion, Politics, Migration’ postgraduate group (co-ordinated by Dr Elif Çetin and Vlado Kmec) and Cambridge Muslims in Europe Postgraduate Forum held a successful postgraduate seminar at St -
Observing guide for CIRSI (WFIRC) at LCO du Pont ...
https://people.ast.cam.ac.uk/~optics/cirsi/cirsi-guide-lco-0.6.html16 Jun 2015: 2 FILTER7=Hn FILTER6=Jn FILTER5=Hl FILTER4=Hx FILTER3=Hs FILTER2=Jg FILTER1=Op FILTER0=Dk 13) Contact info, phone numbers, etc LCO during day this number is routed to -
ZOE: A Cloud-less Dialog-enabled Continuous SensingWearable…
https://www.cl.cam.ac.uk/~cm542/papers/mobisys2015.pdf29 Apr 2015: Only one device (the MicrosoftBand [9]) includes dialog support, but this was supported via asmartphone interacting with the cloud rather than the wearable op-erating in isolation. ... All sensors are continuously sampledwith this data feeding into -
181138-2015-11-02-v-rrd-Road4FAME-Inhalt.indd
https://www.ifm.eng.cam.ac.uk/uploads/Road4FAME_roadmap.pdf25 Nov 2015: attain the capacities of large enter-prises, gain the ability to react to market op-portunities, perform research together, inno-vate products and minimizes costs and risks for approaching new markets ... In order to remain competitive many compa-nies -
Musketeer: all for one, one for all in data ...
https://www.cl.cam.ac.uk/research/srg/netos/papers/2015-musketeer-eurosys.pdf30 Apr 2015: a GROUP BY operator in a particular struc-ture: the body of the WHILE loop must contain a JOIN op-erator with two inputs that represent vertices and edges. ... We measure them using a “no-op” operator. LOAD,. Parameter DescriptionPULL Rate of data -
ETUI presentation (Cebon) 2015-009-21
https://www.eng.cam.ac.uk/uploads/pages/files/3-etui-workshop-2015-cebon.pdf17 Oct 2015: Summary of Research Programme Po. licy. Op. era. tio. ns. Tech. -
Musketeer: all for one, one for all in data ...
https://www.cl.cam.ac.uk/research/srg/netos/camsas/pubs/eurosys15-musketeer.pdf4 Apr 2015: a GROUP BY operator in a particular struc-ture: the body of the WHILE loop must contain a JOIN op-erator with two inputs that represent vertices and edges. ... We measure them using a “no-op” operator. LOAD,. Parameter DescriptionPULL Rate of data -
o o © 0 o ÿ.. ÿ . .ÿ ...
https://www.mmll.cam.ac.uk/sites/www.mmll.cam.ac.uk/files/pavlovic_film_terms.pdf7 Jan 2015: o oÿ- ÿ'ÿ. 8. " ÿo. ÿ. o. o. oÿ. op. -
HUMAN VISION MODEL INCLUDING AGE DEPENDENCIES Rafał K. Mantiuk ...
https://www.cl.cam.ac.uk/~rkm38/pdfs/mantiuk15hdrvdp_age.pdf8 Jun 2015: A detailed visionmodel like the one we propose can be adopted to set the op-erating parameters of the enhancement algorithm, to improvethe quality of the image as perceived by a -
OP-VEVO150015 1..12
www.jiggins.gen.cam.ac.uk/pdfs/longdon2015b.pdf18 Nov 2015: The evolution, diversity, and host associations of. rhabdovirusesBen Longdon,1, Gemma G. R. Murray,1 William J. Palmer,1 Jonathan P. Day,1. Darren J Parker,2,3 John J. Welch,1 Darren J. Obbard4 and Francis M. Jiggins1. 1Department of Genetics, -
2014-qed-milawa-talk
https://www.cl.cam.ac.uk/~mom22/talks/2014-qed-milawa-talk.pdf27 Mar 2015: QED20, Vienna. Magnus O. Myreen — Computer Laboratory, University of Cambridge, UKJared Davis — Centaur Technology, Inc., Austin TX, USA. (also mentions work with Rob Arthan, Ramana Kumar, Michael Norrish, Scott Owens). Towards verified theorem -
Concurrent and Distributed Systems - 2015–2016 Supervision 2:…
https://www.cl.cam.ac.uk/teaching/1516/ConcDisSys/2015-2016-concdissys-supervision-2.pdf13 Oct 2015: However,copying all objects at the start of the transaction is problematic if the set of objects to be op-erated on is determined as part of the transaction itself. -
Orpheu: poesia, prosa e arte
https://www.mmll.cam.ac.uk/sites/www.mmll.cam.ac.uk/files/orpheu_prosa_poesia_e_arte_ensaio.pdf15 Dec 2015: 8SÁ-CARNEIRO, Mário de -- Apoteose. Op. cit., p. 24-5. 14. Poderíamos, sem o risco de empobrecer o efeito polissêmico do pro-. ... Cf. ROCHA, Clara -- Op. cit., p. 336. 19. Antes de destacar alguns trechos desse trabalho, será utilíssimo repro-. -
Smartlocks: lock acquisition scheduling for self-aware synchronization
https://www.cl.cam.ac.uk/~ey204/teaching/ACS/R212_2015_2016/papers/eastep_icac_2010.pdf14 Sep 2015: General TermsAlgorithms, Design, Performance. KeywordsSelf-Aware, Self-Tuning, Synchronization, Performance Op-timization, Asymmetric Multicore, Heterogeneous Multicore. ... As illustrated in Figure 4,the Lock Acquisition Scheduler consists of the Policy -
(Computational) Syntax & Semantics for Natural Language, L95…
https://www.cl.cam.ac.uk/teaching/1516/L95/synsem15.pdf21 Oct 2015: d) Int(eger): 1,2,.9,.17. e) Op(erator): , -. Notice that this grammar generates a bracket-less language. ... The result is shown below:. a) Exp Int : Int′b) Exp Exp Op Exp : Op′(Exp′1, Exp′2)c) Stat Exp = Exp : =′(Exp′1, Exp′2). -
Coherence Based Message Prediction for OpticallyInterconnected Chip…
https://www.cl.cam.ac.uk/~tmj32/papers/docs/vanlaer15-date.pdf16 Apr 2015: Coherence Based Message Prediction for OpticallyInterconnected Chip Multiprocessors. Anouk Van Laer, Chamath EllawalaMuhammad Ridwan Madarbux, Philip M. Watts. Dept. of Electronic and Electrical Engineering, University College LondonLondon, United -
Global-scale service deployment in the XenoServer platform Evangelos…
https://www.cl.cam.ac.uk/research/srg/netos/papers/2004-worlds.pdf30 Nov 2015: We define a number of immutable template images for op-erating system kernels, and file-systems; these images arelikely although not guaranteed to be persistently cached ateach XenoServer. -
NETI@home:A Distributed Approach to Collecting End-to-End Network…
https://www.cl.cam.ac.uk/research/srg/netos/events/pam2004/papers/127.pdf22 Aug 2015: NETI@home represents an excellent op-portunity to further research into the performance of the Internet. -
Capability Hardware Enhanced RISC Instructions: CHERI Instruction-set …
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-864.pdf15 Jan 2015: However, even thin clients are not thin in mostpractical senses: as with client-server computer systems, they are built from commodity op-erating system kernels, hundreds of user-space libraries, window -
Global-scale service deployment in the XenoServer platform Evangelos…
https://www.cl.cam.ac.uk/research/srg/netos/papers/2004-deploy-worlds.pdf30 Nov 2015: We define a number of immutable template images for op-erating system kernels, and file-systems; these images arelikely although not guaranteed to be persistently cached ateach XenoServer. -
arX iv:1 412. 0675 v1 [ astr o-ph .EP ...
https://people.ast.cam.ac.uk/~wyatt/kwbb14.pdf15 Jan 2015: arX. iv:1. 412. 0675. v1 [. astr. o-ph. EP. ] 1. Dec. 201. 4DRAF T VERS IONDECEMBER 3, 2014Preprint typeset using LATEX style emulateapj v. 5/2/11. EXO-ZODI MODELLING FOR THE LARGE BINOCULAR TELESCOPE INTERFEROMETER. GRANT M. K ENNEDY1, M ARK C. -
1 Distributed Games and StrategiesGlynn Winskel, Computer Laboratory, …
https://www.cl.cam.ac.uk/~gw104/Pierre-Louis.pdf23 Jun 2015: In op. cit. it is shown that optimal strategiescompose, so fit within the language of Section IV. -
Raft Refloated: Do We Have Consensus? Heidi Howard Malte ...
https://www.cl.cam.ac.uk/research/srg/netos/papers/2015-raftrefloated-osr.pdf4 Apr 2015: 4.3 Proposed OptimizationsWe were then able to use our framework to rapidly prototype op-. ... We recommend that if a client request is blockedby the extra condition on commitment, the leader should create ano-op entry in its log and replicate this -
2014-acl2-keynote
https://www.cl.cam.ac.uk/~mom22/talks/2014-acl2-keynote.pdf27 Mar 2015: the high-level op. -
2015-ConcurrentSystems-1B-L5
https://www.cl.cam.ac.uk/teaching/1516/ConcDisSys/2015-ConcurrentSystems-1B-L5-handout.pdf16 Sep 2015: strict isola:on; enforcing isola:on – Two-‐phase locking; rollback – Timestamp ordering (TSO); op:mis:c concurrency control (OCC). – -
Temporal and Spatial Classificationof Active IPv6 Addresses David…
https://www.cl.cam.ac.uk/teaching/1718/R02/papers/1506.08134v3.pdf16 Oct 2015: We find a vari-ety of practices employed by different network op-erators. ... Within the 16-32 bit range,the RIRs partition more frequently by the higher-order bits, while in the 32-48 bit range, network op-erators partition more frequently by the -
Temporal and Spatial Classificationof Active IPv6 Addresses David…
https://www.cl.cam.ac.uk/teaching/1617/R02/papers/1506.08134v3.pdf16 Oct 2015: We find a vari-ety of practices employed by different network op-erators. ... Within the 16-32 bit range,the RIRs partition more frequently by the higher-order bits, while in the 32-48 bit range, network op-erators partition more frequently by the -
Smart Data Structures: An Online Machine LearningApproach to…
https://www.cl.cam.ac.uk/~ey204/teaching/ACS/R212_2015_2016/papers/eastep_icac_2011.pdf14 Sep 2015: 300. 400. 500. 600. 700. oughpu. t (op. s/ms). Smart Queue14 threads. 300. 400. ... Producers perform only en-queue operations and skip the post computation between op-erations. -
Tobias Nipkow Programming and Proving inIsabelle/HOL λ→ ∀=Is abelle…
https://www.cl.cam.ac.uk/teaching/1415/L21/prog-prove.pdf8 Jan 2015: There are many predefined infix symbols like and 6. The name of the cor-responding binary function is op , not just. ... That is, x y is nice surface. syntax (“syntactic sugar”) for op x y. -
Quantum ComputingLecture 1 Bits and Qubits Anuj Dawar What ...
https://www.cl.cam.ac.uk/teaching/1516/QuantComp/notes.pdf13 Oct 2015: . . . . . . . . And Xn for the following op-eration:. -
A Robust Classifier for Passive TCP/IPFingerprinting Robert Beverly…
https://www.cl.cam.ac.uk/research/srg/netos/events/pam2004/papers/260.pdf22 Aug 2015: While the host op-erating system distribution is heavily skewed, we find operating systemsthat constitute a small fraction of the host count contribute a majorityof total traffic. -
Journal of Automated Reasoning — June 2015Author’s Pre-Print Version. …
https://www.cl.cam.ac.uk/~mom22/2015-jar-milawa.pdf25 Jun 2015: Journal of Automated Reasoning — June 2015Author’s Pre-Print Version. Official version: doi:10.1007/s10817-015-9324-6. The reflective Milawa theorem prover is sound(down to the machine code that runs it). Jared Davis Magnus O. Myreen. Received -
Parallax: Managing Storage for a Million Machines Andrew Warfield, ...
https://www.cl.cam.ac.uk/research/srg/netos/papers/2005-hotos-parallax.pdf30 Nov 2015: In Proc. 6th Symposium on Op-erating System Design and Implementation, pages77–90, 2004. -
Faster Jobs in Distributed Data Processing using Multi-Task Learning…
https://www.cl.cam.ac.uk/~ey204/teaching/ACS/R244_2019_2020/papers/yad_sdm_2015.pdf13 Sep 2015: The rate at which this datais growing has rendered parallel processing on commod-ity compute clusters an inevitable and an attractive op-tion. ... Trace norm regularization: reformulations, algo-rithms, and multi-task learning. SIAM Journal on -
Cicada: Introducing Predictive Guarantees for Cloud Networks Katrina…
https://www.cl.cam.ac.uk/~ey204/teaching/ACS/R212_2015_2016/papers/lacurts_HOTCLOUD_2014.pdf13 Sep 2015: We compare Cicada’s placement algorithm againstVOC’s on a simulated physical infrastructure with 71racks with 16 servers each, 10 VM slots per server, and(10G/Op)Gbps inter-rack links, ... bw factor 250x. Figure 3: Inter-rack bandwidth available -
Smart Data Structures: An Online Machine LearningApproach to…
https://www.cl.cam.ac.uk/~ey204/teaching/ACS/R244_2022_2023/papers/eastep_icac_2011.pdf14 Sep 2015: 300. 400. 500. 600. 700. oughpu. t (op. s/ms). Smart Queue14 threads. 300. 400. ... Producers perform only en-queue operations and skip the post computation between op-erations. -
Musketeer: all for one, one for all in data ...
https://www.cl.cam.ac.uk/research/srg/netos/musketeer/pubs/2015-eurosys-musketeer.pdf3 May 2015: a GROUP BY operator in a particular struc-ture: the body of the WHILE loop must contain a JOIN op-erator with two inputs that represent vertices and edges. ... We measure them using a “no-op” operator. LOAD,. Parameter DescriptionPULL Rate of data -
Soroban: Attributing Latency in Virtualized Environments James Snee,…
https://www.cl.cam.ac.uk/~acr31/pubs/snee-soroban.pdf5 Dec 2015: Services distinguish between simultaneous logicalevents through multiple calls to the start and end op-erations, thereby enabling differentiation based on ser-vice classification (e.g. -
OP-MOLB150120 2111..2129
www.jiggins.gen.cam.ac.uk/pdfs/Palmer2015.pdf10 Nov 2015: Article. Comparative Genomics Reveals the Origins and Diversity ofArthropod Immune SystemsWilliam J. Palmer,1 and Francis M. Jiggins11Department of Genetics, University of Cambridge, Cambridge, United Kingdom. Corresponding author: E-mail: -
Not-quite-so-broken TLS: lessons in re-engineering a security…
https://www.cl.cam.ac.uk/~pes20/nqsbtls-usenix-security15.pdf1 Jul 2015: Not-quite-so-broken TLS: lessons in re-engineering a security protocolspecification and implementation. David Kaloper-Meršinjak†, Hannes Mehnert†, Anil Madhavapeddy and Peter SewellUniversity of Cambridge Computer Laboratory. -
Workouts for Part IA CST 2015/16 Discrete Mathematics ...
https://www.cl.cam.ac.uk/teaching/1516/DiscMath/DiscMathProofsNumbersSetsWorkouts.pdf5 Nov 2015: a) R S = Rop Sop.(b) (R S)op = Rop Sop.(c) (R S)op = Rop Sop. -
Patents on Life conference attracts leading figures from law,…
https://www.vhi.st-edmunds.cam.ac.uk/copy_of_news/patents-on-life-conference-attracts-leading-figures-from-law-religion-and-ethics10 Sep 2015: The VHI conference 'seen here). The event was opened on the Friday morning by the Master of St Edmund's College, The Hon Matthew Bullock, and closed on the Saturday evening by the Director of the Von Hügel Institute, Professor John Loughlin. The -
SibylFS: formal specification and oracle-basedtesting for POSIX and…
https://www.cl.cam.ac.uk/~pes20/SOSP15-paper102-submitted.pdf6 Nov 2015: The conditional first checks whetherthe source and destination are the same, in which casethe rename is a no-op, and the checks do nothing. -
Non-blocking data structures and transactional memory
https://www.cl.cam.ac.uk/teaching/1516/R204/r204-tim-harris-2015/slides-tharris-6-locking.pdf11 Nov 2015: Thread 2. Thread 3. …. 1. Write proposed op. to req/resp table. ... Thread 1. Thread 2. Thread 3. …. 1. Write proposed op.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.