Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(where planning via solving Constraint Satisfaction Problem CSP is laid out CSP in planning is declarative without requiring prior specification of sub plans). Showing records 1 – 30 of 370935 total matches.

[1] [2] [3] [4] [5] … [12365]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters

1. Tay, Noel Nuo Wi. Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化.

Degree: 博士(工学), 2017, Tokyo Metropolitan University / 首都大学東京

首都大学東京, 2017-03-25, 博士(工学)

Subjects/Keywords: Smart home consists of various kinds of Internet of Tings (IoT) devices connected to the private house that cooperatively provide inhabitants (users) with proactive services related to comfort; security and safety. Examples of services include 1) manipulation of lighting and temperature based on time and context; 2) reminder service of user’s schedules by using the nearest output device; and 3) device organization to realize surveillance system. However; current smart homes are developed mostly from the viewpoint of technical capabilities; where users have to decide how the connected devices are going to serve them. They may have to setup the devices based on the available functionalities and specifications of the devices; and also have to alter their living styles according to the role of each device. Besides; most devices can only provide simple services independently. Œus; cooperation among the devices is important. On the other hand; human-centric approach; which centered on humans’ need to enhance their living experience; is an important technological paradigm where services are provided anywhere and anytime based on situation. Smart home abiding this approach should cooperatively maximize fulfillment of quality of life (QOL) for individual users subject to personal constraints. In this respect; the devices are bound to enable communication of information; and their operations are coordinated to deliver services cooperatively via a sequence of device actions called a plan. Due to personalization and automation; a number of problems have to be solved. First; a means of automatic binding between loosely coupled devices depending on services delivered have to be devised; as manual setup is impractical. Secondly; coordination of devices needs to generate complex plans; without requiring manual specification of sub-plans. Besides; issue of over-constrained goals during service provisions that arises from flawed or contradicting specification from multiple users should be considered. Apart from that; low training data in general environment setting for individual identification should be addressed. The aim of this research is to establish an integrated system for the human-centric smart home (HcSH) that provides personalized service through loosely coupled devices automatically. This research modularizes the overall system into three modules; which are human identification (HIM); automated planner (APM); and semantic reasoner (SRM). HIM helps select the appropriate QOL; SRM binds the devices by associating them with planning components; which are then used by APM to generate plans for device coordination to maximize QOL fulfillment. Chapter 1 gives the introduction and design motivation. Chapter 2 presents the related works and literature reviews; as well as justifications relevant to this thesis. Chapter 3 deals with HIM; which is realized via face identification. For face identification; problems faced are heavy computational load and insufficient learning data. The solution is to use transfer learning to handle data issue while being able to build generalized face model. For face model refinement; active learning is implemented. Experimental results show the method is competitive in terms of accuracy and computational cost compared to current state of the art. Chapter 4 presents APM; where planning via solving Constraint Satisfaction Problem (CSP) is laid out. CSP in planning is declarative without requiring prior specification of sub-plans; and can handle variables of larger domains. Due to the high possibility of having over-constrained QOL as in practical cases; CSP planner cannot fulfill all of them. An example is a contradicting TV channel request from 2 persons. Optimization through weighted CSP is therefore used to maximize QOL fulfillment. Experiments on weighted CSP shows that the method is capable of performing optimization while generating complex plans. Chapter 5 is on SRM; where knowledge representation is constructed by Web Ontology Language (OWL) description logic. It models knowledge on home and building layout and device functionalities. OWL is used because it is decidable and that it is endorsed by World Wide Web Consortium (W3C). We deal with case studies based on further inference on building state as an important example to discuss the applicability of the proposed method; and demonstrate the use of building ontology. This is followed by automated device binding and the method to generate basic planning components of rules in automated planning. Finally; an extension to robot complex planning is provided to demonstrate how it can be easily extended. Chapter 6 demonstrates the applicability of the HcSH; which integrates all three modules through its implementation in a prototype smart home with 5 rooms; which houses 2 persons. Various tests are performed to show the generated plans are near optimal without redundancy. Œe system is also shown to be scalable given increasing amount of devices. Case studies show that the system can perform well even under short time threshold. Finally; chapter 7 summarizes the thesis. Future vision of the work is also laid out; which is to implement it as a community-centric system.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tay, N. N. W. (2017). Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化. (Thesis). Tokyo Metropolitan University / 首都大学東京. Retrieved from http://hdl.handle.net/10748/00009960

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Tay, Noel Nuo Wi. “Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化.” 2017. Thesis, Tokyo Metropolitan University / 首都大学東京. Accessed November 27, 2020. http://hdl.handle.net/10748/00009960.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Tay, Noel Nuo Wi. “Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化.” 2017. Web. 27 Nov 2020.

Vancouver:

Tay NNW. Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化. [Internet] [Thesis]. Tokyo Metropolitan University / 首都大学東京; 2017. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/10748/00009960.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Tay NNW. Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化. [Thesis]. Tokyo Metropolitan University / 首都大学東京; 2017. Available from: http://hdl.handle.net/10748/00009960

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

2. Trojet, Mariem. Planification d'une chaîne logistique : approche par satisfaction de contraintes dynamiques : Supply chain planning : a dynamic constraint satisfaction approach.

Degree: Docteur es, Génie Industriel, 2014, Toulouse, INSA; École nationale d'ingénieurs de Tunis (Tunisie)

Le sujet de thèse porte sur la planification tactique et opérationnelle d’une chaîne logistique dans un contexte dynamique. Nous proposons un modèle de planification basé… (more)

Subjects/Keywords: Chaîne logistique; Planification / Ordonnancement; Approche intégrée; Problèmes de satisfaction de contraintes (CSP); CSP dynamique; Stabilité; Robustesse; Supply chain; Planning / Scheduling; Integrated approach; Dynamic; Constraint Satisfaction; Stability; Robustness; 658

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Trojet, M. (2014). Planification d'une chaîne logistique : approche par satisfaction de contraintes dynamiques : Supply chain planning : a dynamic constraint satisfaction approach. (Doctoral Dissertation). Toulouse, INSA; École nationale d'ingénieurs de Tunis (Tunisie). Retrieved from http://www.theses.fr/2014ISAT0012

Chicago Manual of Style (16th Edition):

Trojet, Mariem. “Planification d'une chaîne logistique : approche par satisfaction de contraintes dynamiques : Supply chain planning : a dynamic constraint satisfaction approach.” 2014. Doctoral Dissertation, Toulouse, INSA; École nationale d'ingénieurs de Tunis (Tunisie). Accessed November 27, 2020. http://www.theses.fr/2014ISAT0012.

MLA Handbook (7th Edition):

Trojet, Mariem. “Planification d'une chaîne logistique : approche par satisfaction de contraintes dynamiques : Supply chain planning : a dynamic constraint satisfaction approach.” 2014. Web. 27 Nov 2020.

Vancouver:

Trojet M. Planification d'une chaîne logistique : approche par satisfaction de contraintes dynamiques : Supply chain planning : a dynamic constraint satisfaction approach. [Internet] [Doctoral dissertation]. Toulouse, INSA; École nationale d'ingénieurs de Tunis (Tunisie); 2014. [cited 2020 Nov 27]. Available from: http://www.theses.fr/2014ISAT0012.

Council of Science Editors:

Trojet M. Planification d'une chaîne logistique : approche par satisfaction de contraintes dynamiques : Supply chain planning : a dynamic constraint satisfaction approach. [Doctoral Dissertation]. Toulouse, INSA; École nationale d'ingénieurs de Tunis (Tunisie); 2014. Available from: http://www.theses.fr/2014ISAT0012

3. Andrade, Tales Pinheiro de. Interações gênicas usando redes booleanas limiarizadas modeladas como um problema de satisfação de restrições.

Degree: Mestrado, Ciência da Computação, 2012, University of São Paulo

As reações químicas que resultam da expressão de genes são complexas e ainda não são total- mente compreendidas. Sabe-se que os genes enviam, recebem, e… (more)

Subjects/Keywords: Boolean networks; Constraint Satisfaction Problem; CSP; CSP; Inference of genetic networks; Inferência de redes gênicas; Problema de Satisfação de Restrições; redes gênicas

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Andrade, T. P. d. (2012). Interações gênicas usando redes booleanas limiarizadas modeladas como um problema de satisfação de restrições. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05062012-150618/ ;

Chicago Manual of Style (16th Edition):

Andrade, Tales Pinheiro de. “Interações gênicas usando redes booleanas limiarizadas modeladas como um problema de satisfação de restrições.” 2012. Masters Thesis, University of São Paulo. Accessed November 27, 2020. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05062012-150618/ ;.

MLA Handbook (7th Edition):

Andrade, Tales Pinheiro de. “Interações gênicas usando redes booleanas limiarizadas modeladas como um problema de satisfação de restrições.” 2012. Web. 27 Nov 2020.

Vancouver:

Andrade TPd. Interações gênicas usando redes booleanas limiarizadas modeladas como um problema de satisfação de restrições. [Internet] [Masters thesis]. University of São Paulo; 2012. [cited 2020 Nov 27]. Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05062012-150618/ ;.

Council of Science Editors:

Andrade TPd. Interações gênicas usando redes booleanas limiarizadas modeladas como um problema de satisfação de restrições. [Masters Thesis]. University of São Paulo; 2012. Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-05062012-150618/ ;


University of New South Wales

4. Drescher, Christian. Conflict-driven constraint answer set solving.

Degree: Computer Science & Engineering, 2015, University of New South Wales

Constraint answer set programming (CASP) is a declarative problem solving paradigm that combines the strengths of answer set programming (ASP) and constraint programming (CP). ASP… (more)

Subjects/Keywords: Answer Set Programming; Artificial Intelligence; Declarative Problem Solving; Logic Programming; All-Different; Grammar; Reachability; Unfounded Sets; Well-founded Justification; Well-founded Domination; Support Flowgraph; Conflict-driven Nogood Learning; Lazy Nogood Generation; Constraint Answer Set Solving; ASP; CSP; CP; CASP; Constraint Programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Drescher, C. (2015). Conflict-driven constraint answer set solving. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/54397 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:34911/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Drescher, Christian. “Conflict-driven constraint answer set solving.” 2015. Doctoral Dissertation, University of New South Wales. Accessed November 27, 2020. http://handle.unsw.edu.au/1959.4/54397 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:34911/SOURCE02?view=true.

MLA Handbook (7th Edition):

Drescher, Christian. “Conflict-driven constraint answer set solving.” 2015. Web. 27 Nov 2020.

Vancouver:

Drescher C. Conflict-driven constraint answer set solving. [Internet] [Doctoral dissertation]. University of New South Wales; 2015. [cited 2020 Nov 27]. Available from: http://handle.unsw.edu.au/1959.4/54397 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:34911/SOURCE02?view=true.

Council of Science Editors:

Drescher C. Conflict-driven constraint answer set solving. [Doctoral Dissertation]. University of New South Wales; 2015. Available from: http://handle.unsw.edu.au/1959.4/54397 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:34911/SOURCE02?view=true

5. Kormann, Benjamin. Automatische Testdatengenerierung zur Absicherung fehlerbehafteter reaktiver Automatisierungssysteme.

Degree: 2016, Technische Universität Dortmund

Durch den steigenden Funktionsumfang moderner Maschinen und Anlagen erhöht sich insbesondere die Komplexität der Steuerungssoftware. Der Test im Allgemeinen und der SPS Steuerungssoftware im Speziellen,… (more)

Subjects/Keywords: Abschlussarbeit; doctoral thesis; ddc:004; SPS-Steuerungssoftware  – Laufzeitverhalten  – Constraint Satisfaction Problem (CSP)  – Testr

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kormann, B. (2016). Automatische Testdatengenerierung zur Absicherung fehlerbehafteter reaktiver Automatisierungssysteme. (Thesis). Technische Universität Dortmund. Retrieved from https://doi.org/10.21268/20161212-141647 ; https://nbn-resolving.org/urn:nbn:de:gbv:104-20161222-085708-6 ; https://dokumente.ub.tu-clausthal.de/receive/clausthal_mods_00000427 ; https://dokumente.ub.tu-clausthal.de/servlets/MCRFileNodeServlet/clausthal_derivate_00000206/Db%20112974.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Kormann, Benjamin. “Automatische Testdatengenerierung zur Absicherung fehlerbehafteter reaktiver Automatisierungssysteme.” 2016. Thesis, Technische Universität Dortmund. Accessed November 27, 2020. https://doi.org/10.21268/20161212-141647 ; https://nbn-resolving.org/urn:nbn:de:gbv:104-20161222-085708-6 ; https://dokumente.ub.tu-clausthal.de/receive/clausthal_mods_00000427 ; https://dokumente.ub.tu-clausthal.de/servlets/MCRFileNodeServlet/clausthal_derivate_00000206/Db%20112974.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Kormann, Benjamin. “Automatische Testdatengenerierung zur Absicherung fehlerbehafteter reaktiver Automatisierungssysteme.” 2016. Web. 27 Nov 2020.

Vancouver:

Kormann B. Automatische Testdatengenerierung zur Absicherung fehlerbehafteter reaktiver Automatisierungssysteme. [Internet] [Thesis]. Technische Universität Dortmund; 2016. [cited 2020 Nov 27]. Available from: https://doi.org/10.21268/20161212-141647 ; https://nbn-resolving.org/urn:nbn:de:gbv:104-20161222-085708-6 ; https://dokumente.ub.tu-clausthal.de/receive/clausthal_mods_00000427 ; https://dokumente.ub.tu-clausthal.de/servlets/MCRFileNodeServlet/clausthal_derivate_00000206/Db%20112974.pdf.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Kormann B. Automatische Testdatengenerierung zur Absicherung fehlerbehafteter reaktiver Automatisierungssysteme. [Thesis]. Technische Universität Dortmund; 2016. Available from: https://doi.org/10.21268/20161212-141647 ; https://nbn-resolving.org/urn:nbn:de:gbv:104-20161222-085708-6 ; https://dokumente.ub.tu-clausthal.de/receive/clausthal_mods_00000427 ; https://dokumente.ub.tu-clausthal.de/servlets/MCRFileNodeServlet/clausthal_derivate_00000206/Db%20112974.pdf

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Dayton

6. Atahary, Tanvir. Acceleration of Cognitive Domain Ontologies.

Degree: PhD, Electrical Engineering, 2016, University of Dayton

 This thesis examined several acceleration efforts of knowledge mining from Cognitive Domain Ontologies (CDOs), which is a knowledge repository in the Cognitively Enhanced Complex Event… (more)

Subjects/Keywords: Computer Science; Computer Engineering; Cognitive Psychology; Electrical Engineering; Acceleration of constraint satisfaction problem; parallel CSP; Parallel forward checking algorithm; parallel DFS; cognitive agent; knowledge mining; data mining

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Atahary, T. (2016). Acceleration of Cognitive Domain Ontologies. (Doctoral Dissertation). University of Dayton. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=dayton1460734067

Chicago Manual of Style (16th Edition):

Atahary, Tanvir. “Acceleration of Cognitive Domain Ontologies.” 2016. Doctoral Dissertation, University of Dayton. Accessed November 27, 2020. http://rave.ohiolink.edu/etdc/view?acc_num=dayton1460734067.

MLA Handbook (7th Edition):

Atahary, Tanvir. “Acceleration of Cognitive Domain Ontologies.” 2016. Web. 27 Nov 2020.

Vancouver:

Atahary T. Acceleration of Cognitive Domain Ontologies. [Internet] [Doctoral dissertation]. University of Dayton; 2016. [cited 2020 Nov 27]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=dayton1460734067.

Council of Science Editors:

Atahary T. Acceleration of Cognitive Domain Ontologies. [Doctoral Dissertation]. University of Dayton; 2016. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=dayton1460734067


University of Illinois – Urbana-Champaign

7. Sethi, Ruchika. Effective information systems planning.

Degree: PhD, 0079, 2014, University of Illinois – Urbana-Champaign

 Information Systems (IS) managers need to optimize and balance multiple objectives, manage resources, prioritize projects, enforce alignment with business goals, etc. while making IT investment… (more)

Subjects/Keywords: Information Systems (IS); Information Systems (IS) Planning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sethi, R. (2014). Effective information systems planning. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/50606

Chicago Manual of Style (16th Edition):

Sethi, Ruchika. “Effective information systems planning.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed November 27, 2020. http://hdl.handle.net/2142/50606.

MLA Handbook (7th Edition):

Sethi, Ruchika. “Effective information systems planning.” 2014. Web. 27 Nov 2020.

Vancouver:

Sethi R. Effective information systems planning. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/2142/50606.

Council of Science Editors:

Sethi R. Effective information systems planning. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/50606

8. Blet, Loïc. Configuration automatique d’un solveur générique intégrant des techniques de décomposition arborescente pour la résolution de problèmes de satisfaction de contraintes : Automatic configuration of generic solver embedding tree-decomposition techniques for solving constraint satisfaction problems.

Degree: Docteur es, Informatique, 2015, INSA Lyon

La programmation par contraintes intègre des algorithmes de résolution génériques dans des langages de modélisation déclaratifs basés sur les contraintes : ces langages permettent de… (more)

Subjects/Keywords: Informatique; Problème de satisfaction de contrainte; Programmation par contrainte; Intelligence artificielle; Apprentissage; IT - Information technology; CSP - Constraint Satisfaction Problem; Constraint programming; Artificial intelligence; Learning; 006.307 2

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Blet, L. (2015). Configuration automatique d’un solveur générique intégrant des techniques de décomposition arborescente pour la résolution de problèmes de satisfaction de contraintes : Automatic configuration of generic solver embedding tree-decomposition techniques for solving constraint satisfaction problems. (Doctoral Dissertation). INSA Lyon. Retrieved from http://www.theses.fr/2015ISAL0085

Chicago Manual of Style (16th Edition):

Blet, Loïc. “Configuration automatique d’un solveur générique intégrant des techniques de décomposition arborescente pour la résolution de problèmes de satisfaction de contraintes : Automatic configuration of generic solver embedding tree-decomposition techniques for solving constraint satisfaction problems.” 2015. Doctoral Dissertation, INSA Lyon. Accessed November 27, 2020. http://www.theses.fr/2015ISAL0085.

MLA Handbook (7th Edition):

Blet, Loïc. “Configuration automatique d’un solveur générique intégrant des techniques de décomposition arborescente pour la résolution de problèmes de satisfaction de contraintes : Automatic configuration of generic solver embedding tree-decomposition techniques for solving constraint satisfaction problems.” 2015. Web. 27 Nov 2020.

Vancouver:

Blet L. Configuration automatique d’un solveur générique intégrant des techniques de décomposition arborescente pour la résolution de problèmes de satisfaction de contraintes : Automatic configuration of generic solver embedding tree-decomposition techniques for solving constraint satisfaction problems. [Internet] [Doctoral dissertation]. INSA Lyon; 2015. [cited 2020 Nov 27]. Available from: http://www.theses.fr/2015ISAL0085.

Council of Science Editors:

Blet L. Configuration automatique d’un solveur générique intégrant des techniques de décomposition arborescente pour la résolution de problèmes de satisfaction de contraintes : Automatic configuration of generic solver embedding tree-decomposition techniques for solving constraint satisfaction problems. [Doctoral Dissertation]. INSA Lyon; 2015. Available from: http://www.theses.fr/2015ISAL0085

9. Reyes Amaro, Alejandro. POSL a parallel-oriented solver language : POSL un Langage orienté parallèle pour construire des solveurs de contraintes.

Degree: Docteur es, Informatique et applications, 2017, Nantes

La technologie multi-coeur et les architectures massivement parallèles sont de plus en plus accessibles à tous, à travers des technologies comme le Xeon Phi ou… (more)

Subjects/Keywords: CSP

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Reyes Amaro, A. (2017). POSL a parallel-oriented solver language : POSL un Langage orienté parallèle pour construire des solveurs de contraintes. (Doctoral Dissertation). Nantes. Retrieved from http://www.theses.fr/2017NANT4030

Chicago Manual of Style (16th Edition):

Reyes Amaro, Alejandro. “POSL a parallel-oriented solver language : POSL un Langage orienté parallèle pour construire des solveurs de contraintes.” 2017. Doctoral Dissertation, Nantes. Accessed November 27, 2020. http://www.theses.fr/2017NANT4030.

MLA Handbook (7th Edition):

Reyes Amaro, Alejandro. “POSL a parallel-oriented solver language : POSL un Langage orienté parallèle pour construire des solveurs de contraintes.” 2017. Web. 27 Nov 2020.

Vancouver:

Reyes Amaro A. POSL a parallel-oriented solver language : POSL un Langage orienté parallèle pour construire des solveurs de contraintes. [Internet] [Doctoral dissertation]. Nantes; 2017. [cited 2020 Nov 27]. Available from: http://www.theses.fr/2017NANT4030.

Council of Science Editors:

Reyes Amaro A. POSL a parallel-oriented solver language : POSL un Langage orienté parallèle pour construire des solveurs de contraintes. [Doctoral Dissertation]. Nantes; 2017. Available from: http://www.theses.fr/2017NANT4030


Brno University of Technology

10. Chadim, Petr. Automatické jazzové aranžmá: Automatic jazz arrangement.

Degree: 2018, Brno University of Technology

 This Thesis is focused on the arranging of the melody, which is accompanied by jazz chords. It deals with creating a more harmonious voices using… (more)

Subjects/Keywords: Harmonizace melodie; CSP; programování s omezujícími podmínkami; bloková harmonizace; reharmonizace; cílová nota; přechodová nota; aranžování; čtyřhlasá úzká harmonie; Gecode; Lilypond.; Melody harmonization; Constraint Satisfaction Problem; CSP; Constraint Programming; Block Voicing; Reharmonization; target note; passing note; arranging; Four part close voicing; Gecode; Lilypond.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chadim, P. (2018). Automatické jazzové aranžmá: Automatic jazz arrangement. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/54183

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Chadim, Petr. “Automatické jazzové aranžmá: Automatic jazz arrangement.” 2018. Thesis, Brno University of Technology. Accessed November 27, 2020. http://hdl.handle.net/11012/54183.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Chadim, Petr. “Automatické jazzové aranžmá: Automatic jazz arrangement.” 2018. Web. 27 Nov 2020.

Vancouver:

Chadim P. Automatické jazzové aranžmá: Automatic jazz arrangement. [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/11012/54183.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Chadim P. Automatické jazzové aranžmá: Automatic jazz arrangement. [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/54183

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

11. Ahlem, BEN HASSINE. Distributed Reinforcement of Local Consistency for General Constraint Network An Investigation of Meeting Scheduling Problems.

Degree: Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学

Supervisor:Tu Bao HO

知識科学研究科

博士

Subjects/Keywords: Constraint satisfaction problem (CSP), Distributed CSP, Valued CSP, Local consistency, filtering techniques, Arc consistency, Multi-agent systems, Meeting scheduling problems, Asynchronous backtracking techniques; Constraint satisfaction problem (CSP), Distributed CSP, Valued CSP, Local consistency, filtering techniques, Arc consistency, Multi-agent systems, Meeting scheduling problems, Asynchronous backtracking techniques

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ahlem, B. H. (n.d.). Distributed Reinforcement of Local Consistency for General Constraint Network An Investigation of Meeting Scheduling Problems. (Thesis). Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Retrieved from http://hdl.handle.net/10119/819

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Ahlem, BEN HASSINE. “Distributed Reinforcement of Local Consistency for General Constraint Network An Investigation of Meeting Scheduling Problems.” Thesis, Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学. Accessed November 27, 2020. http://hdl.handle.net/10119/819.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Ahlem, BEN HASSINE. “Distributed Reinforcement of Local Consistency for General Constraint Network An Investigation of Meeting Scheduling Problems.” Web. 27 Nov 2020.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

Ahlem BH. Distributed Reinforcement of Local Consistency for General Constraint Network An Investigation of Meeting Scheduling Problems. [Internet] [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; [cited 2020 Nov 27]. Available from: http://hdl.handle.net/10119/819.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

Ahlem BH. Distributed Reinforcement of Local Consistency for General Constraint Network An Investigation of Meeting Scheduling Problems. [Thesis]. Japan Advanced Institute of Science and Technology / 北陸先端科学技術大学院大学; Available from: http://hdl.handle.net/10119/819

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

12. Monier, Pierre. DBS multi-variables pour des problèmes de coordination multi-agents : Experimental and numerical characterization of the rheological behavior of a complex fluid : application to a wet foam flow through a horizontal straight duct with and without flow disruption devices (FDD).

Degree: Docteur es, Informatique, 2012, Valenciennes

Le formalisme CSP (Problème de Satisfaction de Contraintes) permet de représenter de nombreux problèmes de manière simple et efficace. Cependant, une partie de ces problèmes… (more)

Subjects/Keywords: Système multi-agent; Agent; Csp; CSP distribué; Session; Contrainte; Multi-agent system; Agent; Csp; Distributed CSP; Session; Constraint

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Monier, P. (2012). DBS multi-variables pour des problèmes de coordination multi-agents : Experimental and numerical characterization of the rheological behavior of a complex fluid : application to a wet foam flow through a horizontal straight duct with and without flow disruption devices (FDD). (Doctoral Dissertation). Valenciennes. Retrieved from http://www.theses.fr/2012VALE0012

Chicago Manual of Style (16th Edition):

Monier, Pierre. “DBS multi-variables pour des problèmes de coordination multi-agents : Experimental and numerical characterization of the rheological behavior of a complex fluid : application to a wet foam flow through a horizontal straight duct with and without flow disruption devices (FDD).” 2012. Doctoral Dissertation, Valenciennes. Accessed November 27, 2020. http://www.theses.fr/2012VALE0012.

MLA Handbook (7th Edition):

Monier, Pierre. “DBS multi-variables pour des problèmes de coordination multi-agents : Experimental and numerical characterization of the rheological behavior of a complex fluid : application to a wet foam flow through a horizontal straight duct with and without flow disruption devices (FDD).” 2012. Web. 27 Nov 2020.

Vancouver:

Monier P. DBS multi-variables pour des problèmes de coordination multi-agents : Experimental and numerical characterization of the rheological behavior of a complex fluid : application to a wet foam flow through a horizontal straight duct with and without flow disruption devices (FDD). [Internet] [Doctoral dissertation]. Valenciennes; 2012. [cited 2020 Nov 27]. Available from: http://www.theses.fr/2012VALE0012.

Council of Science Editors:

Monier P. DBS multi-variables pour des problèmes de coordination multi-agents : Experimental and numerical characterization of the rheological behavior of a complex fluid : application to a wet foam flow through a horizontal straight duct with and without flow disruption devices (FDD). [Doctoral Dissertation]. Valenciennes; 2012. Available from: http://www.theses.fr/2012VALE0012

13. Kanso, Hélène. Résolution des problèmes (W)CSP etCSP par approches structurelles : calcul et exploitation dynamique de décompositions arborescentes : Solving (W)CSP and #CSP problems by structural approaches : computation and dynamic exploitation of tree decompositions.

Degree: Docteur es, Mathématique et informatique. Informatique, 2017, Aix Marseille Université

L’importance des problèmes CSP, WCSP etCSP est reflétée par la part considérable des travaux, théoriques et pratiques, dont ils font l’objet en intelligence artificielle et… (more)

Subjects/Keywords: Csp; Wcsp; csp; Intelligence artificielle; Décomposition arborescente; Classes traitables; Résolution; Csp; Wcsp; #csp; Artificial intelligence; Tree-Decomposition; Tractable classes; Solving; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kanso, H. (2017). Résolution des problèmes (W)CSP etCSP par approches structurelles : calcul et exploitation dynamique de décompositions arborescentes : Solving (W)CSP and #CSP problems by structural approaches : computation and dynamic exploitation of tree decompositions. (Doctoral Dissertation). Aix Marseille Université. Retrieved from http://www.theses.fr/2017AIXM0655

Chicago Manual of Style (16th Edition):

Kanso, Hélène. “Résolution des problèmes (W)CSP etCSP par approches structurelles : calcul et exploitation dynamique de décompositions arborescentes : Solving (W)CSP and #CSP problems by structural approaches : computation and dynamic exploitation of tree decompositions.” 2017. Doctoral Dissertation, Aix Marseille Université. Accessed November 27, 2020. http://www.theses.fr/2017AIXM0655.

MLA Handbook (7th Edition):

Kanso, Hélène. “Résolution des problèmes (W)CSP etCSP par approches structurelles : calcul et exploitation dynamique de décompositions arborescentes : Solving (W)CSP and #CSP problems by structural approaches : computation and dynamic exploitation of tree decompositions.” 2017. Web. 27 Nov 2020.

Vancouver:

Kanso H. Résolution des problèmes (W)CSP etCSP par approches structurelles : calcul et exploitation dynamique de décompositions arborescentes : Solving (W)CSP and #CSP problems by structural approaches : computation and dynamic exploitation of tree decompositions. [Internet] [Doctoral dissertation]. Aix Marseille Université 2017. [cited 2020 Nov 27]. Available from: http://www.theses.fr/2017AIXM0655.

Council of Science Editors:

Kanso H. Résolution des problèmes (W)CSP etCSP par approches structurelles : calcul et exploitation dynamique de décompositions arborescentes : Solving (W)CSP and #CSP problems by structural approaches : computation and dynamic exploitation of tree decompositions. [Doctoral Dissertation]. Aix Marseille Université 2017. Available from: http://www.theses.fr/2017AIXM0655


University of Oklahoma

14. Giorgini, Vincent. Facilitative Influences on Organizational Planning.

Degree: PhD, 2015, University of Oklahoma

Planning is one of the most important aspects of performance in organizations. The present study investigates a number of facilitative influences on organizational planning, including… (more)

Subjects/Keywords: Psychology, Industrial.; Planning; Problem Solving

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Giorgini, V. (2015). Facilitative Influences on Organizational Planning. (Doctoral Dissertation). University of Oklahoma. Retrieved from http://hdl.handle.net/11244/15501

Chicago Manual of Style (16th Edition):

Giorgini, Vincent. “Facilitative Influences on Organizational Planning.” 2015. Doctoral Dissertation, University of Oklahoma. Accessed November 27, 2020. http://hdl.handle.net/11244/15501.

MLA Handbook (7th Edition):

Giorgini, Vincent. “Facilitative Influences on Organizational Planning.” 2015. Web. 27 Nov 2020.

Vancouver:

Giorgini V. Facilitative Influences on Organizational Planning. [Internet] [Doctoral dissertation]. University of Oklahoma; 2015. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/11244/15501.

Council of Science Editors:

Giorgini V. Facilitative Influences on Organizational Planning. [Doctoral Dissertation]. University of Oklahoma; 2015. Available from: http://hdl.handle.net/11244/15501


McMaster University

15. Rooney, J P. On the Complexity of Several Mal'tsev Condition Satisfaction Problems.

Degree: PhD, 2020, McMaster University

In this thesis we derive novel results on the complexity of idempotent Mal'tsev condition satisfaction problems. For a Mal'tsev condition M, the idempotent M- satisfaction(more)

Subjects/Keywords: Universal Algebra; General Algebra; Mal'tsev Conditions; Mal'tsev Condition Satisfaction Problems; MCSP; Complexity; Algebra; Constraint Satisfaction; CSP

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rooney, J. P. (2020). On the Complexity of Several Mal'tsev Condition Satisfaction Problems. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/25721

Chicago Manual of Style (16th Edition):

Rooney, J P. “On the Complexity of Several Mal'tsev Condition Satisfaction Problems.” 2020. Doctoral Dissertation, McMaster University. Accessed November 27, 2020. http://hdl.handle.net/11375/25721.

MLA Handbook (7th Edition):

Rooney, J P. “On the Complexity of Several Mal'tsev Condition Satisfaction Problems.” 2020. Web. 27 Nov 2020.

Vancouver:

Rooney JP. On the Complexity of Several Mal'tsev Condition Satisfaction Problems. [Internet] [Doctoral dissertation]. McMaster University; 2020. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/11375/25721.

Council of Science Editors:

Rooney JP. On the Complexity of Several Mal'tsev Condition Satisfaction Problems. [Doctoral Dissertation]. McMaster University; 2020. Available from: http://hdl.handle.net/11375/25721


RMIT University

16. Yang, J. Antecedents and consequences of Strategic Information Systems Planning (SISP) success: a South Korean perspective.

Degree: 2017, RMIT University

 This thesis explores antecedents of Strategic Information Systems Planning (SISP), successful outcomes of SISP and the organisational impact of successful SISP in the South Korean… (more)

Subjects/Keywords: Fields of Research; Strategic Information Systems Planning; SISP; SISP success; the impact of SISP success; business and IT alignment; IS planning effectiveness; organisational capabilities; IS competencies; IT infrastructure flexibility

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Yang, J. (2017). Antecedents and consequences of Strategic Information Systems Planning (SISP) success: a South Korean perspective. (Thesis). RMIT University. Retrieved from http://researchbank.rmit.edu.au/view/rmit:162273

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Yang, J. “Antecedents and consequences of Strategic Information Systems Planning (SISP) success: a South Korean perspective.” 2017. Thesis, RMIT University. Accessed November 27, 2020. http://researchbank.rmit.edu.au/view/rmit:162273.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Yang, J. “Antecedents and consequences of Strategic Information Systems Planning (SISP) success: a South Korean perspective.” 2017. Web. 27 Nov 2020.

Vancouver:

Yang J. Antecedents and consequences of Strategic Information Systems Planning (SISP) success: a South Korean perspective. [Internet] [Thesis]. RMIT University; 2017. [cited 2020 Nov 27]. Available from: http://researchbank.rmit.edu.au/view/rmit:162273.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Yang J. Antecedents and consequences of Strategic Information Systems Planning (SISP) success: a South Korean perspective. [Thesis]. RMIT University; 2017. Available from: http://researchbank.rmit.edu.au/view/rmit:162273

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Queensland University of Technology

17. Alotaibi, Naif Daefallah. Extending and validating the is-impact model in Saudi Arabia : accounting for computer network quality.

Degree: 2012, Queensland University of Technology

 Organizations from every industry sector seek to enhance their business performance and competitiveness through the deployment of contemporary information systems (IS), such as Enterprise Systems… (more)

Subjects/Keywords: enterprise systems, enterprise resource planning, IS success, IS-impact, computer network quality, satisfaction, measurement models, evaluation of information systems, survey, content analysis, formative construct validation, structural equation modeling; partial least squares

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Alotaibi, N. D. (2012). Extending and validating the is-impact model in Saudi Arabia : accounting for computer network quality. (Thesis). Queensland University of Technology. Retrieved from http://eprints.qut.edu.au/57942/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Alotaibi, Naif Daefallah. “Extending and validating the is-impact model in Saudi Arabia : accounting for computer network quality.” 2012. Thesis, Queensland University of Technology. Accessed November 27, 2020. http://eprints.qut.edu.au/57942/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Alotaibi, Naif Daefallah. “Extending and validating the is-impact model in Saudi Arabia : accounting for computer network quality.” 2012. Web. 27 Nov 2020.

Vancouver:

Alotaibi ND. Extending and validating the is-impact model in Saudi Arabia : accounting for computer network quality. [Internet] [Thesis]. Queensland University of Technology; 2012. [cited 2020 Nov 27]. Available from: http://eprints.qut.edu.au/57942/.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Alotaibi ND. Extending and validating the is-impact model in Saudi Arabia : accounting for computer network quality. [Thesis]. Queensland University of Technology; 2012. Available from: http://eprints.qut.edu.au/57942/

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Université de Lorraine

18. Tran-Dang, Hoa. 3D Spatial Modeling of Stacked Containers based on Wireless Sensor Network : application to the physical internet : Modélisation 3D de l'arrangement d'un container basée sur des informations extraites d'un réseau de capteurs sans fil : application à l'internet physique.

Degree: Docteur es, Automatique, Traitement du Signal et des Images, Génie Informatique, 2017, Université de Lorraine

Le paradigme de l’Internet Physique a été introduit il y a quelques années pour transformer globalement la manière dont les objets physiques seront manipulés, entreposés… (more)

Subjects/Keywords: Internet Physique; Conteneur modulaire; Réseaux de capteur sans fil; Contraintes de proximité; Problème de satisfaction de contraintes; Modèle 3D; Physical Internet; Modular Container; Wireless Sensor Network; Proximity Constraints; Constraint Satisfaction Problem (CSP); 3D Layout; 621.382

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tran-Dang, H. (2017). 3D Spatial Modeling of Stacked Containers based on Wireless Sensor Network : application to the physical internet : Modélisation 3D de l'arrangement d'un container basée sur des informations extraites d'un réseau de capteurs sans fil : application à l'internet physique. (Doctoral Dissertation). Université de Lorraine. Retrieved from http://www.theses.fr/2017LORR0049

Chicago Manual of Style (16th Edition):

Tran-Dang, Hoa. “3D Spatial Modeling of Stacked Containers based on Wireless Sensor Network : application to the physical internet : Modélisation 3D de l'arrangement d'un container basée sur des informations extraites d'un réseau de capteurs sans fil : application à l'internet physique.” 2017. Doctoral Dissertation, Université de Lorraine. Accessed November 27, 2020. http://www.theses.fr/2017LORR0049.

MLA Handbook (7th Edition):

Tran-Dang, Hoa. “3D Spatial Modeling of Stacked Containers based on Wireless Sensor Network : application to the physical internet : Modélisation 3D de l'arrangement d'un container basée sur des informations extraites d'un réseau de capteurs sans fil : application à l'internet physique.” 2017. Web. 27 Nov 2020.

Vancouver:

Tran-Dang H. 3D Spatial Modeling of Stacked Containers based on Wireless Sensor Network : application to the physical internet : Modélisation 3D de l'arrangement d'un container basée sur des informations extraites d'un réseau de capteurs sans fil : application à l'internet physique. [Internet] [Doctoral dissertation]. Université de Lorraine; 2017. [cited 2020 Nov 27]. Available from: http://www.theses.fr/2017LORR0049.

Council of Science Editors:

Tran-Dang H. 3D Spatial Modeling of Stacked Containers based on Wireless Sensor Network : application to the physical internet : Modélisation 3D de l'arrangement d'un container basée sur des informations extraites d'un réseau de capteurs sans fil : application à l'internet physique. [Doctoral Dissertation]. Université de Lorraine; 2017. Available from: http://www.theses.fr/2017LORR0049


Brno University of Technology

19. Boháček, Petr. Podnikový informační systém: Company information system.

Degree: 2019, Brno University of Technology

 This master's thesis deals with the analysis of the requirements placed on the technical support information system which should be used in the software developing… (more)

Subjects/Keywords: Manažerské informační systémy; operativní plánování; taktické plánování; návrh IS; modelování IS.; Management information systems; operative planning; tactic planning; IS design; IS modeling.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Boháček, P. (2019). Podnikový informační systém: Company information system. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/6898

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Boháček, Petr. “Podnikový informační systém: Company information system.” 2019. Thesis, Brno University of Technology. Accessed November 27, 2020. http://hdl.handle.net/11012/6898.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Boháček, Petr. “Podnikový informační systém: Company information system.” 2019. Web. 27 Nov 2020.

Vancouver:

Boháček P. Podnikový informační systém: Company information system. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/11012/6898.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Boháček P. Podnikový informační systém: Company information system. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/6898

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

20. Boháček, Petr. Informační systém technické podpory: Information System of Technical Support.

Degree: 2018, Brno University of Technology

 This master's thesis deals with the analysis of the requirements placed on the technical support information system which should be used in the software developing… (more)

Subjects/Keywords: Technická podpora; testování softwaru; operativní plánování; taktické plánování; návrh IS; životní cyklus IS; modelování IS; RUP.; Technical support; software testing; operative planning; tactic planning; IS design; IS life cycles; IS modeling; RUP.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Boháček, P. (2018). Informační systém technické podpory: Information System of Technical Support. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/53946

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Boháček, Petr. “Informační systém technické podpory: Information System of Technical Support.” 2018. Thesis, Brno University of Technology. Accessed November 27, 2020. http://hdl.handle.net/11012/53946.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Boháček, Petr. “Informační systém technické podpory: Information System of Technical Support.” 2018. Web. 27 Nov 2020.

Vancouver:

Boháček P. Informační systém technické podpory: Information System of Technical Support. [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/11012/53946.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Boháček P. Informační systém technické podpory: Information System of Technical Support. [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/53946

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

21. Ružička, Silvestr. Návrh informačního systému: Information System Design.

Degree: 2019, Brno University of Technology

The object of this diploma thesis is to analyze current status of information system of company Tower. As a result of this analysis will be propsal of new information system based on the requirements of the company. Advisors/Committee Members: Koch, Miloš (advisor), Orgoň, Michal (referee).

Subjects/Keywords: Informačný systém; dokumenty; metadáta; plánovanie; hardware; software; orgware; peopleware; dataware; bezpečnosť IS; SharePoint; Information system; documents; metadata; planning; hardware; software; orgware; peopleware; dataware; security of IS; SharePoint

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ružička, S. (2019). Návrh informačního systému: Information System Design. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/59291

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Ružička, Silvestr. “Návrh informačního systému: Information System Design.” 2019. Thesis, Brno University of Technology. Accessed November 27, 2020. http://hdl.handle.net/11012/59291.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Ružička, Silvestr. “Návrh informačního systému: Information System Design.” 2019. Web. 27 Nov 2020.

Vancouver:

Ružička S. Návrh informačního systému: Information System Design. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/11012/59291.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ružička S. Návrh informačního systému: Information System Design. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/59291

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Rice University

22. Prabhu, Sailesh Naveena. A Constraint and Sampling-Based Approach to Integrated Task and Motion Planning.

Degree: MS, Engineering, 2014, Rice University

 This thesis tackles the Integrated Task and Motion Planning (ITMP) Problem. The ITMP problem extends classical task planning with actions that require a motion plan.… (more)

Subjects/Keywords: Integrated Task and Motion Planning; planning from high-level specification; synthesis; constraint-based; sampling-based

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Prabhu, S. N. (2014). A Constraint and Sampling-Based Approach to Integrated Task and Motion Planning. (Masters Thesis). Rice University. Retrieved from http://hdl.handle.net/1911/88438

Chicago Manual of Style (16th Edition):

Prabhu, Sailesh Naveena. “A Constraint and Sampling-Based Approach to Integrated Task and Motion Planning.” 2014. Masters Thesis, Rice University. Accessed November 27, 2020. http://hdl.handle.net/1911/88438.

MLA Handbook (7th Edition):

Prabhu, Sailesh Naveena. “A Constraint and Sampling-Based Approach to Integrated Task and Motion Planning.” 2014. Web. 27 Nov 2020.

Vancouver:

Prabhu SN. A Constraint and Sampling-Based Approach to Integrated Task and Motion Planning. [Internet] [Masters thesis]. Rice University; 2014. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/1911/88438.

Council of Science Editors:

Prabhu SN. A Constraint and Sampling-Based Approach to Integrated Task and Motion Planning. [Masters Thesis]. Rice University; 2014. Available from: http://hdl.handle.net/1911/88438


Brno University of Technology

23. Chvatík, Štěpán. Asynchronní motor s vnějším rotorem: Induction machine with outer rotor.

Degree: 2018, Brno University of Technology

Induction machine; outer rotor; water pump; thermal network; thermal analysis; optimization; electromagnetic model; finite element method; thermal insulation class Advisors/Committee Members: Mach, Martin (advisor), Bárta, Jan (referee).

Subjects/Keywords: Asynchronní motor; vnější rotor; čerpadlo; tepelná síť; výpočet oteplení; genetický algoritmus; optimalizace; elektromagnetický model; metoda konečných prvků; tepelná třída izolace; This master’s thesis deals with design of induction machine with atypical construction with outer rotor and its usability in the water industry where the main requirement is to optimize its construction in terms of geometrical dimension. The problem of induction motor is explained in the introduction of thesis; and their use in cooperation with frequency converters is indicated. In the next chapter analyses the electromagnetic model of initial design of machine; its geometric dimensions and the possibilities of its analysis. Then the analysis of this machine is performed by the analytical method; using the RMxprt computation program; followed by the finite element method which is solved in Ansys Maxwell program. The third chapter is devoted to detailed design of the machine construction; including the presentation of the material for individual part. The fourth part of the thesis deals with the design of a thermal network. The input values of this thermal network are predominantly geometric and electric losses in individual parts of the machine. Based on the created thermal network; the warming of the individual parts of the machine is calculated. Due to the results of this procedure; the control is made for checking that the maximum permitted winding temperature has not been exceeded. The penultimate part deals with the genetic algorithm; its design and practical applicability for optimization with the requirement for minimum machine dimensions. Since we don’t know the exact design of the mechanical parts of the pumps; the last part is devoted to a case study in which is made a comparison of the theoretically achievable dimensions of the machine in relation to the quality of heat losses.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chvatík, . (2018). Asynchronní motor s vnějším rotorem: Induction machine with outer rotor. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/80909

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Chvatík, Štěpán. “Asynchronní motor s vnějším rotorem: Induction machine with outer rotor.” 2018. Thesis, Brno University of Technology. Accessed November 27, 2020. http://hdl.handle.net/11012/80909.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Chvatík, Štěpán. “Asynchronní motor s vnějším rotorem: Induction machine with outer rotor.” 2018. Web. 27 Nov 2020.

Vancouver:

Chvatík . Asynchronní motor s vnějším rotorem: Induction machine with outer rotor. [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/11012/80909.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Chvatík . Asynchronní motor s vnějším rotorem: Induction machine with outer rotor. [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/80909

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Loughborough University

24. Stefanidis, Angelos. Undergraduate information systems in the UK : analysing curriculum skills and industry needs.

Degree: PhD, 2014, Loughborough University

 In recent years there have been repeated calls for universities to better equip students with skills which are relevant to business and industry. The field… (more)

Subjects/Keywords: 658; IS Education; IS Curriculum Classification; IS Curriculum; IS Model Curriculum; Subject Benchmark Statement in Computing; IS 2010; IS Career Tracks

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Stefanidis, A. (2014). Undergraduate information systems in the UK : analysing curriculum skills and industry needs. (Doctoral Dissertation). Loughborough University. Retrieved from http://hdl.handle.net/2134/14267

Chicago Manual of Style (16th Edition):

Stefanidis, Angelos. “Undergraduate information systems in the UK : analysing curriculum skills and industry needs.” 2014. Doctoral Dissertation, Loughborough University. Accessed November 27, 2020. http://hdl.handle.net/2134/14267.

MLA Handbook (7th Edition):

Stefanidis, Angelos. “Undergraduate information systems in the UK : analysing curriculum skills and industry needs.” 2014. Web. 27 Nov 2020.

Vancouver:

Stefanidis A. Undergraduate information systems in the UK : analysing curriculum skills and industry needs. [Internet] [Doctoral dissertation]. Loughborough University; 2014. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/2134/14267.

Council of Science Editors:

Stefanidis A. Undergraduate information systems in the UK : analysing curriculum skills and industry needs. [Doctoral Dissertation]. Loughborough University; 2014. Available from: http://hdl.handle.net/2134/14267


Brno University of Technology

25. Ružička, Silvestr. Návrh změn informačního systému firmy: Modification of Company Information System.

Degree: 2019, Brno University of Technology

The object of this bachelor´s thesis is to analyze current status of information system of company . As a result of this analysis will be propsal of system procedure reorganization and expansion. Advisors/Committee Members: Koch, Miloš (advisor), Nižňanský, Lukáš (referee).

Subjects/Keywords: Informačný systém; plánovanie; Enterprise resource planning (ERP); Supply Chain Management (SCM); hardware; software; orgware; peopleware; dataware; bezpečnosť IS; Information system; planning; Enterprise resource planning (ERP); Supply Chain Management (SCM); hardware; software; orgware; peopleware; dataware; security of IS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ružička, S. (2019). Návrh změn informačního systému firmy: Modification of Company Information System. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/33894

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Ružička, Silvestr. “Návrh změn informačního systému firmy: Modification of Company Information System.” 2019. Thesis, Brno University of Technology. Accessed November 27, 2020. http://hdl.handle.net/11012/33894.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Ružička, Silvestr. “Návrh změn informačního systému firmy: Modification of Company Information System.” 2019. Web. 27 Nov 2020.

Vancouver:

Ružička S. Návrh změn informačního systému firmy: Modification of Company Information System. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/11012/33894.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ružička S. Návrh změn informačního systému firmy: Modification of Company Information System. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/33894

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

26. Knopp, Kamil. Analýza a návrh změn informačního systému: Information System Analysis and Changes.

Degree: 2018, Brno University of Technology

The object of this bachelor´s thesis is to analyze current status of information system of company IFE-CR, a. s. As a result of this analysis will be propsal of system procedure reorganization and expansion. Advisors/Committee Members: Koch, Miloš (advisor), Eifler, Jakub (referee).

Subjects/Keywords: Informační systém; plánování; Enterprise resource planning (ERP); Supply Chain Management (SCM); hardware; software; orgware; peopleware; dataware; bezpečnost IS; Information system; planning; Enterprise resource planning (ERP); Supply Chain Management (SCM); hardware; software; orgware; peopleware; dataware; security of IS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Knopp, K. (2018). Analýza a návrh změn informačního systému: Information System Analysis and Changes. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/11352

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Knopp, Kamil. “Analýza a návrh změn informačního systému: Information System Analysis and Changes.” 2018. Thesis, Brno University of Technology. Accessed November 27, 2020. http://hdl.handle.net/11012/11352.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Knopp, Kamil. “Analýza a návrh změn informačního systému: Information System Analysis and Changes.” 2018. Web. 27 Nov 2020.

Vancouver:

Knopp K. Analýza a návrh změn informačního systému: Information System Analysis and Changes. [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/11012/11352.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Knopp K. Analýza a návrh změn informačního systému: Information System Analysis and Changes. [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/11352

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

27. Failing, David Michael. Commutative, idempotent groupoids and the constraint satisfaction problem.

Degree: 2013, Iowa State University

 A restatement of the Algebraic Dichotomy Conjecture, due to Marti and McKenzie, postulates that if a finite algebra possesses a weak near-unanimity term, then the… (more)

Subjects/Keywords: constraint satisfaction; CSP dichotomy; Plonka sum; prover9; universal algebra; Mathematics

Satisfaction Problem (CSP) is to determine if there is a suitable assignment of values to… …tractable, or it is NP-complete. A related problem in the study of the CSP is to classify all… …instances of the CSP in which the constraint relations are members of some fixed finite set of… …technique will prove useful in future analysis of constraint satisfaction. A family of identities… …assumed that every instance of a constraint satisfaction problem can be encoded as a finite… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Failing, D. M. (2013). Commutative, idempotent groupoids and the constraint satisfaction problem. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/13285

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Failing, David Michael. “Commutative, idempotent groupoids and the constraint satisfaction problem.” 2013. Thesis, Iowa State University. Accessed November 27, 2020. https://lib.dr.iastate.edu/etd/13285.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Failing, David Michael. “Commutative, idempotent groupoids and the constraint satisfaction problem.” 2013. Web. 27 Nov 2020.

Vancouver:

Failing DM. Commutative, idempotent groupoids and the constraint satisfaction problem. [Internet] [Thesis]. Iowa State University; 2013. [cited 2020 Nov 27]. Available from: https://lib.dr.iastate.edu/etd/13285.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Failing DM. Commutative, idempotent groupoids and the constraint satisfaction problem. [Thesis]. Iowa State University; 2013. Available from: https://lib.dr.iastate.edu/etd/13285

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

28. Macek, Jiří. Grafické animace metod řešení úloh: Graphic Animation of Problem Solving Methods.

Degree: 2020, Brno University of Technology

 There are many kinds of implementation artificial intelligence for automatic solving problems by computer technology. The main topics of this bachelor's thesis are some typical… (more)

Subjects/Keywords: Umělá inteligence; metody řešení úloh; neinformované metody; metoda prohledávání do šířky; metoda stejných cen; metoda prohledávání do hloubky; metoda omezeného prohledávání do hloubky; metoda postupného zanořování do hloubky; metoda zpětného navracení; metoda obousměrného prohledávání; informované metody; metoda založená na výběru nejlépe ohodnoceného stavu; metoda lačného prohledávání; A*; metody lokálního prohledávání; metoda stoupání do kopce; metoda simulovaného žíhání; metody s omezujícími podmínkami; metoda zpětného navracení pro CSP; metoda dopředné kontroly; metoda minimálního konfliktu; jednoduché hry; prohledávání AND/OR grafu; složité hry; Alfa-Beta řezy.; Artificial intelligence; problem solving methods; Uninformed Search; Breadth First Search; Depth First Search; Uniform Cost Search; Depth Limited Search; Iterative deeping DFS; Backtracking; Bidirectional BFS; Informed Search; Best First Search; Greedy search; A* search; Local search; Hill climbing; Simulated annealing; Constraint Satisfaction Problem; Backtracking for CSP; Forward checking; Min-conflict; AND/OR; Alfa-Beta cutoff.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Macek, J. (2020). Grafické animace metod řešení úloh: Graphic Animation of Problem Solving Methods. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/187935

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Macek, Jiří. “Grafické animace metod řešení úloh: Graphic Animation of Problem Solving Methods.” 2020. Thesis, Brno University of Technology. Accessed November 27, 2020. http://hdl.handle.net/11012/187935.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Macek, Jiří. “Grafické animace metod řešení úloh: Graphic Animation of Problem Solving Methods.” 2020. Web. 27 Nov 2020.

Vancouver:

Macek J. Grafické animace metod řešení úloh: Graphic Animation of Problem Solving Methods. [Internet] [Thesis]. Brno University of Technology; 2020. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/11012/187935.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Macek J. Grafické animace metod řešení úloh: Graphic Animation of Problem Solving Methods. [Thesis]. Brno University of Technology; 2020. Available from: http://hdl.handle.net/11012/187935

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

29. Macek, Jiří. Grafické animace metod řešení úloh: Graphic Animation of Problem Solving Methods.

Degree: 2020, Brno University of Technology

 There are many kinds of implementation artificial intelligence for automatic solving problems by computer technology. The main topics of this bachelor's thesis are some typical… (more)

Subjects/Keywords: Umělá inteligence; metody řešení úloh; neinformované metody; metoda prohledávání do šířky; metoda stejných cen; metoda prohledávání do hloubky; metoda omezeného prohledávání do hloubky; metoda postupného zanořování do hloubky; metoda zpětného navracení; metoda obousměrného prohledávání; informované metody; metoda založená na výběru nejlépe ohodnoceného stavu; metoda lačného prohledávání; A*; metody lokálního prohledávání; metoda stoupání do kopce; metoda simulovaného žíhání; metody s omezujícími podmínkami; metoda zpětného navracení pro CSP; metoda dopředné kontroly; metoda minimálního konfliktu; jednoduché hry; prohledávání AND/OR grafu; složité hry; Alfa-Beta řezy.; Artificial intelligence; problem solving methods; Uninformed Search; Breadth First Search; Depth First Search; Uniform Cost Search; Depth Limited Search; Iterative deeping DFS; Backtracking; Bidirectional BFS; Informed Search; Best First Search; Greedy search; A* search; Local search; Hill climbing; Simulated annealing; Constraint Satisfaction Problem; Backtracking for CSP; Forward checking; Min-conflict; AND/OR; Alfa-Beta cutoff.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Macek, J. (2020). Grafické animace metod řešení úloh: Graphic Animation of Problem Solving Methods. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/56329

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Macek, Jiří. “Grafické animace metod řešení úloh: Graphic Animation of Problem Solving Methods.” 2020. Thesis, Brno University of Technology. Accessed November 27, 2020. http://hdl.handle.net/11012/56329.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Macek, Jiří. “Grafické animace metod řešení úloh: Graphic Animation of Problem Solving Methods.” 2020. Web. 27 Nov 2020.

Vancouver:

Macek J. Grafické animace metod řešení úloh: Graphic Animation of Problem Solving Methods. [Internet] [Thesis]. Brno University of Technology; 2020. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/11012/56329.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Macek J. Grafické animace metod řešení úloh: Graphic Animation of Problem Solving Methods. [Thesis]. Brno University of Technology; 2020. Available from: http://hdl.handle.net/11012/56329

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

30. Pohl, Jan. Návrh informačního systému pro obchodní společnost: Proposal of Information System for the Business Company.

Degree: 2019, Brno University of Technology

 The bachelor´s thesis deals with implementation of information system in business organization. Its first part is dedicated firstly to description of chosen company with its… (more)

Subjects/Keywords: ERP; CRM; IS; informační systémy; mapa procesů; plánování; ERP; CRM; IS; information systems; process map; planning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pohl, J. (2019). Návrh informačního systému pro obchodní společnost: Proposal of Information System for the Business Company. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/13170

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Pohl, Jan. “Návrh informačního systému pro obchodní společnost: Proposal of Information System for the Business Company.” 2019. Thesis, Brno University of Technology. Accessed November 27, 2020. http://hdl.handle.net/11012/13170.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Pohl, Jan. “Návrh informačního systému pro obchodní společnost: Proposal of Information System for the Business Company.” 2019. Web. 27 Nov 2020.

Vancouver:

Pohl J. Návrh informačního systému pro obchodní společnost: Proposal of Information System for the Business Company. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2020 Nov 27]. Available from: http://hdl.handle.net/11012/13170.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Pohl J. Návrh informačního systému pro obchodní společnost: Proposal of Information System for the Business Company. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/13170

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

[1] [2] [3] [4] [5] … [12365]

.