|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 88 occurrences of 70 keywords
|
|
|
Results
Found 823 publication records. Showing 780 according to the selection in the facets
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 |
|
Displaying result #501 - #600 of 780 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|