|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1190 occurrences of 745 keywords
|
|
|
Results
Found 2197 publication records. Showing 2197 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Kathi Fisler, Shriram Krishnamurthi |
Modular verification of collaboration-based software designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001, pp. 152-163, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
model checking, software architecture, aspect-oriented programming, compositional reasoning, computer-aided verification, collaboration-based design |
15 | Shailendra K. Bhonsle, Amarnath Gupta, Simone Santini, Ramesh C. Jain |
Semiorder Database for Complex Activity Recognition in Multi-Sensory Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28 - March 3, 2000, pp. 689-690, 2000, IEEE Computer Society, 0-7695-0506-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Semiorder database, semiorder composition, database, event, activity, semiorders |
15 | Christos Kloukinas, Valérie Issarny |
Automating the Composition of Middleware Configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The Fifteenth IEEE International Conference on Automated Software Engineering, ASE 2000, Grenoble, France, September 11-15, 2000, pp. 241-244, 2000, IEEE Computer Society, 0-7695-0710-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Configuration composition, Software architecture, Middleware, Software configuration |
15 | Don S. Batory, Bart J. Geraci |
Composition Validation and Subjectivity in GenVoca Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 23(2), pp. 67-84, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
composition validation, design rule checking, subjectivity, software generators, GenVoca |
15 | Riccardo Focardi |
Comparing Two Information Flow Security Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Ninth IEEE Computer Security Foundations Workshop, March 10 - 12, 1996, Dromquinna Manor, Kenmare, County Kerry, Ireland, pp. 116-122, 1996, IEEE Computer Society, 0-8186-7522-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
nondeducibility, security checker, software tool, automatic verification, noninterference, multilevel security |
15 | Filip Van Aelten, Jonathan Allen, Srinivas Devadas |
Verification of relations between synchronous machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12(12), pp. 1947-1959, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | János Demetrovics, Lajos Rónyai, Hua nam Son |
On the Composition and Decomposition of Attributes and Tuples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT'92, 4th International Conference, Berlin, Germany, October 14-16, 1992, Proceedings, pp. 71-85, 1992, Springer, 3-540-56039-4. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Younes Souissi |
Deterministic Systems of Sequential Processes: a class of structured Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991, pp. 406-426, 1991, Springer, 3-540-56689-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Deterministic system of sequential processes, composition, modularity, liveness, monotonicity, boundedness, properties preservation |
15 | Max J. Egenhofer |
Reasoning about Binary Topological Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: Advances in Spatial Databases, Second International Symposium, SSD'91, Zürich, Switzerland, August 28-30, 1991, Proceedings, pp. 143-160, 1991, Springer, 3-540-54414-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
15 | Paul J. Drongowski |
Representation in CAD: Models and semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985, pp. 131-135, 1985, ACM, 0-89791-150-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
15 | Richard C. Waters |
Expressional Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984, pp. 1-10, 1984, ACM Press, 0-89791-125-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
15 | Jane Fedorowicz |
Comments on Price/Performance Patterns of U.S. Computer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 24(9), pp. 585-586, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
14 | Vadim Sushko, Dan Zhang 0003, Juergen Gall, Anna Khoreva |
Generating novel scene compositions from single images and videos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Vis. Image Underst. ![In: Comput. Vis. Image Underst. 239, pp. 103888, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Jonah J. Glunt, Jacob A. Siefert, Andrew F. Thompson, Herschel C. Pangborn |
Error Bounds for Compositions of Piecewise Affine Approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.15601, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Jonathan Thomm, Aleksandar Terzic, Geethan Karunaratne, Giacomo Camposampiero, Bernhard Schölkopf, Abbas Rahimi |
Limits of Transformer Language Models on Learning Algorithmic Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.05785, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Andreas Maletti |
Compositions of Weighted Extended Tree Transducers - The Unambiguous Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 35(1&2), pp. 107-127, January & February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Ebrahim Navid Sadjadi |
LMI-Based Tracking Control of the Fuzzy Systems: Smooth Compositions Work Better. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Fuzzy Syst. ![In: Int. J. Fuzzy Syst. 26(2), pp. 449-462, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Narayan Choudhary, S. P. Tiwari, Shailendra Singh 0005 |
On compositions of (L-fuzzy) automata: A categorical approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 475, pp. 108749, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Sebastian Maneth, Helmut Seidl, Martin Vu |
Functionality of compositions of top-down tree transducers is decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 296, pp. 105131, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Anke Schulz |
Support Technologies in Knowledge Work: Project Team Compositions and 3D Development Pack Use in Gaming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024, pp. 247-256, 2024, ScholarSpace, 978-0-9981331-7-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
14 | Vasudev S. Mallan, Rohan Alex, Alex James 0001 |
Learning Chemical Compositions through Music. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCE ![In: IEEE International Conference on Consumer Electronics, ICCE 2024, Las Vegas, NV, USA, January 6-8, 2024, pp. 1-4, 2024, IEEE, 979-8-3503-2413-6. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Hao Liang Chen, Bob Hendrikx, Elena Torta, Herman Bruyninckx, René van de Molengraft |
Behavior adaptation for mobile robots via semantic map compositions of constraint-based controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Robotics AI ![In: Frontiers Robotics AI 10, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Amin Ghodousian, Mohammad Sedigh Chopannavaz |
Solving linear optimization problems subject to bipolar fuzzy relational equalities defined with max-strict compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 650, pp. 119696, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Prathmesh Madhu, Tilman Marquart, Ronak Kosti, Dirk Suckow, Peter Bell 0007, Andreas K. Maier, Vincent Christlein |
ICC++: Explainable feature learning for art history using image compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 136, pp. 109153, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Chengda Huang, Xiaoqing Lin, Bo Chen, Xiaozhen Feng, Hong Li, Yulei Chen, Yuqing Huang, Zhong Chen 0005 |
Targeted Probing of Compositions and Structures for Complex Sample Analyses by Singlet-Filtered Correlation NMR Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 72, pp. 1-11, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Emily M. Hastings, Vidushi Ojha, Benedict V. Austriaco, Karrie Karahalios, Brian P. Bailey |
Composing Team Compositions: An Examination of Instructors' Current Algorithmic Team Formation Practices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Hum. Comput. Interact. ![In: Proc. ACM Hum. Comput. Interact. 7(CSCW2), pp. 1-24, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Kitzler, Friedhelm Victor, Pietro Saggese, Bernhard Haslhofer |
Disentangling Decentralized Finance (DeFi) Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Web ![In: ACM Trans. Web 17(2), pp. 10:1-10:26, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Antonio García-Domínguez, Francisco Palomo-Lozano, Inmaculada Medina-Bulo, Alfredo Ibias, Manuel Núñez 0001 |
Computing performance requirements for web service compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Stand. Interfaces ![In: Comput. Stand. Interfaces 83, pp. 103664, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Bors, Qiang Wang |
Compositions and parities of complete mappings and of orthomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 196, pp. 105723, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Chang-Ai Sun, Zhen Wang, Zaixing Zhang, Luo Xu, Jun Han, Yanbo Han |
A feature-driven variability-enabled approach to adaptive service compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Web Grid Serv. ![In: Int. J. Web Grid Serv. 19(1), pp. 79-112, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Kalpdrum Passi, Shervin Assari, Amir Hossein Zolfaghari |
#BlackLivesMatter and Racism in Life Expectancy, Poverty, Educational Attainment, and Race Compositions: State Analysis of 2020 Tweets in the USA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.06480, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Grégory Bourguin, Arnaud Lewandowski, Myriam Lewkowicz |
Sharing Experience Around Component Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.18368, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Anubhav Dogra, Srikant Sekhar Padhee, Ekta Singla |
Optimal Compositions using Unconventional Modular Library for Customized Manipulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.08176, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Sergio Blanes, Fernando Casas, Luke Shaw |
Generalized extrapolation methods based on compositions of a basic 2nd-order scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.11581, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Yongqiang Cai |
Vocabulary for Universal Approximation: A Linguistic Perspective of Mapping Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.12205, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Kunal Jain, Prabuchandran K. J., Tejas Bodas |
Bayesian Optimization for Function Compositions with Applications to Dynamic Pricing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.11954, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Klaus Heeger, André Nichterlein, Rolf Niedermeier |
Parameterized Lower Bounds for Problems in P via Fine-Grained Cross-Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.00797, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ergun Akleman, Akhilesh Vijaykumar, Richard Furuta, Derya Akleman |
An Interactive Web-Based System for Creating Single Panel Cartoons with Visually Valid Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.13003, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Damitha Lenadora, Vimarsh Sathia, Gerasimos Gerogiannis, Serif Yesil, Josep Torrellas, Charith Mendis |
Input-sensitive dense-sparse primitive compositions for GNN acceleration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.15155, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Shijun Zhang, Jianfeng Lu 0001, Hongkai Zhao |
On Enhancing Expressive Power via Compositions of Single Fixed-Size ReLU Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.12353, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Nirat Saini, Hanyu Wang 0002, Archana Swaminathan, Vinoj Jayasundara 0001, Bo He 0004, Kamal Gupta 0002, Abhinav Shrivastava |
Chop & Learn: Recognizing and Generating Object-State Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2309.14339, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ana Aleksandric, Henry Isaac Anderson, Anisha Dangal, Gabriela Mustata Wilson, Shirin Nilizadeh |
Analyzing the Stance of Facebook Posts on Abortion Considering State-level Health and Social Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.09889, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Carlos Eduardo Padilla Leyferman, José Trinidad Guillen Bonilla, Juan Carlos Estrada Gutiérrez, Maricela Jiménez Rodríguez |
A novel technique for texture description and image classification based in RGB compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Commun. ![In: IET Commun. 17(10), pp. 1162-1176, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Roaa Elghondakly, Sherin M. Moussa, Nagwa L. Badr |
Service-oriented model-based fault prediction and localization for service compositions testing using deep learning techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 143, pp. 110430, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Hanchuan Pan, Lixing Yang, Zhe Liang |
Demand-oriented integration optimization of train timetabling and rolling stock circulation planning with flexible train compositions: A column-generation-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 305(1), pp. 184-206, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Hui Chen, Jingjing Jiang, Nanning Zheng 0001 |
Learning to Infer Unseen Single-/ Multi-Attribute-Object Compositions With Graph Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 45(10), pp. 12022-12037, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Sepideh Babaei, Jonathan Christ, Vivek Sehra, Ahmad Makky, Mohammed Zidane, Kilian Wistuba-Hamprecht, Christian M. Schürch, Manfred Claassen |
S3-CIMA: Supervised spatial single-cell image analysis for identifying disease-associated cell-type compositions in tissue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Patterns ![In: Patterns 4(9), pp. 100829, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Malte Blattmann, Andreas Maletti |
Compositions with Constant Weighted Extended Tree Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 34(6), pp. 539-558, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Yeyong Yu, Xing Wu 0001, Quan Qian |
Better utilization of materials' compositions for predicting their properties: Material composition visualization network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Appl. Artif. Intell. ![In: Eng. Appl. Artif. Intell. 117(Part), pp. 105539, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Yuefang Sun, Zemin Jin |
Semicomplete compositions of digraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 346(8), pp. 113420, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ryan Gabrys, Srilakshmi Pattabiraman, Olgica Milenkovic |
Reconstruction of Sets of Strings From Prefix/Suffix Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 71(1), pp. 3-12, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Mohd Hakimi, Madiah Binti Omar, Rosdiazli Ibrahim |
Application of Neural Network in Predicting H2S from an Acid Gas Removal Unit (AGRU) with Different Compositions of Solvents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(2), pp. 1020, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Zhongling Pi, Xinru Zhang, Xingyu Zhang, Ming Gao, Xiying Li |
Students' prior knowledge moderates the effects of group motivation compositions on learning from video lectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Br. J. Educ. Technol. ![In: Br. J. Educ. Technol. 54(6), pp. 1814-1836, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Jesús Ortiz 0002, Victoria Torres, Pedro Valderas |
Microservice compositions based on the choreography of BPMN fragments: facing evolution issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 105(2), pp. 375-416, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Nirat Saini, Hanyu Wang 0002, Archana Swaminathan, Vinoj Jayasundara 0001, Bo He 0004, Kamal Gupta 0002, Abhinav Shrivastava |
Chop & Learn: Recognizing and Generating Object-State Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: IEEE/CVF International Conference on Computer Vision, ICCV 2023, Paris, France, October 1-6, 2023, pp. 20190-20201, 2023, IEEE, 979-8-3503-0718-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Julian Seethaler, Michael Strohal, Peter Stütz |
Metrics and Metamodels for Mission-Based Assessment of Multi-Aircraft Force Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIMULTECH ![In: Proceedings of the 13th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2023, Rome, Italy, July 12-14, 2023., pp. 49-60, 2023, SCITEPRESS, 978-989-758-668-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Nhung Cao, Michal Burda, Stanislav Ozana |
Dynamic Evaluation of Fuzzy Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ ![In: IEEE International Conference on Fuzzy Systems, FUZZ 2023, Incheon, Republic of Korea, August 13-17, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-3228-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Marco Anisetti, Filippo Berto, Ruslan Bondaruc |
QoS-Aware Deployment of Service Compositions in 5G-Empowered Edge-Cloud Continuum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLOUD ![In: 16th IEEE International Conference on Cloud Computing, CLOUD 2023, Chicago, IL, USA, July 2-8, 2023, pp. 471-478, 2023, IEEE, 979-8-3503-0481-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Joseph Breeden, Dimitra Panagou |
Compositions of Multiple Control Barrier Functions Under Input Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2023, San Diego, CA, USA, May 31 - June 2, 2023, pp. 3688-3695, 2023, IEEE, 979-8-3503-2806-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Ari Rasch, Richard Schulze, Denys Shabalin, Anne Elster, Sergei Gorlatch, Mary W. Hall |
(De/Re)-Compositions Expressed Systematically via MDH-Based Schedules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, CC 2023, Montréal, QC, Canada, February 25-26, 2023, pp. 61-72, 2023, ACM, 979-8-4007-0088-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Sazzadur Rahaman, Miles Frantz, Barton P. Miller, Danfeng (Daphne) Yao |
SpanL: Creating Algorithms for Automatic API Misuse Detection with Program Analysis Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS Workshops ![In: Applied Cryptography and Network Security Workshops - ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings, pp. 515-529, 2023, Springer, 978-3-031-41180-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Kunal Jain, Prabuchandran K. J., Tejas Bodas |
Bayesian Optimization for Function Compositions with Applications to Dynamic Pricing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LION ![In: Learning and Intelligent Optimization - 17th International Conference, LION 17, Nice, France, June 4-8, 2023, Revised Selected Papers, pp. 62-77, 2023, Springer, 978-3-031-44504-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | David Hästbacka, Minh Tran, Petri Kannisto, Mikael Filppula, Pál Varga |
External Token-Based Authorization of Data-Driven Integrations and Service Compositions in MQTT 5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: 49th Annual Conference of the IEEE Industrial Electronics Society, IECON 2023, Singapore, October 16-19, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-3182-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Klaus Heeger, André Nichterlein, Rolf Niedermeier |
Parameterized Lower Bounds for Problems in P via Fine-Grained Cross-Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 40th International Symposium on Theoretical Aspects of Computer Science, STACS 2023, March 7-9, 2023, Hamburg, Germany., pp. 35:1-35:19, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-266-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Altarui, Marino Miculan, Matteo Paier |
DBCChecker: a Bigraph-based Tool for Checking Security Properties of Container Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITASEC ![In: Proceedings of the Italian Conference on Cyber Security (ITASEC 2023), Bari, Italy, May 2-5, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Lord Ikechukwu Ugwu, Yasser Morgan, Hussameldin Ibrahim |
Increasing Ethene Yield via Oxidative Coupling of Methane at Low Temperature: An Application of Machine Learning and DFT in the Design and Innovation of Effective Catalyst Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2023, Regina, SK, Canada, September 24-27, 2023, pp. 342-347, 2023, IEEE, 979-8-3503-2397-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Muaz Ali, Muhammad Muzammil, Faraz Karim, Ayesha Naeem, Rukhshan Haroon, Muhammad Haris, Huzaifah Nadeem, Waseem Sabir, Fahad Shaon, Fareed Zaffar, Vinod Yegneswaran, Ashish Gehani, Sazzadur Rahaman |
SoK: A Tale of Reduction, Security, and Correctness - Evaluating Program Debloating Paradigms and Their Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS (4) ![In: Computer Security - ESORICS 2023 - 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25-29, 2023, Proceedings, Part IV, pp. 229-249, 2023, Springer, 978-3-031-51481-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Abdelmalek Berkani, Adrian Holzer |
Clustering analysis of metered Arabic poetry compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 20th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2023, Giza, Egypt, December 4-7, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-1943-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Shijun Zhang, Jianfeng Lu 0001, Hongkai Zhao |
On Enhancing Expressive Power via Compositions of Single Fixed-Size ReLU Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: International Conference on Machine Learning, ICML 2023, 23-29 July 2023, Honolulu, Hawaii, USA., pp. 41452-41487, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
14 | Steven Jones, A. Brinton Cooper |
On the determination of GRAND noise sequences by employing integer compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISS ![In: 57th Annual Conference on Information Sciences and Systems, CISS 2023, Baltimore, MD, USA, March 22-24, 2023, pp. 1-6, 2023, IEEE, 978-1-6654-5181-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Bálint Mucsányi, Bálint Gyarmathy, Ádám Czapp, Balázs Pintér |
Flexible Example-Based Program Synthesis on Tree-Structured Function Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SN Comput. Sci. ![In: SN Comput. Sci. 3(3), pp. 218, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Soheila Sadeghiram, Hui Ma 0001, Gang Chen 0002 |
Priority-Based Selection of Individuals in Memetic Algorithms for Distributed Data-Intensive Web Service Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 15(5), pp. 2939-2953, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Kazuhisa Nakasho, Yuichi Futa |
Isomorphism between Spaces of Multilinear Maps and Nested Compositions over Real Normed Vector Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 30(1), pp. 67-77, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | S. Sabeena Begam, Vimala Jayakumar |
Compositions on lattice ordered multi-fuzzy soft matrix and its simulated application in medical diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 201, pp. 555-563, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Vít Jelínek, Toufik Mansour, José Luis Ramírez, Mark Shattuck |
Avoiding a pair of patterns in multisets and compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 133, pp. 102286, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Sheraz Naseer, Waqar Hussain, Yaser Daanial Khan, Nouman Rasool |
iPhosS(Deep)-PseAAC: Identification of Phosphoserine Sites in Proteins Using Deep Learning on General Pseudo Amino Acid Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 19(3), pp. 1703-1714, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Fernando Casas, Alejandro Escorihuela-Tomàs |
High order integrators obtained by linear combinations of symmetric-conjugate compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 414, pp. 126700, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Myroslav Sheremeta |
Hadamard Compositions of Gelfond-Leont'ev Derivatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 11(9), pp. 478, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Vincenzo G. Fiore, Xiaosi Gu |
Similar network compositions, but distinct neural dynamics underlying belief updating in environments with and without explicit outcomes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 247, pp. 118821, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Itai Zilberman, Ehud Rivlin, Vadim Indelman |
Incorporating Compositions in Qualitative Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 7(2), pp. 2660-2667, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Ebrahim Navid Sadjadi |
Smooth Compositions Made Stabilization of Fuzzy Systems: Easy and More Robust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Cybern. ![In: IEEE Trans. Cybern. 52(7), pp. 5819-5827, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Chao Zhou, Huimin Wang, Hongyu Zhao 0003, Tao Wang 0067 |
fastANCOM: a fast method for analysis of compositions of microbiomes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 38(7), pp. 2039-2041, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Kvak |
Towards Evaluation of Autonomously Generated Musical Compositions: A Comprehensive Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.04756, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Gerth |
A note on numerical singular values of compositions with non-compact operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.13185, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Jun Wang 0135, Samarth Kalluraya, Yiannis Kantaros |
Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.06130, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Utkarsh Gupta, Hessam Mahdavifar |
A New Algebraic Approach for String Reconstruction from Substring Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.09955, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Sebastian Maneth, Helmut Seidl, Martin Vu |
How to decide Functionality of Compositions of Top-Down Tree Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.01044, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Kirill Aleksandrovich Bashmur, V. S. Tynchenko, V. V. Bukhtoyarov, M. V. Saramud |
Robot-printer for creating elements of technological equipment for the production of components of biofuel compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.00890, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Joseph Breeden, Dimitra Panagou |
Compositions of Multiple Control Barrier Functions Under Input Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.01354, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Kaj Bostrom, Zayne Sprague, Swarat Chaudhuri, Greg Durrett |
Natural Language Deduction through Search over Statement Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.06028, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Ganeshsree Selvachandran, Shio Gai Quek, Le Hoang Son, Pham Huy Thong, Bay Vo, Tahani A. Abdusalam Hawari, Abdul Razak Salleh |
Relations and compositions between interval-valued complex fuzzy sets and applications for analysis of customers' online shopping preferences and behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 114, pp. 108082, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Margaret Archibald, Aubrey Blecher, Charlotte A. C. Brennan, Arnold Knopfmacher |
Protected Cells in Compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 16(1), pp. 1, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Alesom Zorzi, Celina M. H. de Figueiredo, Raphael C. S. Machado, Leandro M. Zatesko, Uéverton S. Souza |
Compositions, decompositions, and conformability for total coloring on power of cycle graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 323, pp. 349-363, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Li-Ping Yang, Tao Xin, Fang Luo, Sheng Zhang, Xuetao Tian |
Automated evaluation of the quality of ideas in compositions based on concept maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Lang. Eng. ![In: Nat. Lang. Eng. 28(4), pp. 449-486, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Ebrahim Navid Sadjadi |
Smooth compositions are candidates for robust fuzzy systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 426, pp. 66-93, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jakob Feldtkeller, David Knichel, Pascal Sasdrich, Amir Moradi 0001, Tim Güneysu |
Randomness Optimization for Gadget Compositions in Higher-Order Masking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Trans. Cryptogr. Hardw. Embed. Syst. ![In: IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022(4), pp. 188-227, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Jakob Feldtkeller, David Knichel, Pascal Sasdrich, Amir Moradi 0001, Tim Güneysu |
Randomness Optimization for Gadget Compositions in Higher-Order Masking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 882, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Harishma Boyapally, Sikhar Patranabis, Debdeep Mukhopadhyay |
XOR Compositions of Physically Related Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2022, pp. 954, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
14 | Jiangdong Ai, Stefanie Gerke, Gregory Z. Gutin, Yacong Zhou |
Extended path partition conjecture for semicomplete and acyclic compositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 345(11), pp. 113019, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Aaron Einbond, Thibaut Carpentier, Diemo Schwarz, Jean Bresson |
Embodying Spatial Sound Synthesis with AI in Two Compositions for Instruments and 3-D Electronics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Music. J. ![In: Comput. Music. J. 46(4), pp. 43-61, Winter 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 2197 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|