McMinnville Campus Library

7:30 am- 7:00 pm

Phone: (931) 668-7010

Fayetteville Campus Library

7:30 am - 7:00 pm

Phone: (931) 438-3012

Smyrna Campus Library

7:30 am - 9:00 pm

Phone: (615) 220-7815

Moore Co. Campus, Clayton-Glass Library

7:30 am - 9:00 pm

Phone: (931) 393-1670

Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Filter by : Subject Collection : Ecole Polytechnique, Universite Paris-Saclay

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Atmospheric deposition, CO2, and change in the land carbon sink

Authors : Fernández-Martínez, M.; Vicca, S.; Janssens, I. A. ...

Subjects: forest; usa; carbon

Source: ISSN: 2045-2322.

Read More Get Citations Add to Saved list

Academic Journal

Foraging habitats of lactating northern fur seals are structured by thermocline depths and submesoscale fronts in the eastern Bering Sea

Authors : Nordstrom, Chad A.; Battaile, Brian C.; Cotté, Cédric ...

Subjects: Habitat selection; First-passage time; Submesoscale features

Source: ISSN: 0967-0645.

Read More Get Citations Add to Saved list

Évaluer le socle commun : Comparaison franco - américaine

Authors : Andler, Daniel; Bottani, Norberto; Grisay, Aletta ...

Subjects: Comparaison internationale; Réussite des élèves; Socle commun de connaissances

Source: https://halshs.archives-ouvertes.fr/halshs-00676609 ; 2011.

Read More Get Citations Add to Saved list

Conference

Building a Commit-level Dataset of Real-world Vulnerabilities

Authors : Challande, Alexis; David, Robin; Renault, Guénaël ...

Subjects: Software security engineering; Vulnerability management security vulnerabilities; Security and privacyBaltimore MD USA; United States

Source: CODASPY 2022 - 12th ACM Conference on Data and Application Security and Privacy ; https://hal.archives-ouvertes.fr/hal-03477866 ; CODASPY 2022 - 12th ACM Conference on Data and Application Security

Read More Get Citations Add to Saved list

Conference

Adaptive HTAP through Elastic Resource Scheduling

Authors : Raza, Aunn; Chrysogelos, Periklis; Anadiotis, Angelos ...

Subjects: [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]; [INFO.INFO-DC]Computer Science [cs]/Distributed; ParallelPortland OR USA; United States

Source: SIGMOD/PODS '20 - International Conference on Management of Data ; https://hal.inria.fr/hal-03104617 ; SIGMOD/PODS '20 - International Conference on Management of Data, Jun 2020, Portland OR

Read More Get Citations Add to Saved list

Conference

A new multi-fluid model for space plasma simulations

Authors : Manuzzo, Roberto; Califano, F.; Belmont, Gérard ...

Subjects: [PHYS.PHYS.PHYS-PLASM-PH]Physics [physics]/Physics [physics]/Plasma Physics [physics.plasm-ph]; [PHYS.ASTR]Physics [physics]/Astrophysics [astro-ph]Washington D.C; USA; Unknown RegionWashington D.C, USA, Unknown Region

Source: 2018 AGU Fall Meetinghttps://hal.science/hal-028609772018 AGU Fall Meeting, 2018, Washington D.C, USA, Unknown Region. pp.SM11C-2792, 2018

Read More Get Citations Add to Saved list

Conference

Observability Normal Forms for a class of switched systems with zeno phenomena

Authors : yu, Lei; Barbot, Jean-Pierre; Boutat, Driss ...

Subjects: [INFO.INFO-AU]Computer Science [cs]/Automatic Control EngineeringSt. Louis; Missouri; USA

Source: 2009 American Control Conferencehttps://hal.inria.fr/inria-005301162009 American Control Conference, Jun 2009, St. Louis, Missouri, USA, United States

Read More Get Citations Add to Saved list

Conference

Constructing free Boolean categories

Authors : Lamarche, François; Straßburger, Lutz;

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Chicago/USA; United States

Source: 20th Annual IEEE Symposium on Logic in Computer Science - LICS 2005https://hal.inria.fr/hal-0001229620th Annual IEEE Symposium on Logic in Computer Science - LICS 2005, May 2005,

Read More Get Citations Add to Saved list

Conference

A Decision Procedure for Geometry in Coq

Authors : Narboux, Julien;

Subjects: area method; Coq; geometryPark City; USA; United States

Source: Lecture Notes In Computer Science ; Theorem Proving in Higher Order Logics 2004 ; https://hal.inria.fr/inria-00001035 ; Theorem Proving in Higher Order Logics 2004, Jul 2004, Park City,

Read More Get Citations Add to Saved list

Conference

Statistical analysis of solar events associated with SSC over year of solar maximum during cycle 23: 2. Characterisation on the Sun-Earth path - Geoeffectiveness

Authors : Cornilleau-Wehrlin, Nicole; Bocchialini, Karine; Menvielle, M. ...

Subjects: [PHYS.PHYS.PHYS-PLASM-PH]Physics [physics]/Physics [physics]/Plasma Physics [physics.plasm-ph]; [PHYS.ASTR]Physics [physics]/Astrophysics [astro-ph]New Orleans; Louisiane; USA

Source: AGU Fall meeting ; https://hal.science/hal-02861287 ; AGU Fall meeting, 2017, New Orleans, Louisiane, USA, Unknown Region. 31, 2017

Read More Get Citations Add to Saved list