Bilaketaren emaitzak - ((functions computational) OR (interaction conventional)) programming using array via*

1

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

Argitaratua 2007

Aurkibidea: “... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”
Testu osoa

Baliabide elektronikoa eBook

2

Introduction to Programming with Fortran with coverage of Fortran 90, 95, 2003 and 77 /

nork Chivers, Ian., Chivers, Ian., Sleightholme, Jane.
Argitaratua 2006

Aurkibidea: “...Overview -- to Computer Systems -- to Operating Systems -- to Using a Computer System -- to Problem...”
Testu osoa

Baliabide elektronikoa eBook

3

A Primer on Scientific Programming with Python

nork Langtangen, Hans Petter., Langtangen, Hans Petter.
Argitaratua 2014

Aurkibidea: “...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...”
Testu osoa

Baliabide elektronikoa eBook

4

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Argitaratua 2010

Aurkibidea: “... Concurrent Programs Using Linear Interfaces -- Dynamic Cutoff Detection in Parameterized Concurrent Programs...”
Testu osoa

Baliabide elektronikoa eBook

5

VEE Pro: Practical Graphical Programming

nork Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Argitaratua 2005

Aurkibidea: “... the Vehicle Radiator -- Using VEE Pro to Create UserFunctions -- Using VEE Pro for Application Simulations...”
Testu osoa

Baliabide elektronikoa eBook

6

Low power multicarrier- code division multiple access receiver on field programmable gate array

nork Mohd Hassan, Siti Lailatul, Sulaiman, Nasri, Saparon, Azilah, Mohd Yussoff, Yusnani, Jaafar, Haslina
Argitaratua 2019

“... on field-programable gate array (FPGA). Most of the wireless application nowadays such as wireless sensor...”
Testu osoa

Artikulua

7

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Argitaratua 2005

Aurkibidea: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Testu osoa

Baliabide elektronikoa eBook

8

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN...

Argitaratua 2010

Aurkibidea: “...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...”
Testu osoa

Baliabide elektronikoa eBook

9

Computer Vision -- ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II /

Argitaratua 2013

Aurkibidea: “... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...”
Testu osoa

Baliabide elektronikoa eBook

10

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

Argitaratua 2013

Aurkibidea: “... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”
Testu osoa

Baliabide elektronikoa eBook

11

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Argitaratua 2005

Aurkibidea: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Testu osoa

Baliabide elektronikoa eBook

12

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Argitaratua 2006

Aurkibidea: “... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”
Testu osoa

Baliabide elektronikoa eBook

13

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

Argitaratua 2007

Aurkibidea: “... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...”
Testu osoa

Baliabide elektronikoa eBook

14

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Argitaratua 2015

Aurkibidea: “... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”
Testu osoa

Baliabide elektronikoa eBook

15

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Argitaratua 2010

Aurkibidea: “...Continuous and Discrete Methods in Computer Science -- Colorful Strips -- The Mono- and Bichromatic...”
Testu osoa

Baliabide elektronikoa eBook

16

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings /

Argitaratua 2007

Aurkibidea: “... and Computing Optimum RMSD for Gapped Multiple Structure Alignment -- Using Protein Domains to Improve...”
Testu osoa

Baliabide elektronikoa eBook

17

Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2013 /

Argitaratua 2014

Aurkibidea: “... Performance Using NK Simulation Method -- 9 Computing Implied Volatilities For Exchange-Traded Options...”
Testu osoa

Baliabide elektronikoa eBook

18

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Argitaratua 2013

Aurkibidea: “...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...”
Testu osoa

Baliabide elektronikoa eBook

19

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Argitaratua 2015

Aurkibidea: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
Testu osoa

Baliabide elektronikoa eBook

20

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Argitaratua 2010

Aurkibidea: “...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”
Testu osoa

Baliabide elektronikoa eBook

Emaitzak murriztu