SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Navas S.) srt2:(2015-2019)"

Sökning: WFRF:(Navas S.) > (2015-2019)

  • Resultat 1-10 av 11
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Aad, G., et al. (författare)
  • 2015
  • Tidskriftsartikel (refereegranskat)
  •  
2.
  •  
3.
  • Patrignani, C., et al. (författare)
  • REVIEW OF PARTICLE PHYSICS : Particle Data Group
  • 2016
  • Ingår i: Chinese Physics C. - : IOP Publishing. - 1674-1137 .- 2058-6132. ; 40:10
  • Tidskriftsartikel (refereegranskat)abstract
    • The Review summarizes much of particle physics and cosmology. Using data from previous editions, plus 3,062 new measurements from 721 papers, we list, evaluate, and average measured properties of gauge bosons and the recently discovered Higgs boson, leptons, quarks, mesons, and baryons. We summarize searches for hypothetical particles such as supersymmetric particles, heavy bosons, axions, dark photons, etc. All the particle properties and search limits are listed in Summary Tables. We also give numerous tables, figures, formulae, and reviews of topics such as Higgs Boson Physics, Supersymmetry, Grand Unified Theories, Neutrino Mixing, Dark Energy, Dark Matter, Cosmology, Particle Detectors, Colliders, Probability and Statistics. Among the 117 reviews are many that are new or heavily revised, including new reviews on Pentaquarks and Inflation. The complete Review is published online in a journal and on the website of the Particle Data Group (http://pdg.lbl.gov). The printed PDG Book contains the Summary Tables and all review articles but no longer includes the detailed tables from the Particle Listings. A Booklet with the Summary Tables and abbreviated versions of some of the review articles is also available.
  •  
4.
  • Goncąlves, C. S., et al. (författare)
  • A Dual-Colour Architecture for Pump-Probe Spectroscopy of Ultrafast Magnetization Dynamics in the Sub-10-femtosecond Range
  • 2016
  • Ingår i: Scientific Reports. - : Springer Science and Business Media LLC. - 2045-2322. ; 6
  • Tidskriftsartikel (refereegranskat)abstract
    • Current time-resolution-limited dynamic measurements clearly show the need for improved techniques to access processes on the sub-10-femtosecond timescale. To access this regime, we have designed and constructed a state-of-the-art time-resolved magneto-optic Kerr effect apparatus, based on a new dual-color scheme, for the measurement of ultrafast demagnetization and precessional dynamics in magnetic materials. This system can operate well below the current temporal ranges reported in the literature, which typically lie in the region of around 50 fs and above. We have used a dual-colour scheme, based on ultra broadband hollow-core fibre and chirped mirror pulse compression techniques, to obtain unprecedented sub-8-fs pump and probe pulse durations at the sample plane. To demonstrate the capabilities of this system for ultrafast demagnetization and precessional dynamics studies, we have performed measurements in a ferrimagnetic GdFeCo thin film. Our study has shown that the magnetization shows a sudden drop within the first picosecond after the pump pulse, a fast recovery (remagnetization) within a few picoseconds, followed by a clear oscillation or precession during a slower magnetization recovery. Moreover, we have experimentally confirmed for the first time that a sub-10-fs pulse is able to efficiently excite a magnetic system such as GdFeCo.
  •  
5.
  • Gonçalves, C. S., et al. (författare)
  • Ultrafast demagnetisation and precessional dynamics in GdFeCo thin Films using a new pump-probe system in the sub-8 femtosecond range
  • 2019
  • Ingår i: Proceedings 2015 European Conference on Lasers and Electro-Optics - European Quantum Electronics Conference, CLEO/Europe-EQEC 2015. - 9781467374750
  • Konferensbidrag (refereegranskat)abstract
    • New techniques capable of accessing ultrafast demagnetisation processes on the sub-10 femtosecond timescale are presently in great demand. Achieving a high temporal resolution in pump-probe time-resolved experiments is very important for studying ultrafast processes in matter, providing an ideal platform for understanding interaction mechanisms, such as the spin-orbit coupling, the exchange interaction, the structural anisotropy of the materials and the spin-phonon interaction, among others. These mechanisms are responsible for the modification of the magnetic order in nanostructures which are subject to an external perturbation on the temporal scale that extends from a few femtoseconds to the nanosecond regime
  •  
6.
  •  
7.
  • Avni, G., et al. (författare)
  • Computing scores of forwarding schemes in switched networks with probabilistic faults
  • 2017
  • Ingår i: Lecture Notes in Computer Science, Volume 10206. - Berlin, Heidelberg : Springer Verlag. - 9783662545799 ; , s. 169-187
  • Konferensbidrag (refereegranskat)abstract
    • Time-triggered switched networks are a deterministic communication infrastructure used by real-time distributed embedded systems. Due to the criticality of the applications running over them, developers need to ensure that end-to-end communication is dependable and predictable. Traditional approaches assume static networks that are not flexible to changes caused by reconfigurations or, more importantly, faults, which are dealt with in the application using redundancy. We adopt the concept of handling faults in the switches from non-real-time networks while maintaining the required predictability. We study a class of forwarding schemes that can handle various types of failures. We consider probabilistic failures. For a given network with a forwarding scheme and a constant ℓ, we compute the score of the scheme, namely the probability (induced by faults) that at least ℓ messages arrive on time. We reduce the scoring problem to a reachability problem on a Markov chain with a “product-like” structure. Its special structure allows us to reason about it symbolically, and reduce the scoring problem to #SAT. Our solution is generic and can be adapted to different networks and other contexts. Also, we show the computational complexity of the scoring problem is #P-complete, and we study methods to estimate the score. We evaluate the effectiveness of our techniques with an implementation.
  •  
8.
  • Avni, G., et al. (författare)
  • Synthesizing time-triggered schedules for switched networks with faulty links
  • 2016
  • Ingår i: Proceedings of the 13th International Conference on Embedded Software, EMSOFT 2016. - New York, NY, USA : ACM. - 9781450344852
  • Konferensbidrag (refereegranskat)abstract
    • Time-triggered (TT) switched networks are a deterministic communication infrastructure used by real-time distributed embedded systems. These networks rely on the notion of globally discretized time (i.e. time slots) and a static TT schedule that prescribes which message is sent through which link at every time slot, such that all messages reach their destination before a global timeout. These schedules are generated offline, assuming a static network with fault-free links, and entrusting all error-handling functions to the end user. Assuming the network is static is an over-optimistic view, and indeed links tend to fail in practice. We study synthesis of TT schedules on a network in which links fail over time and we assume the switches run a very simple error-recovery protocol once they detect a crashed link. We address the problem of finding a pk; qresistant schedule; namely, one that, assuming the switches run a fixed error-recovery protocol, guarantees that the number of messages that arrive at their destination by the timeout is at least no matter what sequence of at most k links fail. Thus, we maintain the simplicity of the switches while giving a guarantee on the number of messages that meet the timeout. We show how a pk; q-resistant schedule can be obtained using a CEGAR-like approach: find a schedule, decide whether it is pk; q-resistant, and if it is not, use the witnessing fault sequence to generate a constraint that is added to the program. The newly added constraint disallows the schedule to be regenerated in a future iteration while also eliminating several other schedules that are not pk; q-resistant. We illustrate the applicability of our approach using an SMT-based implementation.
  •  
9.
  •  
10.
  • Rodriguez-Navas, Guillermo, et al. (författare)
  • Safety vs. sustainability design : Analogies, differences and potential synergies
  • 2015
  • Ingår i: CEUR Workshop Proceedings. ; , s. 25-34
  • Konferensbidrag (refereegranskat)abstract
    • The idea that there are important parallels between safety and sustainability and that software engineers might be able to take lessons learned from safety and apply them to sustainability has been voiced and initially explored before. This paper extends the analysis of similarities, differences, and potential synergies between the two concepts, according to four different dimensions of these domains: systemicity, complexity, certification and social perception. Copyright © 2015 for this paper by its authors. Copying permitted for private and academic purposes.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-10 av 11

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy