Search results for "cartier"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
63	Sagar Sen, Benoit Baudry, Jean-Marie Mottu	On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing.	ICST	2008	DBLP DOI BibTeX RDF	cartier, model tranformation, testing, alloy
61	Gabriel Cartier, Jean-François Cartier, José M. Fernandez 0001	Next-Generation DoS at the Higher Layers: A Study of SMTP Flooding.	NSS	2013	DBLP DOI BibTeX RDF
33	Vahid Nourozi	Application of the Cartier Operator in Coding Theory.	CoRR	2024	DBLP DOI BibTeX RDF
33	Nikhil Kakodkar, Dmitriy Rivkin, Bobak H. Baghi, Francois Robert Hogan, Gregory Dudek	CARTIER: Cartographic lAnguage Reasoning Targeted at Instruction Execution for Robots.	CoRR	2023	DBLP DOI BibTeX RDF
33	Sualeh Asif, Francesc Fité, Dylan Pentland, A. V. Sutherland	Computing L-polynomials of Picard curves from Cartier-Manin matrices.	Math. Comput.	2022	DBLP DOI BibTeX RDF
33	Francisco J. García-Peñalvo, Andrea Vázquez-Ingelmo, Alicia García-Holgado, Jesús Sampedro-Gómez, Antonio Sánchez-Puente, Víctor Vicente-Palacios, Pedro Ignacio Dorado-Díaz, Pedro L. Sánchez	Application of Artificial Intelligence Algorithms Within the Medical Context for Non-Specialized Users: the CARTIER-IA Platform.	Int. J. Interact. Multim. Artif. Intell.	2021	DBLP DOI BibTeX RDF
33	Andrea Vázquez-Ingelmo, Julia Alonso, Alicia García-Holgado, Francisco J. García-Peñalvo, Jesús Sampedro-Gómez, Antonio Sánchez-Puente, Víctor Vicente-Palacios, Pedro Ignacio Dorado-Díaz, Pedro L. Sánchez	Usability Study of CARTIER-IA: A Platform for Medical Data and Imaging Management.	HCI (23)	2021	DBLP DOI BibTeX RDF
33	Alain Couvreur	Codes and Cartier Operator	CoRR	2012	DBLP BibTeX RDF
33	Bruno Aveillan	L'odyssée de Cartier.	SIGGRAPH Asia Computer Animation Festival	2012	DBLP DOI BibTeX RDF
33	Alin Bostan, Pierrick Gaudry, Éric Schost	Linear Recurrences with Polynomial Coefficients and Application to Integer Factorization and Cartier-Manin Operator.	SIAM J. Comput.	2007	DBLP DOI BibTeX RDF
33	Alin Bostan, Pierrick Gaudry, Éric Schost	Linear Recurrences with Polynomial Coefficients and Computation of the Cartier-Manin Operator on Hyperelliptic Curves.	International Conference on Finite Fields and Applications	2003	DBLP DOI BibTeX RDF
33	Daniel Krob, Jean Mairesse, Ioannis Michos	On the average Cartier-Foata height of traces.	Electron. Notes Discret. Math.	2001	DBLP DOI BibTeX RDF
33	Ethan Lewis	A Variation on the Method of Cartier and Foata via Covering Systems for Combinatorial Identities.	Eur. J. Comb.	1994	DBLP DOI BibTeX RDF
33	W. Bennett	Envelope detection of a unit-index amplitude-modulated cartier accompanied by noise.	IEEE Trans. Inf. Theory	1974	DBLP DOI BibTeX RDF
31	Mauritz Cartier van Dissel, Pawel Góra, Dragos Manea	A Payne-Whitham model of urban traffic networks in the presence of traffic lights and its application to traffic optimisation.	CoRR	2024	DBLP DOI BibTeX RDF
31	Sachin Kumar Singh, Shreeman Gautam, Cameron Cartier, Sameer Patil, Robert Ricci	Where The Wild Things Are: Brute-Force SSH Attacks In The Wild And How To Stop Them.	NSDI	2024	DBLP BibTeX RDF
31	Thomas Cartier-Michaud, Philippe Ghendrih, Virginie Grandgirard, Eric Serre	Verification and accuracy check of simulations with PoPe and iPoPe.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
31	Rouba Iskandar, Kamel Allaw, Julie Dugdale, Elise Beck, Jocelyne Adjizian-Gérard, Cécile Cornou, Jacques Harb, Pascal Lacroix, Nada Badaro-Saliba, Stéphane Cartier, Rita Zaarour	Agent-based simulation of pedestrians' earthquake evacuation; application to Beirut, Lebanon.	CoRR	2023	DBLP DOI BibTeX RDF
31	Christoph Obermair, Thomas Cartier-Michaud, Andrea Apollonio, William Millar, Lukas Felsberger, Lorenz Fischl, Holger Severin Bovbjerg, Daniel Wollmann, Walter Wuensch, Nuria Catalan Lasheras, Marçà Boronat, Franz Pernkopf, Graeme Burt	Explainable Machine Learning for Breakdown Prediction in High Gradient RF Cavities.	CoRR	2022	DBLP BibTeX RDF
31	Svan Lembke, Youry Khmelevsky, Lee Cartier	Developing industry-wide information management capabilities: A case study from British Columbia's tree fruit industry.	CoRR	2021	DBLP BibTeX RDF
31	Charles Audet, Jean Bigeon, Dominique Cartier, Sébastien Le Digabel, Ludovic Salomon	Performance indicators in multiobjective optimization.	Eur. J. Oper. Res.	2021	DBLP DOI BibTeX RDF
31	Hannah Cartier, James Dinan, D. Brian Larkins	Optimizing Work Stealing Communication with Structured Atomic Operations.	ICPP	2021	DBLP DOI BibTeX RDF
31	Marc Beunardeau, Éric Brier, Noémie Cartier, Aisling Connolly, Nathanaël Courant, Rémi Géraud-Stewart, David Naccache, Ofer Yifrach-Stav	Optimal Covid-19 Pool Testing with a priori Information.	CoRR	2020	DBLP BibTeX RDF
31	Lukas Felsberger, Andrea Apollonio, Thomas Cartier-Michaud, Andreas Müller, Benjamin Todd, Dieter Kranzlmüller	Explainable Deep Learning for Fault Prognostics in Complex Systems: A Particle Accelerator Use-Case.	CD-MAKE	2020	DBLP DOI BibTeX RDF
31	Donovan Bach, Youry Khmelevsky, Svan Lembke, Lee Cartier	BC Tree Fruit System-of-Systems Information Architecture (Initial Design and Review).	SysCon	2020	DBLP DOI BibTeX RDF
31	Bruno Henrique dos Santos, Ruan Flaneto Cartier, João Pedro Duarte Silva, Guilherme Nunes Melo, José R. de Oliveira-Neto, João Paulo Cerquinho Cajueiro	Problem-based learning: design of a DC motor driver for combat robots.	LARS/SBR/WRE	2020	DBLP DOI BibTeX RDF
31	Eduard A. Cartier, Wanki Kim, Nanbo Gong, Tayfun Gokmen, Martin M. Frank, Douglas M. Bishop, Youngseok Kim, Seyoung Kim, Takashi Ando, Ernest Y. Wu, Praneet Adusumilli, John Rozen, Paul M. Solomon, Wilfried Haensch, Matthew J. BrightSky, Abu Sebastian, Geoffrey W. Burr, Vijay Narayanan	Reliability Challenges with Materials for Analog Computing.	IRPS	2019	DBLP DOI BibTeX RDF
31	Eduard Cartier, Martin M. Frank, Takashi Ando, John Rozen, Vijay Narayanan	PBTI in InGaAs MOS capacitors with Al2O3/HfO2/TiN gate stacks: Interface-state generation.	IRPS	2018	DBLP DOI BibTeX RDF
31	Emmanuel Cartier, Loïc Galand, Peter Stirling, Sara Aubry	Néonaute, Enrichissement sémantique pour la recherche d'information ().	CORIA-TALN-RJC (DeFT)	2018	DBLP BibTeX RDF
31	Hossein Mohammadi, Raymond Cartier, Rosaire Mongrain	The impact of the aortic valve impairment on the distant coronary arteries hemodynamics: a fluid-structure interaction study.	Medical Biol. Eng. Comput.	2017	DBLP DOI BibTeX RDF
31	Eduard Cartier, Atreya Majumdar, K.-T. Lee, Takashi Ando, Martin M. Frank, John Rozen, Keith A. Jenkins, C. Liang, C.-W. Cheng, John Bruley, M. Hopstaken, Pranita Kerber, J.-B. Yau, X. Sun, R. T. Mo, Chun-Chen Yeh, Effendi Leobandung, Vijay Narayanan	Electron mobility in thin In0.53Ga0.47As channel.	ESSDERC	2017	DBLP DOI BibTeX RDF
31	Emmanuel Cartier	Neoveille, a Web Platform for Neologism Tracking.	EACL (Software Demonstrations)	2017	DBLP DOI BibTeX RDF
31	Gaël Lejeune, Emmanuel Cartier	Character Based Pattern Mining for Neology Detection.	SWCN@EMNLP	2017	DBLP DOI BibTeX RDF
31	Virginie Grandgirard, Jérémie Abiteboul, Julien Bigot, Thomas Cartier-Michaud, Nicolas Crouseilles, Guilhem Dif-Pradalier, Charles Ehrlacher, Damien Estève, Xavier Garbet, Philippe Ghendrih, Guillaume Latu, Michel Mehrenberger, C. Norscini, Chantal Passeron, Fabien Rozar, Yanick Sarazin, Eric Sonnendrücker, A. Strugarek, David Zarzoso	A 5D gyrokinetic full-f global semi-Lagrangian code for flux-driven ion turbulence simulations.	Comput. Phys. Commun.	2016	DBLP DOI BibTeX RDF
31	Fabien Rozar, Christophe Steiner, Guillaume Latu, Michel Mehrenberger, Virginie Grandgirard, Julien Bigot, Thomas Cartier-Michaud, Jean Roman	Optilization of the gyroaverage operator based on hermite interpolation.	CoRR	2016	DBLP BibTeX RDF
31	Alexander D. Cartier, David H. Lee, Burak Kantarci, Luca Foschini 0001	IoT-Big Data Software Ecosystems for Smart Cities Sensing: Challenges, Open Issues, and Emerging Solutions.	ESOCC Workshops	2016	DBLP DOI BibTeX RDF
31	Guillaume Latu, Matthieu Haefele, Julien Bigot, Virginie Grandgirard, Thomas Cartier-Michaud, Fabien Rozar	Evaluating kernels on Xeon Phi to accelerate Gysela application.	CoRR	2015	DBLP BibTeX RDF
31	Hossein Mohammadi, Raymond Cartier, Rosaire Mongrain	Derivation of a simplified relation for assessing aortic root pressure drop incorporating wall compliance.	Medical Biol. Eng. Comput.	2015	DBLP DOI BibTeX RDF
31	P. Srinivasan, J. Fronheiser, S. Siddiqui, A. Kerber, L. F. Edge, Richard G. Southwick, Eduard Cartier	NBTI in Si0.5Ge0.5 RMG gate stacks - Effect of high-k nitridation.	IRPS	2015	DBLP DOI BibTeX RDF
31	Emmanuel Cartier	Extraction automatique de relations sémantiques dans les dé finitions : approche hybride, construction d'un corpus de relations sémantiques pour le français.	TALN (long papers)	2015	DBLP BibTeX RDF
31	Michel Mathieu-Colas, Emmanuel Cartier, Aude Grezka	Dictionnaires morphologiques du français contemporain : présentation de Morfetik, éléments d'un modèle pour le TAL.	TALN	2015	DBLP BibTeX RDF
31	Thomas Cartier-Michaud	Vérification de Codes et Réduction de Modèles : Application au Transport dans les Plasmas Turbulents. (Code Verification and Model Reduction : Application to Transport in Turbulent Plasmas ).		2015	RDF
31	Chantal Baril, Viviane Gascon, Stéphanie Cartier	Design and analysis of an outpatient orthopaedic clinic performance with discrete event simulation and design of experiments.	Comput. Ind. Eng.	2014	DBLP DOI BibTeX RDF
31	Danielle Ross, Aaron M. Kessler, Jennifer Cartier	Supporting Pre-Service Science Teachers' Planning of Task-Based Classroom Discussions.	ICLS	2014	DBLP BibTeX RDF
31	Aaron M. Kessler, Jennifer Cartier	Science Teacher Pedagogical Design Capacity with Technology in an Integrated Teacher Preparation Program.	ICLS	2014	DBLP BibTeX RDF
31	Soroush Nobari, Rosaire Mongrain, Richard L. Leask, Raymond Cartier	The effect of aortic wall and aortic leaflet stiffening on coronary hemodynamic: a fluid-structure interaction study.	Medical Biol. Eng. Comput.	2013	DBLP DOI BibTeX RDF
31	Barry P. Linder, Eduard Cartier, S. Krishnan, Ernest Y. Wu	Improving and optimizing reliability in future technologies with high-κ dielectrics.	VLSI-DAT	2013	DBLP DOI BibTeX RDF
31	Soroush Nobari, Rosaire Mongrain, Emmanuel Gaillard, Richard L. Leask, Raymond Cartier	Therapeutic Vascular Compliance Change May Cause Significant Variation in Coronary Perfusion: A Numerical Study.	Comput. Math. Methods Medicine	2012	DBLP DOI BibTeX RDF
31	Pierre Cartier	How to Take Advantage of the Blur Between the Finite and the Infinite.	Logica Universalis	2012	DBLP DOI BibTeX RDF
31	Saket Sathe 0001, Sebastian Cartier, Dipanjan Chakraborty 0001, Karl Aberer	Effectively modeling data from large-area community sensor networks.	IPSN	2012	DBLP DOI BibTeX RDF
31	Sebastian Cartier, Saket Sathe 0001, Dipanjan Chakraborty 0001, Karl Aberer	ConDense: Managing data in community-driven mobile geosensor networks.	SECON	2012	DBLP DOI BibTeX RDF
31	Franck Delaplace, Hanna Klaudel, Amandine Cartier-Michaud	Discrete causal model view of biological networks.	CMSB	2010	DBLP DOI BibTeX RDF
31	Pierre-André Buvet, Emmanuel Cartier, Fabrice Issac, Yassine Madiouni, Michel Mathieu-Colas, Salah Mejri	Morfetik, ressource lexicale pour le TAL.	TALN (Articles courts)	2009	DBLP BibTeX RDF
31	Pierre-André Buvet, Emmanuel Cartier, Fabrice Issac, Salah Mejri	Dictionnaires électroniques et étiquetage syntactico-sémantique.	TALN (Articles longs)	2007	DBLP BibTeX RDF
31	François Cartier, Brunilde Sansò, André Girard	An efficient heuristic to dimension large-scale hybrid optoelectronic networks.	Comput. Oper. Res.	2006	DBLP DOI BibTeX RDF
31	Manuel Cartier	An Agent-Based Model of Innovation Emergence in Organizations: Renault and Ford Through the Lens of Evolutionism.	Comput. Math. Organ. Theory	2004	DBLP DOI BibTeX RDF
31	Vangelis Karkaletsis, Constantine D. Spyropoulos, Dimitris Souflis, Claire Grover, Ben Hachey, Maria Teresa Pazienza, Michele Vindigni, Emmanuel Cartier, José Coch	Demonstration of the CROSSMARC System.	HLT-NAACL	2003	DBLP BibTeX RDF
31	Alessandro Lenci, Roberto Bartolini, Nicoletta Calzolari, Ana Agua, Stephan Busemann, Emmanuel Cartier, Karine Chevreau, José Coch	Multilingual Summarization by Integrating Linguistic Resources in the MLIS-MUSI Project.	LREC	2002	DBLP BibTeX RDF
31	Maurice Gagnaire, Nicolas Cartier	Source Policing at the Output of a DQDB/B-ISDN Interconnection Gateway.	INFOCOM	1994	DBLP DOI BibTeX RDF
31	François Bergeron, G. Cartier	Darwin: Computer Algebra and Enumerative Combinatorics.	STACS	1988	DBLP DOI BibTeX RDF
31	Michel Cartier	Obituary for Jean A. Dreyfus-Graf.	Speech Commun.	1985	DBLP DOI BibTeX RDF
31	D. E. Cartier	Partial Correlation Properties of Pseudonoise (PN) Codes in Noncoherent Synchronization/Detection Schemes.	IEEE Trans. Commun.	1976	DBLP DOI BibTeX RDF
31	Jean-Frédéric Zurcher, Patrick Graillot, Michael Cartier, Guy David, Pierre Breant, Jean-Pierre Van Uffelen	Speech digitalization with channel vocoders.	ICASSP	1976	DBLP DOI BibTeX RDF
31	D. E. Cartier	The Power Spectrum of PCM/FSK-AM/PM.	IEEE Trans. Commun.	1973	DBLP DOI BibTeX RDF
26	Sagar Sen, Benoit Baudry, Jean-Marie Mottu	Automatic Model Generation Strategies for Model Transformation Testing.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF
26	Simone Campanoni, Stefano Crespi-Reghizzi	Traces of Control-Flow Graphs.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
26	Anne Bouillard, Jean Mairesse	Generating Series of the Trace Group.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF