Relevant bibliographies by topics / Formex

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Formex'

Author: Grafiati

Published: 4 June 2021

Last updated: 5 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Formex.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Formex"

ROGERS, RONALD S. "INFORMEX OR E–FORMEX?" Chemical & Engineering News 78, no. 10 (March 6, 2000): 21–24. http://dx.doi.org/10.1021/cen-v078n010.p021.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Nooshin, Hoshyar, and Peter Disney. "Formex Configuration Processing I." International Journal of Space Structures 15, no. 1 (March 2000): 1–52. http://dx.doi.org/10.1260/0266351001494955.

Full text

Abstract:

This is the first paper in a series of papers that are intended to cover the present state of knowledge in the field of formex configuration processing. This field of knowledge has been developed during the last three decades and has now reached a level of maturity that makes it an ideal medium for configuration processing in many disciplines. In particular, it provides a rich assortment of concepts that are of great value to the engineers and architects involved in the design of space structures.

APA, Harvard, Vancouver, ISO, and other styles

Nooshin, Hoshyar, and Peter Disney. "Formex Configuration Processing II." International Journal of Space Structures 16, no. 1 (March 2001): 1–56. http://dx.doi.org/10.1260/0266351011495313.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Nooshin, Hoshyar, and Peter Disney. "Formex Configuration Processing III." International Journal of Space Structures 17, no. 1 (March 2002): 1–50. http://dx.doi.org/10.1260/026635102760123042.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Al-Bermani, F. G. A., S. Kitipornchai, and S. L. Chan. "Formex Formulation of Transmission Tower Structures." International Journal of Space Structures 7, no. 1 (March 1992): 1–10. http://dx.doi.org/10.1177/026635119200700101.

Full text

Abstract:

The formex formulation of the topological configuration, geometry, load and support conditions of self-supporting or free-standing transmission towers is presented. In the formulation, a natural normat coordinate system is used. The tower topology is formulated according to member types and orientations within the tower. The formex formulation is implemented as a preprocessor for a general elasto-plastic nonlinear large displacement analysis program for transmission tower structures. The data generated from the formex formulation is transformed into an AutoLISP file that can be loaded and used by AutoCAD. Throughout the paper, it is assumed that the readers are familiar with the basic concept and terminology used in formex algebra.

APA, Harvard, Vancouver, ISO, and other styles

Dr. D. R. Panchal, Dr D. R. Panchal. "Programming of Braced Domes Using Formex Algebra." Indian Journal of Applied Research 4, no. 8 (October 1, 2011): 245–47. http://dx.doi.org/10.15373/2249555x/august2014/63.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Maalek, S. "A Formex Formulation for Substructure Analysis of Open Web Grids." International Journal of Space Structures 4, no. 1 (March 1989): 43–64. http://dx.doi.org/10.1177/026635118900400104.

Full text

Abstract:

In this work, a formex procedure is presented in order to provide a conceptually consistent method of formex formulation in the context of substructure analysis. Grids composed of beams with multiple web openings are treated for which substructuring is well suited. An open web beam can be regarded as an assembly of typical units. Formex formulations are produced for such typical units and for the whole assembly. The concepts of plenices are also employed in order to organise a suitable system for a formex representation of partitioned configurations. Also, a formex function is introduced which makes it possible to generate some distorted configurations from regular patterns. A reader with no familiarity with formex algebra may wish to consult Ref. 2 or Ref. 6 for a brief sketch of formex algebra and Ref. 7 for a quick reference on plenices.

APA, Harvard, Vancouver, ISO, and other styles

Nooshin, H. "Formex configuration processing: A young branch of knowledge." International Journal of Space Structures 32, no. 3-4 (June 2017): 136–48. http://dx.doi.org/10.1177/0266351117736968.

Full text

Abstract:

The term ‘configuration’ refers to an arrangement of parts. For example, the elements of a structure constitute a configuration and so do the atoms of a molecule and the components of an electrical network. The most common usage of the term configuration is in reference to geometric compositions that consist of points, lines, surfaces and so on. The term ‘configuration processing’ refers to the skill of dealing with creation and manipulation of configurations. In particular, the term ‘formex configuration processing’ implies configuration processing with the aid of ‘formex algebra’. Formex algebra is evolved to perform processes needed for configuration processing, just as the ordinary algebra is evolved to perform operations needed for creation and manipulation of numerical models. The term ‘formex’ is derived from the word ‘form’ and it is meant to imply a ‘representation of form’. This article has two main objectives. The first objective is to provide a general feeling of how the elements of formex algebra perform configuration processing. This objective is achieved through simple examples, without involvement in too many details. It will be seen that working with parameters is a natural characteristic of formex configuration processing. Thus, a formex solution is, normally, for a class of problems rather than an individual one. This would allow consideration of different variants of a configuration by simply changing the values of the parameters. It will also be seen the ease with which freeforms can be created. The coverage also includes information about ‘Formian’ which is the name of the computer software for formex configuration processing. The second objective of this article is to record the story of the development of formex algebra from the beginnings in the mid-1970s to the middle of the second decade of the 21st century, covering some 40 years of development. Formex configuration processing is an effective and elegant conceptual tool for generation and manipulation of forms. However, there are also other approaches to configuration processing. In particular, there are now a number of highly successful software systems for configuration processing using various tactics. Formex algebra will be a natural complement for these systems.

APA, Harvard, Vancouver, ISO, and other styles

Heristchian, Mahmoud. "Formex formulation of Bezier transformations." Computers & Structures 175 (October 2016): 29–36. http://dx.doi.org/10.1016/j.compstruc.2016.06.011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Bleeker, Jan. "Formex-formalized exchange of electronic publications." Computer Compacts 4, no. 6 (November 1986): 209–10. http://dx.doi.org/10.1016/0167-7136(86)90077-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Formex"

El-Labbar, O. F. A. "Formex graphics in structural analysis." Thesis, University of Surrey, 1986. http://epubs.surrey.ac.uk/847403/.

Full text

Abstract:

Computer-aided structural analysis processes are highly dependent on the use of computer graphics. The objective of this work is to evolve techniques that allow structural analysts, designers and architects to work with computer graphics in a convenient manner. The formex approach of data generation is explained through a number of examples. This approach enables data to be generated very conveniently for the purposes of structural analysis. Also, introduced are the main features of an interactive programming language which acts as a vehicle to implement the concepts of formex algebra. An attempt to investigate the possibility of using the concepts of formex graphics in postprocessing stages of structural analysis is presented. This enables output of structural analysis programs to be graphically displayed so that plots of structural configurations can be shown in both their deformed and undeformed shapes. It is also shown that it is possible to employ the concepts of formex graphics in order to produce axial force, shear force, bending moment and torque diagrams in a manner that they can be visualized conveniently.

APA, Harvard, Vancouver, ISO, and other styles

Hadker, Deepali. "Formex configuration processing for space structures." Thesis, University of Surrey, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334703.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Yassaee, M. H. "A formex approach to finite element mesh generation." Thesis, University of Surrey, 1986. http://epubs.surrey.ac.uk/781/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Moghimi, Mahdi. "Formex configuration processing of compound and freeform structures." Thesis, University of Surrey, 2006. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.435092.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Hee, Ik Nang Anna. "Plenix structural analysis." Thesis, University of Surrey, 1985. http://epubs.surrey.ac.uk/847508/.

Full text

Abstract:

With the introduction of reliable and high speed computers in the past few decades, together with the demand of today's engineering problems which include the design of large and complex structures, the processes of data generation and organisation present a real challenge. The main theme of this thesis is to develop a new method of structural analysis which is based on the concepts of formices and plenices. This method simplifies the processes of data generation and organisation in engineering design. Formex algebra is a mathematical system that may be used to represent and process any form of configuration. In engineering design, the basic approach is to represent the interconnection pattern of a structural configuration by a formex. This information is then related to other relevant data of the structure which is needed for the analysis by a plenix. A plenix is a mathematical object that can be used to simplify the processes of data organisation and decision making in automated analytical procedures. The mathematics of formices and plenices provide a powerful and versatile tool for representation and processing configurations, and organising information.

APA, Harvard, Vancouver, ISO, and other styles

Voborník, Tomáš. "Optimalizace objednávek a kontrola stavu kapacit zdrojů ve firmě Formex." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2008. http://www.nusl.cz/ntk/nusl-228257.

Full text

Abstract:

The diploma thesis Order optimization and validation of resource capacities in company Formex s.r.o. is composed from three parts. The first one is an introduction to the types and specifications of production systems. It also follows production planning and control. The second part is dedicated to analysis of the information system WorkPlan and to the analysis of the company Formex s.r.o. (the company structure, the production and the planning process). The possible ways of production planning and order optimization with respect to the use of IS WorkPlan were designed in the third part of the diploma thesis. Consequently the most suitable planning way was selected and the templates with the normalized technological processes were designed. The diploma thesis also contains validation of the proposals and it is enclosed with the recommendation for the future steps in the production planning in the company Formex s.r.o.

APA, Harvard, Vancouver, ISO, and other styles

Khabbazan, Mehdi Mohammadi. "The renection method for the analysis of spaceframes." Thesis, University of Surrey, 1989. http://epubs.surrey.ac.uk/847594/.

Full text

Abstract:

This thesis presents an approximate method for analysis of dense spaceframes. The approach is based on transforming a dense spaceframe into a similar structure with lower density. The reduced structure is analysed in the usual manner and the results are employed to obtain an approximation to the behaviour of the actual structure. To assess the accuracy and limitations of the proposed method, a number of practical examples are analysed. The influence of irregularity of loading and support conditions have also been investigated. A comparison of the results obtained by the method with those obtained by the exact analysis has shown that the accuracy of the method is satisfactory for design purposes. In generating data and organising graphical output for the examples, the concept of formex algebra together with its programming language Formian have been utilised. The application of the method has been extended to composite spaceframes, consisting of skeleton double layer grids combined with concrete slabs. The proposed method is a natural engineering approach. It preserves almost all the particulars of the original structure but allows the analysis to be performed with much smaller systems of simultaneous equations. The method has the potential of being extended in many directions for analysis of other space structures. Also, it would be of interest to extend the idea to the dynamic response calculations and non-linear analysis of spaceframes.

APA, Harvard, Vancouver, ISO, and other styles

Vitale, Vito. "Fmx2Akn: un aggregatore per la fruizione ed elaborazione automatica di documenti legali multiformato sulla normativa europea." Bachelor's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/13290/.

Full text

Abstract:

Questa dissertazione illustra la creazione di un prototipo di portale web per la fruizione ed elaborazione di documenti legali, che prende il nome di "Fmx2Akn". Le due sigle sono l'abbreviazione di "FORMEX" ed "AKOMA NTOSO", due dialetti XML: il primo è stato sviluppato dall'Ufficio delle Pubblicazioni dell'UE, ed è il dialetto con il quale sono marcati tutti i documenti ufficiali dell'UE; il secondo è stato sviluppato all'interno di un progetto promosso dal Dipartimento per l’Economia e gli Affari Sociali delle Nazioni Unite, ed è in grado di adattarsi alle differenti necessità di specifici sistemi legislativi. Allo stato attuale il prototipo di portale, che si basa su un web server in Node.js/Express, che utilizza il framework Semantic-UI per l'interfaccia grafica e i database NoSQL MongoDB ed eXist-DB, è in grado di recuperare automaticamente tutte le istanze di file necessarie dal sito EUR-Lex (incluso il formato tecnico FORMEX) e di metterle a disposizione per la conversione; inoltre, il prototipo è già predisposto per la visualizzazione della conversione, poichè è in grado di mettere in parallelo le due istanze FORMEX e AKOMA NTOSO dello stesso documento, evidenziando fra i due formati tecnici la corrispondenza degli elementi.

APA, Harvard, Vancouver, ISO, and other styles

Mokhtari, Bilal. "Appariement de formes, recherche par forme clef." Thesis, Dijon, 2016. http://www.theses.fr/2016DIJOS067/document.

Full text

Abstract:

Cette thèse porte sur l’appariement des formes, et la recherche par forme clef. Elle décrit quatrecontributions à ce domaine. La première contribution est une amélioration de la méthode des nuéesdynamiques pour partitionner au mieux les voxels à l’intérieur d’une forme donnée ; les partitionsobtenues permettent d’apparier les objets par un couplage optimal dans un graphe biparti. Laseconde contribution est la fusion de deux descripteurs, l’un local, l’autre global, par la règle duproduit. La troisième contribution considère le graphe complet, dont les sommets sont les formes dela base ou la requête, et les arêtes sont étiquetées par plusieurs distances, une par descripteur ;ensuite cette méthode calcule par programmation linéaire la combinaison convexe des distancesqui maximise soit la somme des longueurs des plus courts chemins entre la requête et les objetsde la base de données, soit la longueur du plus court chemin entre la requête et l’objet comparé àla requête. La quatrième contribution consiste à perturber la requête avec un algorithme génétiquepour la rapprocher des formes de la base de données, pour un ou des descripteur(s) donné(s) ; cetteméthode est massivement parallèle, et une architecture multi-agent est proposée. Ces méthodes sontcomparées aux méthodes classiques, et ont de meilleures performances, en terme de précision
This thesis concerns shape matching and shape retrieval. It describes four contributions to thisdomain. The first is an improvement of the k-means method, in order to find the best partition ofvoxels inside a given shape ; these best partitions permit to match shapes using an optimal matchingin a bipartite graph. The second contribution is the fusion of two descriptors, one local, the otherglobal, with the product rule. The third contribution considers the complete graph, the vertices ofwhich are the shapes in the database and the query. Edges are labelled with several distances,one per descriptor. Then the method computes, with linear programming, the convex combinationof distances which maximizes either the sum of the lengths of all shortest paths from the query toall shapes of the database, or the length of the shortest path in the graph from query to the currentshape compared to query. The fourth contribution consists in perturbing the shape query, to make itcloser to shapes in the database, for any given descriptors. This method is massively parallel and amulti-agent architecture is proposed. These methods are compared to classical methods in the field,they achieve better retrieval performances

APA, Harvard, Vancouver, ISO, and other styles

DRISSI, AMAR. "Formes, forces et figures de restructuration d'entreprise." Palaiseau, Ecole polytechnique, 1998. http://www.theses.fr/1998EPXX0057.

Full text

Abstract:

Cette these porte sur une modalite particuliere de la transformation d'entreprise qu'on appelle restructuration. . L'hypothese principale, qui en constitue le fil directeur, est la suivante : restructurer une entreprise passe par une alliance entre une mecanique et une mystique a travers la mise en place d'un dispositif a trois elements (inspire de claude riveline) dans lequel mythes, rites et tribus se soutiennent mutuellement. En d'autres termes, la mobilisation des forces du changement passe par une mobilisation du sens adosse a des mediations et a des mediateurs qui l'incarnent, le traduisent et le prolongent dans ce qui est fondamentalement l'articulation d'une legitimite (symbolique) et d'une factualite (objective et operationnelle) a la jonction d'effets de sens et d'effets de force. . La demonstration de cette these se deroule en trois moments. -premierement une revue critique de la litterature existante mettant en evidence l'existence d'un certain nombre de modeles dominants et d'archetypes normatifs qui, sous-tendus par la forte dimension d'un imaginaire leurrant, renvoyent a l'existence d'une problematique utopique privilegiant le bouleversement radical aux depens de la reparation et ceci dans un espace inedit ou le scientisme gestionnaire rencontre et conforte un desir de reenchantement du monde. -deuxiemement une etude de cas : la restructuration de la mine de charbon de jerada (maroc) par l'auteur entre 1992 et 1994. A travers une posture de + praticien reflexif; et une methode de + reflexion-dans-l'action ; inspiree de donald schoen, l'auteur reconstruit la genealogie composite d'une restructuration singuliere telle qu'elle s'enracine dans des soubassements symboliques et materiels, des ressources economiques et institutionnelles et des leviers identitaires et profanes. Au terme de cette investigation et de la mise en evidence d'un certain nombre de filiations et de reactivations relatives a l'histoire du maroc, l'auteur en arrive a qualifier sa demarche de reamenagement de +modele neo-maraboutique ; de restructuration d'entreprise resultant de greffes et d'interactions entre des rationalites heterogenes : tradition classique du pouvoir maraboutique marocain, problematique d'une mine charbonniere, acculturation moderniste et gestionnaire, l'islam comme arriere-fond et comme horizon. -enfin troisiemement un certain nombre d'eclairages laterau
This dissertation deals with a specific type of corporate remodelling called restructuring. The main hypothesis goes as follows: a corporate restructuring goes through the close linking of mechanics and a mystique setting up a three-element configuration within which myths, rituals and tribes are mutually supportive. In other words, mobilizing change forces happens through a mobilization of meaning buttressed by mediations and mediators who translate it and embody it within what is fundamentally the linking of a (symbolic) legitimacy and an (objective and operational) factuality at the juncture of forces and meaning. The demonstration will unfold through three moments. -first, a review of the existing literature will evidence a certain number of prevailing normative archetypes that refer to the existence of a utopian problemizing focused on radical renewal patterns instead of fixing schemes and this within a specific context where managerial scientism meets a desire of reenchantment. -second, a case study: the restructuring of the jerada coal mine (morocco) by the author between 1992 and 1994. Through a " reflective practitioner" posture and a "reflection in action" stance as inspired by donald schoen, the author reconstructs the composite genealogy of a specific case of restructuring as rooted in symbolic and material terrains, economic and institutional resources, identity-powered and profane levers. At the end of this investigation and the evidencing of a certain number of memories and reactivations related to moroccan history, the author sets to call his method of corporate realignment as a "neo-maraboutic" model of restructuring resulting from interactions and grafts between heterogeneous rationalities: the classical tradition of moroccan maraboutic power, the problematic of coal mining, modernistic and managerial acculturation, islam as background and foreground; -third, a certain number of oblique lights on the basis of two case studies (one initiated by the author and still in progress since 1996: lesieur, the other one dealing with the ratp experience under blanc's management from 1989 to 1992) will allow for a second reading of the jerada experience as well as some theoretical revisions specifically with regard to the so-called political model of corporate transformation. Such cross-confrontations reinforce the main hypothesis of successful corpora

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Formex"

1920-1984, Sabrier Jean, ed. Jean Sabrier, photographe: 1920-1984 : formes et Forme. [Paris]: Caisse nationale des monuments historiques et des sites, 1986.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Sabrier, Jean. Jean Sabrier: Photographe, 1920-1984 : formes et Forme. Paris: Caisse Nationale des Monuments Historiques et des Sites, 1986.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Frutiger, Adrian. Formen und Gegenformen =: Formes et contreformes = Forms and counterforms. Cham: Syndor Press, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Adrian, Frutiger. Adrian Frutiger: Formen und Gegenformen = formes et contreformes = forms and counterforms. Cham, Switzerland: Syndor Press, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Schenkel, Ronald. Adrian Frutiger: Formen und Gegenformen = formes et contreformes = forms and counterforms. 2nd ed. Cham, Switzerland: Syndor Press, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

L'(in)forme dans le roman africain: Formes, stratégies et significations. Paris: L'Harmattan, 2015.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Hadjopoulos, Georges. Les formes et leurs influences: L'émergence de la forme observée à l'électrophotonique. Bonneuil-en-Valois: Editions de la Hutte, 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Hadjopoulos, Georges. Les formes et leurs influences: L'émergence de la forme observée à l'électrophotonique. Bonneuil-en-Valois: Editions de la Hutte, 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Jean-Luc, Monterosso, Bennett Derek, and Morris Ann 1930-, eds. Ernestine Ruben: Photographien - photographs - photographies : Formen und Gefühle - forms and feelings - formes et impressions. Schaffhausen: Stemmle, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Formes sociales et formes d'historicité. Paris, France: Publibook, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Formex"

Nooshin, H., and P. G. King. "Practical Formex Analysis of Space Structures." In Lecture Notes in Engineering, 185–99. Berlin, Heidelberg: Springer Berlin Heidelberg, 1987. http://dx.doi.org/10.1007/978-3-642-83015-0_16.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Nees, Georg. "Einleitung." In Formel, Farbe, Form, 1–6. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-642-57865-6_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Nees, Georg. "Fläche, Raum, Perspektive." In Formel, Farbe, Form, 353–77. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-642-57865-6_10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Nees, Georg. "Raum und Szenario." In Formel, Farbe, Form, 379–97. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-642-57865-6_11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Nees, Georg. "Experimentelle Ästhetik." In Formel, Farbe, Form, 7–42. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-642-57865-6_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Nees, Georg. "Ein Kurzkurs in graphischer Programmierung." In Formel, Farbe, Form, 43–98. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-642-57865-6_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Nees, Georg. "Farbe." In Formel, Farbe, Form, 99–130. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-642-57865-6_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Nees, Georg. "Funktion, Abbildung, Farbe, Raum." In Formel, Farbe, Form, 131–75. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-642-57865-6_5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Nees, Georg. "Räumliche Bilder des Quadrats und der Kugelfläche." In Formel, Farbe, Form, 177–238. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-642-57865-6_6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Nees, Georg. "Fraktale." In Formel, Farbe, Form, 239–82. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/978-3-642-57865-6_7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Formex"

"Title Page i." In 2020 IEEE Workshop on Formal Requirements (FORMREQ). IEEE, 2020. http://dx.doi.org/10.1109/formreq51202.2020.00001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

"Title Page iiii." In 2020 IEEE Workshop on Formal Requirements (FORMREQ). IEEE, 2020. http://dx.doi.org/10.1109/formreq51202.2020.00002.

Full text

APA, Harvard, Vancouver, ISO, and other styles

"[Copyright notice]." In 2020 IEEE Workshop on Formal Requirements (FORMREQ). IEEE, 2020. http://dx.doi.org/10.1109/formreq51202.2020.00003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

"Table of Contents." In 2020 IEEE Workshop on Formal Requirements (FORMREQ). IEEE, 2020. http://dx.doi.org/10.1109/formreq51202.2020.00004.

Full text

APA, Harvard, Vancouver, ISO, and other styles

"Welcome Message from the Chairs." In 2020 IEEE Workshop on Formal Requirements (FORMREQ). IEEE, 2020. http://dx.doi.org/10.1109/formreq51202.2020.00005.

Full text

APA, Harvard, Vancouver, ISO, and other styles

"Committees." In 2020 IEEE Workshop on Formal Requirements (FORMREQ). IEEE, 2020. http://dx.doi.org/10.1109/formreq51202.2020.00006.

Full text

APA, Harvard, Vancouver, ISO, and other styles

"Keynotes." In 2020 IEEE Workshop on Formal Requirements (FORMREQ). IEEE, 2020. http://dx.doi.org/10.1109/formreq51202.2020.00007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Cuinat, Riwan, Ciprian Teodorov, and Joel Champeau. "SpecEdit: Projectional Editing for TLA+ Specifications." In 2020 IEEE Workshop on Formal Requirements (FORMREQ). IEEE, 2020. http://dx.doi.org/10.1109/formreq51202.2020.00008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Ponsard, Christophe, Jean-Christophe Deprez, and Robert Darimont. "Formalizing Security and Safety Requirements by Mapping Attack-Fault Trees on Obstacle Models with Constraint Programming Semantics." In 2020 IEEE Workshop on Formal Requirements (FORMREQ). IEEE, 2020. http://dx.doi.org/10.1109/formreq51202.2020.00009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Dietsch, Daniel, Vincent Langenfeld, and Bernd Westphal. "Formal Requirements in an Informal World." In 2020 IEEE Workshop on Formal Requirements (FORMREQ). IEEE, 2020. http://dx.doi.org/10.1109/formreq51202.2020.00010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Formex"

Curlett, Paul A. Incorporating Joint Forces into the Air Force Aerospace Expeditionary Force. Fort Belvoir, VA: Defense Technical Information Center, April 2002. http://dx.doi.org/10.21236/ada402153.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Phillips, David W. Force Planning Assumptions: New Assumptions -- New Forces. Fort Belvoir, VA: Defense Technical Information Center, April 1992. http://dx.doi.org/10.21236/ada436622.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Weeks, Joseph L., L. B. McDonald, and Jack Hughes. Development of Computer-Generated Forces for Air Force Security Forces Distributed Mission Training. Fort Belvoir, VA: Defense Technical Information Center, October 2002. http://dx.doi.org/10.21236/ada408672.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Robinson, James K. Air Expeditionary Force: The Air Forces' New Capability. Fort Belvoir, VA: Defense Technical Information Center, April 1999. http://dx.doi.org/10.21236/ada364124.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Canavan, G. H. Stability of Trilateral Forces: II, Large Symmetric Force. Office of Scientific and Technical Information (OSTI), September 1998. http://dx.doi.org/10.2172/763176.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Young, Thomas-Durell. Multinational Land Forces and the NATO Force Structure Review. Fort Belvoir, VA: Defense Technical Information Center, June 2000. http://dx.doi.org/10.21236/ada382815.

Full text

APA, Harvard, Vancouver, ISO, and other styles

McBride, David A. The Future of Airborne Forces in the Objective Force. Fort Belvoir, VA: Defense Technical Information Center, April 2003. http://dx.doi.org/10.21236/ada415669.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Zeigler, Jack C., and Jr. The Army Special Operations Forces Role in Force Projection. Fort Belvoir, VA: Defense Technical Information Center, April 2003. http://dx.doi.org/10.21236/ada415798.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Decamp III, William T. Maritime Prepositioning Forces (MPF) in Central Command in the 1990s: Force Multiplier or Force Divider? Fort Belvoir, VA: Defense Technical Information Center, January 1992. http://dx.doi.org/10.21236/ada249957.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Geyer, Anton. Assessment des FFG-Programms „F&E-Infrastrukturförderung“. Inspire research Beratungsgesellschaft m.b.H., March 2020. http://dx.doi.org/10.22163/fteval.2020.497.

Full text

Abstract:

The FFG conducted two calls for the "R&D Infrastructure Funding" programme in 2016 and 2018. The programme was developed to take into account the central role of R&D infrastructure in generating new knowledge and technologies. The assessment of the FFG programme "R&D Infrastructure Funding" is intended to review the central points of the programme format and to support the FFG in making improvements and tightening up the programme design. The assessment focuses on the question of the extent to which the programme in its current form and implementation succeeds in achieving the intended goals. Both the tender modalities and the formal funding conditions and evaluation criteria for the applications will be reviewed.

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!