skip to main content
Language:
Results 1 2 3 4 5 next page
Show only
Refined by: collection: SpringerLink Journals - AutoHoldings remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Monitoring land use changes and its future prospects using cellular automata simulation and artificial neural network for Ahmedabad city, India
Monitoring land use changes and its future prospects using cellular automata simulation and artificial neural network for Ahmedabad city, India
Material Type:
Article 		Add to e-Shelf

Monitoring land use changes and its future prospects using cellular automata simulation and artificial neural network for Ahmedabad city, India

Yatoo, Saleem Ahmad ; Sahu, Paulami ; Kalubarme, Manik H. ; Kansara, Bhagirath B.

GeoJournal, 2022-04, Vol.87 (2), p.765-786 [Peer Reviewed Journal]

Dordrecht: Springer Netherlands

Full text available

Citations Cited by
2
From LTL to unambiguous Büchi automata via disambiguation of alternating automata
From LTL to unambiguous Büchi automata via disambiguation of alternating automata
Material Type:
Article 		Add to e-Shelf

From LTL to unambiguous Büchi automata via disambiguation of alternating automata

Jantsch, Simon ; Müller, David ; Baier, Christel ; Klein, Joachim

Formal methods in system design, 2021, Vol.58 (1-2), p.42-82 [Peer Reviewed Journal]

New York: Springer US

Full text available

Citations Cited by
3
On Relation Between Linear Temporal Logic and Quantum Finite Automata
On Relation Between Linear Temporal Logic and Quantum Finite Automata
Material Type:
Article 		Add to e-Shelf

On Relation Between Linear Temporal Logic and Quantum Finite Automata

Bhatia, Amandeep Singh ; Kumar, Ajay

Journal of logic, language, and information, 2020-06, Vol.29 (2), p.109-120 [Peer Reviewed Journal]

Dordrecht: Springer Netherlands

Full text available

Citations Cited by
4
State Machines for Large Scale Computer Software and Systems
State Machines for Large Scale Computer Software and Systems
Material Type:
Article 		Add to e-Shelf

State Machines for Large Scale Computer Software and Systems

Yodaiken, Victor

Formal aspects of computing, 2024-06, Vol.36 (2), p.1-23, Article 8 [Peer Reviewed Journal]

New York, NY: ACM

Full text available

Citations Cited by
5
Assessing and Modeling the Impacts of Wetland Land Cover Changes on Water Provision and Habitat Quality Ecosystem Services
Assessing and Modeling the Impacts of Wetland Land Cover Changes on Water Provision and Habitat Quality Ecosystem Services
Material Type:
Article 		Add to e-Shelf

Assessing and Modeling the Impacts of Wetland Land Cover Changes on Water Provision and Habitat Quality Ecosystem Services

Rahimi, Leila ; Malekmohammadi, Bahram ; Yavari, Ahmad Reza

Natural resources research (New York, N.Y.), 2020-12, Vol.29 (6), p.3701-3718 [Peer Reviewed Journal]

New York: Springer US

Full text available

Citations Cited by
6
Territorial dynamics of spatial growth in Kathmandu Valley, Nepal: understanding geographical notion of urban sustainability
Territorial dynamics of spatial growth in Kathmandu Valley, Nepal: understanding geographical notion of urban sustainability
Material Type:
Article 		Add to e-Shelf

Territorial dynamics of spatial growth in Kathmandu Valley, Nepal: understanding geographical notion of urban sustainability

Shrestha, Shobha ; Karna, Bikash Kumar ; Chapagain, Prem Sagar ; Dahal, Kedar ; Timalsina, Krishna ; Paudel, Narendra Raj

GeoJournal, 2024-01, Vol.89 (1), p.13, Article 13 [Peer Reviewed Journal]

Dordrecht: Springer Netherlands

Full text available

Citations Cited by
7
Spatio-temporal classification and prediction of land use and land cover change for the Vembanad Lake system, Kerala: a machine learning approach
Spatio-temporal classification and prediction of land use and land cover change for the Vembanad Lake system, Kerala: a machine learning approach
Material Type:
Article 		Add to e-Shelf

Spatio-temporal classification and prediction of land use and land cover change for the Vembanad Lake system, Kerala: a machine learning approach

Kulithalai Shiyam Sundar, Parthasarathy ; Deka, Paresh Chandra

Environmental science and pollution research international, 2022-12, Vol.29 (57), p.86220-86236 [Peer Reviewed Journal]

Berlin/Heidelberg: Springer Berlin Heidelberg

Full text available

Citations Cited by
8
Agent–cellular automata model for the dynamic fluctuation of EV traffic and charging demands based on machine learning algorithm
Agent–cellular automata model for the dynamic fluctuation of EV traffic and charging demands based on machine learning algorithm
Material Type:
Article 		Add to e-Shelf

Agent–cellular automata model for the dynamic fluctuation of EV traffic and charging demands based on machine learning algorithm

Zhai, Ziyu ; Su, Shu ; Liu, Rui ; Yang, Chao ; Liu, Cong

Neural computing & applications, 2019-09, Vol.31 (9), p.4639-4652 [Peer Reviewed Journal]

London: Springer London

Full text available

Citations Cited by
9
Practical synthesis of reactive systems from LTL specifications via parity games
Practical synthesis of reactive systems from LTL specifications via parity games
Material Type:
Article 		Add to e-Shelf

Practical synthesis of reactive systems from LTL specifications via parity games

Luttenberger, Michael ; Meyer, Philipp J ; Sickert Salomon

Acta informatica, 2020-04, Vol.57 (1-2), p.3-36 [Peer Reviewed Journal]

Heidelberg: Springer Nature B.V

Full text available

Citations Cited by
10
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata
Material Type:
Article 		Add to e-Shelf

Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata

Klein, Joachim ; Baier, Christel ; Chrszon, Philipp ; Daum, Marcus ; Dubslaff, Clemens ; Klüppelholz, Sascha ; Märcker, Steffen ; Müller, David

International journal on software tools for technology transfer, 2018-04, Vol.20 (2), p.179-194 [Peer Reviewed Journal]

Berlin/Heidelberg: Springer Berlin Heidelberg

Full text available

Citations Cited by
Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (95)

Creation Date 

From To
Refine
  1. Before1997  (6)
  2. 1997To2006  (11)
  3. 2007To2011  (15)
  4. 2012To2017  (22)
  5. After 2017  (44)
  6. More options open sub menu

Language 

  1. Japanese  (3)
  2. Portuguese  (1)
  3. Chinese  (1)
  4. More options open sub menu

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far