Search results for "scala"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Onofrio Mario Di Vincenzo, Plamen Koshlukov, Roberto La Scala	Involutions for upper triangular matrix algebras.	Adv. Appl. Math.	2006	DBLP DOI BibTeX RDF
24	Barbara F. La Scala, William Moran 0001	Optimal target tracking with restless bandits.	Digit. Signal Process.	2006	DBLP DOI BibTeX RDF
24	Vesselin Drensky, Roberto La Scala	Gröbner bases of ideals invariant under endomorphisms.	J. Symb. Comput.	2006	DBLP DOI BibTeX RDF
24	Barbara F. La Scala, Mark R. Morelande, Craig O. Savage	Robust Target Tracking with Unreliable Binary Proximity Sensors.	ICASSP (4)	2006	DBLP DOI BibTeX RDF
24	Mahendra Mallick, Barbara F. La Scala	IMM Estimator for Ground Target Tracking with Variable Measurement Sampling Intervals.	FUSION	2006	DBLP DOI BibTeX RDF
24	Barbara F. La Scala	Scheduling Binary Proximity Sensors for Robust Target Tracking.	FUSION	2006	DBLP DOI BibTeX RDF
24	Craig O. Savage, Barbara F. La Scala, William Moran 0001	Optimal Scheduling for State Estimation Using a Terminal Cost Function.	FUSION	2006	DBLP DOI BibTeX RDF
24	Sofia Suvorova, Darko Musicki, William Moran 0001, Stephen D. Howard, Barbara F. La Scala	Multi step ahead beam and waveform scheduling for tracking of manoeuvering targets in clutter.	ICASSP (5)	2005	DBLP DOI BibTeX RDF
24	Barbara F. La Scala, Robin J. Evans 0001	Minimum Necessary Data Rates for Accurate Track Fusion.	CDC/ECC	2005	DBLP DOI BibTeX RDF
24	Jie Wang 0034, Chen Chen, Massimo La Scala	Parametric adaptive control of multimachine power systems with nonlinear loads.	IEEE Trans. Circuits Syst. II Express Briefs	2004	DBLP DOI BibTeX RDF
24	Darko Musicki, Barbara F. La Scala, Robin J. Evans 0001	Multi-target tracking in clutter without measurement assignment.	CDC	2004	DBLP DOI BibTeX RDF
24	Darko Musicki, Rob J. Evans 0001, Barbara F. La Scala	Multi-scan parametric target tracking in clutter.	CDC	2003	DBLP DOI BibTeX RDF
24	Barbara F. La Scala, Alfonso Farina	Choosing a track association method.	Inf. Fusion	2002	DBLP DOI BibTeX RDF
24	Giovannina Albano, Roberto La Scala	A Koszul Decomposition for the Computation of Linear Syzygies.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Linear Strands, Koszul syzygies, Block matrices, Sparse matrices, Betti Numbers
24	Francesco Amato 0001, Raffaele Iervolino, M. Pandit, Stefano Scala, L. Verde	Analysis of pilot-in-the-loop oscillations due to position and rate saturations.	CDC	2000	DBLP DOI BibTeX RDF
24	Anna Maria Bigatti, Roberto La Scala, Lorenzo Robbiano	Computing Toric Ideals.	J. Symb. Comput.	1999	DBLP DOI BibTeX RDF
24	Francesco Amato 0001, Raffaele Iervolino, Stefano Scala, L. Verde	A robust stability analysis approach for prediction of pilot in the loop oscillations.	ECC	1999	DBLP DOI BibTeX RDF
24	Raffaele Bolla, Franco Davoli, Bruno Pani, P. Scala	Filtering and Prediction Techniques in Radar Tracking of Vehicles for Assisted Driving.	ICIAP	1999	DBLP BibTeX RDF
24	Roberto La Scala, Michael Eugene Stillman	Strategies for Computing Minimal Free Resolutions.	J. Symb. Comput.	1998	DBLP DOI BibTeX RDF
24	Timothy P. Darr, William P. Birmingham, Nancy Scala	A Mad Approach for Solving Part-Selection Problems.	AID	1998	DBLP DOI BibTeX RDF
24	Francesco Amato 0001, Alfredo Pironti 0002, Stefano Scala	Necessary and sufficient conditions for quadratic stability and stabilizability of uncertain linear time-varying systems.	IEEE Trans. Autom. Control.	1996	DBLP DOI BibTeX RDF
24	Barbara F. La Scala, Robert R. Bitmead	Design of an extended Kalman filter frequency tracker.	IEEE Trans. Signal Process.	1996	DBLP DOI BibTeX RDF
24	Barbara F. La Scala, Robert R. Bitmead, Barry G. Quinn	An extended Kalman filter frequency tracker for high-noise environments.	IEEE Trans. Signal Process.	1996	DBLP DOI BibTeX RDF
24	Giovanni Aloisio, Mario A. Bochicchio, M. La Scala	Metacomputing for On-Line Stability Analysis in Power Systems: A Proposal.	HPCN	1996	DBLP DOI BibTeX RDF
24	Elliot Soloway, Shari L. Jackson, Jonathan Klein, Chris Quintana, James Reed, Jeff Spitulnik, Steven J. Stratford, Scott Studer, Jim Eng, Nancy Scala	Learning Theory in Practice: Case Studies of Learner-Centered Design.	CHI	1996	DBLP DOI BibTeX RDF	science applications, socioculturalism, case study, constructivism, educational applications, scaffolding, learner-centered design
24	Gene Alloway, Nathan Bos, Kathleen Hamel, Tracy Hammerman, Elisabeth Klann, Joseph Krajcik, David Lyons, Terry Madden, Jon Margerum-Leys, James Reed, Nancy Scala, Elliot Soloway, Ioanna Vekiri, Raven Wallace	Creating an Inquiry-Learning Environment Using the World Wide Web.	ICLS	1996	DBLP BibTeX RDF
24	Barbara F. La Scala, Robert R. Bitmead, Matthew R. James	Conditions for stability of the extended Kalman filter and their application to the frequency tracking problem.	Math. Control. Signals Syst.	1995	DBLP DOI BibTeX RDF
24	Barbara F. La Scala, Robert R. Bitmead	Design of an extended Kalman filter frequency tracker.	ICASSP (3)	1994	DBLP DOI BibTeX RDF
24	Roberto La Scala	An Algorithm for Complexes.	ISSAC	1994	DBLP DOI BibTeX RDF
24	Steve Scala, Roger McGrath Jr.	Advantages and disadvantages of electronic data interchange an industry perspective.	Inf. Manag.	1993	DBLP DOI BibTeX RDF
24	Jacques Calmet, Robert-Michel di Scala	Pascal as host language of computer algebra systems.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
24	Robert-Michel di Scala	SYPAC: a pascal based computer algebra system for micro-computers.	SIGSAM Bull.	1982	DBLP DOI BibTeX RDF
24	Robert-Michel di Scala	SYPAC : un système expérimental de calcul formel en Pascal.		1982	RDF
24	Patsy Scala	Artists and computers.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
24	Joseph Scala	Teaching art through computer graphics.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF
21	Eva Darulova	Towards a sound approximating compiler for numerical kernels (keynote).	SCALA@SPLASH	2020	DBLP DOI BibTeX RDF
21	Guido Salvaneschi, Nada Amin (eds.)	SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Event, USA, November, 2020	SCALA@SPLASH	2020	DBLP DOI BibTeX RDF
21	Nicolas Stucki, Aggelos Biboudis, Sébastien Doeraene, Martin Odersky	Semantics-preserving inlining for metaprogramming.	SCALA@SPLASH	2020	DBLP DOI BibTeX RDF
19	Enbo He, Yitong Hao, Yue Zhang, Guisheng Yin, Lina Yao	SCALA: Sparsification-based Contrastive Learning for Anomaly Detection on Attributed Networks.	CoRR	2024	DBLP DOI BibTeX RDF
19	José Proença, Luc Edixhoven	Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial).	CoRR	2023	DBLP DOI BibTeX RDF
19	Julien Richard-Foy	State of structural typing support in Scala 3.3.0.	CoRR	2023	DBLP DOI BibTeX RDF
19	Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Mirko Viroli	Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
19	Ala Othman Barzinji, Jixin Ma 0001, Chaoying Ma	SCALA: Scaling algorithm for multi-class imbalanced classification: A novel algorithm specifically designed for multi-class multiple minority imbalanced data problems.	ICMLT	2023	DBLP DOI BibTeX RDF
19	Francisco Ferreira 0001, Sung-Shik Jongmans	Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis.	ISSTA	2023	DBLP DOI BibTeX RDF
19	José Proença, Luc Edixhoven	Caos: A Reusable Scala Web Animator of Operational Semantics.	COORDINATION	2023	DBLP DOI BibTeX RDF
19	Davide Domini, Filippo Cavallari, Gianluca Aguzzi, Mirko Viroli	ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala.	COORDINATION	2023	DBLP DOI BibTeX RDF
19	Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença	API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact).	Dagstuhl Artifacts Ser.	2022	DBLP DOI BibTeX RDF
19	Roberto Casadei, Mirko Viroli, Gianluca Aguzzi, Danilo Pianini	ScaFi: A Scala DSL and Toolkit for Aggregate Programming.	SoftwareX	2022	DBLP DOI BibTeX RDF
19	Wahidur Rahman, Yisen Xu, Fan Pu, Jifeng Xuan, Xiangyang Jia, Michail Basios, Leslie Kanthan, Lingbo Li 0001, Fan Wu 0009, Baowen Xu	Clone Detection on Large Scala Codebases.	CoRR	2022	DBLP DOI BibTeX RDF
19	Minjia Zhang, Uma-Naresh Niranjan, Yuxiong He	ScaLA: Accelerating Adaptation of Pre-Trained Transformer-Based Language Models via Efficient Large-Batch Adversarial Noise.	CoRR	2022	DBLP BibTeX RDF
19	Ruslan Shevchenko	Embedding generic monadic transformer into Scala.	CoRR	2022	DBLP DOI BibTeX RDF
19	Fateme Esmailie, Mathieu Francoeur, Tim Ameel	Scala tympani phantom 3D model with heat source.		2022	DOI RDF
19	Li Fu, Xiaoxiao Li, Runyu Wang, Lu Fan, Zhengchen Zhang, Meng Chen 0006, Youzheng Wu, Xiaodong He 0001	SCaLa: Supervised Contrastive Learning for End-to-End Speech Recognition.	INTERSPEECH	2022	DBLP DOI BibTeX RDF
19	Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, José Proença	API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3.	ECOOP	2022	DBLP DOI BibTeX RDF
19	Ruslan Shevchenko	Project Paper: Embedding Generic Monadic Transformer into Scala - Can We Merge Monadic Programming into Mainstream?	TFP	2022	DBLP DOI BibTeX RDF
19	Alessia Cornaggia-Urrigshardt, Nikita Jarocky, Frank Kurth, Sebastian Urrigshardt, Kevin Wilkinghoff	SCALA-Speech: An Interactive System for Finding and Analyzing Speech Content in Audio Data.	GI-Jahrestagung	2022	DBLP DOI BibTeX RDF
19	Jad Hamza, Simon Felix, Viktor Kuncak, Ivo Nussbaumer, Filip Schramka	From Verified Scala to STIX File System Embedded Code Using Stainless.	NFM	2022	DBLP DOI BibTeX RDF
19	Gergely Nagy, Gábor Oláh, Zoltán Porkoláb	Type Inference of Simple Recursive Functions in Scala.	Acta Cybern.	2021	DBLP DOI BibTeX RDF
19	Néstor Rodríguez, David López, Alberto Fernández 0001, Salvador García 0001, Francisco Herrera	SOUL: Scala Oversampling and Undersampling Library for imbalance classification.	SoftwareX	2021	DBLP DOI BibTeX RDF
19	Andrew Dobis, Tjark Petersen, Kasper Juul Hesse Rasmussen, Enrico Tolotto, Hans Jakob Damsgaard, Simon Thye Andersen, Richard Lin, Martin Schoeberl	Open-Source Verification with Chisel and Scala.	CoRR	2021	DBLP BibTeX RDF
19	Li Fu, Xiaoxiao Li, Runyu Wang, Zhengchen Zhang, Youzheng Wu, Xiaodong He 0001, Bowen Zhou	SCaLa: Supervised Contrastive Learning for End-to-End Automatic Speech Recognition.	CoRR	2021	DBLP BibTeX RDF
19	Fateme Esmailie, Mathieu Francoeur, Tim Ameel	Experimental Validation of a Three-Dimensional Heat Transfer Model Within the Scala Tympani With Application to Magnetic Cochlear Implant Surgery.	IEEE Trans. Biomed. Eng.	2021	DBLP DOI BibTeX RDF
19	Klaus Havelund, Robert Bocchino	Integrated Modeling and Development of Component-Based Embedded Software in Scala.	ISoLA	2021	DBLP DOI BibTeX RDF
19	Xin Zhang, Jiwei Yan, Baoquan Cui, Jun Yan 0009, Jian Zhang 0001	Are the Scala Checks Effective? Evaluating Checks with Real-world Projects.	QRS	2021	DBLP DOI BibTeX RDF
19	Andrew Dobis, Tjark Petersen, Hans Jakob Damsgaard, Kasper Juul Hesse Rasmussen, Enrico Tolotto, Simon Thye Andersen, Richard Lin, Martin Schoeberl	ChiselVerify: An Open-Source Hardware Verification Library for Chisel and Scala.	NorCAS	2021	DBLP DOI BibTeX RDF
19	Gergely Nagy	Elements of Multiparadigm Programming in Scala		2021	RDF
19	Paolo G. Giarrusso, Léo Stefanesco, Amin Timany, Lars Birkedal, Robbert Krebbers	Scala step-by-step: soundness for DOT with step-indexed logical relations in Iris.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
19	François Serre, Markus Püschel	DSL-Based Hardware Generation with Scala: Example Fast Fourier Transforms and Sorting Networks.	ACM Trans. Reconfigurable Technol. Syst.	2020	DBLP DOI BibTeX RDF
19	Abel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu	Scala with Explicit Nulls (Artifact).	Dagstuhl Artifacts Ser.	2020	DBLP DOI BibTeX RDF
19	Yisen Xu, Xiangyang Jia, Fan Wu 0009, Lingbo Li 0001, Jifeng Xuan	Automatically Identifying Calling-Prone Higher-Order Functions of Scala Programs to Assist Testers.	J. Comput. Sci. Technol.	2020	DBLP DOI BibTeX RDF
19	Pascal Weisenburger, Guido Salvaneschi	Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala.	Art Sci. Eng. Program.	2020	DBLP DOI BibTeX RDF
19	Pascal Weisenburger, Guido Salvaneschi	Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala.	CoRR	2020	DBLP BibTeX RDF
19	Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann	Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala.	J. Funct. Program.	2020	DBLP DOI BibTeX RDF
19	Federico Avanzini, Adriano Baratè, Goffredo Haus, Luca A. Ludovico, Stavros Ntalampiras	Preservation and Promotion of Opera Cultural Heritage: The Experience of La Scala Theatre.	HCI (35)	2020	DBLP DOI BibTeX RDF
19	Abel Nieto, Yaoyu Zhao, Ondrej Lhoták, Angela Chang, Justin Pu	Scala with Explicit Nulls.	ECOOP	2020	DBLP DOI BibTeX RDF
19	Danail Penev, Phil Trinder	Comparing Reliability Mechanisms for Secure Web Servers: Comparing Actors, Exceptions and Futures in Scala.	WEBIST	2020	DBLP DOI BibTeX RDF
19	Raphael Jolly	Progress Report on the Scala Algebra System.	CASC	2020	DBLP DOI BibTeX RDF
19	Wahidur Rahman, Yisen Xu, Fan Pu, Jifeng Xuan, Xiangyang Jia, Michail Basios, Leslie Kanthan, Lingbo Li 0001, Fan Wu 0009, Baowen Xu	Clone Detection on Large Scala Codebases.	IWSC	2020	DBLP DOI BibTeX RDF
19	Alexander Alexandrov 0001	Scala.	Encyclopedia of Big Data Technologies	2019	DBLP DOI BibTeX RDF
19	Stanislav Poslavsky	Rings: An efficient Java/Scala library for polynomial rings.	Comput. Phys. Commun.	2019	DBLP DOI BibTeX RDF
19	Filip Krikava, Heather Miller, Jan Vitek	Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild.	CoRR	2019	DBLP BibTeX RDF
19	Eljose E. Sajan, Yunpeng Zhang, Liang-Chieh Cheng	Static Analyzers and Potential Future Research Directions for Scala: An Overview.	CoRR	2019	DBLP BibTeX RDF
19	Alexander A. Myltsev	parboiled2: a macro-based approach for effective generators of parsing expressions grammars in Scala.	CoRR	2019	DBLP BibTeX RDF
19	M. Cristina Heredia-Gómez, Salvador García 0001, Pedro Antonio Gutiérrez, Francisco Herrera	OCAPIS: R package for Ordinal Classification and Preprocessing in Scala.	Prog. Artif. Intell.	2019	DBLP DOI BibTeX RDF
19	Michal Janczykowski, Wojciech Turek, Maciej Malawski, Aleksander Byrski	Large-scale urban traffic simulation with Scala and high-performance computing system.	J. Comput. Sci.	2019	DBLP DOI BibTeX RDF
19	Yanqiang Liu, Yao Li 0004, Zhengwei Qi, Haibing Guan	A scala based framework for developing acceleration systems with FPGAs.	J. Syst. Archit.	2019	DBLP DOI BibTeX RDF
19	Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche	Verification of Model Transformations Using Isabelle/HOL and Scala.	Inf. Syst. Frontiers	2019	DBLP DOI BibTeX RDF
19	Bhim P. Upadhyaya	Data Structures and Algorithms with Scala - A Practitioner's Approach with Emphasis on Functional Programming		2019	DOI RDF
19	Raymond Blanch Mbah, Manjeet Rege, Bhabani Misra	Using Spark and Scala for Discovering Latent Trends in Job Markets.	ICCDA	2019	DBLP DOI BibTeX RDF
19	Tamino Dauth, Martin Sulzmann	Futures and promises in Haskell and Scala.	PEPM@POPL	2019	DBLP DOI BibTeX RDF
19	Seyed Hossein Haeri, Paul Keir	Composition of Languages Embedded in Scala.	FedCSIS	2019	DBLP DOI BibTeX RDF
19	Yunior Pacheco, Jonas De Bleser, Tim Molderez, Dario Di Nucci, Wolfgang De Meuter, Coen De Roover	Mining Scala Framework Extensions for Recommendation Patterns.	SANER	2019	DBLP DOI BibTeX RDF
19	Bernhard K. Aichernig, Benedikt Maderbacher, Stefan Tiran	Programming Behavioral Test Models for SMT Solving in Scala.	ICST Workshops	2019	DBLP DOI BibTeX RDF
19	Mohammadreza Ashouri, Christoph Kreitz	Scalayzer: a portable tool for vulnerability analysis in scala.	SEC	2019	DBLP DOI BibTeX RDF
19	Mohammadreza Ashouri	Detecting Input Sanitization Errors in Scala.	CANDAR Workshops	2019	DBLP DOI BibTeX RDF
19	Eljose E. Sajan, Yunpeng Zhang, Liang-Chieh Cheng	Static Analyzers and Potential Future Research Directions for Scala: An Overview.	ICCSE	2019	DBLP DOI BibTeX RDF
19	Jonas De Bleser, Dario Di Nucci, Coen De Roover	Assessing diffusion and perception of test smells in scala projects.	MSR	2019	DBLP DOI BibTeX RDF
19	Mohammadreza Ashouri, Christoph Kreitz	Hybrid Taint Flow Analysis in Scala.	SSCI	2019	DBLP DOI BibTeX RDF
19	Marianna Rapoport	A Path to DOT: Formalizing Scala with Dependent Object Types.		2019	RDF
19	Mahmoud Tavakoli, Carlos Viegas 0001, Lucio Sgrigna, Anibal T. de Almeida	SCALA: Scalable Modular Rail based Multi-agent Robotic System for Fine Manipulation over Large Workspaces.	J. Intell. Robotic Syst.	2018	DBLP DOI BibTeX RDF