Letteratura scientifica selezionata sul tema "Computer Alegbra Systems (CAS)"

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Computer Alegbra Systems (CAS)".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Articoli di riviste sul tema "Computer Alegbra Systems (CAS)"

1

Greiner-Petter, André, Moritz Schubotz, Howard S. Cohl e Bela Gipp. "Semantic preserving bijective mappings for expressions involving special functions between computer algebra systems and document preparation systems". Aslib Journal of Information Management 71, n. 3 (20 maggio 2019): 415–39. http://dx.doi.org/10.1108/ajim-08-2018-0185.

Testo completo
Abstract (sommario):
Purpose Modern mathematicians and scientists of math-related disciplines often use Document Preparation Systems (DPS) to write and Computer Algebra Systems (CAS) to calculate mathematical expressions. Usually, they translate the expressions manually between DPS and CAS. This process is time-consuming and error-prone. The purpose of this paper is to automate this translation. This paper uses Maple and Mathematica as the CAS, and LaTeX as the DPS. Design/methodology/approach Bruce Miller at the National Institute of Standards and Technology (NIST) developed a collection of special LaTeX macros that create links from mathematical symbols to their definitions in the NIST Digital Library of Mathematical Functions (DLMF). The authors are using these macros to perform rule-based translations between the formulae in the DLMF and CAS. Moreover, the authors develop software to ease the creation of new rules and to discover inconsistencies. Findings The authors created 396 mappings and translated 58.8 percent of DLMF formulae (2,405 expressions) successfully between Maple and DLMF. For a significant percentage, the special function definitions in Maple and the DLMF were different. An atomic symbol in one system maps to a composite expression in the other system. The translator was also successfully used for automatic verification of mathematical online compendia and CAS. The evaluation techniques discovered two errors in the DLMF and one defect in Maple. Originality/value This paper introduces the first translation tool for special functions between LaTeX and CAS. The approach improves error-prone manual translations and can be used to verify mathematical online compendia and CAS.
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Pfeifer, Marcel Rolf. "Computer-Aided Standardisation for Manufacturing and Maintenance Activities". Technological Engineering 16, n. 1 (1 ottobre 2019): 22–24. http://dx.doi.org/10.1515/teen-2019-0004.

Testo completo
Abstract (sommario):
Abstract The paper deals with the development and application of computer-aided standardisation (CAS) for the distribution of standardisation data of production and maintenance processes within the company network. Rising integration pressure of company software tools also include CAx technologies. These CAx technologies provide software solutions for different applications, being able to work closely together with ERP-systems, Business Intelligence (BI) tools and further systems. The possibility of integration makes it also feasible to look on the CAS tool and its potential. While CAS is a topic not yet fully discussed, future development may lead to the requirement of integrating the CAS with the ERP and planning system. Approaches, such as CIM, digital factories (DF) and Industry 4.0 benefit from a broader database available with the CAS system employed
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Mohammad, Abdul Moeed. "Students' attitude towards computer algebra systems (CAS) and their choice of using CAS in problem-solving". International Journal of Mathematical Education in Science and Technology 50, n. 3 (10 agosto 2018): 344–53. http://dx.doi.org/10.1080/0020739x.2018.1506171.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Huseyinov, Ilham, e Feride Savaroglu Tabak. "The Evaluation of Computer Algebra Systems Using Fuzzy Multi-Criteria Decision-Making Models". International Journal of Software Innovation 8, n. 1 (gennaio 2020): 1–16. http://dx.doi.org/10.4018/ijsi.2020010101.

Testo completo
Abstract (sommario):
The main purpose of this study is to present a systematic methodology based on fuzzy Multi-Criteria Decision-Making (FMCDM) models to help users evaluate computer algebra systems (CAS). CAS is a software package for the manipulation of mathematical formulas. The suggested methodology is user-centred which involves users' subjective evaluation judgments. User judgments are represented by means of fuzzy linguistic modelling techniques. An evaluation criteria framework based on the concept of the usefulness of CAS is developed. Next, two FMCDM models – fuzzy Analytical Hierarchy Process (FAHP) and fuzzy Technique for Order Preference by Similarity to Ideal Solution (FTOPSIS) are proposed for the evaluation procedure. The FAHP is applied to determine the relative importance weights of qualitative evaluation criteria; the FTOPSIS is applied to rank the CAS alternatives. The illustrated case study demonstrates the applicability and effectiveness of the proposed methodology.
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Brezgin, Sergey, Anastasiya Kostyusheva, Dmitry Kostyushev e Vladimir Chulanov. "Dead Cas Systems: Types, Principles, and Applications". International Journal of Molecular Sciences 20, n. 23 (30 novembre 2019): 6041. http://dx.doi.org/10.3390/ijms20236041.

Testo completo
Abstract (sommario):
The gene editing tool CRISPR-Cas has become the foundation for developing numerous molecular systems used in research and, increasingly, in medical practice. In particular, Cas proteins devoid of nucleolytic activity (dead Cas proteins; dCas) can be used to deliver functional cargo to programmed sites in the genome. In this review, we describe current CRISPR systems used for developing different dCas-based molecular approaches and summarize their most significant applications. We conclude with comments on the state-of-art in the CRISPR field and future directions.
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Yarman, Binboga Siddik, e Izzet Cem Goknar. "Circuits and Systems in Turkey [CAS in the World]". IEEE Circuits and Systems Magazine 21, n. 3 (2021): 94–95. http://dx.doi.org/10.1109/mcas.2021.3092590.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Freda, Andrew. "Sound Off!: To CAS or Not to CAS?" Mathematics Teacher 102, n. 1 (agosto 2008): 8–9. http://dx.doi.org/10.5951/mt.102.1.0008.

Testo completo
Abstract (sommario):
The AP Calculus Listserv recently posted an interesting discussion about whether mathematics teachers should continue to teach certain algebraic techniques such as rationalizing a numerator or whether we should move students away from symbolic manipulation and toward the use of computer algebra systems (CAS). One writer, who was concerned about mathematical literacy and cognitive development, argued against using CAS, contending that the activity of symbol manipulation helps solidify or enhance conceptual understanding of mathematics. Another writer, who was in favor of CAS, maintained that once teachers are convinced that students understand the idea behind a given skill, we should allow them to use CAS rather than practice the traditional skills of algebra.
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Freda, Andrew. "Sound Off!: To CAS or Not to CAS?" Mathematics Teacher 102, n. 1 (agosto 2008): 8–9. http://dx.doi.org/10.5951/mt.102.1.0008.

Testo completo
Abstract (sommario):
The AP Calculus Listserv recently posted an interesting discussion about whether mathematics teachers should continue to teach certain algebraic techniques such as rationalizing a numerator or whether we should move students away from symbolic manipulation and toward the use of computer algebra systems (CAS). One writer, who was concerned about mathematical literacy and cognitive development, argued against using CAS, contending that the activity of symbol manipulation helps solidify or enhance conceptual understanding of mathematics. Another writer, who was in favor of CAS, maintained that once teachers are convinced that students understand the idea behind a given skill, we should allow them to use CAS rather than practice the traditional skills of algebra.
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Metzger, Marc Christian, Amir Rafii, Bettina Holhweg-Majert, Annette M. Pham e Brad Strong. "Comparison of 4 Registration Strategies for Computer-Aided Maxillofacial Surgery". Otolaryngology–Head and Neck Surgery 137, n. 1 (luglio 2007): 93–99. http://dx.doi.org/10.1016/j.otohns.2007.02.015.

Testo completo
Abstract (sommario):
PURPOSE: Surgeons have recently started to use computer-aided surgery (CAS) to assist with maxillofacial reconstructive surgery. This study evaluates four different CAS registration strategies in the maxillofacial skeleton. MATERIALS AND METHODS: Fifteen fiducial markers were placed on each of four cadaveric heads. Four registration protocols were used: 1) group 1—invasive markers, 2) group 2—skin surface, 3) group 3—bony landmark, 4) group 4—intraoral splint. Two observers registered each head twice with each of the four protocols and measured the target registration error (TRE). The process was repeated on two different navigation systems for confirmation. RESULTS: The mean TRE values were: invasive, 1.13 ± 0.05 mm ( P < 0.05); skin, 2.03 ± 0.07 mm ( P < 0.05); bone, 3.17 ± 0.10 mm ( P < 0.05); and splint, 3.79 ± 0.13 mm ( P < 0.05). The TRE values were consistent across CAS systems. CONCLUSION: Of the techniques tested for CAS registration, invasive fiducial markers are the most accurate. Skin surface landmarks, bony landmarks, and an intraoral splint are incrementally less accurate.
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Burmistrz, Michal, Kamil Krakowski e Agata Krawczyk-Balska. "RNA-Targeting CRISPR–Cas Systems and Their Applications". International Journal of Molecular Sciences 21, n. 3 (7 febbraio 2020): 1122. http://dx.doi.org/10.3390/ijms21031122.

Testo completo
Abstract (sommario):
Clustered Regularly Interspaced Short Palindromic Repeats (CRISPR)–CRISPR-associated (Cas) systems have revolutionized modern molecular biology. Numerous types of these systems have been discovered to date. Many CRISPR–Cas systems have been used as a backbone for the development of potent research tools, with Cas9 being the most widespread. While most of the utilized systems are DNA-targeting, recently more and more attention is being gained by those that target RNA. Their ability to specifically recognize a given RNA sequence in an easily programmable way makes them ideal candidates for developing new research tools. In this review we summarize current knowledge on CRISPR–Cas systems which have been shown to target RNA molecules, that is type III (Csm/Cmr), type VI (Cas13), and type II (Cas9). We also present a list of available technologies based on these systems.
Gli stili APA, Harvard, Vancouver, ISO e altri

Tesi sul tema "Computer Alegbra Systems (CAS)"

1

Meagher, Michael. "The processes of learning in a computer algebra system (CAS) environment for college students learning calculus". Connect to resource, 2005. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1124113975.

Testo completo
Abstract (sommario):
Thesis (Ph. D.)--Ohio State University, 2005.
Title from first page of PDF file. Document formatted into pages; contains xiii, 204 p.; also includes graphics (some col.). Includes bibliographical references (p. 198-204). Available online via OhioLINK's ETD Center
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Metzger-Schuhäker, Heidi. "Tasks for tests and A-levels using CAS". Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-80669.

Testo completo
Abstract (sommario):
Tasks for different years of the secondary level II are presented on the basis of long lasting experience with computer-assisted mathematics instruction. They include applications of mathematical skills as well as the testing of theoretical knowledge. Finally relevant A-levels tasks are presented that integrate different mathematical contents into every day connections from economy, medical science, sports asf.
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Bin, Jingyi. "Controlling execution time variability using COTS for Safety-critical systems". Phd thesis, Université Paris Sud - Paris XI, 2014. http://tel.archives-ouvertes.fr/tel-01061936.

Testo completo
Abstract (sommario):
While relying during the last decade on single-core Commercial Off-The-Shelf (COTS) architectures despite their inherent runtime variability, the safety critical industry is now considering a shift to multi-core COTS in order to match the increasing performance requirement. However, the shift to multi-core COTS worsens the runtime variability issue due to the contention on shared hardware resources. Standard techniques to handle this variability such as resource over-provisioning cannot be applied to multi-cores as additional safety margins will offset most if not all the multi-core performance gains. A possible solution would be to capture the behavior of potential contention mechanisms on shared hardware resources relatively to each application co-running on the system. However, the features on contention mechanisms are usually very poorly documented. In this thesis, we introduce measurement techniques based on a set of dedicated stressing benchmarks and architecture hardware monitors to characterize (1) the architecture, by identifying the shared hardware resources and revealing their associated contention mechanisms. (2) the applications, by learning how they behave relatively to shared resources. Based on such information, we propose a technique to estimate the WCET of an application in a pre-determined co-running context by simulating the worst case contention on shared resources produced by the application's co-runners.
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Hofbauer, Peter. "The use of notebooks in mathematics instruction. What is manageable? What should be avoided? A field report after 10 years of CAS-application". Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-80182.

Testo completo
Abstract (sommario):
Computer Algebra Systems (CAS) have been changing the mathematics instruction requirements for many years. Since the tendency of using CAS in mathematics instruction has been rising for decades and reports have often been positive, the implementation of notebook classes seems to be the consequent next step of mathematics instruction supported by computers. Experiences that have been made with the use of CAS in PC-rooms can be transformed directly into the classroom. Hence the use of CAS is no longer limited to certain rooms. The permanent availability of the notebook with installed CAS offers the chance to realize these concepts that have already been approved with the use of CAS so far. The following speech shall show what these concepts could look like and that the use of notebooks is not only the further development of teaching in PC-classes. Examples from personal experience in teaching will especially show meanders and thought-provoking impulses in order to support teachers finding their way into teaching mathematics instruction in notebook classes successfully. Please allow me to point out two things in the beginning: (1) Yes, I am a vehement supporter of the use of notebooks (and the use of CAS in particular) in mathematics instruction. (2) No, I do not believe that teachers who have chosen another path (or at least partly) are teaching badly.
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Lesage, Benjamin. "Architecture multi-coeurs et temps d'exécution au pire cas". Phd thesis, Université Rennes 1, 2013. http://tel.archives-ouvertes.fr/tel-00870971.

Testo completo
Abstract (sommario):
Les tâches critiques en systèmes temps-réel sont soumises à des contraintes temporelles et de correction. La validation d'un tel système repose sur l'estimation du comportement temporel au pire cas de ses tâches. Le partage de ressources, inhérent aux architectures multi-cœurs, entrave le calcul de ces estimations. Le comportement temporel d'une tâche dépend de ses rivales du fait de l'arbitrage de l'accès aux ressources ou de modifications concurrentes de leur état. Cette étude vise à l'estimation de la contribution temporelle de la hiérarchie mémoire au pire temps d'exécution de tâches critiques. Les méthodes existantes, pour caches d'instructions, sont étendues afin de supporter caches de données privés et partagés, et permettre l'analyse de hiérarchies mémoires riches. Le court-circuitage de cache est ensuite utilisé pour réduire la pression sur les caches partagés. Nous proposons à cette fin différentes heuristiques basées sur la capture de la réutilisation de blocs de cache entre différents accès mémoire. Notre seconde proposition est la politique de partitionnement Preti qui permet l'allocation d'un espace sans conflits à une tâche. Preti favorise aussi les performances de tâches non critiques concurrentes aux temps-réel dans les systèmes de criticité hybride.
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Leduc, Nathaniel. "Understanding Collaboration in the Context of Loosely- and Tightly-Coupled Complex Adaptive Systems". Thesis, Université d'Ottawa / University of Ottawa, 2018. http://hdl.handle.net/10393/37087.

Testo completo
Abstract (sommario):
Many of the technological and social systems our society has come to depend on can be classified as complex adaptive systems (CAS). These systems are made of many individual parts that self-organize to respond and adapt to changing outside and inside influences affecting the system and its actors. These CAS can be placed on a spectrum ranging from loosely- to tightly-coupled, depending on the degree of interrelatedness and interdependence between system components. This research has explored how the process of collaboration occurs in both a loosely- and tightly-coupled setting using one exemplar of each system. The loosely-coupled exemplar related to disaster risk reduction in two Canadian communities while the tightly-coupled one involved the implementation of a surgical information management system in a Canadian hospital. A list of core elements of collaboration that should be considered essential to the success of all collaborative endeavours was developed as a result: Engagement, Communication, Leadership, Role Clarity, Awareness, Time, and Technical Skills and Knowledge. Based on observing how the core elements of collaboration interacted with one another within each of these example systems, two models were created to represent their relationships. A list of considerations that collaborative tool designers should consider was also developed and the implications of these considerations were discussed. As businesses and other organizations increasingly incorporate team-based work models, they will come to depend more heavily on technology-based solutions to support collaboration. By incorporating collaborative technologies that properly support the activity of these teams—based on the specific type of complex adaptive system in which their organization exists—organizations can avoid wasting time and resources developing tools that hinder collaboration.
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Mwepu, Fyama Blaise. "Développement d'une méthodologie d'échange des métadonnées des objets numériques d'apprentissage pour une interopérabilité entre plates-formes d'elearning hétérogènes: cas de l'Université de Lubumbashi (R.D Congo) et ses partenaires belges". Doctoral thesis, Universite Libre de Bruxelles, 2011. http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/209855.

Testo completo
Abstract (sommario):
Dans cette thèse nous nous sommes intéressés principalement, dans le cadre de l’e-learning, à mettre en oeuvre une méthodologie qui a pour mission d’assurer une interopérabilité entre la plate-forme de l’Université de Lubumbashi et les plates-formes des universités partenaires belges afin de permettre un transfert des contenus d’apprentissage. Notre démarche n’a pas voulu s’arrêter à l’échange des contenus, nous sommes allés jusqu’à proposer des moyens de permettre un suivi dynamique des étudiants via les outils de communication./ In this thesis we were mainly interested, within the framework of the e-learning, to implement(operate) a methodology which has for mission to assure(insure) an interoperability between the platform of the University of Lubumbashi and the platforms of the Belgian partner universities to allow a transfer of the contents of learning(apprenticeship). Our approach(initiative) did not want to stop(arrest) in the exchange of the contents, we went as far as suggesting means allowing a dynamic follow-up of the students via communications tools.


Doctorat en Sciences de l'ingénieur
info:eu-repo/semantics/nonPublished

Gli stili APA, Harvard, Vancouver, ISO e altri
8

Bentakouk, Lina. "Test symbolique de services web composite". Phd thesis, Université Paris Sud - Paris XI, 2011. http://tel.archives-ouvertes.fr/tel-00675918.

Testo completo
Abstract (sommario):
L'acceptation et l'utilisation des services Web en industrie se développent de par leursupport au développement d'application distribuées comme compositions d'entitéslogicielles plus simples appelées services. En complément à la vérification, le testpermet de vérifier la correction d'une implémentation binaire (code source nondisponible) par rapport à une spécification. Dans cette thèse, nous proposons uneapproche boîte-noire du test de conformité de compositions de services centralisées(orchestrations). Par rapport à l'état de l'art, nous développons une approchesymbolique de façon à éviter des problèmes d'explosion d'espace d'état dus à la largeutilisation de données XML dans les services Web. Cette approche est basée sur desmodèles symboliques (STS), l'exécution symbolique de ces modèles et l'utilisationd'un solveur SMT. De plus, nous proposons une approche de bout en bout, quiva de la spécification à l'aide d'un langage normalisé d'orchestration (ABPEL) etde la possible description d'objectifs de tests à la concrétisation et l'exécution enligne de cas de tests symboliques. Un point important est notre transformation demodèle entre ABPEL et les STS qui prend en compte les spécifications sémantiquesd'ABPEL. L'automatisation de notre approche est supportée par un ensemble d'outilsque nous avons développés.
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Louise, Stéphane. "Calcul de majorants sûrs de temps d'exécution au pire pour des tâches d'applications temps-réels critiques, pour des systèmes disposants de caches mémoire". Phd thesis, Université Paris Sud - Paris XI, 2002. http://tel.archives-ouvertes.fr/tel-00695930.

Testo completo
Abstract (sommario):
Ce mémoire présente une nouvelle approche pour le calcul de temps d'exécution au pire (WCET) de tâche temps-réel critique, en particulier en ce qui concerne les aléas dus aux caches mémoire. Le point général est fait sur la problématique et l'état de l'art en la matière, mais l'accent est mis sur la théorie elle-même et son formalisme, d'abord dans le cadre monotâche puis dans le cadre multitâche. La méthode utilisée repose sur une technique d'interprétation abstraite, comme la plupart des autres méthodes de calcul de WCET, mais le formalisme est dans une approche probabiliste (bien que déterministe dans le cadre monotâche) de par l'utilisation de chaînes de Markov. La généralisation au cadre multitâche utilise les propriétés proba- bilistes pour faire une évaluation pessimiste d'un WCET et d'un écart type au pire, grâce à une modification astucieuse du propagateur dans ce cadre. Des premières évaluations du modèle, codées à la main à partir des résultats de compilation d'applications assez simples montrent des résultats promet- teurs quant à l'application du modèle sur des programmes réels en vraie grandeur.
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Gräbe, Hans-Gert. "About the Polynomial System Solve Facility of Axiom, Macsyma, Maple, Mathematica, MuPAD, and Reduce". 1998. https://ul.qucosa.de/id/qucosa%3A32233.

Testo completo
Abstract (sommario):
We report on some experiences with the general purpose Computer Algebra Systems (CAS) Axiom, Macsyma, Maple, Mathematica, MuPAD, and Reduce solving systems of polynomial equations and the way they present their solutions. This snapshot (taken in the spring 1996) of the current power of the different systems in a special area concentrates both on CPU-times and the quality of the output.
Gli stili APA, Harvard, Vancouver, ISO e altri

Libri sul tema "Computer Alegbra Systems (CAS)"

1

Kasparek, Stanley V. Computer graphics and chemical structures: Database management systems : CAS registry, Chembase, REACCS, MACCS-II, Chemtalk. New York: Wiley, 1990.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Schulz, Hedda. From CA to CAS Online. Weinheim: VCH Verlagsgesellschaft, 1988.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Schulz, Hedda. From CA to CAS ONLINE. New York, NY, USA: VCH, 1988.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Des campagnes de communication réussies: 43 études de cas primés. Sainte-Foy: Presses de l'Université du Québec, 2004.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Roques, Pascal. UML 2 par la pratique: Études de cas et exercices corrigés. 5a ed. Paris: Eyrolles, 2006.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Watson, Ian D. Applying case-based reasoning: Techniques for enterprise systems. San Francisco, Calif: Morgan Kaufmann, 1997.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

1958-, Georgy Ursula, a cura di. From CA to CAS online: Databases in chemistry. 2a ed. Berlin: Springer-Verlag, 1994.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
8

Don, Widrig, a cura di. Managing software requirements: A use case approach. 2a ed. Boston: Addison-Wesley, 2003.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Don, Widrig, a cura di. Managing software requirements: A unified approach. Reading, Mass: Addison-Wesley, 2000.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Roques, Pascal. UML 2 en action: De l'analyse des besoins à la conception. 4a ed. Paris: Éyrolles, 2007.

Cerca il testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri

Capitoli di libri sul tema "Computer Alegbra Systems (CAS)"

1

Krause, Matthias. "Fachkonzeption eines CAS-Systems für den Konsumgütervertrieb". In Computer Aided Selling in der Konsumgüterindustrie, 64–174. Wiesbaden: Deutscher Universitätsverlag, 2000. http://dx.doi.org/10.1007/978-3-322-85235-9_3.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Krause, Matthias. "Systemarchitektur eines CAS-Systems für den Konsumgütervertrieb". In Computer Aided Selling in der Konsumgüterindustrie, 175–200. Wiesbaden: Deutscher Universitätsverlag, 2000. http://dx.doi.org/10.1007/978-3-322-85235-9_4.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Paggetti, Cristiano, Sandra Martelli, Laura Nofrini e Paolo Vendruscolo. "Interface Design and Evaluation for CAS Systems". In Medical Image Computing and Computer-Assisted Intervention – MICCAI 2001, 1099–106. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45468-3_131.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Klimek, L., R. Mösges e M. Bartsch. "Indications for CAS (Computer Assisted Surgery) Systems as Navigation Aid in ENT-Surgery". In Computer Assisted Radiology / Computergestützte Radiologie, 358–61. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/978-3-662-00807-2_58.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Barkatsas, Tasos, Vasilis Gialamas e Claudia Orellana. "Secondary Students’ Attitudes Toward Learning Mathematics with Computer Algebra Systems (CAS)". In Global Learning in the 21st Century, 121–37. Rotterdam: SensePublishers, 2016. http://dx.doi.org/10.1007/978-94-6300-761-0_8.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Gao, Wen, Lionel M. Ni e Zhiwei Xu. "BLOSSOMS: A CAS/HKUST Joint Project to Build Lightweight Optimized Sensor Systems on a Massive Scale". In Lecture Notes in Computer Science, 559–64. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30141-7_83.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
7

Sukegawa, Shintaro, e Takahiro Kanno. "Computer-Assisted Navigation Surgery in Oral and Maxillofacial Surgery". In Oral and Maxillofacial Surgery for the Clinician, 841–62. Singapore: Springer Singapore, 2021. http://dx.doi.org/10.1007/978-981-15-1346-6_41.

Testo completo
Abstract (sommario):
AbstractComputer-assisted surgery (CAS) and navigation offers significant improvements in patient orientation and safety in every facet of our specialty of maxillofacial surgery. Ranging from precisely planned orthognathic procedures to the removal of foreign bodies requiring extremely flexible surgical options, and from minimally invasive dental implantology procedures to radical tumor resections of the skull base, they have made their mark for improving the procedure safety, predictability, and accuracy of surgery and options for intraoperative adaptations. In the future, the application of CAS is expected to further reduce operative risks and surgery time, accompanied by a considerable decrease in patient stress.Navigation systems are effective for delicate and accurate oral and maxillofacial surgery, neurosurgery, otolaryngology, and orthopedic surgery.This section presents an overview of available navigation systems and their applications with a focus on clinical utility and the solutions they offer for problems/challenges in the field of oral and maxillofacial surgery.
Gli stili APA, Harvard, Vancouver, ISO e altri
8

May, M. "CAS APPROACH TO GRAPHICAL PROGRAMMING AND DOCUMENTATION OF PROGRAMMABLE CONTROLLERS". In Computer Aided Design in Control Systems 1988, 201–7. Elsevier, 1989. http://dx.doi.org/10.1016/b978-0-08-035738-6.50035-5.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
9

Zeigler, Bernard P. "Discrete Event Abstraction: An Emerging Paradigm for Modeling Complex Adaptive Systems". In Perspectives on Adaptation in Natural and Artificial Systems. Oxford University Press, 2005. http://dx.doi.org/10.1093/oso/9780195162929.003.0012.

Testo completo
Abstract (sommario):
John Holland's views on modeling and simulation and why these activities are needed to make progress in understanding complex adaptive systems (CAS) are well summarized in his article in Daedalus [10]. With examples such as economies, ecologies, immune systems, developing embryos, and brains, he characterizes CAS as distributed many-ruled organizations with little or nothing in the way of central control. The aggregate behavior that emerges is too hard to predict with thought experiments or conventional mathematics, with the consequence that computer simulation is an indispensable tool for the study of CAS. Because many rules can be active simultaneously, massively parallel computers hold the promise of providing fast enough execution so that humans can interact with a simulated CAS much in the same way that pilots interact with flight training simulations. Mathematics and theory are not to be thrown to the wind however, since relevant pieces of mathematics can provide insight and put some bounds on what can be expected to emerge from a simulation. Indeed, the classical theoryexperiment cycle, well established for physical science, is the ideal to be sought, with the computer taking the role of Mother Nature in providing the outcomes of experiments. Modeling and simulation enter in yet another way in CAS study. Holland asserts that the fundamental attribute of CAS is their use of internal models to anticipate the future, basing current actions on expected outcomes. It is important to understand how such systems use internal models, since so much of their behavior stems from anticipations based on them. So how can CAS build and use internal models? Some anticipatory models are no more than rules (follow the chemical gradient to food). Some are clearly more sophisticated such as CAS models that researchers (themselves CAS) build. What determines the type of model that a CAS can build and use? Are there some better ways to build and use CAS models than others? As a student of Holland's, who has spent the past 30 years of his professional life studying modeling and simulation, I am writing this tribute to him, with the belief that there are indeed some insights to be offered to the study of CAS and the next generations of CAS investigators.
Gli stili APA, Harvard, Vancouver, ISO e altri
10

Fernández-Pacheco, Daniel García, Nuria Aleixos Borrás e Francisco Albert Gil. "Agent Based Systems to Implement Natural Interfaces for CAD Applications". In Intelligent Data Analysis for Real-Life Applications, 265–82. IGI Global, 2012. http://dx.doi.org/10.4018/978-1-4666-1806-0.ch014.

Testo completo
Abstract (sommario):
Currently, important advances are being carried out in CAD (Computer Aided Design) applications; however, these advances have not yet taken place for CAS (Computer Aided Sketching) applications. These applications are intended to replace complex menus with natural interfaces that support sketching for commands and drawing, but the recognition process is very complex and doesn’t allow its application yet. So, although natural interfaces for CAD applications have not yet been solved, works based on sketching devices have been explored to some extent. In this work, the authors propose a solution for the problem of recognition of sketches using an agent-based architecture, which distributes the agents hierarchically to achieve the best decision possible and to avoid reliance on of the drawing sequence.
Gli stili APA, Harvard, Vancouver, ISO e altri

Atti di convegni sul tema "Computer Alegbra Systems (CAS)"

1

Zhu Li-Gu, Sun Zhi-Wei e Liu Hao. "Distributed archiving storage system based on CAS". In 2009 IEEE International Conference on Virtual Environments, Human-Computer Interfaces and Measurements Systems (VECIMS). IEEE, 2009. http://dx.doi.org/10.1109/vecims.2009.5068926.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
2

Saleh, Atefa J. "Numerical Solutions of Systems of Nonlinear Fredholm Integro- Differential Equations by Using Block by Block Method". In 2019 First International Conference of Computer and Applied Sciences (CAS). IEEE, 2019. http://dx.doi.org/10.1109/cas47993.2019.9075463.

Testo completo
Gli stili APA, Harvard, Vancouver, ISO e altri
3

Shiakolas, Panos S., David C. Wilhite e Sara E. McCaslin. "Comparison of Computer Algebra Systems for Closed Form Stiffness Matrix Generation". In ASME 2012 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2012. http://dx.doi.org/10.1115/imece2012-88263.

Testo completo
Abstract (sommario):
Computer algebra systems (CAS) have been advantageously employed to generate closed form expressions for finite elements. The advantages relate to the time improvements or savings realized by employing closed form generated expressions as compared to numerical integration. However as the element order increases, the size of the closed form generated expressions become unmanageable causing the source code files to possibly become unusable due to their size. One approach to reducing the size of the source files is to take advantage of the utilities found in CAS to identify common expressions or sub-expressions. In this manuscript we present on-going research by comparing two widely used CAS, Mathematica and Maple, as they relate to identifying common expressions in low order tetrahedral finite element stiffness matrices generated in symbolic form, associated time savings and possible issues. The results indicate that the use of CAS could be advantageously employed to identify common subexpressions through pattern matching to further reduce the size of the generated source files and realize time improvements during execution of the source codes. In addition, the developed procedures could be easily applied to higher order elements with much larger number of entries of closed form expressions where even more savings could be realized.
Gli stili APA, Harvard, Vancouver, ISO e altri
4

Abraham, Christine, John Rodriguez, Jenni Buckley, Shane Burch e Mohammad Diab. "An Evaluation of the Accuracy of Computer Assisted Surgery in Preoperatively Three Dimensionally Planned Periacetabular Osteotomies". In ASME 2009 Summer Bioengineering Conference. American Society of Mechanical Engineers, 2009. http://dx.doi.org/10.1115/sbc2009-206222.

Testo completo
Abstract (sommario):
Adults with unresolved developmental dysplasia of the hip (DDH) often warrant Pelvic Periacetabular Osteotomy (PAO). Making the correct osteotomies, and then finding the “ideal” position of the acetabular fragment is difficult, even for the experienced surgeon. Due to its 3-D nature, need for precision, and limited direct visualization of the surgical site, the PAO procedure is a good candidate for Computer Assisted Surgery (CAS). Using CAS, a virtual image is created, which is then used to navigate through the procedure in real time. Improved imaging hardware, along with intra-operative navigation systems have the potential to reduce complication rates, and lessen the learning curve in the inexperienced surgeon. PAO cuts have been made using intra-operative navigation and acetabular fragments have been positioned in pre-operative computer models. As of yet, modeled PAO cuts have not been used to navigate intraoperative cuts. Furthermore, modeled acetabular positioning has not been combined with intra-operative navigation to position fragments. The aim of this study is to prove the utility of pre-operative 3D imaging, PAO osteotomy planning and acetabular fragment positioning with computer software. These modeled images can be used to complete highly accurate and effective PAO surgeries.
Gli stili APA, Harvard, Vancouver, ISO e altri
5

Tesiero, Raymond C., Nabil Nassif, Balakrishna Gokaraju e Daniel Adrian Doss. "Intelligent Approaches for Modeling and Optimizing HVAC Systems’ Energy Use". In ASME 2017 11th International Conference on Energy Sustainability collocated with the ASME 2017 Power Conference Joint With ICOPE-17, the ASME 2017 15th International Conference on Fuel Cell Science, Engineering and Technology, and the ASME 2017 Nuclear Forum. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/es2017-3105.

Testo completo
Abstract (sommario):
Advanced energy management control systems (EMCS), or building automation systems (BAS), offer an excellent means of reducing energy consumption in heating, ventilating, and air conditioning (HVAC) systems while maintaining and improving indoor environmental conditions. This can be achieved through the use of computational intelligence and optimization. This paper evaluates model-based optimization processes (OP) for HVAC systems utilizing any computer algebra system (CAS), genetic algorithms and self-learning or self-tuning models (STM), which minimizes the error between measured and predicted performance data. The OP can be integrated into the EMCS to perform several intelligent functions achieving optimal system performance. The development of several self-learning HVAC models and optimizing the process (minimizing energy use) is tested using data collected from an actual HVAC system. Using this optimization process (OP), the optimal variable set points (OVSP), such as supply air temperature (Ts), supply duct static pressure (Ps), chilled water supply temperature (Tw), minimum outdoor ventilation, and chilled water differential pressure set-point (Dpw) are optimized with respect to energy use of the HVAC’s cooling side including the chiller, pump, and fan. The optimized set point variables minimize energy use and maintain thermal comfort incorporating ASHRAE’s new ventilation standard 62.1-2013. This research focuses primarily with: on-line, self-tuning, optimization process (OLSTOP); HVAC design principles; and control strategies within a building automation system (BAS) controller. The HVAC controller will achieve the lowest energy consumption of the cooling side while maintaining occupant comfort by performing and prioritizing the appropriate actions. The program’s algorithms analyze multiple variables (humidity, pressure, temperature, CO2, etc.) simultaneously at key locations throughout the HVAC system (pumps, cooling coil, chiller, fan, etc.) to reach the function’s objective, which is the lowest energy consumption while maintaining occupancy comfort.
Gli stili APA, Harvard, Vancouver, ISO e altri
6

Govea-Valladares, Eder H., Hugo I. Medellín-Castillo, Pedro J. García-Zugasti e Pablo A. Limon-Leyva. "Haptic-Assisted Virtual Osteotomy As a Training Tool". In ASME 2017 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2017. http://dx.doi.org/10.1115/imece2017-72211.

Testo completo
Abstract (sommario):
The maxillofacial surgery is a complex surgical procedure to correct facial malformations located in the head of the patient. A precise and reliable surgical planning is necessary for a successful maxillofacial surgical procedure. The experience and clinical practice of surgeons play a very important role during the surgical procedures. Modern Computer Aided Systems (CAS) have been developed in order to speed up the surgical planning process and to increase the accuracy and reliability of the surgical procedure. However, CAS systems have not been focused on their ability to train and to provide experience and clinical practice to novice surgeons or medical student. In this way CAS systems could be a potential tool to improve the skill of surgeons in order to decrease human errors in the maxillofacial treatment and surgical procedures. This paper presents an investigation to evaluate the use of virtual reality and haptic systems as a training tool for maxillofacial surgeries, in particular osteotomies procedures. The aim is to evaluate the effect of virtual training on surgeon skills. Thus, a virtual osteotomy system has been developed and is presented. The system is based on an open source computer and programming resources, and makes use of haptic technologies to provide the users with the sense of touch. The virtual osteotomy procedures implemented are based on current surgical orthognathic surgery procedures. Free-form 3D manual cutting of bone is available in the system by means of the haptic device and the force feedback provided to the user, which increases the level of realism of the virtual procedure. The evaluation results show that the haptic-enabled virtual training of osteotomies increases the psychomotor skills of the practitioner, leading to an improved accuracy when carrying out the actual bone cut.
Gli stili APA, Harvard, Vancouver, ISO e altri
Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!

Vai alla bibliografia