Showing
1 - 8
results of
8
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
Keyword
Title
Author
Subject
Find
Advanced Search
Search Results - Dehbi, Lydia
Search Results - Dehbi, Lydia
Showing
1 - 8
results of
8
Refine Results
Sort
Relevance
Date Descending
Author
Title
1
Loading…
Heilbronn’s Problem of Eight Points in the Square
by
Dehbi, Lydia
,
Zeng, Zhenbing
Published in
Journal of systems science and complexity
Get full text
Items that this one cites
Article
Save to List
Saved in:
2
Loading…
Global Optimization for Heilbronn Problem of Convex Polygons Based on Bilinear Matrix Inequalities Solving
by
Qi, Niuniu
,
Dehbi, Lydia
,
Liu, Banglong
,
Yang, Zhengfeng
,
Zeng, Zhenbing
Published in
Journal of systems science and complexity
Get full text
Items that this one cites
Article
Save to List
Saved in:
3
Loading…
The number of tetrahedra sharing the same metric invariants via symbolic and numerical computations
by
Dehbi, Lydia
,
Zeng, Zhenbing
,
Yang, Lu
Published in
Journal of symbolic computation
Get full text
Items that this one cites
Article
Save to List
Saved in:
4
Loading…
Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems via Counterexample Guidance
by
Zhao, Hanrui
,
Liu, Banglong
,
Dehbi, Lydia
,
Xie, Huijiao
,
Yang, Zhengfeng
,
Qian, Haifeng
Published in
IEEE transactions on computer-aided design of integrated circuits and systems
Get full text
Article
Save to List
Saved in:
5
Loading…
Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning
by
Zhao, Hanrui
,
Qi, Niuniu
,
Dehbi, Lydia
,
Zeng, Xia
,
Yang, Zhengfeng
Published in
ACM transactions on embedded computing systems
Get full text
Items that this one cites
Article
Save to List
Saved in:
6
Loading…
Algebraic Curve Interpolation for Intervals via Symbolic-Numeric Computation
by
Dehbi, Lydia
,
Yang, Zhengfeng
,
Chao, Peng
,
Xu, Yaochen
,
Zeng, Zhenbing
Published in
arXiv.org
Get full text
Article
Save to List
Saved in:
7
Loading…
4-[(3-Hy-droxy-anil-ino)-(phenyl)-methyl-idene]-3-methyl-1-phenyl-1H-pyrazol-5(4H)-one
by
Saida, Keraghel
,
Fatiha, Benghanem
,
Ouarda, Dehbi
,
Ali, Ourari
,
Kamel, Ouari
,
Brelot, Lydia
Published in
Acta crystallographica. Section E, Structure reports online
Get full text
Article
Save to List
Saved in:
8
Loading…
4-[(3-Hydroxyanilino)(phenyl)methylidene]-3-methyl-1-phenyl-1 H -pyrazol-5(4 H )-one
by
Saida, Keraghel
,
Fatiha, Benghanem
,
Ouarda, Dehbi
,
Ali, Ourari
,
Kamel, Ouari
,
Brelot, Lydia
Published in
Acta crystallographica. Section E, Structure reports online
Get full text
Items that cite this one
Article
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit To
Peer Reviewed
5 results
5
Full Text
8 results
8
Format
Articles
8 results
8
Journal Title
Acta Crystallographica. Section E, Structure Reports Online
2 results
2
Journal Of Systems Science And Complexity
2 results
2
Acm Transactions On Embedded Computing Systems
1 results
1
Acta Crystallographica. Section E
1 results
1
Arxiv.org
1 results
1
Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems
1 results
1
Journal Of Symbolic Computation
1 results
1
Subjects
Science & Technology
5 results
5
Computer Science
3 results
3
Mathematics
3 results
3
Physical Sciences
3 results
3
Technology
3 results
3
Computer Science, Hardware & Architecture
2 results
2
Counterexample Guidance
2 results
2
Mathematics, Interdisciplinary Applications
2 results
2
Neural Networks
2 results
2
Optimization
2 results
2
Polynomials
2 results
2
Verification
2 results
2
Artificial Neural Networks
1 results
1
Barrier Certificate
1 results
1
Complex Systems
1 results
1
Computation
1 results
1
Computer Science, Interdisciplinary Applications
1 results
1
Computer Science, Software Engineering
1 results
1
Computer Science, Theory & Methods
1 results
1
Computer Systems Organization
1 results
1
Year of Publication
From:
To:
Source
Road: Directory Of Open Access Scholarly Resources
3 results
3
Ezb Electronic Journals Library
3 results
3
Wiley-Blackwell Journals
2 results
2
Springer Nature
2 results
2
Doaj Directory Of Open Access Journals
2 results
2
Free Full-Text Journals In Chemistry
2 results
2
Pubmed Central
2 results
2
Springerlink Contemporary 1997-Present
2 results
2
Acm Digital Library
1 results
1
Bacon - Elsevier - Global Sciencedirect-Openaccess
1 results
1
Association For Computing Machinery:jisc Collections:acm Open Journals 2023-2025 (Reading List)
1 results
1
Elsevier Sciencedirect Journals
1 results
1
Freely Accessible Journals
1 results
1
Sciencedirect Freedom Collection
1 results
1
Ieee Electronic Library (Iel) Journals
1 results
1
Ingentaconnect Journals
1 results
1
Ieee Xplore All Journals
1 results
1
Publicly Available Content Database
1 results
1